{"id":"https://openalex.org/W3044310543","doi":"https://doi.org/10.1145/3434334","title":"Corpse reviver: sound and efficient gradual typing via contract verification","display_name":"Corpse reviver: sound and efficient gradual typing via contract verification","publication_year":2021,"publication_date":"2021-01-04","ids":{"openalex":"https://openalex.org/W3044310543","doi":"https://doi.org/10.1145/3434334","mag":"3044310543"},"language":"en","primary_location":{"id":"doi:10.1145/3434334","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3434334","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3434334","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3434334","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089175177","display_name":"Cameron Moy","orcid":"https://orcid.org/0000-0002-4384-6351"},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Cameron Moy","raw_affiliation_strings":["Northeastern University, USA","Northeastern University,  USA"],"raw_orcid":"https://orcid.org/0000-0002-4384-6351","affiliations":[{"raw_affiliation_string":"Northeastern University, USA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Northeastern University,  USA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101071186","display_name":"Ph\u00fac C. Nguy\u1ec5n","orcid":"https://orcid.org/0000-0002-6577-0159"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ph\u00fac C. Nguy\u1ec5n","raw_affiliation_strings":["University of Maryland, USA","Univ. of Maryland, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Maryland, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Univ. of Maryland, USA#TAB#","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043677781","display_name":"Sam Tobin-Hochstadt","orcid":"https://orcid.org/0000-0003-1302-6499"},"institutions":[{"id":"https://openalex.org/I592451","display_name":"Indiana University","ror":"https://ror.org/01kg8sb98","country_code":"US","type":"education","lineage":["https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sam Tobin-Hochstadt","raw_affiliation_strings":["Indiana University, USA","Indiana University; USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indiana University, USA","institution_ids":["https://openalex.org/I592451"]},{"raw_affiliation_string":"Indiana University; USA","institution_ids":["https://openalex.org/I592451"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5091183810","display_name":"David Van Horn","orcid":"https://orcid.org/0000-0002-9201-6864"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Van Horn","raw_affiliation_strings":["University of Maryland, USA","Univ. of Maryland, USA#TAB#"],"raw_orcid":"https://orcid.org/0000-0002-9201-6864","affiliations":[{"raw_affiliation_string":"University of Maryland, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Univ. of Maryland, USA#TAB#","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5089175177"],"corresponding_institution_ids":["https://openalex.org/I12912129"],"apc_list":null,"apc_paid":null,"fwci":0.28,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.61002622,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":95},"biblio":{"volume":"5","issue":"POPL","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.7926114797592163},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.7382087707519531},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6971614956855774},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.5905815958976746},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5513465404510498},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4568740427494049},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.44202980399131775},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.32335570454597473}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7926114797592163},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.7382087707519531},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6971614956855774},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5905815958976746},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5513465404510498},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4568740427494049},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.44202980399131775},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.32335570454597473},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3434334","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3434334","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3434334","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2007.12630","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2007.12630","pdf_url":"https://arxiv.org/pdf/2007.12630","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:3044310543","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2007.12630.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:share.osf.io:E024E-FA0-37B","is_oa":false,"landing_page_url":"http://api.osf.io/v2/nodes/zcdbn/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401127","display_name":"OSF Preprints (OSF Preprints)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799848540","host_organization_name":"Center for Open Science","host_organization_lineage":["https://openalex.org/I2799848540"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"project"},{"id":"doi:10.48550/arxiv.2007.12630","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2007.12630","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1145/3434334","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3434334","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3434334","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.5199999809265137}],"awards":[{"id":"https://openalex.org/G7629600398","display_name":null,"funder_award_id":"1763922,1846350","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3044310543.pdf","grobid_xml":"https://content.openalex.org/works/W3044310543.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W753900477","https://openalex.org/W1007123516","https://openalex.org/W1963954367","https://openalex.org/W1973186567","https://openalex.org/W2003969655","https://openalex.org/W2013885073","https://openalex.org/W2034355944","https://openalex.org/W2034379323","https://openalex.org/W2052973434","https://openalex.org/W2055886480","https://openalex.org/W2059703978","https://openalex.org/W2063019130","https://openalex.org/W2081841061","https://openalex.org/W2087359745","https://openalex.org/W2091335641","https://openalex.org/W2100962534","https://openalex.org/W2102473657","https://openalex.org/W2108141856","https://openalex.org/W2111531191","https://openalex.org/W2120172501","https://openalex.org/W2128303158","https://openalex.org/W2131242794","https://openalex.org/W2133828278","https://openalex.org/W2145619371","https://openalex.org/W2149686793","https://openalex.org/W2169661165","https://openalex.org/W2252374344","https://openalex.org/W2253750756","https://openalex.org/W2293770661","https://openalex.org/W2295415424","https://openalex.org/W2561856298","https://openalex.org/W2621005330","https://openalex.org/W2738478951","https://openalex.org/W2760972573","https://openalex.org/W2762605937","https://openalex.org/W2764150781","https://openalex.org/W2767680799","https://openalex.org/W2781403051","https://openalex.org/W2886526538","https://openalex.org/W2898188067","https://openalex.org/W2898812172","https://openalex.org/W2915101224","https://openalex.org/W2955672207","https://openalex.org/W2962829798","https://openalex.org/W2963607554","https://openalex.org/W2963827670","https://openalex.org/W2966721983","https://openalex.org/W2979470607","https://openalex.org/W3099703838","https://openalex.org/W3123143760","https://openalex.org/W3137596000","https://openalex.org/W4229717394"],"related_works":["https://openalex.org/W3116525202","https://openalex.org/W2788315908","https://openalex.org/W2979470607","https://openalex.org/W3181788723","https://openalex.org/W753900477","https://openalex.org/W3010316544","https://openalex.org/W2796215506","https://openalex.org/W2886989630","https://openalex.org/W1510359597","https://openalex.org/W2293770661","https://openalex.org/W2121218648","https://openalex.org/W97154732","https://openalex.org/W2072964972","https://openalex.org/W2263225824","https://openalex.org/W2138227076","https://openalex.org/W2900693033","https://openalex.org/W1998466493","https://openalex.org/W1482698194","https://openalex.org/W3195476846","https://openalex.org/W2130711572"],"abstract_inverted_index":{"Gradually":[0],"typed":[1,25,105,117,165],"programming":[2],"languages":[3,17],"permit":[4],"the":[5,22,35,47,98,111,125,184,198],"incremental":[6],"addition":[7],"of":[8,37,49,114,124,153,177],"static":[9],"types":[10],"to":[11,95,119,150,169,181],"untyped":[12,27,81,112],"programs.":[13],"To":[14],"remain":[15],"sound,":[16],"insert":[18],"run-time":[19],"checks":[20,39,127],"at":[21,139],"boundaries":[23,132],"between":[24],"and":[26,135,146,179],"code.":[28],"Unfortunately,":[29],"performance":[30,172],"studies":[31],"have":[32,170],"shown":[33,168],"that":[34,58,79,121],"overhead":[36,176,189,196],"these":[38],"can":[40,69,136,147],"be":[41,84,137,148],"disastrously":[42],"high,":[43],"calling":[44],"into":[45],"question":[46],"viability":[48],"sound":[50],"gradual":[51,88,130],"typing.":[52],"In":[53],"this":[54,73,158],"paper,":[55],"we":[56,68,108],"show":[57],"by":[59,86,129],"building":[60],"on":[61,64,160],"existing":[62,163],"work":[63],"soft":[65],"contract":[66],"verification,":[67],"reduce":[70],"or":[71],"eliminate":[72,187],"overhead.":[74],"Our":[75,142],"key":[76],"insight":[77],"is":[78,92,144],"while":[80],"code":[82],"cannot":[83,133],"trusted":[85],"a":[87,103,115,154,161,174],"type":[89,131],"system,":[90],"there":[91],"no":[93],"need":[94],"consider":[96],"only":[97,194],"worst":[99,185,199],"case":[100],"when":[101],"optimizing":[102],"gradually":[104,116,164],"program.":[106,155],"Instead,":[107],"statically":[109],"analyze":[110],"portions":[113],"program":[118],"prove":[120],"almost":[122],"all":[123,188],"dynamic":[126],"implied":[128],"fail,":[134],"eliminated":[138],"compile":[140],"time.":[141],"analysis":[143],"modular,":[145],"applied":[149],"any":[151],"portion":[152],"We":[156],"evaluate":[157],"approach":[159],"dozen":[162],"programs":[166],"previously":[167],"prohibitive":[171],"overhead\u2014with":[173],"median":[175],"2.5\u00d7":[178],"up":[180],"80.6\u00d7":[182],"in":[183,190,197],"case\u2014and":[186],"most":[191],"cases,":[192],"suffering":[193],"1.5\u00d7":[195],"case.":[200]},"counts_by_year":[{"year":2021,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}