{"id":"https://openalex.org/W2005139304","doi":"https://doi.org/10.1145/1745312.1745314","title":"Execution suppression","display_name":"Execution suppression","publication_year":2008,"publication_date":"2008-05-24","ids":{"openalex":"https://openalex.org/W2005139304","doi":"https://doi.org/10.1145/1745312.1745314","mag":"2005139304"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1745312.1745314","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5012356696","display_name":"Dennis Jeffrey","orcid":null},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"funder","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dennis Jeffrey","raw_affiliation_strings":["The University of California, Riverside, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"The University of California, Riverside, CA#TAB#","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056071760","display_name":"Vijay Nagarajan","orcid":"https://orcid.org/0009-0000-5045-4754"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"funder","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay Nagarajan","raw_affiliation_strings":["The University of California, Riverside, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"The University of California, Riverside, CA#TAB#","institution_ids":["https://openalex.org/I103635307"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100699251","display_name":"Rajiv Gupta","orcid":"https://orcid.org/0000-0002-9348-3974"},"institutions":[{"id":"https://openalex.org/I103635307","display_name":"University of California, Riverside","ror":"https://ror.org/03nawhv43","country_code":"US","type":"funder","lineage":["https://openalex.org/I103635307"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajiv Gupta","raw_affiliation_strings":["The University of California, Riverside, CA#TAB#"],"affiliations":[{"raw_affiliation_string":"The University of California, Riverside, CA#TAB#","institution_ids":["https://openalex.org/I103635307"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.42,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.881026,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":83,"max":84},"biblio":{"volume":"32","issue":"5","first_page":"1","last_page":"36"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9986,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9986,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.998,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9966,"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/language-change","display_name":"Language Change","score":0.54805374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8627774},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.8602468},{"id":"https://openalex.org/C2780027415","wikidata":"https://www.wikidata.org/wiki/Q524648","display_name":"Language change","level":2,"score":0.54805374},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4755808},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4691559},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.46786547},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.450616},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.38976407},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.29715377},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18579668},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.07866615},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1745312.1745314","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","score":0.82,"id":"https://metadata.un.org/sdg/16"}],"grants":[{"funder":"https://openalex.org/F4320337387","funder_display_name":"Division of Computing and Communication Foundations","award_id":"CNS-0751961CNS-0751949CNS-0810906CCF-0753470"},{"funder":"https://openalex.org/F4320337388","funder_display_name":"Division of Computer and Network Systems","award_id":"CNS-0751961CNS-0751949CNS-0810906CCF-0753470"}],"datasets":[],"versions":[],"referenced_works_count":48,"referenced_works":["https://openalex.org/W1535713556","https://openalex.org/W1950905123","https://openalex.org/W1979868167","https://openalex.org/W1984248430","https://openalex.org/W1993836075","https://openalex.org/W1995626000","https://openalex.org/W2010825534","https://openalex.org/W2016779705","https://openalex.org/W2026117800","https://openalex.org/W2036196659","https://openalex.org/W2102012911","https://openalex.org/W2104301886","https://openalex.org/W2107751709","https://openalex.org/W2110066339","https://openalex.org/W2111276854","https://openalex.org/W2116409384","https://openalex.org/W2121081915","https://openalex.org/W2121579803","https://openalex.org/W2128769765","https://openalex.org/W2129181700","https://openalex.org/W2129482816","https://openalex.org/W2129663982","https://openalex.org/W2130745898","https://openalex.org/W2131734025","https://openalex.org/W2134738691","https://openalex.org/W2136938453","https://openalex.org/W2137008041","https://openalex.org/W2140077136","https://openalex.org/W2140611647","https://openalex.org/W2145377152","https://openalex.org/W2146641295","https://openalex.org/W2149263382","https://openalex.org/W2156357889","https://openalex.org/W2156858199","https://openalex.org/W2162045655","https://openalex.org/W2166007208","https://openalex.org/W2166520981","https://openalex.org/W2169227623","https://openalex.org/W2170224888","https://openalex.org/W2293624369","https://openalex.org/W2295109848","https://openalex.org/W2914563499","https://openalex.org/W3106729728","https://openalex.org/W4234020632","https://openalex.org/W4246906397","https://openalex.org/W4249744564","https://openalex.org/W4250942327","https://openalex.org/W4250981365"],"related_works":["https://openalex.org/W796478898","https://openalex.org/W626940945","https://openalex.org/W375763875","https://openalex.org/W2744235150","https://openalex.org/W2132994900","https://openalex.org/W2111579573","https://openalex.org/W2061344455","https://openalex.org/W2040826996","https://openalex.org/W2029117867","https://openalex.org/W120748129"],"abstract_inverted_index":{"By":[0,84,121,189],"studying":[1],"the":[2,17,33,36,51,60,76,82,87,95,130,136,141,181,196,201,215,225],"behavior":[3],"of":[4,25,35,53,75,89,133,140,184,200,212,217,228,246,254],"several":[5],"programs":[6,154],"that":[7,15,79,233,249],"crash":[8,69,96,157],"due":[9,235],"to":[10,32,236,259,263],"memory":[11,27,48,54,77,134,160,229,237],"errors,":[12],"we":[13,41,169],"observed":[14],"locating":[16,47],"errors":[18,49],"can":[19,29,115,173,205],"be":[20,106,117,144,174,206],"challenging":[21],"because":[22],"significant":[23],"propagation":[24],"corrupt":[26],"values":[28],"occur":[30],"prior":[31],"point":[34,132],"crash.":[37],"In":[38],"this":[39,71,90,123,147,193,261],"article,":[40],"present":[42,163],"an":[43,177,251],"automated":[44],"approach":[45,58,149,204,219],"for":[46],"in":[50,81,119,176,220,231],"presence":[52],"corruption":[55,78,92,103,114,161,230],"propagation.":[56],"Our":[57],"leverages":[59],"information":[61],"revealed":[62],"by":[63,108,179],"a":[64,68,73,210,242],"program":[65,142],"crash:":[66],"when":[67,159],"occurs,":[70],"reveals":[72],"subset":[74],"exists":[80],"execution.":[83,165],"suppressing":[85],"(nullifying)":[86],"effect":[88],"known":[91],"during":[93,164],"execution,":[94],"is":[97,162],"avoided":[98],"and":[99,198,222,256],"any":[100],"remaining":[101],"(hidden)":[102],"may":[104,150,155],"then":[105,116],"exposed":[107,113,175],"subsequent":[109],"crashes.":[110],"The":[111],"newly":[112],"suppressed":[118],"turn.":[120],"iterating":[122],"process":[124],"until":[125],"no":[126],"further":[127],"crashes":[128,172,191],"occur,":[129],"first":[131,226],"corruption\u2014and":[135],"likely":[137],"root":[138],"cause":[139],"failure\u2014can":[143],"identified.":[145],"However,":[146],"iterative":[148],"terminate":[151],"prematurely,":[152],"since":[153],"not":[156],"even":[158],"To":[166],"address":[167],"this,":[168],"show":[170],"how":[171,258],"execution":[178,202,247],"manipulating":[180],"relative":[182],"ordering":[183],"particular":[185],"variables":[186],"within":[187],"memory.":[188],"revealing":[190],"through":[192,265],"variable":[194],"re-ordering,":[195],"effectiveness":[197,216],"applicability":[199],"suppression":[203,248],"improved.":[207],"We":[208,239],"describe":[209,257],"set":[211],"experiments":[213],"illustrating":[214],"our":[218],"consistently":[221],"precisely":[223],"identifying":[224],"points":[227],"executions":[232],"fail":[234],"errors.":[238],"also":[240],"discuss":[241],"baseline":[243],"software":[244],"implementation":[245],"incurs":[250],"average":[252],"overhead":[253,262],"7.2x,":[255],"reduce":[260],"1.8x":[264],"hardware":[266],"support.":[267]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2005139304","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-03-24T13:15:25.363397","created_date":"2016-06-24"}