{"id":"https://openalex.org/W4244179735","doi":"https://doi.org/10.1145/1736020.1736050","title":"Butterfly analysis","display_name":"Butterfly analysis","publication_year":2010,"publication_date":"2010-03-13","ids":{"openalex":"https://openalex.org/W4244179735","doi":"https://doi.org/10.1145/1736020.1736050"},"language":"en","primary_location":{"id":"doi:10.1145/1736020.1736050","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1736020.1736050","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the fifteenth International Conference on Architectural support for programming languages and operating systems","raw_type":"proceedings-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/A5058763303","display_name":"Michelle L. Goodstein","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michelle L. Goodstein","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025409993","display_name":"Evangelos Vlachos","orcid":"https://orcid.org/0000-0003-1501-0722"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Evangelos Vlachos","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101499113","display_name":"Shimin Chen","orcid":"https://orcid.org/0009-0000-1043-6236"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shimin Chen","raw_affiliation_strings":["Intel Labs Pittsburgh, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Intel Labs Pittsburgh, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014824446","display_name":"Phillip B. Gibbons","orcid":"https://orcid.org/0000-0001-6967-2735"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Phillip B. Gibbons","raw_affiliation_strings":["Intel Labs Pittsburgh, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Intel Labs Pittsburgh, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068719520","display_name":"Michael A. Kozuch","orcid":"https://orcid.org/0009-0009-0939-3297"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael A. Kozuch","raw_affiliation_strings":["Intel Labs Pittsburgh, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Intel Labs Pittsburgh, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076667915","display_name":"Todd C. Mowry","orcid":"https://orcid.org/0000-0003-4076-5684"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Todd C. Mowry","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5058763303"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":2.4969,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.90536764,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"257","last_page":"270"},"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.9995999932289124,"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.9995999932289124,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9987999796867371,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.998199999332428,"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.8347630500793457},{"id":"https://openalex.org/keywords/parsec","display_name":"Parsec","score":0.8135515451431274},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.7299841046333313},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6804439425468445},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6761013269424438},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.5333499908447266},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5108036994934082},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.49208539724349976},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.45108115673065186},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41031086444854736},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3751659691333771},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.174599289894104},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17269104719161987}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8347630500793457},{"id":"https://openalex.org/C44060867","wikidata":"https://www.wikidata.org/wiki/Q12129","display_name":"Parsec","level":3,"score":0.8135515451431274},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.7299841046333313},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6804439425468445},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6761013269424438},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.5333499908447266},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5108036994934082},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.49208539724349976},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.45108115673065186},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41031086444854736},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3751659691333771},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.174599289894104},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17269104719161987},{"id":"https://openalex.org/C150846664","wikidata":"https://www.wikidata.org/wiki/Q7602306","display_name":"Stars","level":2,"score":0.0},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1736020.1736050","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1736020.1736050","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the fifteenth International Conference on Architectural support for programming languages and operating systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1491178396","https://openalex.org/W1972544179","https://openalex.org/W1982335633","https://openalex.org/W1993836075","https://openalex.org/W2029601347","https://openalex.org/W2054145559","https://openalex.org/W2065818693","https://openalex.org/W2066859698","https://openalex.org/W2096835686","https://openalex.org/W2098370715","https://openalex.org/W2102970979","https://openalex.org/W2115015193","https://openalex.org/W2119179558","https://openalex.org/W2130473288","https://openalex.org/W2143869535","https://openalex.org/W2145021036","https://openalex.org/W2146340823","https://openalex.org/W2149538119","https://openalex.org/W2152423679","https://openalex.org/W2153484975","https://openalex.org/W2155943969","https://openalex.org/W2155962559","https://openalex.org/W2156858199","https://openalex.org/W2159582805","https://openalex.org/W2171660659","https://openalex.org/W2561675875","https://openalex.org/W3033725878","https://openalex.org/W3106729728","https://openalex.org/W3150696551","https://openalex.org/W4214867067","https://openalex.org/W4239813889","https://openalex.org/W4246906397","https://openalex.org/W4251521742","https://openalex.org/W6629325410","https://openalex.org/W6630877225","https://openalex.org/W6685672314"],"related_works":["https://openalex.org/W2044887272","https://openalex.org/W246909719","https://openalex.org/W1885534640","https://openalex.org/W1906213980","https://openalex.org/W2036306661","https://openalex.org/W2105768184","https://openalex.org/W2505917360","https://openalex.org/W118795575","https://openalex.org/W1738788207","https://openalex.org/W1524796877"],"abstract_inverted_index":{"Online":[0],"program":[1,49],"monitoring":[2],"is":[3,23],"an":[4],"effective":[5],"technique":[6],"for":[7,30,242],"detecting":[8],"bugs":[9],"and":[10,33,43,140,162,180,192,216,246],"security":[11,181],"attacks":[12],"in":[13,84,176,233],"running":[14,220],"applications.":[15],"Extending":[16],"these":[17,64,154],"tools":[18,27,39],"to":[19,143,153,158,197,250],"monitor":[20],"parallel":[21,149],"programs":[22],"challenging":[24],"because":[25],"the":[26,47,85,101,105,117,124,160,198,230,248],"must":[28],"account":[29],"inter-thread":[31,75],"dependences":[32],"relaxed":[34,253],"memory":[35,179],"consistency":[36,42,71,254],"models.":[37,255],"Existing":[38],"assume":[40,81],"sequential":[41],"often":[44],"slow":[45],"down":[46],"monitored":[48],"by":[50,66],"orders":[51],"of":[52,103,108,121,147,164,200,214],"magnitude.":[53],"In":[54],"this":[55,144],"paper,":[56],"we":[57,79,94,130],"present":[58],"a":[59,201,212,221,225,236],"novel":[60],"approach":[61,187],"that":[62,82,185],"avoids":[63],"pitfalls":[65],"not":[67,189],"relying":[68],"on":[69,88,98,112,211,224,252],"strong":[70],"models":[72],"or":[73],"detailed":[74],"dependence":[76],"tracking.":[77],"Instead,":[78],"only":[80,195],"events":[83,111],"distant":[86],"past":[87],"all":[89,123],"threads":[90],"have":[91],"become":[92],"visible;":[93],"make":[95],"no":[96],"assumptions":[97],"(and":[99],"avoid":[100],"overheads":[102],"tracking)":[104],"relative":[106,202],"ordering":[107,203],"more":[109],"recent":[110,128,205],"other":[113],"threads.":[114],"To":[115],"overcome":[116],"potential":[118,231],"state":[119],"explosion":[120],"considering":[122],"possible":[125],"orderings":[126],"among":[127,204],"events,":[129],"adapt":[131],"two":[132,177],"techniques":[133,155],"from":[134],"static":[135],"dataflow":[136],"analysis,":[137],"reaching":[138,141],"definitions":[139],"expressions,":[142],"new":[145],"domain":[146],"dynamic":[148],"monitoring.":[150],"Significant":[151],"modifications":[152],"are":[156],"proposed":[157],"ensure":[159],"correctness":[161],"efficiency":[163],"our":[165,170,186,208],"approach.":[166],"We":[167,183],"show":[168],"how":[169],"adapted":[171],"analysis":[172],"can":[173],"be":[174],"used":[175],"popular":[178],"tools.":[182],"prove":[184],"does":[188],"miss":[190],"errors,":[191],"sacrifices":[193],"precision":[194],"due":[196],"lack":[199],"events.":[206],"Moreover,":[207],"simulation":[209],"study":[210],"collection":[213],"Splash-2":[215],"Parsec":[217],"2.0":[218],"benchmarks":[219],"memory-checking":[222],"tool":[223],"hardware-assisted":[226],"logging":[227],"platform":[228],"demonstrates":[229],"benefits":[232],"trading":[234],"off":[235],"very":[237],"low":[238],"false":[239],"positive":[240],"rate":[241],"(i)":[243],"reduced":[244],"overhead":[245],"(ii)":[247],"ability":[249],"run":[251]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-05-12T00:00:00"}