{"id":"https://openalex.org/W4387666993","doi":"https://doi.org/10.1145/3622838","title":"Automated Ambiguity Detection in Layout-Sensitive Grammars","display_name":"Automated Ambiguity Detection in Layout-Sensitive Grammars","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387666993","doi":"https://doi.org/10.1145/3622838"},"language":"en","primary_location":{"id":"doi:10.1145/3622838","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3622838","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622838","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/3622838","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027599610","display_name":"Jiangyi Liu","orcid":"https://orcid.org/0000-0001-6525-4659"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiangyi Liu","raw_affiliation_strings":["Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0001-6525-4659","affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074246713","display_name":"Fengmin Zhu","orcid":"https://orcid.org/0000-0003-4219-0837"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]},{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN","DE"],"is_corresponding":false,"raw_author_name":"Fengmin Zhu","raw_affiliation_strings":["Tsinghua University, Beijing, China / CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0000-0003-4219-0837","affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China / CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210128801","https://openalex.org/I99065089"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042735025","display_name":"Fei He","orcid":"https://orcid.org/0000-0002-4266-875X"},"institutions":[{"id":"https://openalex.org/I99065089","display_name":"Tsinghua University","ror":"https://ror.org/03cve4549","country_code":"CN","type":"education","lineage":["https://openalex.org/I99065089"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fei He","raw_affiliation_strings":["Tsinghua University, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-4266-875X","affiliations":[{"raw_affiliation_string":"Tsinghua University, Beijing, China","institution_ids":["https://openalex.org/I99065089"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3576,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.66084337,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1150","last_page":"1175"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7568086385726929},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6692280173301697},{"id":"https://openalex.org/keywords/l-attributed-grammar","display_name":"L-attributed grammar","score":0.6529738903045654},{"id":"https://openalex.org/keywords/definite-clause-grammar","display_name":"Definite clause grammar","score":0.6368945240974426},{"id":"https://openalex.org/keywords/ambiguity","display_name":"Ambiguity","score":0.5781830549240112},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.5534442663192749},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.49869441986083984},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4298633337020874},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40611377358436584},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3844708204269409},{"id":"https://openalex.org/keywords/parsing","display_name":"Parsing","score":0.3147367238998413}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7568086385726929},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6692280173301697},{"id":"https://openalex.org/C67621940","wikidata":"https://www.wikidata.org/wiki/Q3113340","display_name":"L-attributed grammar","level":4,"score":0.6529738903045654},{"id":"https://openalex.org/C97169998","wikidata":"https://www.wikidata.org/wiki/Q1582738","display_name":"Definite clause grammar","level":5,"score":0.6368945240974426},{"id":"https://openalex.org/C2780522230","wikidata":"https://www.wikidata.org/wiki/Q1140419","display_name":"Ambiguity","level":2,"score":0.5781830549240112},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.5534442663192749},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.49869441986083984},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4298633337020874},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40611377358436584},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3844708204269409},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.3147367238998413}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3622838","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3622838","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622838","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/3622838","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1145/3622838","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622838","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":[{"score":0.8100000023841858,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G5084527919","display_name":"\u8f6f\u4ef6\u5408\u5e76\u7684\u5b89\u5168\u6027\u95ee\u9898\u7814\u7a76","funder_award_id":"62072267","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5614073984","display_name":null,"funder_award_id":"62072267, 62021002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7091651887","display_name":null,"funder_award_id":"62021002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387666993.pdf","grobid_xml":"https://content.openalex.org/works/W4387666993.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W34477531","https://openalex.org/W61997153","https://openalex.org/W1489411336","https://openalex.org/W1964494435","https://openalex.org/W1974085371","https://openalex.org/W1982239607","https://openalex.org/W2001404404","https://openalex.org/W2008614987","https://openalex.org/W2065948900","https://openalex.org/W2094771270","https://openalex.org/W2103201337","https://openalex.org/W2112488502","https://openalex.org/W2134112335","https://openalex.org/W2156429182","https://openalex.org/W2184914104","https://openalex.org/W2209959074","https://openalex.org/W2228938473","https://openalex.org/W2300107049","https://openalex.org/W2494701561","https://openalex.org/W2499791918","https://openalex.org/W2532840385","https://openalex.org/W2898348043","https://openalex.org/W2955968478","https://openalex.org/W3012572620","https://openalex.org/W3180699742","https://openalex.org/W4210896998","https://openalex.org/W4237412827","https://openalex.org/W4238083723","https://openalex.org/W4238977241","https://openalex.org/W4253103663","https://openalex.org/W4308641890","https://openalex.org/W4387666993","https://openalex.org/W6931368095"],"related_works":["https://openalex.org/W2055334547","https://openalex.org/W1557335907","https://openalex.org/W2073788202","https://openalex.org/W4286266684","https://openalex.org/W4386333039","https://openalex.org/W59084530","https://openalex.org/W3013359325","https://openalex.org/W144732315","https://openalex.org/W2543110176","https://openalex.org/W281298494"],"abstract_inverted_index":{"Layout-sensitive":[0],"grammars":[1,30,80,93,201],"have":[2],"been":[3],"adopted":[4],"in":[5,65,112,131,186],"many":[6],"modern":[7],"programming":[8],"languages.":[9],"In":[10,56],"a":[11,19,70,113,158,165,173],"serious":[12],"language":[13,48,205],"design":[14,53],"phase,":[15],"the":[16,40,61,75,100,118,143,187,204,221],"specified":[17],"syntax\u2014typically":[18],"grammar\u2014must":[20],"be":[21],"unambiguous.":[22],"Although":[23],"checking":[24,74],"ambiguity":[25,36,62,77,124,137,141,151,160],"is":[26,43],"undecidable":[27],"for":[28,142,172],"context-free":[29,79],"and":[31,45,102,156,178,199],"(trivially":[32],"also)":[33],"layout-sensitive":[34,66,92],"grammars,":[35],"detection":[37,63],",":[38,84],"on":[39,73,123,195],"other":[41],"hand,":[42,132],"possible":[44],"can":[46],"benefit":[47],"designers":[49],"from":[50,203],"exposing":[51],"potential":[52],"flaws":[54],".":[55],"this":[57,129],"paper,":[58],"we":[59,85,133],"tackle":[60],"problem":[64],"grammars.":[67],"Inspired":[68],"by":[69],"previous":[71],"work":[72],"bounded":[76,159],"of":[78,120,145,180,207,223],"via":[81,95],"SAT":[82],"solving":[83,97],"intensively":[86],"extend":[87],"their":[88],"approach":[89],"to":[90,98],"support":[91],"but":[94],"SMT":[96,146,154,182],"express":[99],"ordering":[101],"quantitative":[103],"relations":[104],"over":[105],"line/column":[106],"numbers.":[107],"Our":[108],"key":[109],"novelty":[110],"lies":[111],"reachability":[114],"condition,":[115],"which":[116,219],"takes":[117],"impact":[119],"layout":[121],"constraints":[122],"into":[125,152],"careful":[126],"account.":[127],"With":[128],"condition":[130],"propose":[134],"an":[135,153,193],"equivalent":[136],"notion":[138],"called":[139],"local":[140,150],"convenience":[144],"encoding.":[147],"We":[148,191],"translate":[149],"formula":[155],"developed":[157],"checker":[161],"that":[162],"automatically":[163],"finds":[164],"shortest":[166],"nonempty":[167],"ambiguous":[168],"sentence":[169],"(if":[170],"exists)":[171],"user-input":[174],"grammar.":[175],"The":[176],"soundness":[177],"completeness":[179],"our":[181,224],"encoding":[183],"are":[184],"mechanized":[185],"Coq":[188],"proof":[189],"assistant.":[190],"conducted":[192],"evaluation":[194],"both":[196],"grammar":[197],"fragments":[198],"full":[200],"extracted":[202],"manuals":[206],"domain-specific":[208],"languages":[209,216],"like":[210,217],"YAML":[211],"as":[212,214],"well":[213],"general-purpose":[215],"Python,":[218],"reveals":[220],"effectiveness":[222],"approach.":[225]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}