{"id":"https://openalex.org/W3091875978","doi":"https://doi.org/10.1145/3547648","title":"Automatically deriving control-flow graph generators from operational semantics","display_name":"Automatically deriving control-flow graph generators from operational semantics","publication_year":2022,"publication_date":"2022-08-29","ids":{"openalex":"https://openalex.org/W3091875978","doi":"https://doi.org/10.1145/3547648","mag":"3091875978"},"language":"en","primary_location":{"id":"doi:10.1145/3547648","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547648","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547648","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/3547648","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064054725","display_name":"James Koppel","orcid":null},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"James Koppel","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"raw_orcid":"https://orcid.org/0000-0002-3948-6904","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089606329","display_name":"Jackson Kearl","orcid":"https://orcid.org/0000-0003-0325-1836"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jackson Kearl","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"raw_orcid":"https://orcid.org/0000-0003-0325-1836","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010786661","display_name":"Armando Solar-Lezama","orcid":"https://orcid.org/0000-0001-7604-8252"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Armando Solar-Lezama","raw_affiliation_strings":["Massachusetts Institute of Technology, USA"],"raw_orcid":"https://orcid.org/0000-0001-7604-8252","affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology, USA","institution_ids":["https://openalex.org/I63966007"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064054725"],"corresponding_institution_ids":["https://openalex.org/I63966007"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00247142,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":"ICFP","first_page":"742","last_page":"771"},"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.9991999864578247,"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.9991999864578247,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9983000159263611,"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.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8193692564964294},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7016651630401611},{"id":"https://openalex.org/keywords/control-flow-graph","display_name":"Control flow graph","score":0.641431987285614},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.6293831467628479},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.6259793043136597},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.574640691280365},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5678607821464539},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5569632649421692},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45928052067756653},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3227667212486267}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8193692564964294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7016651630401611},{"id":"https://openalex.org/C27458966","wikidata":"https://www.wikidata.org/wiki/Q1187693","display_name":"Control flow graph","level":2,"score":0.641431987285614},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.6293831467628479},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6259793043136597},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.574640691280365},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5678607821464539},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5569632649421692},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45928052067756653},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3227667212486267},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":13,"locations":[{"id":"doi:10.1145/3547648","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547648","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547648","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:2010.04918","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2010.04918","pdf_url":"https://arxiv.org/pdf/2010.04918","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:3091875978","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/2010.04918","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:dspace.mit.edu:1721.1/146455","is_oa":true,"landing_page_url":"https://hdl.handle.net/1721.1/146455","pdf_url":null,"source":{"id":"https://openalex.org/S4306400425","display_name":"DSpace@MIT (Massachusetts Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I63966007","host_organization_name":"Massachusetts Institute of Technology","host_organization_lineage":["https://openalex.org/I63966007"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM","raw_type":"http://purl.org/eprint/type/JournalArticle"},{"id":"pmh:oai:zenodo.org:6605128","is_oa":true,"landing_page_url":"https://zenodo.org/record/6605128","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"pmh:oai:zenodo.org:6629861","is_oa":true,"landing_page_url":"https://zenodo.org/record/6629861","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"pmh:oai:zenodo.org:6689803","is_oa":true,"landing_page_url":"https://zenodo.org/record/6689803","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/other"},{"id":"doi:10.48550/arxiv.2010.04918","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2010.04918","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":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"doi:10.5281/zenodo.6605127","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6605127","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.6605128","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6605128","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.6606387","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6606387","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.6629861","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6629861","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.6689803","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6689803","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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/3547648","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3547648","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3547648","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.6899999976158142,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G2358515402","display_name":null,"funder_award_id":"FA8750-20-C-0208","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"}],"funders":[{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332467","display_name":"U.S. Air Force","ror":"https://ror.org/006gmme17"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3091875978.pdf","grobid_xml":"https://content.openalex.org/works/W3091875978.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W185683443","https://openalex.org/W1494199306","https://openalex.org/W1518650316","https://openalex.org/W1521434182","https://openalex.org/W1553894716","https://openalex.org/W1572670118","https://openalex.org/W1581520638","https://openalex.org/W1583295953","https://openalex.org/W1587096303","https://openalex.org/W1589441640","https://openalex.org/W1589797855","https://openalex.org/W1599217540","https://openalex.org/W1812582761","https://openalex.org/W1815217284","https://openalex.org/W1932577981","https://openalex.org/W1969064066","https://openalex.org/W1974939942","https://openalex.org/W2006668087","https://openalex.org/W2013885073","https://openalex.org/W2014472503","https://openalex.org/W2020259928","https://openalex.org/W2046656770","https://openalex.org/W2048417351","https://openalex.org/W2048802511","https://openalex.org/W2050392268","https://openalex.org/W2060205259","https://openalex.org/W2070327396","https://openalex.org/W2073904768","https://openalex.org/W2081810835","https://openalex.org/W2082036516","https://openalex.org/W2082334237","https://openalex.org/W2102435409","https://openalex.org/W2104890704","https://openalex.org/W2105443946","https://openalex.org/W2117802778","https://openalex.org/W2121309409","https://openalex.org/W2121757274","https://openalex.org/W2144344516","https://openalex.org/W2151423950","https://openalex.org/W2160646753","https://openalex.org/W2169488840","https://openalex.org/W2296599395","https://openalex.org/W2490166346","https://openalex.org/W2513927163","https://openalex.org/W2531460317","https://openalex.org/W2566906701","https://openalex.org/W2591230485","https://openalex.org/W2610242999","https://openalex.org/W2617537082","https://openalex.org/W2738478951","https://openalex.org/W2751671024","https://openalex.org/W2762550985","https://openalex.org/W2798848760","https://openalex.org/W2887637582","https://openalex.org/W2892721170","https://openalex.org/W2895718634","https://openalex.org/W2911801860","https://openalex.org/W2930460095","https://openalex.org/W3008912813","https://openalex.org/W3123143760","https://openalex.org/W3125073197","https://openalex.org/W3126064230","https://openalex.org/W4231445347","https://openalex.org/W4239564128","https://openalex.org/W4252390666"],"related_works":["https://openalex.org/W1965910013","https://openalex.org/W1532452539","https://openalex.org/W1537937665","https://openalex.org/W1484491715","https://openalex.org/W2749943653","https://openalex.org/W2907501963","https://openalex.org/W2150422093","https://openalex.org/W2752509461","https://openalex.org/W3007385998","https://openalex.org/W1883702554","https://openalex.org/W2141195194","https://openalex.org/W238188421","https://openalex.org/W2479043920","https://openalex.org/W2039870350","https://openalex.org/W2181923524","https://openalex.org/W983611959","https://openalex.org/W2081001149","https://openalex.org/W1981858646","https://openalex.org/W2130552670","https://openalex.org/W11680015"],"abstract_inverted_index":{"We":[0,99,125,137,191],"develop":[1],"the":[2,63,102,127,130,134,146,212,224],"first":[3,9,34],"theory":[4],"of":[5,23,44,65,104,117,123,148,215,226],"control-flow":[6,24],"graphs":[7,132],"from":[8,27,77,223],"principles,":[10],"and":[11,82,107,133,139,167],"use":[12],"it":[13,170],"to":[14,48,60,72,83,88,113,153,198,218],"create":[15],"an":[16,49,141],"algorithm":[17,38,142,161],"for":[18,39,93,120,143],"automatically":[19,61,144],"synthesizing":[20],"many":[21],"variants":[22],"graph":[25],"generators":[26],"a":[28,36,41,55,66,75,78,89,97,163,208,227],"language\u2019s":[29],"operational":[30,46],"semantics.":[31,136],"Our":[32,205],"approach":[33,112],"introduces":[35],"new":[37],"converting":[40],"large":[42],"class":[43],"small-step":[45],"semantics":[47,64,225],"abstract":[50,62],"machine.":[51],"It":[52],"next":[53],"uses":[54],"technique":[56],"called":[57,165],"\u201dabstract":[58],"rewriting\u201d":[59],"language,":[67],"which":[68],"is":[69,207],"used":[70],"both":[71],"directly":[73],"generate":[74,84],"CFG":[76,91],"program":[79,95],"(\u201dinterpreted":[80],"mode\u201d)":[81],"standalone":[85],"code,":[86],"similar":[87],"human-written":[90],"generator,":[92],"any":[94],"in":[96,162,188],"language.":[98,229],"show":[100,168,193],"how":[101],"choice":[103],"two":[105,175,200],"abstraction":[106],"projection":[108],"parameters":[109],"allow":[110],"our":[111,154],"synthesize":[114,219],"several":[115],"families":[116],"CFG-generators":[118,195],"useful":[119],"different":[121],"kinds":[122],"tools.":[124],"prove":[126,140],"correspondence":[128],"between":[129],"generated":[131],"original":[135],"provide":[138],"proving":[145],"termination":[147],"interpreted-mode":[149],"generators.":[150],"In":[151],"addition":[152],"theoretical":[155],"results,":[156],"we":[157],"have":[158],"implemented":[159],"this":[160],"tool":[164],"Mandate,":[166],"that":[169],"produces":[171],"human-readable":[172],"code":[173],"on":[174],"medium-size":[176],"languages":[177],"with":[178],"60\u221280":[179],"rules,":[180],"featuring":[181],"nearly":[182],"all":[183,220],"intraprocedural":[184],"control":[185],"constructs":[186],"common":[187],"modern":[189],"languages.":[190],"then":[192],"these":[194],"were":[196],"sufficient":[197],"build":[199],"static":[201],"analyses":[202],"atop":[203],"them.":[204],"work":[206],"promising":[209],"step":[210],"towards":[211],"grand":[213],"vision":[214],"being":[216],"able":[217],"desired":[221],"tools":[222],"programming":[228]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}