{"id":"https://openalex.org/W2029844502","doi":"https://doi.org/10.1145/1374376.1374399","title":"A (de)constructive approach to program checking","display_name":"A (de)constructive approach to program checking","publication_year":2008,"publication_date":"2008-05-17","ids":{"openalex":"https://openalex.org/W2029844502","doi":"https://doi.org/10.1145/1374376.1374399","mag":"2029844502"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1374376.1374399","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5110776230","display_name":"Shafi Goldwasser","orcid":null},"institutions":[{"id":"https://openalex.org/I4210101247","display_name":"American Committee for the Weizmann Institute of Science","ror":"https://ror.org/016myq798","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210101247"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shafi Goldwasser","raw_affiliation_strings":["MIT and Weizmann Institute, Cambridge and Rehovot, USA"],"affiliations":[{"raw_affiliation_string":"MIT and Weizmann Institute, Cambridge and Rehovot, USA","institution_ids":["https://openalex.org/I4210101247"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015086408","display_name":"Dan Gutfreund","orcid":"https://orcid.org/0000-0001-5101-4443"},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dan Gutfreund","raw_affiliation_strings":["MIT Cambridge, USA."],"affiliations":[{"raw_affiliation_string":"MIT Cambridge, USA.","institution_ids":["https://openalex.org/I4210110987"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073397662","display_name":"Alexander Healy","orcid":null},"institutions":[{"id":"https://openalex.org/I2801851002","display_name":"Harvard University Press","ror":"https://ror.org/006v7bf86","country_code":"US","type":"other","lineage":["https://openalex.org/I136199984","https://openalex.org/I2801851002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Healy","raw_affiliation_strings":["Harvard University, Cambridge, USA"],"affiliations":[{"raw_affiliation_string":"Harvard University, Cambridge, USA","institution_ids":["https://openalex.org/I2801851002"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109110331","display_name":"Tali Kaufman","orcid":null},"institutions":[{"id":"https://openalex.org/I40036882","display_name":"Institute for Advanced Study","ror":"https://ror.org/00f809463","country_code":"US","type":"facility","lineage":["https://openalex.org/I40036882"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tali Kaufman","raw_affiliation_strings":["Institute for Advanced study, Princeton, USA"],"affiliations":[{"raw_affiliation_string":"Institute for Advanced study, Princeton, USA","institution_ids":["https://openalex.org/I40036882"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057788395","display_name":"Guy N. Rothblum","orcid":"https://orcid.org/0000-0001-5273-6472"},"institutions":[{"id":"https://openalex.org/I4210110987","display_name":"IIT@MIT","ror":"https://ror.org/01wp8zh54","country_code":"US","type":"facility","lineage":["https://openalex.org/I30771326","https://openalex.org/I4210110987"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Guy N. Rothblum","raw_affiliation_strings":["MIT Cambridge, USA."],"affiliations":[{"raw_affiliation_string":"MIT Cambridge, USA.","institution_ids":["https://openalex.org/I4210110987"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.151,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":25,"citation_normalized_percentile":{"value":0.889662,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":90},"biblio":{"volume":null,"issue":null,"first_page":"143","last_page":"152"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9992,"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"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9992,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9967,"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/T10083","display_name":"Graphene research and applications","score":0.9962,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/graph-isomorphism","display_name":"Graph isomorphism","score":0.42216426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.753615},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.61869764},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6100912},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.5435372},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4780767},{"id":"https://openalex.org/C61665672","wikidata":"https://www.wikidata.org/wiki/Q303100","display_name":"Graph isomorphism","level":4,"score":0.42216426},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.35579064},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1374376.1374399","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":35,"referenced_works":["https://openalex.org/W1596412683","https://openalex.org/W1607960089","https://openalex.org/W1630273691","https://openalex.org/W1687766689","https://openalex.org/W1748501741","https://openalex.org/W1943330086","https://openalex.org/W1980280740","https://openalex.org/W1984459117","https://openalex.org/W1996839061","https://openalex.org/W2006181434","https://openalex.org/W2007327671","https://openalex.org/W2010873187","https://openalex.org/W2014343882","https://openalex.org/W2016443801","https://openalex.org/W2021276494","https://openalex.org/W2026123763","https://openalex.org/W2060270693","https://openalex.org/W2080063509","https://openalex.org/W2082647621","https://openalex.org/W2092018479","https://openalex.org/W2104952158","https://openalex.org/W2111824166","https://openalex.org/W2134409170","https://openalex.org/W2134839489","https://openalex.org/W2158747250","https://openalex.org/W2169453948","https://openalex.org/W2293988196","https://openalex.org/W2398704230","https://openalex.org/W2784889254","https://openalex.org/W2998808137","https://openalex.org/W3004537778","https://openalex.org/W3165549676","https://openalex.org/W319124434","https://openalex.org/W41330591","https://openalex.org/W4240781210"],"related_works":["https://openalex.org/W4361000813","https://openalex.org/W4200456901","https://openalex.org/W3168910894","https://openalex.org/W2497124453","https://openalex.org/W2218760685","https://openalex.org/W2138154145","https://openalex.org/W2097110854","https://openalex.org/W2078498437","https://openalex.org/W1836373119","https://openalex.org/W1564871014"],"abstract_inverted_index":{"Program":[0],"checking,":[1],"program":[2,5,33,44,51,70,104,115,130,145,172,194,261,311,323],"self-correcting":[3],"and":[4,11,13,16,61,147,197,232,243,250,257,264,335],"self-testing":[6],"were":[7,76,355],"pioneered":[8],"by":[9,31,38,217,222],"[Blum":[10],"Kannan]":[12],"[Blum,":[14],"Luby":[15],"Rubinfeld]":[17],"in":[18,29,47,122,163,174,185,199,270,290,330,342,357],"the":[19,48,68,73,86,101,128,133,142,203,282,285,313,358],"mid":[20],"eighties":[21],"as":[22,238],"a":[23,95,112,171,193,210,296,310],"new":[24,231,334],"way":[25],"to":[26,110,295,309],"gain":[27],"confidence":[28],"software,":[30],"considering":[32],"correctness":[34],"on":[35,54,352],"an":[36],"input":[37,39],"basis":[40],"rather":[41,220,304],"than":[42,67,127,221,305],"full":[43],"verification.":[45],"Work":[46],"field":[49,359],"of":[50,85,103,114,124,138,144,213,284,288,298,360],"checking":[52],"focused":[53],"designing,":[55],"for":[56,72,99,131,141,178,209,235,252,266,276,300,312,339],"specific":[57,79],"functions,":[58,303],"checkers,":[59,248,262],"testers":[60,146,249,263],"correctors":[62,148,251,265],"which":[63,291,322],"are":[64,118,149,207,333,350],"more":[65,120],"efficient":[66,233,337],"best":[69],"known":[71],"function.":[74],"These":[75,348],"designed":[77,208],"utilizing":[78],"algebraic,":[80],"combinatorial":[81,225],"or":[82,224],"completeness":[83],"properties":[84],"function":[87,134,314],"at":[88],"hand.":[89],"In":[90,152,176],"this":[91,108,139],"work":[92],"we":[93,154,318],"introduce":[94],"novel":[96],"composition":[97],"methodology":[98,140],"improving":[100],"efficiency":[102],"checkers.":[105],"We":[106],"use":[107,283],"approach":[109],"design":[111],"variety":[113],"checkers":[116,206,234,292,338],"that":[117,354],"provably":[119],"efficient,":[121],"terms":[123],"circuit":[125],"depth,":[126],"optimal":[129],"computing":[132],"being":[135,315],"checked.":[136,316],"Extensions":[137],"cases":[143],"also":[150],"presented.":[151],"particular,":[153],"show:":[155],"For":[156],"all":[157,179,280],"i":[158,180],"\u2265":[159,181],"1,":[160,182],"every":[161,183],"language":[162,184],"RNCi":[164,186],"(that":[165,187],"is":[166,188,202],"NCO-hard":[167,189],"under":[168,190,321],"NCZ-reductions)":[169],"has":[170,192],"checker":[173,198],"RNCi-1.":[175],"addition,":[177],"ACZ-reductions)":[191],"corrector,":[195],"tester":[196],"RACi-1.":[200],"This":[201,227],"first":[204],"time":[205],"wide":[211],"class":[212],"functions":[214],"characterized":[215],"only":[216,306],"its":[218],"complexity,":[219],"algebraic":[223],"properties.":[226],"characterization":[228],"immediately":[229],"yields":[230],"languages":[236,341],"such":[237],"graph":[239,245],"connectivity,":[240],"perfect":[241],"matching":[242],"bounded-degree":[244],"isomorphism.":[246],"Constant-depth":[247],"matrix":[253,277,302],"multiplication,":[254,278],"inversion,":[255],"determinant":[256],"rank.":[258],"All":[259],"previous":[260],"these":[267,331],"problems":[268],"run":[269],"nearly":[271],"logarithmic":[272],"depth.":[273],"Moreover,":[274],"except":[275],"they":[279],"require":[281],"library":[286,297],"notion":[287],"[Blum-Luby-Rubinfeld],":[289],"have":[293],"access":[294,308],"programs":[299],"various":[301],"having":[307],"Furthermore,":[317],"provide":[319],"conditions":[320],"libraries":[324],"can":[325],"be":[326],"eliminated.":[327],"Important":[328],"ingredients":[329],"results":[332],"very":[336],"complete":[340],"low":[343],"complexity":[344],"classes":[345],"(e.g.":[346],"NCO).":[347],"constructions":[349],"based":[351],"techniques":[353],"developed":[356],"cryptography.":[361]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2029844502","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":3}],"updated_date":"2025-01-16T10:35:45.350826","created_date":"2016-06-24"}