{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:07:58Z","timestamp":1755839278439,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T00:00:00Z","timestamp":1645488000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"DARPA CMU","award":["1042741-394324 AM01"],"award-info":[{"award-number":["1042741-394324 AM01"]}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","award":["Faculty Award"],"award-info":[{"award-number":["Faculty Award"]}],"id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Intel"},{"name":"Adobe"},{"DOI":"10.13039\/100005144","name":"Qualcomm","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005144","id-type":"DOI","asserted-by":"publisher"}]},{"name":"ACI OAC","award":["535191"],"award-info":[{"award-number":["535191"]}]},{"name":"OIA","award":["1936731"],"award-info":[{"award-number":["1936731"]}]},{"DOI":"10.13039\/100005801","name":"Facebook","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005801","id-type":"DOI","asserted-by":"publisher"}]},{"name":"FMitF CCF","award":["1918027"],"award-info":[{"award-number":["1918027"]}]},{"name":"SaTC","award":["1908494"],"award-info":[{"award-number":["1908494"]}]},{"name":"CAPA NSF CCF","award":["1723352"],"award-info":[{"award-number":["1723352"]}]},{"name":"DARPA","award":["FA8750?14?C?0011,FA8750?16?2?0032"],"award-info":[{"award-number":["FA8750?14?C?0011,FA8750?16?2?0032"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,2,28]]},"DOI":"10.1145\/3503222.3507751","type":"proceedings-article","created":{"date-parts":[[2022,2,22]],"date-time":"2022-02-22T20:49:01Z","timestamp":1645562941000},"page":"1030-1042","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Tree traversal synthesis using domain-specific symbolic compilation"],"prefix":"10.1145","author":[{"given":"Yanju","family":"Chen","sequence":"first","affiliation":[{"name":"University of California at Santa Barbara, USA"}]},{"given":"Junrui","family":"Liu","sequence":"additional","affiliation":[{"name":"University of California at Santa Barbara, USA"}]},{"given":"Yu","family":"Feng","sequence":"additional","affiliation":[{"name":"University of California at Santa Barbara, USA"}]},{"given":"Rastislav","family":"Bodik","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,2,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/320719.322588"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032319"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642918.2647357"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/266180.266361"},{"key":"e_1_3_2_1_5_1","unstructured":"Bert Bos. 2016. CSS 2.2: Collapsing Margins. https:\/\/tinyurl.com\/j66mfru"},{"key":"e_1_3_2_1_6_1","unstructured":"Bert Bos. 2016. CSS 2.2: Floats. https:\/\/tinyurl.com\/ssn8rco"},{"key":"e_1_3_2_1_7_1","unstructured":"Bert Bos Tantek \u00c7elik Ian Hickson and H\u00e5kon Wium Lie. 2011. CSS 2.1: Collapsing Margins. https:\/\/tinyurl.com\/rspsl2j"},{"key":"e_1_3_2_1_8_1","unstructured":"Bert Bos Tantek \u00c7elik Ian Hickson and H\u00e5kon Wium Lie. 2011. CSS 2.1: Floats. https:\/\/tinyurl.com\/s67ebaa"},{"key":"e_1_3_2_1_9_1","volume-title":"Chris Lilley, and Ian Jacobs.","author":"Bos Bert","year":"1998","unstructured":"Bert Bos, H\u00e5kon Wium Lie, Chris Lilley, and Ian Jacobs. 1998. CSS 2: Collapsing Margins. https:\/\/tinyurl.com\/seb5h92"},{"key":"e_1_3_2_1_10_1","volume-title":"Chris Lilley, and Ian Jacobs.","author":"Bos Bert","year":"1998","unstructured":"Bert Bos, H\u00e5kon Wium Lie, Chris Lilley, and Ian Jacobs. 1998. CSS 2: Floats. https:\/\/tinyurl.com\/vbt29em"},{"key":"e_1_3_2_1_11_1","unstructured":"Browserling. 2018. https:\/\/www.browserling.com\/"},{"key":"e_1_3_2_1_12_1","unstructured":"Browsershots. 2018. http:\/\/browsershots.org\/"},{"key":"e_1_3_2_1_13_1","unstructured":"Browserstack. 2018. https:\/\/www.browserstack.com\/screenshots"},{"key":"e_1_3_2_1_14_1","unstructured":"Matt Brubeck. 2014. Incorrect layout of element following a float involving margins. https:\/\/github.com\/servo\/servo\/issues\/4307"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158150"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.97"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908103"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90030-7"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192382"},{"key":"e_1_3_2_1_21_1","unstructured":"LLC Gurobi Optimization. 2019. Gurobi Optimizer Reference Manual. http:\/\/www.gurobi.com"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2015.7102635"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/142621.142635"},{"key":"e_1_3_2_1_24_1","unstructured":"IBM. 2016. The CPLEX Optimizer. https:\/\/www.ibm.com\/analytics\/cplex-optimizer\/"},{"key":"e_1_3_2_1_25_1","unstructured":"Anantha Keesara. 2007. Bug 15662 - layout is coming down because of style 'float:left' of <div> https:\/\/bugs.webkit.org\/show_bug.cgi?id=15662"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Donald E. Knuth. 1968. Semantics of Context-Free Languages. In In Mathematical Systems Theory. 127\u2013145.","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939141.1939161"},{"key":"e_1_3_2_1_28_1","volume-title":"Automated Repair of Mobile Friendly Problems in Web Pages. In International Conference on Software Engineering (ICSE","author":"Mahajan Sonal","year":"2018","unstructured":"Sonal Mahajan, Negarsadat Abolhassani, Phil McMinn, and William G.J. Halfond. 2018. Automated Repair of Mobile Friendly Problems in Web Pages. In International Conference on Software Engineering (ICSE 2018). ACM, 140\u2013150."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092726"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","unstructured":"S. Mahajan A. Alameer P. McMinn and W. G. J. Halfond. 2018. Automated Repair of Internationalization Presentation Failures in Web Pages Using Style Similarity Clustering and Search-Based Techniques. In 2018 IEEE 11th International Conference on Software Testing Verification and Validation (ICST). 215\u2013226. https:\/\/doi.org\/10.1109\/ICST.2018.00030 10.1109\/ICST.2018.00030","DOI":"10.1109\/ICST.2018.00030"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985870"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442535"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/322186.322198"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"Pavel Panchekha Adam T. Geller Michael D Ernst Zachary Tatlock and Shoaib Kamil. 2018. Verifying That Web Pages Have Accessible Layout. PLDI\u201918. https:\/\/doi.org\/10.1145\/3192366.3192407 10.1145\/3192366.3192407","DOI":"10.1145\/3192366.3192407"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984010"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594339"},{"key":"e_1_3_2_1_37_1","unstructured":"The Clang Project. 2021. Clang: a C language family frontend for LLVM. https:\/\/clang.llvm.org"},{"key":"e_1_3_2_1_38_1","unstructured":"The Servo Parallel Browser Engine Project. 2018. Rendering issue of styled buttons. https:\/\/github.com\/servo\/servo\/issues\/18991"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609723"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133900"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314626"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451150"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/800265.810742"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594340"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660208"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/357299.357303"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092712"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.31"},{"volume-title":"The Grammar of Graphics (Statistics and Computing)","author":"Wilkinson Leland","key":"e_1_3_2_1_51_1","unstructured":"Leland Wilkinson. 2005. The Grammar of Graphics (Statistics and Computing). Springer-Verlag New York, Inc., Secaucus, NJ, USA. isbn:0387245448"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/108844.109005"}],"event":{"name":"ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Lausanne Switzerland","acronym":"ASPLOS '22"},"container-title":["Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503222.3507751","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503222.3507751","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3503222.3507751","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:11:40Z","timestamp":1750191100000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3503222.3507751"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,22]]},"references-count":51,"alternative-id":["10.1145\/3503222.3507751","10.1145\/3503222"],"URL":"https:\/\/doi.org\/10.1145\/3503222.3507751","relation":{},"subject":[],"published":{"date-parts":[[2022,2,22]]},"assertion":[{"value":"2022-02-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}