{"id":"https://openalex.org/W4313547550","doi":"https://doi.org/10.1145/3551349.3556954","title":"Exploiting Epochs and Symmetries in Analysing MPI Programs","display_name":"Exploiting Epochs and Symmetries in Analysing MPI Programs","publication_year":2022,"publication_date":"2022-10-10","ids":{"openalex":"https://openalex.org/W4313547550","doi":"https://doi.org/10.1145/3551349.3556954"},"language":"en","primary_location":{"id":"doi:10.1145/3551349.3556954","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556954","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556954","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556954","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110852852","display_name":"Rishabh Ranjan","orcid":null},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":true,"raw_author_name":"Rishabh Ranjan","raw_affiliation_strings":["IIT Delhi, India"],"affiliations":[{"raw_affiliation_string":"IIT Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029218399","display_name":"Ishita Agrawal","orcid":null},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ishita Agrawal","raw_affiliation_strings":["IIT Delhi, India"],"affiliations":[{"raw_affiliation_string":"IIT Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014202235","display_name":"Subodh Sharma","orcid":"https://orcid.org/0000-0003-3069-3744"},"institutions":[{"id":"https://openalex.org/I68891433","display_name":"Indian Institute of Technology Delhi","ror":"https://ror.org/049tgcd06","country_code":"IN","type":"education","lineage":["https://openalex.org/I68891433"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Subodh Sharma","raw_affiliation_strings":["IIT Delhi, India"],"affiliations":[{"raw_affiliation_string":"IIT Delhi, India","institution_ids":["https://openalex.org/I68891433"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5110852852"],"corresponding_institution_ids":["https://openalex.org/I68891433"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1641541,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"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.9994999766349792,"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.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9988999962806702,"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.8645660877227783},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6840218305587769},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5926223993301392},{"id":"https://openalex.org/keywords/message-passing","display_name":"Message passing","score":0.5361860394477844},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5161784291267395},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.48926350474357605},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4562394320964813},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.4536069333553314},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4500744640827179},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38244953751564026},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3635462820529938},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.346937894821167},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09924593567848206}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8645660877227783},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6840218305587769},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5926223993301392},{"id":"https://openalex.org/C854659","wikidata":"https://www.wikidata.org/wiki/Q1859284","display_name":"Message passing","level":2,"score":0.5361860394477844},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5161784291267395},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.48926350474357605},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4562394320964813},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.4536069333553314},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4500744640827179},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38244953751564026},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3635462820529938},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.346937894821167},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09924593567848206},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"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/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3551349.3556954","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556954","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556954","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3551349.3556954","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551349.3556954","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551349.3556954","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.8100000023841858,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4313547550.pdf","grobid_xml":"https://content.openalex.org/works/W4313547550.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W165726963","https://openalex.org/W186123808","https://openalex.org/W1480909796","https://openalex.org/W1498992687","https://openalex.org/W1978562726","https://openalex.org/W1978898818","https://openalex.org/W1980044088","https://openalex.org/W2011868109","https://openalex.org/W2023489866","https://openalex.org/W2041176939","https://openalex.org/W2075410688","https://openalex.org/W2115309705","https://openalex.org/W2132613390","https://openalex.org/W2146412016","https://openalex.org/W2153327175","https://openalex.org/W2153675200","https://openalex.org/W2167995056","https://openalex.org/W2245258423","https://openalex.org/W2273799252","https://openalex.org/W2499282942","https://openalex.org/W2535919346","https://openalex.org/W2556273741","https://openalex.org/W2749582297","https://openalex.org/W2799039528","https://openalex.org/W2808769940","https://openalex.org/W2898242299","https://openalex.org/W2946882888","https://openalex.org/W2989743341","https://openalex.org/W2997285016","https://openalex.org/W3125334465","https://openalex.org/W3170638090","https://openalex.org/W4200631433","https://openalex.org/W4210896998","https://openalex.org/W4242852064","https://openalex.org/W4253460352"],"related_works":["https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W4312814274","https://openalex.org/W1590307681","https://openalex.org/W2536018345","https://openalex.org/W4285370786","https://openalex.org/W2296488620","https://openalex.org/W2358353312","https://openalex.org/W2353836703"],"abstract_inverted_index":{"Communication":[0],"nondeterminism":[1],"is":[2,27,127],"one":[3,85],"of":[4,11,13,69,97,110],"the":[5,9,23,84,89,98,103,108],"main":[6],"reasons":[7],"for":[8,58,131],"intractability":[10],"verification":[12,46,56,79,157],"message":[14,20],"passing":[15,21],"concurrency.":[16],"In":[17,48],"many":[18],"practical":[19],"programs,":[22,61],"non-deterministic":[24],"communication":[25,65],"structure":[26,40],"symmetric":[28],"and":[29,38,75,101,129,159],"decomposed":[30],"into":[31],"epochs":[32,106],"to":[33,44,114,151,163,168],"obtain":[34],"efficiency.":[35],"Thus,":[36],"symmetries":[37,66],"epoch":[39],"can":[41],"be":[42,115],"exploited":[43],"reduce":[45],"complexity.":[47],"this":[49],"paper,":[50],"we":[51,144],"present":[52],"a":[53,111,118,136,153],"dynamic-symbolic":[54],"runtime":[55],"technique":[57],"single-path":[59,132],"MPI":[60,133],"which":[62],"(i)":[63,152],"exploits":[64],"by":[67],"way":[68],"specifying":[70],"symmetry":[71],"breaking":[72],"predicates":[73],"(SBP)":[74],"(ii)":[76,160],"performs":[77],"compositional":[78],"based":[80],"on":[81,102,135],"epochs.":[82],"On":[83],"hand,":[86,105],"SBPs":[87],"prevent":[88],"symbolic":[90],"decision":[91],"procedure":[92],"from":[93],"exploring":[94],"isomorphic":[95],"parts":[96],"search":[99],"space,":[100],"other":[104],"restrict":[107],"size":[109],"program":[112],"needed":[113],"analyzed":[116],"at":[117],"point":[119],"in":[120,156],"time.":[121],"We":[122],"show":[123],"that":[124,147],"our":[125,140,148],"analysis":[126],"sound":[128],"complete":[130],"programs":[134],"given":[137],"input.":[138],"Using":[139],"prototype":[141],"tool":[142],"SIMIAN,":[143],"further":[145],"demonstrate":[146],"approach":[149],"leads":[150],"significant":[154],"reduction":[155],"times":[158],"scaling":[161],"up":[162],"larger":[164],"benchmark":[165],"sizes":[166],"compared":[167],"prior":[169],"trace":[170],"verifiers.":[171]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}