{"id":"https://openalex.org/W2024194531","doi":"https://doi.org/10.1145/2771783.2771813","title":"Pegasus: automatic barrier inference for stable multithreaded systems","display_name":"Pegasus: automatic barrier inference for stable multithreaded systems","publication_year":2015,"publication_date":"2015-07-10","ids":{"openalex":"https://openalex.org/W2024194531","doi":"https://doi.org/10.1145/2771783.2771813","mag":"2024194531"},"language":"en","primary_location":{"id":"doi:10.1145/2771783.2771813","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2771783.2771813","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","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/A5019150738","display_name":"Monika Dhok","orcid":null},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Monika Dhok","raw_affiliation_strings":["Indian Institute of Science, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004242678","display_name":"Rashmi Mudduluru","orcid":null},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Rashmi Mudduluru","raw_affiliation_strings":["Indian Institute of Science, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, India","institution_ids":["https://openalex.org/I59270414"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002609733","display_name":"Murali Ramanathan","orcid":"https://orcid.org/0000-0002-9943-150X"},"institutions":[{"id":"https://openalex.org/I59270414","display_name":"Indian Institute of Science Bangalore","ror":"https://ror.org/04dese585","country_code":"IN","type":"education","lineage":["https://openalex.org/I59270414"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Murali Krishna Ramanathan","raw_affiliation_strings":["Indian Institute of Science, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Science, India","institution_ids":["https://openalex.org/I59270414"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I59270414"],"apc_list":null,"apc_paid":null,"fwci":0.9884,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.76120563,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"153","last_page":"164"},"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.9997000098228455,"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.9997000098228455,"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.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9976000189781189,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8790918588638306},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.5716019868850708},{"id":"https://openalex.org/keywords/schedule","display_name":"Schedule","score":0.5668871998786926},{"id":"https://openalex.org/keywords/serialization","display_name":"Serialization","score":0.520093560218811},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.4957057237625122},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4556352198123932},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42375677824020386},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4234873652458191},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39816853404045105},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.389125257730484},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.216791033744812},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18625441193580627}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8790918588638306},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.5716019868850708},{"id":"https://openalex.org/C68387754","wikidata":"https://www.wikidata.org/wiki/Q7271585","display_name":"Schedule","level":2,"score":0.5668871998786926},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.520093560218811},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.4957057237625122},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4556352198123932},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42375677824020386},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4234873652458191},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39816853404045105},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.389125257730484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.216791033744812},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18625441193580627}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2771783.2771813","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2771783.2771813","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 International Symposium on Software Testing and Analysis","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":55,"referenced_works":["https://openalex.org/W1656563103","https://openalex.org/W1839854015","https://openalex.org/W1887412317","https://openalex.org/W1973842602","https://openalex.org/W1984303085","https://openalex.org/W1988927353","https://openalex.org/W2005335403","https://openalex.org/W2011565812","https://openalex.org/W2025442455","https://openalex.org/W2047068447","https://openalex.org/W2064644032","https://openalex.org/W2067406339","https://openalex.org/W2073961002","https://openalex.org/W2075164088","https://openalex.org/W2078392024","https://openalex.org/W2079202388","https://openalex.org/W2091939412","https://openalex.org/W2091980304","https://openalex.org/W2093101674","https://openalex.org/W2096584575","https://openalex.org/W2097971650","https://openalex.org/W2097994850","https://openalex.org/W2102740706","https://openalex.org/W2103078876","https://openalex.org/W2104644701","https://openalex.org/W2106029456","https://openalex.org/W2109033563","https://openalex.org/W2110908283","https://openalex.org/W2112274482","https://openalex.org/W2112401557","https://openalex.org/W2112582249","https://openalex.org/W2120027538","https://openalex.org/W2122532513","https://openalex.org/W2123184511","https://openalex.org/W2123468567","https://openalex.org/W2125038938","https://openalex.org/W2132294215","https://openalex.org/W2149433427","https://openalex.org/W2150446509","https://openalex.org/W2153229512","https://openalex.org/W2156300775","https://openalex.org/W2158794422","https://openalex.org/W2167744164","https://openalex.org/W2205295324","https://openalex.org/W2281433966","https://openalex.org/W2293881818","https://openalex.org/W2403967084","https://openalex.org/W2561675875","https://openalex.org/W2949581450","https://openalex.org/W2953166082","https://openalex.org/W4229753122","https://openalex.org/W4235385348","https://openalex.org/W4241060387","https://openalex.org/W4242346613","https://openalex.org/W6638868712"],"related_works":["https://openalex.org/W4231356583","https://openalex.org/W1593760324","https://openalex.org/W2379153735","https://openalex.org/W2376159383","https://openalex.org/W2351439380","https://openalex.org/W2899905671","https://openalex.org/W4390136247","https://openalex.org/W2046172023","https://openalex.org/W2365228680","https://openalex.org/W3007026952"],"abstract_inverted_index":{"Deterministic":[0],"multithreaded":[1,45],"systems":[2,46,64],"(DMTs)":[3],"are":[4,196,217],"designed":[5],"to":[6,22,86,101,111,123,142,167,198,211,229,233,244],"ensure":[7],"reproducibility":[8],"of":[9,35,82,105,127,149,204,250,265],"program":[10,140,145,176,253],"behavior":[11],"for":[12,108,247],"a":[13,53,71,153,160,223,251,271],"given":[14],"input.":[15],"In":[16,115],"these":[17,41,63],"systems,":[18],"even":[19],"minor":[20,58],"changes":[21],"the":[23,29,33,49,68,75,80,88,92,103,106,112,125,132,138,144,175,200,212,263],"code":[24],"(or":[25],"input)":[26],"can":[27,65],"perturb":[28],"schedule.":[30],"This":[31],"increases":[32],"number":[34],"feasible":[36],"schedules":[37],"making":[38,269],"reasoning":[39],"about":[40],"programs":[42,205,234],"harder.":[43],"Stable":[44],"(StableMTs)":[47],"address":[48],"problem":[50],"such":[51],"that":[52,194,241],"schedule":[54,161],"is":[55,94,162,165,254,267],"unaffected":[56],"by":[57,184,206],"changes.":[59],"Unfortunately,":[60],"determinism":[61],"in":[62,79,131,174,274],"potentially":[66],"serialize":[67],"execution":[69,202,213],"imposing":[70],"significant":[72],"penalty":[73],"on":[74,187],"performance.":[76],"Programmer":[77],"hints":[78],"form":[81],"soft":[83,129,172],"barriers":[84,130,173,216,246],"attempt":[85],"eliminate":[87],"performance":[89,224],"bottlenecks.":[90],"However,":[91],"process":[93],"arduous,":[95],"error-prone":[96],"and":[97,146,151,170,258],"requires":[98],"manual":[99],"intervention":[100],"reconsider":[102],"location":[104],"barrier":[107],"every":[109],"modification":[110],"source":[113,133,252],"code.":[114,134],"this":[116,158],"paper,":[117],"we":[118,195,221],"propose":[119],"an":[120],"effective":[121],"approach":[122,136],"automate":[124],"task":[126],"adding":[128],"Our":[135,190,237],"analyzes":[137],"deterministic":[139],"executions":[141,150],"extract":[143],"semantic":[147],"order":[148],"builds":[152],"weighted":[154],"constraint":[155],"graph.":[156],"Using":[157],"graph,":[159],"synthesized":[163],"which":[164],"used":[166],"identify":[168],"bottlenecks":[169],"insert":[171],"source.":[177],"We":[178],"validate":[179],"our":[180],"implementation,":[181],"named":[182],"PEGASUS,":[183],"applying":[185],"it":[186,270],"multiple":[188,248],"benchmarks.":[189],"experimental":[191,238],"results":[192,239],"demonstrate":[193],"able":[197],"reduce":[199],"overall":[201],"time":[203,214,259],"upto":[207],"34%":[208],"when":[209],"compared":[210,232],"where":[215],"inserted":[218],"manually.":[219],"Moreover,":[220],"observe":[222],"improvement":[225],"ranging":[226],"from":[227],"38%":[228],"88%":[230],"as":[231],"without":[235],"barriers.":[236],"show":[240],"adapting":[242],"PEGASUS":[243,266],"infer":[245],"versions":[249],"seamless.":[255],"The":[256],"memory":[257],"overheads":[260],"associated":[261],"with":[262],"usage":[264],"negligible":[268],"vital":[272],"cog":[273],"building":[275],"scalable":[276],"StableMTs.":[277]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}