{"id":"https://openalex.org/W2068530820","doi":"https://doi.org/10.1145/2814270.2814292","title":"Valor: efficient, software-only region conflict exceptions","display_name":"Valor: efficient, software-only region conflict exceptions","publication_year":2015,"publication_date":"2015-10-23","ids":{"openalex":"https://openalex.org/W2068530820","doi":"https://doi.org/10.1145/2814270.2814292","mag":"2068530820"},"language":"en","primary_location":{"id":"doi:10.1145/2814270.2814292","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814270.2814292","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 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","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/A5089244894","display_name":"Swarnendu Biswas","orcid":"https://orcid.org/0000-0001-6839-8586"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Swarnendu Biswas","raw_affiliation_strings":["Ohio State University, USA","Ohio State University - USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]},{"raw_affiliation_string":"Ohio State University - USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077768924","display_name":"Minjia Zhang","orcid":"https://orcid.org/0000-0002-8165-166X"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Minjia Zhang","raw_affiliation_strings":["Ohio State University, USA","Ohio State University - USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]},{"raw_affiliation_string":"Ohio State University - USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044161672","display_name":"Michael D. Bond","orcid":"https://orcid.org/0000-0002-8971-4944"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael D. Bond","raw_affiliation_strings":["Ohio State University, USA","Ohio State University - USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]},{"raw_affiliation_string":"Ohio State University - USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076249757","display_name":"Brandon Lucia","orcid":"https://orcid.org/0000-0003-4130-1099"},"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":"Brandon Lucia","raw_affiliation_strings":["Carnegie Mellon University, USA"],"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5089244894"],"corresponding_institution_ids":["https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":14.8423,"has_fulltext":false,"cited_by_count":57,"citation_normalized_percentile":{"value":0.99326367,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"241","last_page":"259"},"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.9979000091552734,"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/T11424","display_name":"Security and Verification in Computing","score":0.9947999715805054,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7482750415802002},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6504334211349487},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5898091197013855},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5678755044937134},{"id":"https://openalex.org/keywords/detector","display_name":"Detector","score":0.5511554479598999},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.47512632608413696},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.4675394892692566},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.37450581789016724},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35335713624954224},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3293081223964691},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3253409266471863},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1582072377204895},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.13608083128929138}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7482750415802002},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6504334211349487},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5898091197013855},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5678755044937134},{"id":"https://openalex.org/C94915269","wikidata":"https://www.wikidata.org/wiki/Q1834857","display_name":"Detector","level":2,"score":0.5511554479598999},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.47512632608413696},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4675394892692566},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.37450581789016724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35335713624954224},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3293081223964691},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3253409266471863},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1582072377204895},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.13608083128929138},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2814270.2814292","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2814270.2814292","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 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.704.4158","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.704.4158","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://brandonlucia.com/pubs/valor-oopsla-2015.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.708.2863","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.708.2863","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://web.cse.ohio-state.edu/%7Emikebond/valor-oopsla-2015.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":93,"referenced_works":["https://openalex.org/W1048515","https://openalex.org/W97749504","https://openalex.org/W1482397304","https://openalex.org/W1514258760","https://openalex.org/W1568532261","https://openalex.org/W1931688030","https://openalex.org/W1963966612","https://openalex.org/W1972544179","https://openalex.org/W1973501242","https://openalex.org/W1979330015","https://openalex.org/W1996009176","https://openalex.org/W1996587743","https://openalex.org/W2002179840","https://openalex.org/W2016323637","https://openalex.org/W2021030008","https://openalex.org/W2028267160","https://openalex.org/W2038736729","https://openalex.org/W2054391605","https://openalex.org/W2054739713","https://openalex.org/W2078197548","https://openalex.org/W2087969648","https://openalex.org/W2091085450","https://openalex.org/W2093755302","https://openalex.org/W2094222793","https://openalex.org/W2096475201","https://openalex.org/W2096527448","https://openalex.org/W2098005317","https://openalex.org/W2101161997","https://openalex.org/W2101251595","https://openalex.org/W2102731275","https://openalex.org/W2103408719","https://openalex.org/W2107529624","https://openalex.org/W2108204150","https://openalex.org/W2115313734","https://openalex.org/W2117069557","https://openalex.org/W2121816623","https://openalex.org/W2126501440","https://openalex.org/W2127731413","https://openalex.org/W2127989655","https://openalex.org/W2133662847","https://openalex.org/W2135023759","https://openalex.org/W2141975313","https://openalex.org/W2143055677","https://openalex.org/W2143869535","https://openalex.org/W2145087641","https://openalex.org/W2146710330","https://openalex.org/W2146766856","https://openalex.org/W2147506153","https://openalex.org/W2149538119","https://openalex.org/W2149984854","https://openalex.org/W2150602145","https://openalex.org/W2150736379","https://openalex.org/W2151399202","https://openalex.org/W2152390090","https://openalex.org/W2152621318","https://openalex.org/W2152885346","https://openalex.org/W2153174073","https://openalex.org/W2154557525","https://openalex.org/W2156428492","https://openalex.org/W2157479538","https://openalex.org/W2158449625","https://openalex.org/W2160963348","https://openalex.org/W2161038602","https://openalex.org/W2161600851","https://openalex.org/W2162630235","https://openalex.org/W2164726441","https://openalex.org/W2165199599","https://openalex.org/W2166091242","https://openalex.org/W2166615267","https://openalex.org/W2167744164","https://openalex.org/W2171745083","https://openalex.org/W2245661419","https://openalex.org/W2289234327","https://openalex.org/W2340530615","https://openalex.org/W2405985696","https://openalex.org/W2406016286","https://openalex.org/W2955325419","https://openalex.org/W3004250778","https://openalex.org/W3137220996","https://openalex.org/W3142915758","https://openalex.org/W4206635466","https://openalex.org/W4229635525","https://openalex.org/W4238982306","https://openalex.org/W4242949098","https://openalex.org/W4247660350","https://openalex.org/W4249000722","https://openalex.org/W4249224771","https://openalex.org/W4251803824","https://openalex.org/W4300810260","https://openalex.org/W6600049303","https://openalex.org/W6682253272","https://openalex.org/W6713632787","https://openalex.org/W6713716110"],"related_works":["https://openalex.org/W2366906938","https://openalex.org/W2349391998","https://openalex.org/W2000775715","https://openalex.org/W2795393339","https://openalex.org/W2074467390","https://openalex.org/W2626393719","https://openalex.org/W2174745845","https://openalex.org/W2959145970","https://openalex.org/W2788308474","https://openalex.org/W2031096545"],"abstract_inverted_index":{"Data":[0],"races":[1,18],"complicate":[2],"programming":[3],"language":[4],"semantics,":[5],"and":[6,19,79,117,125],"a":[7,12,48,76,91,98],"data":[8,17,110,163],"race":[9,111],"is":[10,128],"often":[11],"bug.":[13],"Existing":[14],"techniques":[15,32],"detect":[16],"define":[20],"their":[21],"semantics":[22],"by":[23,60],"detecting":[24],"conflicts":[25,82],"between":[26],"synchronization-free":[27],"regions":[28],"(SFRs).":[29],"However,":[30],"such":[31],"either":[33],"modify":[34],"hardware":[35],"or":[36],"slow":[37],"programs":[38],"dramatically,":[39],"preventing":[40],"always-on":[41,156],"use":[42],"today.":[43],"This":[44],"paper":[45],"describes":[46],"Valor,":[47,115],"sound,":[49],"precise,":[50],"software-only":[51],"region":[52,88,131],"conflict":[53,99,132],"detection":[54],"analysis":[55,64],"that":[56,69,101,120],"achieves":[57],"high":[58],"performance":[59],"eliminating":[61],"the":[62,87,103,108,129,150,153],"costly":[63],"on":[65],"each":[66],"read":[67],"operation":[68],"prior":[70],"approaches":[71],"require.":[72],"Valor":[73,121,127,148],"instead":[74],"logs":[75],"region's":[77],"reads":[78,85],"lazily":[80],"detects":[81],"for":[83,139,158,162],"logged":[84],"when":[86],"ends.":[89],"As":[90],"comparison,":[92],"we":[93],"have":[94],"also":[95],"developed":[96],"FastRCD,":[97,116],"detector":[100,133],"leverages":[102],"epoch":[104],"optimization":[105],"strategy":[106],"of":[107,152],"FastTrack":[109],"detector.":[112],"We":[113],"evaluate":[114],"FastTrack,":[118],"showing":[119],"dramatically":[122],"outperforms":[123],"FastRCD":[124],"FastTrack.":[126],"first":[130],"to":[134],"provide":[135],"strong":[136,159],"semantic":[137],"guarantees":[138,161],"racy":[140],"program":[141],"executions":[142],"with":[143],"under":[144],"2X":[145],"slowdown.":[146],"Overall,":[147],"advances":[149],"state":[151],"art":[154],"in":[155],"support":[157],"behavioral":[160],"races.":[164]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":9},{"year":2017,"cited_by_count":19},{"year":2016,"cited_by_count":13},{"year":2015,"cited_by_count":4}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}