{"id":"https://openalex.org/W2092522707","doi":"https://doi.org/10.1109/ase.2011.6100154","title":"Identifying future field accesses in exhaustive state space traversal","display_name":"Identifying future field accesses in exhaustive state space traversal","publication_year":2011,"publication_date":"2011-11-01","ids":{"openalex":"https://openalex.org/W2092522707","doi":"https://doi.org/10.1109/ase.2011.6100154","mag":"2092522707"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2011.6100154","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2011.6100154","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)","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/A5083747832","display_name":"Pavel Par\u00edzek","orcid":"https://orcid.org/0000-0003-0714-7446"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Pavel Parizek","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Canada","University of Waterloo, Waterloo, ON, CA"],"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, CA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083747832","display_name":"Pavel Par\u00edzek","orcid":"https://orcid.org/0000-0003-0714-7446"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Pavel Par\u00edzek","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Canada","University of Waterloo, Waterloo, ON, CA"],"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, CA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039616179","display_name":"Ond\u0159ej Lhot\u00e1k","orcid":"https://orcid.org/0000-0001-9066-1889"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ondrej Lhotak","raw_affiliation_strings":["David R. Cheriton School of Computer Science, University of Waterloo, Canada"],"affiliations":[{"raw_affiliation_string":"David R. Cheriton School of Computer Science, University of Waterloo, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083747832"],"corresponding_institution_ids":["https://openalex.org/I151746483"],"apc_list":null,"apc_paid":null,"fwci":1.0307,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.78372157,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"102"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9990000128746033,"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.9990000128746033,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8985822200775146},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.7729538679122925},{"id":"https://openalex.org/keywords/pathfinder","display_name":"Pathfinder","score":0.75201416015625},{"id":"https://openalex.org/keywords/tree-traversal","display_name":"Tree traversal","score":0.7243080735206604},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7138901948928833},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.48048368096351624},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4448956549167633},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3295811414718628},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32828569412231445},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.09628894925117493}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8985822200775146},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.7729538679122925},{"id":"https://openalex.org/C2778940482","wikidata":"https://www.wikidata.org/wiki/Q7144753","display_name":"Pathfinder","level":2,"score":0.75201416015625},{"id":"https://openalex.org/C140745168","wikidata":"https://www.wikidata.org/wiki/Q1210082","display_name":"Tree traversal","level":2,"score":0.7243080735206604},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7138901948928833},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.48048368096351624},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4448956549167633},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3295811414718628},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32828569412231445},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.09628894925117493},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/ase.2011.6100154","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2011.6100154","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.221.4080","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.4080","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://plg.uwaterloo.ca/%7Eolhotak/pubs/ase11.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.387.1566","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.1566","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://plg.uwaterloo.ca/~pparizek/papers/ase11.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1497386276","https://openalex.org/W1536098516","https://openalex.org/W1887412317","https://openalex.org/W1980522179","https://openalex.org/W1999075586","https://openalex.org/W2016671287","https://openalex.org/W2041508799","https://openalex.org/W2059677325","https://openalex.org/W2061005179","https://openalex.org/W2096475201","https://openalex.org/W2106438110","https://openalex.org/W2110833886","https://openalex.org/W2114067856","https://openalex.org/W2132800423","https://openalex.org/W2133497528","https://openalex.org/W2133662847","https://openalex.org/W2149237601","https://openalex.org/W2149984854","https://openalex.org/W2161600851","https://openalex.org/W2162339514","https://openalex.org/W2162544703","https://openalex.org/W2168822998","https://openalex.org/W2169870841","https://openalex.org/W2998259759","https://openalex.org/W4229635525","https://openalex.org/W4243644740","https://openalex.org/W4254142897","https://openalex.org/W4256028745","https://openalex.org/W4300810260","https://openalex.org/W6639248035","https://openalex.org/W6683673185","https://openalex.org/W6684993335","https://openalex.org/W6685326405"],"related_works":["https://openalex.org/W2465291283","https://openalex.org/W179718899","https://openalex.org/W3187329742","https://openalex.org/W1498248384","https://openalex.org/W1955019684","https://openalex.org/W2315997511","https://openalex.org/W2136735429","https://openalex.org/W170547082","https://openalex.org/W2950755297","https://openalex.org/W117659776"],"abstract_inverted_index":{"One":[0],"popular":[1],"approach":[2],"to":[3,10,21,41,53,105,122,142,167],"detect":[4],"errors":[5],"in":[6,50,99,177],"multi-threaded":[7],"programs":[8,156,174],"is":[9,20,164],"systematically":[11],"explore":[12,123],"all":[13,124],"possible":[14,125,166],"interleavings.":[15,85],"A":[16],"common":[17],"algorithmic":[18],"strategy":[19],"construct":[22],"the":[23,51,100,114,130,146],"program":[24],"state":[25,134],"space":[26,135],"on-the-fly":[27],"and":[28,56,107,127],"perform":[29],"thread":[30,66,110],"scheduling":[31,67],"choices":[32,68],"at":[33,69],"any":[34],"instruction":[35],"that":[36,71,96,118],"could":[37],"have":[38,138],"effects":[39],"visible":[40],"other":[42,76],"threads.":[43],"Existing":[44],"tools":[45],"do":[46,72],"not":[47,73],"look":[48],"ahead":[49],"code":[52],"be":[54,103,120],"executed,":[55],"thus":[57],"their":[58],"decisions":[59],"are":[60],"too":[61],"conservative.":[62],"They":[63],"create":[64],"unnecessary":[65,109],"instructions":[70],"actually":[74],"influence":[75],"threads,":[77],"which":[78],"implies":[79],"exploring":[80],"exponentially":[81],"greater":[82],"numbers":[83],"of":[84,116,132],"In":[86,161],"this":[87,140],"paper":[88],"we":[89],"describe":[90],"how":[91],"information":[92],"about":[93],"field":[94],"accesses":[95],"may":[97],"occur":[98],"future":[101],"can":[102],"used":[104],"identify":[106],"eliminate":[108],"choices.":[111],"This":[112],"reduces":[113],"number":[115],"states":[117],"must":[119],"processed":[121],"behaviors":[126],"therefore":[128],"improves":[129],"performance":[131,159],"exhaustive":[133],"traversal.":[136],"We":[137],"applied":[139],"technique":[141],"Java":[143,155,170],"PathFinder,":[144],"using":[145],"WALA":[147],"library":[148],"for":[149],"static":[150],"analysis.":[151],"Experiments":[152],"on":[153],"several":[154],"show":[157],"big":[158],"gains.":[160],"particular,":[162],"it":[163],"now":[165],"check":[168],"with":[169],"PathFinder":[171],"more":[172],"complex":[173],"than":[175],"before":[176],"reasonable":[178],"time.":[179]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}