{"id":"https://openalex.org/W4399851464","doi":"https://doi.org/10.1145/3656442","title":"Quest Complete: The Holy Grail of Gradual Security","display_name":"Quest Complete: The Holy Grail of Gradual Security","publication_year":2024,"publication_date":"2024-06-20","ids":{"openalex":"https://openalex.org/W4399851464","doi":"https://doi.org/10.1145/3656442"},"language":"en","primary_location":{"id":"doi:10.1145/3656442","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656442","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656442","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":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3656442","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5069945536","display_name":"Tianyu Chen","orcid":"https://orcid.org/0009-0002-3279-5971"},"institutions":[{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tianyu Chen","raw_affiliation_strings":["Indiana University, Bloomington, USA"],"raw_orcid":"https://orcid.org/0009-0002-3279-5971","affiliations":[{"raw_affiliation_string":"Indiana University, Bloomington, USA","institution_ids":["https://openalex.org/I4210119109"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033999458","display_name":"Jeremy G. Siek","orcid":"https://orcid.org/0000-0002-9894-4856"},"institutions":[{"id":"https://openalex.org/I4210119109","display_name":"Indiana University Bloomington","ror":"https://ror.org/02k40bc56","country_code":"US","type":"education","lineage":["https://openalex.org/I4210119109","https://openalex.org/I592451"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeremy G. Siek","raw_affiliation_strings":["Indiana University, Bloomington, USA"],"raw_orcid":"https://orcid.org/0000-0002-9894-4856","affiliations":[{"raw_affiliation_string":"Indiana University, Bloomington, USA","institution_ids":["https://openalex.org/I4210119109"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210119109"],"apc_list":null,"apc_paid":null,"fwci":1.1114,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.80530744,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"8","issue":"PLDI","first_page":"1609","last_page":"1632"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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.9998999834060669,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9627000093460083,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9412999749183655,"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/holy-grail","display_name":"Holy Grail","score":0.8120502233505249},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.33793652057647705},{"id":"https://openalex.org/keywords/history","display_name":"History","score":0.3245355486869812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3224943280220032},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.32222145795822144},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.13491606712341309}],"concepts":[{"id":"https://openalex.org/C2781270358","wikidata":"https://www.wikidata.org/wiki/Q5885594","display_name":"Holy Grail","level":2,"score":0.8120502233505249},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.33793652057647705},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.3245355486869812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3224943280220032},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.32222145795822144},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.13491606712341309}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3656442","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656442","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656442","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"}],"best_oa_location":{"id":"doi:10.1145/3656442","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3656442","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3656442","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":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6800000071525574}],"awards":[{"id":"https://openalex.org/G4084077383","display_name":"SHF: MEDIUM: Performant Sound Gradual Typing","funder_award_id":"1763922","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":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4399851464.pdf"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W2000217350","https://openalex.org/W2003969655","https://openalex.org/W2005525408","https://openalex.org/W2008332764","https://openalex.org/W2027822753","https://openalex.org/W2028705369","https://openalex.org/W2051748913","https://openalex.org/W2057292961","https://openalex.org/W2060493407","https://openalex.org/W2066195326","https://openalex.org/W2094873755","https://openalex.org/W2099510595","https://openalex.org/W2100233145","https://openalex.org/W2133828278","https://openalex.org/W2139093088","https://openalex.org/W2149969483","https://openalex.org/W2150174204","https://openalex.org/W2150998213","https://openalex.org/W2158126684","https://openalex.org/W2162755110","https://openalex.org/W2166542433","https://openalex.org/W2284690928","https://openalex.org/W2295283668","https://openalex.org/W2538224465","https://openalex.org/W2612745372","https://openalex.org/W2742478755","https://openalex.org/W2904756193","https://openalex.org/W3014933227","https://openalex.org/W3032336757","https://openalex.org/W3137596000","https://openalex.org/W3156901298","https://openalex.org/W3191556277","https://openalex.org/W4229581335","https://openalex.org/W4237990977","https://openalex.org/W6948850208"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4312105976","https://openalex.org/W2764165883","https://openalex.org/W2000941318","https://openalex.org/W2808427145","https://openalex.org/W4233172816","https://openalex.org/W2942573342","https://openalex.org/W2037520198","https://openalex.org/W658818609"],"abstract_inverted_index":{"Languages":[0],"with":[1,123],"gradual":[2,19,51,101,153,237,262,281],"information-flow":[3,75,263],"control":[4,264],"combine":[5],"static":[6,125],"and":[7,53,68,99,151,167,239],"dynamic":[8],"techniques":[9],"to":[10,59,70,173,182,198,206,266],"prevent":[11,174],"security":[12,215],"leaks.":[13],"Gradual":[14],"languages":[15],"should":[16,32],"satisfy":[17,60],"the":[18,26,34,50,64,100,118,152,161,169,183,201,208,213,236,245,260,277],"guarantee:":[20],"programs":[21],"that":[22,86,95,110,147],"only":[23,73],"differ":[24],"in":[25,63,203],"precision":[27],"of":[28,164,185,222,247,280],"their":[29],"type":[30],"annotations":[31],"behave":[33],"same":[35],"modulo":[36],"cast":[37],"errors.":[38],"Unfortunately,":[39],"Toro":[40],"et":[41,80,104],"al.":[42,81,105],"[":[43,82,106],"2018":[44],"]":[45,84,108],"identify":[46],"a":[47,93,124,132,219],"tension":[48],"between":[49],"guarantee":[52,154],"information":[54],"security;":[55],"they":[56],"were":[57],"unable":[58],"both":[61,97,111,149],"properties":[62,112],"language":[65,94,133,265],"GSL":[66,165,204],"Ref":[67,166,205],"had":[69],"settle":[71],"for":[72],"satisfying":[74],"security.":[76],"Azevedo":[77],"de":[78],"Amorim":[79],"2020":[83],"show":[85,109],"by":[87,116],"sacrificing":[88,117],"type-guided":[89,162],"classification,":[90],"one":[91],"obtains":[92],"satisfies":[96,148],"noninterference":[98,150],"guarantee.":[102],"Bichhawat":[103],"2021":[107],"can":[113],"be":[114,267],"satisfied":[115],"no-sensitive-upgrade":[119,171],"mechanism,":[120],"replacing":[121],"it":[122],"analysis.":[126],"In":[127],"this":[128],"paper":[129],"we":[130],"present":[131],"design,":[134],"<mml:math":[135,186,223,248],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[136,187,224,249],"display=\"inline\">":[137,188,225,250],"<mml:msubsup>":[138,189,226,251],"<mml:mi>\u03bb</mml:mi>":[139,190,227,252],"<mml:mrow>":[140,191,228,253],"<mml:mtext>IFC</mml:mtext>":[141,192,229,254],"</mml:mrow>":[142,193,230,255],"<mml:mo>\u2605</mml:mo>":[143,194,231,256],"</mml:msubsup>":[144,195,232,257],"</mml:math>":[145,196,233,258],",":[146,234],"without":[155],"making":[156],"any":[157],"sacrifices.":[158],"We":[159,217],"keep":[160],"classification":[163],"use":[168],"standard":[170],"mechanism":[172],"implicit":[175],"flows":[176],"through":[177],"mutable":[178],"references.":[179],"The":[180],"key":[181],"design":[184],"is":[197,259],"walk":[199],"back":[200],"decision":[202],"include":[207],"unknown":[209],"label":[210],"\u2605":[211],"among":[212],"runtime":[214],"labels.":[216],"give":[218],"formal":[220],"definition":[221],"prove":[235,240],"guarantee,":[238],"noninterference.":[241],"Of":[242],"technical":[243],"note,":[244],"semantics":[246],"first":[261],"specified":[268],"using":[269],"coercion":[270],"calculi":[271],"(a":[272],"la":[273],"Henglein),":[274],"thereby":[275],"expanding":[276],"coercion-based":[278],"theory":[279],"typing.":[282]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}