{"id":"https://openalex.org/W2006485996","doi":"https://doi.org/10.1145/1273647.1273654","title":"Techniques for specifying bug patterns","display_name":"Techniques for specifying bug patterns","publication_year":2007,"publication_date":"2007-07-09","ids":{"openalex":"https://openalex.org/W2006485996","doi":"https://doi.org/10.1145/1273647.1273654","mag":"2006485996"},"language":"en","primary_location":{"id":"doi:10.1145/1273647.1273654","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273647.1273654","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.osti.gov/servlets/purl/920497","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051201607","display_name":"Daniel J. Quinlan","orcid":"https://orcid.org/0000-0001-7467-9173"},"institutions":[{"id":"https://openalex.org/I1282311441","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282311441","https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210138311"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel J. Quinlan","raw_affiliation_strings":["Lawrence Livermore National Laboratory, Livermore, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lawrence Livermore National Laboratory, Livermore, CA","institution_ids":["https://openalex.org/I1282311441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016738770","display_name":"Richard Vuduc","orcid":"https://orcid.org/0000-0003-2178-138X"},"institutions":[{"id":"https://openalex.org/I1282311441","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282311441","https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210138311"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard W. Vuduc","raw_affiliation_strings":["Lawrence Livermore National Laboratory, Livermore, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lawrence Livermore National Laboratory, Livermore, CA","institution_ids":["https://openalex.org/I1282311441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083069362","display_name":"Ghassan Misherghi","orcid":null},"institutions":[{"id":"https://openalex.org/I84218800","display_name":"University of California, Davis","ror":"https://ror.org/05rrcem69","country_code":"US","type":"education","lineage":["https://openalex.org/I84218800"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ghassan Misherghi","raw_affiliation_strings":["University of California, Davis, Davis, CA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California, Davis, Davis, CA","institution_ids":["https://openalex.org/I84218800"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9553,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.76302955,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"27","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10260","display_name":"Software Engineering Research","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.8999117612838745},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8777424097061157},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7881121635437012},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.7054752111434937},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.648734986782074},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.5134952664375305},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.43797117471694946},{"id":"https://openalex.org/keywords/data-flow-diagram","display_name":"Data flow diagram","score":0.42972707748413086},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.42835718393325806},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.42490270733833313},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4194280207157135},{"id":"https://openalex.org/keywords/data-flow-analysis","display_name":"Data-flow analysis","score":0.41554051637649536},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.41026586294174194},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.410221129655838},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.27529847621917725},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.2620190978050232}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.8999117612838745},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8777424097061157},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7881121635437012},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.7054752111434937},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.648734986782074},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5134952664375305},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.43797117471694946},{"id":"https://openalex.org/C489000","wikidata":"https://www.wikidata.org/wiki/Q747385","display_name":"Data flow diagram","level":2,"score":0.42972707748413086},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42835718393325806},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.42490270733833313},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4194280207157135},{"id":"https://openalex.org/C88468194","wikidata":"https://www.wikidata.org/wiki/Q1172416","display_name":"Data-flow analysis","level":3,"score":0.41554051637649536},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.41026586294174194},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.410221129655838},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.27529847621917725},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2620190978050232},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/1273647.1273654","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1273647.1273654","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging","raw_type":"proceedings-article"},{"id":"pmh:oai:osti.gov:920497","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/920497","pdf_url":"https://www.osti.gov/servlets/purl/920497","source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"pmh:info:ark/67531/metadc902398","is_oa":false,"landing_page_url":"https://digital.library.unt.edu/ark:/67531/metadc902398/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400792","display_name":"University of North Texas Digital Library (University of North Texas)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I123534392","host_organization_name":"University of North Texas","host_organization_lineage":["https://openalex.org/I123534392"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Presented at: Parallel And Distrubted Testing and Debugging (PADTAD) Workshop, London, United Kingdom, Jul 09 - Jul 09, 2007","raw_type":"Article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.126.3837","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.3837","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://vuduc.org/pubs/quinlan2007-bugpatterns.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:osti.gov:920497","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/920497","pdf_url":"https://www.osti.gov/servlets/purl/920497","source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6299999952316284,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1702950523","display_name":null,"funder_award_id":"W-7405","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"}],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320308590","display_name":"University of California","ror":"https://ror.org/00pjdza24"},{"id":"https://openalex.org/F4320338286","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2006485996.pdf","grobid_xml":"https://content.openalex.org/works/W2006485996.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W73531603","https://openalex.org/W103419956","https://openalex.org/W1485200865","https://openalex.org/W1490452695","https://openalex.org/W1545344643","https://openalex.org/W1550243458","https://openalex.org/W1555637434","https://openalex.org/W1575350781","https://openalex.org/W1589918049","https://openalex.org/W1597642815","https://openalex.org/W1601982076","https://openalex.org/W1936852846","https://openalex.org/W1986453394","https://openalex.org/W1994941228","https://openalex.org/W2068810256","https://openalex.org/W2089427110","https://openalex.org/W2093094052","https://openalex.org/W2103772961","https://openalex.org/W2108827856","https://openalex.org/W2112121929","https://openalex.org/W2147279372","https://openalex.org/W2158047578","https://openalex.org/W2158600037","https://openalex.org/W2160611910","https://openalex.org/W2161957670","https://openalex.org/W2301360346","https://openalex.org/W2303756261","https://openalex.org/W2441671857","https://openalex.org/W2602645338","https://openalex.org/W4247981256","https://openalex.org/W4285719527","https://openalex.org/W4388701133","https://openalex.org/W6602954136","https://openalex.org/W6602984510","https://openalex.org/W6698255013"],"related_works":["https://openalex.org/W2998775986","https://openalex.org/W2052485000","https://openalex.org/W2166895275","https://openalex.org/W2391715591","https://openalex.org/W1571653483","https://openalex.org/W2014311072","https://openalex.org/W4238983745","https://openalex.org/W2161567720","https://openalex.org/W4240983189","https://openalex.org/W2127637733"],"abstract_inverted_index":{"We":[0,188],"present":[1],"our":[2],"on-going":[3,193],"work":[4,167,194],"to":[5,97,124,140],"develop":[6],"techniques":[7,139],"for":[8,171],"specifying":[9],"source":[10,129],"code":[11,130],"signatures":[12],"of":[13,33,50,127,146,155,177,191],"bug":[14,119],"patterns.":[15],"Specifically,":[16],"we":[17,58,116],"discuss":[18],"two":[19],"approaches.":[20],"The":[21,41],"first":[22],"approach":[23],"directly":[24,162],"analyzes":[25,43],"a":[26,66],"program":[27,45],"in":[28,77,183],"the":[29,34,44,47,60,78,84,125,128,132,156,175,178],"intermediate":[30],"representation":[31],"(IR)":[32],"ROSE":[35,64,101],"compiler":[36],"infrastructure":[37],"using":[38,46,87],"ROSE's":[39],"API.":[40],"second":[42],"bddbddb":[48,82],"system":[49],"Lam,":[51],"Whaley,":[52],"et":[53],"al..":[54],"In":[55,113],"this":[56,114,192],"approach,":[57],"store":[59],"IR":[61],"produced":[62],"by":[63,153],"as":[65,71,195],"relational":[67],"database,":[68],"express":[69],"patterns":[70,120,142,173],"declarative":[72],"inference":[73],"rules":[74],"on":[75,174],"relations":[76],"language":[79],"Datalog,":[80],"and":[81,108],"implements":[83],"Datalog":[85],"programs":[86],"binary":[88],"decision":[89],"diagram":[90],"(BDD)":[91],"techniques.":[92],"Both":[93],"approaches":[94],"readily":[95],"apply":[96],"large-scale":[98],"applications,":[99],"since":[100],"provides":[102],"full":[103],"type":[104],"analysis,":[105],"control":[106,133],"flow,":[107,134],"other":[109],"available":[110],"analysis":[111],"information.":[112],"paper,":[115],"primarily":[117],"consider":[118],"expressed":[121],"with":[122],"respect":[123],"structure":[126],"or":[131,135],"both.":[136],"More":[137],"complex":[138],"specify":[141],"that":[143],"are":[144,160],"functions":[145],"data":[147],"flow":[148],"properties":[149],"may":[150],"be":[151],"addressed":[152],"either":[154],"above":[157],"approaches,":[158],"but":[159],"not":[161],"treated":[163],"here.":[164],"Our":[165],"Datalog-based":[166],"includes":[168],"explicit":[169],"support":[170],"expressing":[172],"use":[176],"Message":[179],"Passing":[180],"Interface":[181],"(MPI)":[182],"parallel":[184],"distributed":[185],"memory":[186],"programs.":[187],"show":[189],"examples":[190],"well.":[196]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}