{"id":"https://openalex.org/W4403509006","doi":"https://doi.org/10.1145/3694848.3694851","title":"The Normalization Barrier Revisited","display_name":"The Normalization Barrier Revisited","publication_year":2024,"publication_date":"2024-10-17","ids":{"openalex":"https://openalex.org/W4403509006","doi":"https://doi.org/10.1145/3694848.3694851"},"language":"en","primary_location":{"id":"doi:10.1145/3694848.3694851","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3694848.3694851","pdf_url":null,"source":null,"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 Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1145/3694848.3694851","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084788593","display_name":"Shuo Ding","orcid":"https://orcid.org/0000-0003-0843-0729"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Shuo Ding","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, USA","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078231842","display_name":"Qirun Zhang","orcid":"https://orcid.org/0000-0001-5367-9377"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qirun Zhang","raw_affiliation_strings":["Georgia Institute of Technology, Atlanta, USA"],"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology, Atlanta, USA","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5084788593"],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1613245,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"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.9983999729156494,"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.9983999729156494,"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/T10142","display_name":"Formal Methods in Verification","score":0.9858999848365784,"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.982200026512146,"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/computer-science","display_name":"Computer science","score":0.5538184642791748},{"id":"https://openalex.org/keywords/normalization","display_name":"Normalization (sociology)","score":0.5448552966117859}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5538184642791748},{"id":"https://openalex.org/C136886441","wikidata":"https://www.wikidata.org/wiki/Q926129","display_name":"Normalization (sociology)","level":2,"score":0.5448552966117859},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C19165224","wikidata":"https://www.wikidata.org/wiki/Q23404","display_name":"Anthropology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3694848.3694851","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3694848.3694851","pdf_url":null,"source":null,"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 Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3694848.3694851","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3694848.3694851","pdf_url":null,"source":null,"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 Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1975754030","https://openalex.org/W2018926799","https://openalex.org/W2130735345","https://openalex.org/W2295655199","https://openalex.org/W2402296188","https://openalex.org/W2565297312","https://openalex.org/W4247585886","https://openalex.org/W4256369010"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2591697403","https://openalex.org/W2944728705","https://openalex.org/W2904022177","https://openalex.org/W2359348847","https://openalex.org/W3011538607","https://openalex.org/W4294432981","https://openalex.org/W4321441197"],"abstract_inverted_index":{"In":[0,115,122,147],"a":[1,9,25,33,64,70,107,152,222],"POPL":[2],"2016":[3],"paper,":[4,117],"Brown":[5,60,111],"and":[6,61,112,136,182],"Palsberg":[7,62,113],"presented":[8],"breakthrough":[10,83],"result":[11,198,202],"on":[12,166],"\"the":[13],"normalization":[14,17,228],"barrier.\"":[15],"The":[16],"barrier,":[18],"according":[19,109],"to":[20,86,110,143,156,174,219],"conventional":[21],"wisdom,":[22],"originates":[23],"from":[24,221],"theorem":[26],"in":[27,93,124,129],"computability":[28,196,213],"theory,":[29],"which":[30,68,162],"says":[31],"that":[32,49,89,193,212],"total":[34,39],"universal":[35],"function":[36],"for":[37,66,106],"all":[38],"computable":[40],"functions":[41],"is":[42,69,84,172,180],"impossible.":[43],"Therefore,":[44],"it":[45,210],"was":[46,141],"widely":[47],"believed":[48],"strongly":[50,71],"normalizing":[51,72],"lambda":[52,73],"calculi":[53],"do":[54,144],"not":[55,204],"have":[56],"self-interpreters":[57],"either.":[58],"However,":[59],"constructed":[63],"self-interpreter":[65],"F-omega,":[67],"calculus.":[74],"One":[75],"of":[76],"the":[77,81,87,97,104,125,160,194,206,227],"key":[78],"insights":[79],"behind":[80],"Brown-Palsberg":[82,126,207],"due":[85],"fact":[88],"\"static":[90],"type":[91,139,145,153,164],"checking":[92],"F-omega":[94,130,220],"can":[95],"exclude":[96],"(computability)":[98],"proof\u2019s":[99],"diagonalization":[100],"gadget,":[101],"leaving":[102],"open":[103],"possibility":[105],"self-interpreter,\"":[108],"[2016].":[114],"this":[116,120,171,189],"we":[118,150,191],"revisit":[119],"phenomenon.":[121],"particular,":[123],"result,":[127],"terms":[128],"were":[131],"encoded":[132],"as":[133],"typed":[134],"representations,":[135],"an":[137],"external":[138],"checker":[140,154],"assumed":[142,155],"checking.":[146],"our":[148,178],"work,":[149],"consider":[151],"be":[157],"built":[158],"into":[159],"interpreter,":[161],"reports":[163],"errors":[165],"ill-typed":[167,183],"inputs.":[168],"We":[169],"believe":[170],"closer":[173],"real":[175],"interpreters.":[176],"Consequently,":[177],"representation":[179],"untyped,":[181],"inputs":[184],"are":[185,216],"specifically":[186],"handled.":[187],"Under":[188],"setting,":[190],"show":[192],"original":[195],"theory":[197,214],"still":[199,217],"holds.":[200],"Our":[201],"does":[203],"contradict":[205],"result.":[208],"Rather,":[209],"shows":[211],"results":[215],"applicable":[218],"different":[223],"angle,":[224],"thus":[225],"\"rebuilding\"":[226],"barrier.":[229]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}