{"id":"https://openalex.org/W2102527810","doi":"https://doi.org/10.1109/tcst.2012.2226034","title":"Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control","display_name":"Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control","publication_year":2013,"publication_date":"2013-01-04","ids":{"openalex":"https://openalex.org/W2102527810","doi":"https://doi.org/10.1109/tcst.2012.2226034","mag":"2102527810"},"language":"en","primary_location":{"id":"doi:10.1109/tcst.2012.2226034","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcst.2012.2226034","pdf_url":null,"source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"},"type":"article","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/A5103521137","display_name":"Hongwei Liao","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongwei Liao","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011242335","display_name":"Yin Wang","orcid":"https://orcid.org/0000-0003-3274-0452"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yin Wang","raw_affiliation_strings":["Hewlett-Packard Laboratories, Palo Alto, CA, USA","Hewlett\u2013Packard Laboratories, Palo Alto, CA, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett-Packard Laboratories, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1324840837"]},{"raw_affiliation_string":"Hewlett\u2013Packard Laboratories, Palo Alto, CA, USA#TAB#","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113666379","display_name":"Jason Stanley","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Stanley","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027585653","display_name":"St\u00e9phane Lafortune","orcid":"https://orcid.org/0000-0002-7526-6642"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephane Lafortune","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008675858","display_name":"Spyros Reveliotis","orcid":null},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Spyros Reveliotis","raw_affiliation_strings":["School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","Sch. of Ind. & Syst. Eng., Georgia Inst. of Technol., Atlanta, GA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]},{"raw_affiliation_string":"Sch. of Ind. & Syst. Eng., Georgia Inst. of Technol., Atlanta, GA, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014934596","display_name":"Terence Kelly","orcid":"https://orcid.org/0009-0006-1607-5674"},"institutions":[{"id":"https://openalex.org/I1324840837","display_name":"Hewlett-Packard (United States)","ror":"https://ror.org/059rn9488","country_code":"US","type":"company","lineage":["https://openalex.org/I1324840837"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Terence Kelly","raw_affiliation_strings":["Hewlett-Packard Laboratories, Palo Alto, CA, USA","Hewlett\u2013Packard Laboratories, Palo Alto, CA, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hewlett-Packard Laboratories, Palo Alto, CA, USA","institution_ids":["https://openalex.org/I1324840837"]},{"raw_affiliation_string":"Hewlett\u2013Packard Laboratories, Palo Alto, CA, USA#TAB#","institution_ids":["https://openalex.org/I1324840837"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002075773","display_name":"Scott Mahlke","orcid":"https://orcid.org/0000-0002-0438-0616"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott Mahlke","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]},{"raw_affiliation_string":"Dept. of Electr. Eng. & Comput. Sci., Univ. of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.5614,"has_fulltext":false,"cited_by_count":34,"citation_normalized_percentile":{"value":0.97123265,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"21","issue":"6","first_page":"2067","last_page":"2082"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9987000226974487,"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/computer-science","display_name":"Computer science","score":0.8130056858062744},{"id":"https://openalex.org/keywords/uniprocessor-system","display_name":"Uniprocessor system","score":0.7117111682891846},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.6272526979446411},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5618797540664673},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5409769415855408},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.540364682674408},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5259844660758972},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5208126306533813},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.47264212369918823},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.4584396183490753},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4478694200515747},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.44758740067481995},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.42487916350364685},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30440986156463623},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.2915576994419098},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1441504955291748},{"id":"https://openalex.org/keywords/multiprocessing","display_name":"Multiprocessing","score":0.1227475106716156}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8130056858062744},{"id":"https://openalex.org/C79189994","wikidata":"https://www.wikidata.org/wiki/Q3488021","display_name":"Uniprocessor system","level":3,"score":0.7117111682891846},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.6272526979446411},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5618797540664673},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5409769415855408},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.540364682674408},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5259844660758972},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5208126306533813},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.47264212369918823},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.4584396183490753},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4478694200515747},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.44758740067481995},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.42487916350364685},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30440986156463623},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.2915576994419098},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1441504955291748},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.1227475106716156},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tcst.2012.2226034","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcst.2012.2226034","pdf_url":null,"source":{"id":"https://openalex.org/S133363738","display_name":"IEEE Transactions on Control Systems Technology","issn_l":"1063-6536","issn":["1063-6536","1558-0865","2374-0159"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Control Systems Technology","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.299.2767","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2767","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www2.isye.gatech.edu/~spyros/publications/IEEE-CST_final_10-18-2012.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W48368865","https://openalex.org/W114923888","https://openalex.org/W1496620875","https://openalex.org/W1504928013","https://openalex.org/W1556549343","https://openalex.org/W1604551772","https://openalex.org/W1887412317","https://openalex.org/W1962985716","https://openalex.org/W1973317763","https://openalex.org/W1983505133","https://openalex.org/W1996109622","https://openalex.org/W2015244008","https://openalex.org/W2024623468","https://openalex.org/W2067967561","https://openalex.org/W2094928679","https://openalex.org/W2108678912","https://openalex.org/W2118496081","https://openalex.org/W2120894407","https://openalex.org/W2122618178","https://openalex.org/W2124901174","https://openalex.org/W2127825616","https://openalex.org/W2130876362","https://openalex.org/W2149984854","https://openalex.org/W2156472570","https://openalex.org/W2159856414","https://openalex.org/W2163167436","https://openalex.org/W2170657991","https://openalex.org/W2171211501","https://openalex.org/W2213709779","https://openalex.org/W2309903448","https://openalex.org/W4236164983","https://openalex.org/W4256028745","https://openalex.org/W6639248035","https://openalex.org/W6677447485","https://openalex.org/W6679281492"],"related_works":["https://openalex.org/W1964544323","https://openalex.org/W2371232373","https://openalex.org/W2371623873","https://openalex.org/W2262052980","https://openalex.org/W2125303839","https://openalex.org/W4232891356","https://openalex.org/W2010487855","https://openalex.org/W2550419340","https://openalex.org/W114923888","https://openalex.org/W2102527810"],"abstract_inverted_index":{"Computer":[0],"hardware":[1],"is":[2,15,32,50],"moving":[3],"from":[4],"uniprocessor":[5],"to":[6,35,72,114,154,171],"multicore":[7,27],"architectures.":[8],"One":[9,41],"problem":[10],"arising":[11,46],"in":[12,47,53,110,119],"this":[13,84,111],"evolution":[14],"that":[16,98,143],"only":[17],"parallel":[18,30,48],"software":[19,31,49],"can":[20],"exploit":[21],"the":[22,100,115,120,136,156,161,166],"full":[23],"performance":[24],"potential":[25],"of":[26,44,66,103,117,132,135,160,168],"architectures,":[28],"and":[29,80,141,158,164],"far":[33],"harder":[34],"write":[36],"than":[37],"conventional":[38],"serial":[39],"software.":[40,174],"important":[42,133],"class":[43,65],"failures":[45],"circular-wait":[51],"deadlock":[52],"multithreaded":[54,75],"programs.":[55],"In":[56,83],"our":[57,144,169],"ongoing":[58],"Gadara":[59,70,96,104],"project,":[60],"we":[61,86],"use":[62],"a":[63,130],"special":[64],"Petri":[67],"nets,":[68,71],"called":[69],"systematically":[73],"model":[74],"programs":[76],"with":[77,122],"lock":[78],"allocation":[79],"release":[81],"operations.":[82],"paper,":[85],"propose":[87],"an":[88],"efficient":[89],"optimal":[90],"control":[91,125,138,149],"synthesis":[92,139],"methodology":[93],"for":[94],"ordinary":[95],"nets":[97,105],"exploits":[99],"structural":[101],"properties":[102,134],"via":[106],"siphon":[107],"analysis.":[108],"Optimality":[109],"context":[112],"refers":[113],"elimination":[116],"deadlocks":[118],"program":[121],"minimally":[123],"restrictive":[124],"logic.":[126,150],"We":[127,151],"formally":[128],"establish":[129],"set":[131],"proposed":[137,162],"methodology,":[140,163],"show":[142],"algorithms":[145],"never":[146],"synthesize":[147],"redundant":[148],"conduct":[152],"experiments":[153],"evaluate":[155],"efficiency":[157],"scalability":[159],"discuss":[165],"application":[167],"results":[170],"real-world":[172],"concurrent":[173]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}