{"id":"https://openalex.org/W2104292255","doi":"https://doi.org/10.1109/dsn.2009.5270354","title":"WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code","display_name":"WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code","publication_year":2009,"publication_date":"2009-06-01","ids":{"openalex":"https://openalex.org/W2104292255","doi":"https://doi.org/10.1109/dsn.2009.5270354","mag":"2104292255"},"language":"en","primary_location":{"id":"doi:10.1109/dsn.2009.5270354","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsn.2009.5270354","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE/IFIP International Conference on Dependable Systems &amp; Networks","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103879150","display_name":"Julia L. Lawall","orcid":null},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Julia L. Lawall","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark","DIKU, University of Copenhagen,Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"DIKU, University of Copenhagen,Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112471211","display_name":"Julien Brunel","orcid":"https://orcid.org/0009-0004-3639-6681"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Julien Brunel","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark","DIKU, University of Copenhagen,Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"DIKU, University of Copenhagen,Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052174607","display_name":"Nicolas Palix","orcid":"https://orcid.org/0000-0001-8873-281X"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Nicolas Palix","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark","DIKU, University of Copenhagen,Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"DIKU, University of Copenhagen,Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051122243","display_name":"Ren\u00e9 Rydhof Hansen","orcid":"https://orcid.org/0000-0002-5688-6432"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Rene Rydhof Hansen","raw_affiliation_strings":["University of Aalborg, Aalborg, Denmark","Aalborg Univ., , Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Aalborg, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Aalborg Univ., , Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059333845","display_name":"Henrik Stuart","orcid":null},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Henrik Stuart","raw_affiliation_strings":["DIKU, University of Copenhagen, Copenhagen, Denmark","DIKU, University of Copenhagen,Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIKU, University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]},{"raw_affiliation_string":"DIKU, University of Copenhagen,Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106355298","display_name":"Gilles Muller","orcid":"https://orcid.org/0000-0002-0000-8569"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Muller","raw_affiliation_strings":["EMN/INRIA-Rega, Paris, France","EMN/INRIA-Regal, Paris, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"EMN/INRIA-Rega, Paris, France","institution_ids":["https://openalex.org/I1326498283"]},{"raw_affiliation_string":"EMN/INRIA-Regal, Paris, France","institution_ids":["https://openalex.org/I1326498283"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5103879150"],"corresponding_institution_ids":["https://openalex.org/I124055696"],"apc_list":null,"apc_paid":null,"fwci":9.003,"has_fulltext":false,"cited_by_count":60,"citation_normalized_percentile":{"value":0.98090551,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"43","last_page":"52"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.84465092420578},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6286935210227966},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5930330753326416},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5326392650604248},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5225750207901001},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.5195653438568115},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.49208205938339233},{"id":"https://openalex.org/keywords/false-positive-paradox","display_name":"False positive paradox","score":0.48765337467193604},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.4646984934806824},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4630681574344635},{"id":"https://openalex.org/keywords/usability","display_name":"Usability","score":0.4447331428527832},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.44433659315109253},{"id":"https://openalex.org/keywords/taint-checking","display_name":"Taint checking","score":0.4127384126186371},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2696607708930969},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.19298067688941956}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.84465092420578},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6286935210227966},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5930330753326416},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5326392650604248},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5225750207901001},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5195653438568115},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.49208205938339233},{"id":"https://openalex.org/C64869954","wikidata":"https://www.wikidata.org/wiki/Q1859747","display_name":"False positive paradox","level":2,"score":0.48765337467193604},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.4646984934806824},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4630681574344635},{"id":"https://openalex.org/C170130773","wikidata":"https://www.wikidata.org/wiki/Q216378","display_name":"Usability","level":2,"score":0.4447331428527832},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.44433659315109253},{"id":"https://openalex.org/C63116202","wikidata":"https://www.wikidata.org/wiki/Q7676227","display_name":"Taint checking","level":3,"score":0.4127384126186371},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2696607708930969},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.19298067688941956},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.1109/dsn.2009.5270354","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dsn.2009.5270354","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE/IFIP International Conference on Dependable Systems &amp; Networks","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.212.4390","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.212.4390","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.diku.dk/~julia/dsn09.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.317.9850","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.317.9850","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.onera.fr/staff/julien-brunel/docs/dsn.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.319.6990","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.319.6990","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.emn.fr/z-info/coccinelle/dsn09.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:hal-00941142v1","is_oa":false,"landing_page_url":"https://hal.science/hal-00941142","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"DSN'09 - IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Lisbon, Portugal. pp.43-52, &#x27E8;10.1109/DSN.2009.5270354&#x27E9;","raw_type":"Conference papers"},{"id":"pmh:oai:pure.atira.dk:openaire_cris_publications/8ab9ea00-6581-11de-8bc9-000ea68e967b","is_oa":false,"landing_page_url":"http://hal.archives-ouvertes.fr/hal-00294004/en/","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.atira.dk:publications/8ab9ea00-6581-11de-8bc9-000ea68e967b","is_oa":false,"landing_page_url":"https://researchprofiles.ku.dk/da/publications/8ab9ea00-6581-11de-8bc9-000ea68e967b","pdf_url":null,"source":{"id":"https://openalex.org/S4306401983","display_name":"Research at the University of Copenhagen (University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I124055696","host_organization_name":"University of Copenhagen","host_organization_lineage":["https://openalex.org/I124055696"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lawall , J , Brunel , J P M , Palix , N J-M , Hansen , R R , Stuart , H & Muller , G 2009 , WYSIWIB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code . in Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks . IEEE , pp. 43-52 , 2009 IEEE/IFIP International Conference on Dependable Systems and Networks (DSN\u00b409) , Estoril , Portugal , 29/06/2009 . < http://hal.archives-ouvertes.fr/hal-00294004/en/ >","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/a008c53e-e13b-47f0-a038-2fe2c75422dc","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/a008c53e-e13b-47f0-a038-2fe2c75422dc","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Lawall , J L , Brunel , J , Palix , N , Hansen , R R , Stuart , H &amp; Muller , G 2009 , ' WYSIWIB - A declarative approach to finding API protocols and bugs in Linux code. ' , s. 43-52 . https://doi.org/10.1109/DSN.2009.5270354","raw_type":"conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6499999761581421}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1968027261","https://openalex.org/W2043811931","https://openalex.org/W2054520963","https://openalex.org/W2066859698","https://openalex.org/W2092858671","https://openalex.org/W2107613703","https://openalex.org/W2123758397","https://openalex.org/W2131195907","https://openalex.org/W2131724884","https://openalex.org/W2152874840","https://openalex.org/W2156841542","https://openalex.org/W2162422574","https://openalex.org/W2171471938","https://openalex.org/W4235136009","https://openalex.org/W4301884989","https://openalex.org/W6642147301","https://openalex.org/W6667409668"],"related_works":["https://openalex.org/W2120421136","https://openalex.org/W2889297400","https://openalex.org/W2942625968","https://openalex.org/W156668154","https://openalex.org/W4200282997","https://openalex.org/W2888962833","https://openalex.org/W4384302888","https://openalex.org/W2019230987","https://openalex.org/W1971800255","https://openalex.org/W2127961981"],"abstract_inverted_index":{"Eliminating":[0],"OS":[1,30,72],"bugs":[2,28,50],"is":[3,83,116],"essential":[4],"to":[5,15,42,52,56,67,104,124,141],"ensuring":[6],"the":[7,44,54,59,93],"reliability":[8],"of":[9,49,106,113,144],"infrastructures":[10],"ranging":[11],"from":[12],"embedded":[13],"systems":[14],"servers.":[16],"Several":[17],"tools":[18,45],"based":[19,77],"on":[20,46],"static":[21],"analysis":[22],"have":[23,138],"been":[24],"proposed":[25],"for":[26,97],"finding":[27,69,99],"in":[29,58,70],"code.":[31,61,109],"They":[32],"have,":[33],"however,":[34],"emphasized":[35],"scalability":[36],"over":[37],"usability,":[38],"making":[39],"it":[40],"difficult":[41],"focus":[43],"specific":[47],"kinds":[48],"and":[51],"relate":[53],"results":[55],"patterns":[57],"source":[60],"We":[62,132],"propose":[63],"a":[64,75,101],"declarative":[65],"approach":[66,82,115],"bug":[68,98],"Linux":[71],"code":[73],"using":[74,100],"control-flow":[76],"program":[78],"search":[79,118],"engine.":[80],"Our":[81],"WYSIWIB":[84],"(What":[85],"You":[86],"See":[87],"Is":[88],"Where":[89],"It":[90],"Bugs),":[91],"since":[92],"programmer":[94],"expresses":[95],"specifications":[96,119],"syntax":[102],"close":[103],"that":[105,117,137],"ordinary":[107],"C":[108],"The":[110],"key":[111],"advantage":[112],"our":[114],"can":[120],"be":[121],"easily":[122],"tailored,":[123],"eliminate":[125],"false":[126],"positives":[127],"or":[128],"catch":[129],"more":[130],"bugs.":[131,146],"present":[133],"three":[134],"case":[135],"studies":[136],"allowed":[139],"us":[140],"find":[142],"hundreds":[143],"potential":[145]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":6}],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}