{"id":"https://openalex.org/W2004269400","doi":"https://doi.org/10.1109/srds.2013.19","title":"A Distributed Abstraction Algorithm for Online Predicate Detection","display_name":"A Distributed Abstraction Algorithm for Online Predicate Detection","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W2004269400","doi":"https://doi.org/10.1109/srds.2013.19","mag":"2004269400"},"language":"en","primary_location":{"id":"doi:10.1109/srds.2013.19","is_oa":false,"landing_page_url":"https://doi.org/10.1109/srds.2013.19","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 32nd International Symposium on Reliable Distributed Systems","raw_type":"proceedings-article"},"type":"conference-paper","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/A5101504684","display_name":"Himanshu Chauhan","orcid":"https://orcid.org/0000-0003-1124-1996"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Himanshu Chauhan","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering, The University of Texas at Austin","Dept. of Electr. & Comput. Eng., Univ. of Texas, Austin, TX, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng., Univ. of Texas, Austin, TX, USA#TAB#","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061474994","display_name":"Vijay K. Garg","orcid":"https://orcid.org/0000-0002-5797-4389"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay K. Garg","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering, The University of Texas at Austin","Dept. of Electr. & Comput. Eng., Univ. of Texas, Austin, TX, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Dept. of Electr. & Comput. Eng., Univ. of Texas, Austin, TX, USA#TAB#","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046656015","display_name":"Aravind Natarajan","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Aravind Natarajan","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering, The University of Texas at Austin","[Department of Computer Science, University of Texas, Dallas, TX, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"[Department of Computer Science, University of Texas, Dallas, TX, USA]","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103161933","display_name":"Neeraj Mittal","orcid":"https://orcid.org/0000-0002-8734-1400"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Neeraj Mittal","raw_affiliation_strings":["Dept. of Electrical and Computer Engineering, The University of Texas at Austin","[Department of Computer Science, University of Texas, Dallas, TX, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Electrical and Computer Engineering, The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"[Department of Computer Science, University of Texas, Dallas, TX, USA]","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":36,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"101","last_page":"110"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9986000061035156,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9986000061035156,"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/T12288","display_name":"Optimization and Search Problems","score":0.9815999865531921,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9796000123023987,"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.8136579990386963},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.7449374794960022},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.7160476446151733},{"id":"https://openalex.org/keywords/slicing","display_name":"Slicing","score":0.6956961154937744},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5415660738945007},{"id":"https://openalex.org/keywords/program-slicing","display_name":"Program slicing","score":0.47595807909965515},{"id":"https://openalex.org/keywords/predicate-abstraction","display_name":"Predicate abstraction","score":0.4649309813976288},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4442984461784363},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.43652400374412537},{"id":"https://openalex.org/keywords/distributed-algorithm","display_name":"Distributed algorithm","score":0.4240199625492096},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3936278820037842},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.2601805031299591},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2442663609981537}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8136579990386963},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.7449374794960022},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.7160476446151733},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.6956961154937744},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5415660738945007},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.47595807909965515},{"id":"https://openalex.org/C2779907942","wikidata":"https://www.wikidata.org/wiki/Q7239630","display_name":"Predicate abstraction","level":3,"score":0.4649309813976288},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4442984461784363},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.43652400374412537},{"id":"https://openalex.org/C130120984","wikidata":"https://www.wikidata.org/wiki/Q2835898","display_name":"Distributed algorithm","level":2,"score":0.4240199625492096},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3936278820037842},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2601805031299591},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2442663609981537},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/srds.2013.19","is_oa":false,"landing_page_url":"https://doi.org/10.1109/srds.2013.19","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 32nd International Symposium on Reliable Distributed Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W20649036","https://openalex.org/W1481985818","https://openalex.org/W1529733775","https://openalex.org/W1554248299","https://openalex.org/W1578211237","https://openalex.org/W1579452275","https://openalex.org/W1652742168","https://openalex.org/W1978683608","https://openalex.org/W2004269400","https://openalex.org/W2004960534","https://openalex.org/W2010892521","https://openalex.org/W2020063716","https://openalex.org/W2088655521","https://openalex.org/W2093397547","https://openalex.org/W2093709900","https://openalex.org/W2100559484","https://openalex.org/W2101623441","https://openalex.org/W2108837172","https://openalex.org/W2116746874","https://openalex.org/W2119965246","https://openalex.org/W2120384642","https://openalex.org/W2126923256","https://openalex.org/W2130478289","https://openalex.org/W2131053137","https://openalex.org/W2135697757","https://openalex.org/W2139061416","https://openalex.org/W2150920581","https://openalex.org/W2164538023","https://openalex.org/W2166842511","https://openalex.org/W2170797973","https://openalex.org/W2207666193","https://openalex.org/W2913459036","https://openalex.org/W2949483665","https://openalex.org/W3137220996","https://openalex.org/W4254497756","https://openalex.org/W4285719527","https://openalex.org/W4300885858","https://openalex.org/W6628749454","https://openalex.org/W6636927302","https://openalex.org/W6677300047"],"related_works":["https://openalex.org/W2134982133","https://openalex.org/W1964336761","https://openalex.org/W2991905743","https://openalex.org/W4239953224","https://openalex.org/W2112395437","https://openalex.org/W4302024603","https://openalex.org/W2347708239","https://openalex.org/W2170816480","https://openalex.org/W1595405651","https://openalex.org/W2949540013"],"abstract_inverted_index":{"Analyzing":[0],"a":[1,5,51,59,81,110,116],"distributed":[2,46,102,111],"computation":[3,76,112,135],"is":[4,41,84],"hard":[6],"problem":[7],"in":[8,15,26,90],"general":[9],"due":[10],"to":[11,50,115],"the":[12,16,19,22,27,31,88,107,122,128,132],"combinatorial":[13],"explosion":[14],"size":[17],"of":[18,24,61,109],"state-space":[20],"with":[21,48,113],"number":[23],"processes":[25],"system.":[28],"By":[29],"abstracting":[30,45],"computation,":[32],"unnecessary":[33],"state":[34],"explorations":[35],"can":[36],"be":[37],"avoided.":[38],"Computation":[39],"slicing":[40,77],"an":[42],"approach":[43],"for":[44,69,75,86,105],"computations":[47],"respect":[49,114],"given":[52],"predicate.":[53,118],"We":[54],"focus":[55],"on":[56],"regular":[57,117],"predicates,":[58],"family":[60],"predicates":[62,68],"that":[63],"covers":[64],"many":[65],"commonly":[66],"used":[67],"runtime":[70],"verification.":[71],"The":[72],"existing":[73],"algorithms":[74],"are":[78],"centralized":[79],"-":[80],"single":[82],"process":[83],"responsible":[85],"computing":[87,106],"slice":[89,108],"either":[91],"offline":[92],"or":[93],"online":[94,103],"manner.":[95],"In":[96],"this":[97],"paper,":[98],"we":[99],"present":[100],"first":[101],"algorithm":[104,120],"Our":[119],"distributes":[121],"work":[123],"and":[124,134],"storage":[125],"requirements":[126],"across":[127],"system,":[129],"thus":[130],"reducing":[131],"space":[133],"complexity":[136],"per":[137],"process.":[138]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}