{"id":"https://openalex.org/W2764230631","doi":"https://doi.org/10.1145/3158089","title":"Synthesizing bijective lenses","display_name":"Synthesizing bijective lenses","publication_year":2017,"publication_date":"2017-12-27","ids":{"openalex":"https://openalex.org/W2764230631","doi":"https://doi.org/10.1145/3158089","mag":"2764230631"},"language":"en","primary_location":{"id":"doi:10.1145/3158089","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158089","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3158089&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"http://dl.acm.org/ft_gateway.cfm?id=3158089&type=pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001856793","display_name":"Anders Miltner","orcid":"https://orcid.org/0000-0002-8338-4008"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Anders Miltner","raw_affiliation_strings":["Princeton University, USA","Princeton University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Princeton University","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056099984","display_name":"Kathleen Fisher","orcid":"https://orcid.org/0000-0001-5249-2615"},"institutions":[{"id":"https://openalex.org/I121934306","display_name":"Tufts University","ror":"https://ror.org/05wvpxv85","country_code":"US","type":"education","lineage":["https://openalex.org/I121934306"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kathleen Fisher","raw_affiliation_strings":["Tufts University, USA","Tufts University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tufts University, USA","institution_ids":["https://openalex.org/I121934306"]},{"raw_affiliation_string":"Tufts University","institution_ids":["https://openalex.org/I121934306"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085361253","display_name":"Benjamin C. Pierce","orcid":"https://orcid.org/0000-0001-7839-1636"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Benjamin C. Pierce","raw_affiliation_strings":["University of Pennsylvania, USA","#N#               * University of Pennsylvania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]},{"raw_affiliation_string":"#N#               * University of Pennsylvania","institution_ids":["https://openalex.org/I36788626","https://openalex.org/I79576946"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049454219","display_name":"David Walker","orcid":"https://orcid.org/0000-0003-3681-149X"},"institutions":[{"id":"https://openalex.org/I20089843","display_name":"Princeton University","ror":"https://ror.org/00hx57361","country_code":"US","type":"education","lineage":["https://openalex.org/I20089843"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Walker","raw_affiliation_strings":["Princeton University, USA","Princeton University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Princeton University, USA","institution_ids":["https://openalex.org/I20089843"]},{"raw_affiliation_string":"Princeton University","institution_ids":["https://openalex.org/I20089843"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041830534","display_name":"Steve Zdancewic","orcid":"https://orcid.org/0000-0002-3516-1512"},"institutions":[{"id":"https://openalex.org/I36788626","display_name":"California University of Pennsylvania","ror":"https://ror.org/01spssf70","country_code":"US","type":"education","lineage":["https://openalex.org/I36788626"]},{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steve Zdancewic","raw_affiliation_strings":["University of Pennsylvania, USA","#N#               * University of Pennsylvania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, USA","institution_ids":["https://openalex.org/I36788626"]},{"raw_affiliation_string":"#N#               * University of Pennsylvania","institution_ids":["https://openalex.org/I36788626","https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18909549,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"POPL","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9973999857902527,"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"}},"topics":[{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9973999857902527,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9972000122070312,"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/T11719","display_name":"Data Quality and Management","score":0.9923999905586243,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7974223494529724},{"id":"https://openalex.org/keywords/bijection","display_name":"Bijection","score":0.6836296916007996},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5677512288093567},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5300872921943665},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5208647847175598},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49566948413848877},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.4945635497570038},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.4759927988052368},{"id":"https://openalex.org/keywords/porting","display_name":"Porting","score":0.46817559003829956},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4241361618041992},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.42207467555999756},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3353087604045868},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14426866173744202},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.11061319708824158}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7974223494529724},{"id":"https://openalex.org/C24424167","wikidata":"https://www.wikidata.org/wiki/Q180907","display_name":"Bijection","level":2,"score":0.6836296916007996},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5677512288093567},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5300872921943665},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5208647847175598},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49566948413848877},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.4945635497570038},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.4759927988052368},{"id":"https://openalex.org/C106251023","wikidata":"https://www.wikidata.org/wiki/Q851989","display_name":"Porting","level":3,"score":0.46817559003829956},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4241361618041992},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.42207467555999756},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3353087604045868},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14426866173744202},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.11061319708824158},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/3158089","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158089","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3158089&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"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:1710.03248","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1710.03248","pdf_url":"https://arxiv.org/pdf/1710.03248","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"","raw_type":"text"},{"id":"mag:2764230631","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/1710.03248","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"doi:10.48550/arxiv.1710.03248","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1710.03248","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"Preprint"},{"id":"mag:2899244789","is_oa":false,"landing_page_url":"https://popl18.sigplan.org/event/popl-2018-papers-synthesizing-bijective-lenses","pdf_url":null,"source":{"id":"https://openalex.org/S4306420994","display_name":"Symposium on Principles of Programming Languages","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Symposium on Principles of Programming Languages","raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3158089","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3158089","pdf_url":"http://dl.acm.org/ft_gateway.cfm?id=3158089&type=pdf","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":false,"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":[],"awards":[{"id":"https://openalex.org/G3779879696","display_name":null,"funder_award_id":"568751","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"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"},{"id":"https://openalex.org/G8829250511","display_name":null,"funder_award_id":"FA8750-17-2-0028","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/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2764230631.pdf","grobid_xml":"https://content.openalex.org/works/W2764230631.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W137476671","https://openalex.org/W1598022760","https://openalex.org/W1669385163","https://openalex.org/W1858945639","https://openalex.org/W1968796785","https://openalex.org/W2000616678","https://openalex.org/W2000862401","https://openalex.org/W2013596093","https://openalex.org/W2037471787","https://openalex.org/W2046832714","https://openalex.org/W2049311030","https://openalex.org/W2065329384","https://openalex.org/W2093535699","https://openalex.org/W2115083118","https://openalex.org/W2146462464","https://openalex.org/W2149366752","https://openalex.org/W2150771261","https://openalex.org/W2157976942","https://openalex.org/W2158289035","https://openalex.org/W2163152086","https://openalex.org/W2167473451","https://openalex.org/W2235620066","https://openalex.org/W2237682209","https://openalex.org/W2267184053","https://openalex.org/W2416325154","https://openalex.org/W2496170334","https://openalex.org/W2550471858","https://openalex.org/W2626317688","https://openalex.org/W3004239592","https://openalex.org/W4237412827","https://openalex.org/W4253929418","https://openalex.org/W4256244129"],"related_works":["https://openalex.org/W2120621168","https://openalex.org/W2158103950","https://openalex.org/W1830810730","https://openalex.org/W2591792530","https://openalex.org/W2020822927","https://openalex.org/W2942523982","https://openalex.org/W2437006875","https://openalex.org/W2005968294","https://openalex.org/W2253830531","https://openalex.org/W1608321053","https://openalex.org/W2186768715","https://openalex.org/W1490031588","https://openalex.org/W2204312570","https://openalex.org/W181154243","https://openalex.org/W66113185","https://openalex.org/W2293948197","https://openalex.org/W2964083941","https://openalex.org/W114885797","https://openalex.org/W2553615676","https://openalex.org/W80974014"],"abstract_inverted_index":{"Bidirectional":[0],"transformations":[1,110,406],"between":[2,369],"different":[3,34],"data":[4,39,147,395],"representations":[5],"occur":[6],"frequently":[7],"in":[8,68,97,162,198,221,300,373,407],"modern":[9],"software":[10],"systems.":[11],"They":[12],"appear":[13],"as":[14,18,23,30,75,314,316],"serializers":[15],"and":[16,20,26,29,56,119,149,187,236,249,293,298,321,324,331,389,409],"deserializers,":[17],"parsers":[19],"pretty":[21],"printers,":[22],"database":[24],"views":[25],"view":[27],"updaters,":[28],"a":[31,65,76,98,125,139,150,159,202,205,230,247,275,301,317,379,401,411],"multitude":[32],"of":[33,36,108,130,141,171,201,213,232,241,264,278,382,416],"kinds":[35],"ad":[37],"hoc":[38],"converters.":[40],"Manually":[41],"building":[42],"bidirectional":[43,165,414],"transformations---by":[44],"writing":[45],"two":[46,146,222],"separate":[47],"functions":[48],"that":[49,256,343,353,359,385],"are":[50,138],"intended":[51],"to":[52,63,86,91,136,260,335,357,365],"be":[53,73,84],"inverses---is":[54],"tedious":[55],"error":[57],"prone.":[58],"A":[59],"better":[60],"approach":[61],"is":[62,158,255,258,287,312,329],"use":[64],"domain-specific":[66,81],"language":[67,166,203,277,286,311,323,346],"which":[69],"both":[70,387],"directions":[71],"can":[72,83],"written":[74],"single":[77],"expression.":[78],"However,":[79],"these":[80],"languages":[82],"difficult":[85],"program":[87,161,181,217],"in,":[88],"requiring":[89],"programmers":[90],"manage":[92],"fiddly":[93],"details":[94],"while":[95],"working":[96],"complex":[99,370],"type":[100],"system.":[101],"We":[102,306,339,375],"present":[103,123],"an":[104],"alternative":[105],"approach.":[106],"Instead":[107],"coding":[109],"manually,":[111],"we":[112,122],"synthesize":[113,366],"them":[114],"from":[115,289,351,393],"declarative":[116,322],"format":[117],"descriptions":[118],"examples.":[120],"Specifically,":[121],"Optician,":[124],"tool":[126,402,412],"for":[127,154,282,403,413],"type-directed":[128,193],"synthesis":[129,218,226,327,349],"bijective":[131],"string":[132,405],"transformers.":[133],"The":[134,156,173,284],"inputs":[135],"Optician":[137,377],"pair":[140,231],"ordinary":[142],"regular":[143,214],"expressions":[144],"representing":[145],"formats":[148,372],"few":[151],"concrete":[152],"examples":[153,384,391],"disambiguation.":[155],"output":[157],"well-typed":[160],"Boomerang":[163],"(a":[164],"based":[167],"on":[168,192,209,378],"the":[169,179,199,239,262,336,348],"theory":[170,212],"lenses).":[172],"main":[174],"technical":[175],"challenge":[176],"involves":[177],"navigating":[178],"vast":[180],"search":[182,220,266],"space":[183,267],"efficiently.":[184],"In":[185],"particular,":[186],"unlike":[188],"most":[189],"prior":[190],"work":[191],"synthesis,":[194],"our":[195,225,309,326,344],"system":[196,418],"operates":[197,294],"context":[200],"with":[204,333],"rich":[206],"equivalence":[207],"relation":[208],"types":[210,297],"(the":[211],"expressions).":[215],"Consequently,":[216],"requires":[219],"dimensions:":[223],"First,":[224],"algorithm":[227,328],"must":[228,245],"find":[229,246],"\"syntactically":[233],"compatible":[234],"types,\"":[235],"second,":[237],"using":[238],"structure":[240],"those":[242],"types,":[243],"it":[244,257],"type-":[248],"example-compliant":[250],"term.":[251],"Our":[252],"key":[253],"insight":[254],"possible":[259],"reduce":[261],"size":[263],"this":[265],"without":[268],"losing":[269],"any":[270],"computational":[271],"power":[272],"by":[273],"defining":[274],"new":[276,285,302,310,337,345],"lenses":[279,368],"designed":[280],"specifically":[281],"synthesis.":[283],"free":[288],"arbitrary":[290],"function":[291],"composition":[292],"only":[295],"over":[296],"terms":[299],"disjunctive":[303],"normal":[304],"form.":[305],"prove":[307],"(1)":[308],"just":[313],"powerful":[315],"more":[318],"natural,":[319],"compositional,":[320],"(2)":[325],"sound":[330],"complete":[332],"respect":[334],"language.":[338],"also":[340],"demonstrate":[341],"empirically":[342],"changes":[347],"problem":[350],"one":[352,358],"admits":[354,360],"intractable":[355],"solutions":[356],"highly":[361],"efficient":[362],"solutions,":[363],"able":[364],"intricate":[367],"file":[371],"seconds.":[374],"evaluate":[376],"benchmark":[380],"suite":[381],"39":[383],"includes":[386],"microbenchmarks":[388],"realistic":[390],"derived":[392],"other":[394],"management":[396],"systems":[397],"including":[398],"Flash":[399],"Fill,":[400],"synthesizing":[404],"spreadsheets,":[408],"Augeas,":[410],"processing":[415],"Linux":[417],"configuration":[419],"files.":[420]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}