{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:53:14Z","timestamp":1764557594781,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,20]]},"DOI":"10.1145\/3468264.3468533","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:44:18Z","timestamp":1629337458000},"page":"651-663","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Synthesis of web layouts from examples"],"prefix":"10.1145","author":[{"given":"Dylan","family":"Lukes","sequence":"first","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Sarracino","sequence":"additional","affiliation":[{"name":"Cornell University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cora","family":"Coleman","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hila","family":"Peleg","sequence":"additional","affiliation":[{"name":"Technion, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorin","family":"Lerner","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5571-173X","authenticated-orcid":false,"given":"Nadia","family":"Polikarpova","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. https:\/\/ieeexplore.ieee.org  [n.d.]. https:\/\/ieeexplore.ieee.org"},{"key":"e_1_3_2_1_2_1","unstructured":"[n.d.]. https:\/\/ace.c9.io\/  [n.d.]. https:\/\/ace.c9.io\/"},{"key":"e_1_3_2_1_3_1","unstructured":"[n.d.]. Hacker News. https:\/\/news.ycombinator.com\/  [n.d.]. Hacker News. https:\/\/news.ycombinator.com\/"},{"volume-title":"ICSE 2021 Homepage. https:\/\/conf.researchr.org\/home\/icse-2021","key":"e_1_3_2_1_4_1","unstructured":"[n.d.]. ICSE 2021 Homepage. https:\/\/conf.researchr.org\/home\/icse-2021 [n.d.]. ICSE 2021 Homepage. https:\/\/conf.researchr.org\/home\/icse-2021"},{"key":"e_1_3_2_1_5_1","unstructured":"[n.d.]. John Sarracino. https:\/\/www.cs.cornell.edu\/~jsarracino\/  [n.d.]. John Sarracino. https:\/\/www.cs.cornell.edu\/~jsarracino\/"},{"volume-title":"Free Website Templates. https:\/\/freewebsitetemplates.com\/ [Online","year":"2020","key":"e_1_3_2_1_6_1","unstructured":"2020. Free Website Templates. https:\/\/freewebsitetemplates.com\/ [Online ; accessed 28- August - 2020 ]. 2020. Free Website Templates. https:\/\/freewebsitetemplates.com\/ [Online; accessed 28-August-2020]."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.23"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238194"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D19-1639"},{"key":"e_1_3_2_1_10_1","volume-title":"pix2code: Generating Code from a Graphical User Interface Screenshot. CoRR, abs\/1705.07962","author":"Beltramelli Tony","year":"2017","unstructured":"Tony Beltramelli . 2017. pix2code: Generating Code from a Graphical User Interface Screenshot. CoRR, abs\/1705.07962 ( 2017 ), arxiv:1705.07962. arxiv:1705.07962 Tony Beltramelli. 2017. pix2code: Generating Code from a Graphical User Interface Screenshot. CoRR, abs\/1705.07962 (2017), arxiv:1705.07962. arxiv:1705.07962"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276526"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Nikolaj Bj\u00f8rner Anh-Dung Phan and Lars Fleckenstein. 2015. \u03bd Z - An Optimizing SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems Christel Baier and Cesare Tinelli (Eds.). 194\u2013199.  Nikolaj Bj\u00f8rner Anh-Dung Phan and Lars Fleckenstein. 2015. \u03bd Z - An Optimizing SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems Christel Baier and Cesare Tinelli (Eds.). 194\u2013199.","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"e_1_3_2_1_13_1","unstructured":"Achille Brocot. 1862. Calcul des rouages par approximation: nouvelle m\u00e9thode. A. Brocot.  Achille Brocot. 1862. Calcul des rouages par approximation: nouvelle m\u00e9thode. A. Brocot."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242661"},{"volume-title":"2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE). 665\u2013676","author":"Chen C.","key":"e_1_3_2_1_15_1","unstructured":"C. Chen , T. Su , G. Meng , Z. Xing , and Y. Liu . 2018. From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation . In 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE). 665\u2013676 . C. Chen, T. Su, G. Meng, Z. Xing, and Y. Liu. 2018. From UI Design Image to GUI Skeleton: A Neural Machine Translator to Bootstrap Mobile GUI Implementation. In 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE). 665\u2013676."},{"key":"e_1_3_2_1_16_1","unstructured":"Alex Corrado Avery Lamp Brendan Walsh Edward Aryee Erica Yuen George Matthews Jen Madiedo Jeremie Laval LuisTorres Maddy Leger Paris Hsu Patrick Chen Tim Rait Seth Chong Wjdan Alharthi and Xiao Tu. 2018. Ink to Code. https:\/\/www.microsoft.com\/en-us\/garage\/profiles\/ink-to-code\/  Alex Corrado Avery Lamp Brendan Walsh Edward Aryee Erica Yuen George Matthews Jen Madiedo Jeremie Laval LuisTorres Maddy Leger Paris Hsu Patrick Chen Tim Rait Seth Chong Wjdan Alharthi and Xiao Tu. 2018. Ink to Code. https:\/\/www.microsoft.com\/en-us\/garage\/profiles\/ink-to-code\/"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126594.3126651"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 34th International Conference on Machine Learning, ICML 2017","author":"Devlin Jacob","year":"2017","unstructured":"Jacob Devlin , Jonathan Uesato , Surya Bhupatiraju , Rishabh Singh , Abdel-rahman Mohamed, and Pushmeet Kohli . 2017 . RobustFill: Neural Program Learning under Noisy I\/O . In Proceedings of the 34th International Conference on Machine Learning, ICML 2017 , Sydney, NSW, Australia , 6-11 August 2017. 990\u2013998. Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli. 2017. RobustFill: Neural Program Learning under Noisy I\/O. In Proceedings of the 34th International Conference on Machine Learning, ICML 2017, Sydney, NSW, Australia, 6-11 August 2017. 990\u2013998."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376442"},{"key":"e_1_3_2_1_21_1","volume-title":"Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018","author":"Ellis Kevin","year":"2018","unstructured":"Kevin Ellis , Daniel Ritchie , Armando Solar-Lezama , and Josh Tenenbaum . 2018 . Learning to Infer Graphics Programs from Hand-Drawn Images . In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018 , NeurIPS 2018, 3-8 December 2018, Montr\u00e9al, Canada. 6062\u20136071. http:\/\/papers.nips.cc\/paper\/7845-learning-to-infer-graphics-programs-from-hand-drawn-images Kevin Ellis, Daniel Ritchie, Armando Solar-Lezama, and Josh Tenenbaum. 2018. Learning to Infer Graphics Programs from Hand-Drawn Images. In Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, NeurIPS 2018, 3-8 December 2018, Montr\u00e9al, Canada. 6062\u20136071. http:\/\/papers.nips.cc\/paper\/7845-learning-to-infer-graphics-programs-from-hand-drawn-images"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23379"},{"key":"e_1_3_2_1_24_1","volume-title":"CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. 69\u201387","author":"Garg Pranav","year":"2014","unstructured":"Pranav Garg , Christof L\u00f6ding , P. Madhusudan , and Daniel Neider . 2014 . ICE: A Robust Framework for Learning Invariants. In Computer Aided Verification - 26th International Conference , CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. 69\u201387 . Pranav Garg, Christof L\u00f6ding, P. Madhusudan, and Daniel Neider. 2014. ICE: A Robust Framework for Learning Invariants. In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. 69\u201387."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837664"},{"key":"e_1_3_2_1_26_1","volume-title":"Concrete Mathematics: A Foundation for Computer Science","author":"Graham Ronald L.","year":"1994","unstructured":"Ronald L. Graham , Donald E. Knuth , and Oren Patashnik . 1994 . Concrete Mathematics: A Foundation for Computer Science ( 2 nd ed.). Addison-Wesley Longman Publishing Co., Inc. , USA. isbn:0201558025 Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. 1994. Concrete Mathematics: A Foundation for Computer Science (2nd ed.). Addison-Wesley Longman Publishing Co., Inc., USA. isbn:0201558025","edition":"2"},{"volume-title":"Head first Android development: A brain-friendly guide. \" O\u2019Reilly Media","author":"Griffiths Dawn","key":"e_1_3_2_1_27_1","unstructured":"Dawn Griffiths and David Griffiths . 2017. Head first Android development: A brain-friendly guide. \" O\u2019Reilly Media , Inc .\". Dawn Griffiths and David Griffiths. 2017. Head first Android development: A brain-friendly guide. \" O\u2019Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-627-9-137"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2240236.2240260"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409732"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642918.2647378"},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the ACM on Programming Languages, 2, POPL","author":"Inala Jeevana Priya","year":"2017","unstructured":"Jeevana Priya Inala and Rishabh Singh . 2017 . WebRelate: integrating web data with spreadsheets using examples . Proceedings of the ACM on Programming Languages, 2, POPL (2017), 1\u201328. Jeevana Priya Inala and Rishabh Singh. 2017. WebRelate: integrating web data with spreadsheets using examples. Proceedings of the ACM on Programming Languages, 2, POPL (2017), 1\u201328."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_34_1","volume-title":"21st IEEE\/ACM International Conference on Automated Software Engineering (ASE\u201906)","author":"Kaindl H","year":"2006","unstructured":"H Kaindl , E Arnautovic , H Jelinek , T Rock , R Popp , and J Falb . 2006 . Using communicative acts in interaction design specifications for automated synthesis of user interfaces . In 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE\u201906) . 261\u2013264. H Kaindl, E Arnautovic, H Jelinek, T Rock, R Popp, and J Falb. 2006. Using communicative acts in interaction design specifications for automated synthesis of user interfaces. In 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE\u201906). 261\u2013264."},{"volume-title":"Declarative Programming of User Interfaces","author":"Christof Klu\u00df Michael Hanus","key":"e_1_3_2_1_35_1","unstructured":"Michael Hanus Christof Klu\u00df . [n.d.]. Declarative Programming of User Interfaces . University Halle-Wittenberg Institute of Computer Science , 37. Michael Hanus Christof Klu\u00df. [n.d.]. Declarative Programming of User Interfaces. University Halle-Wittenberg Institute of Computer Science, 37."},{"key":"e_1_3_2_1_36_1","volume-title":"International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=BJl07ySKvS","author":"Laich Larissa","year":"2020","unstructured":"Larissa Laich , Pavol Bielik , and Martin Vechev . 2020 . Guiding Program Synthesis by Learning to Generate Examples . In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=BJl07ySKvS Larissa Laich, Pavol Bielik, and Martin Vechev. 2020. Guiding Program Synthesis by Learning to Generate Examples. In International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=BJl07ySKvS"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594333"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155660"},{"volume-title":"Portable Documents","author":"Lie Hakon Wium","key":"e_1_3_2_1_39_1","unstructured":"Hakon Wium Lie and Bert Bos . 2005. Cascading style sheets: Designing for the web , Portable Documents . Addison-Wesley Professional . Hakon Wium Lie and Bert Bos. 2005. Cascading style sheets: Designing for the web, Portable Documents. Addison-Wesley Professional."},{"key":"e_1_3_2_1_40_1","unstructured":"Ethan Marcotte. 2017. Responsive web design: A book apart n 4. Editions Eyrolles.  Ethan Marcotte. 2017. Responsive web design: A book apart n 4. Editions Eyrolles."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.25080\/Majora-92bf1922-00a"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386012"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106281"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00256-7"},{"volume-title":"A guide to NumPy. 1","author":"Oliphant Travis E","key":"e_1_3_2_1_45_1","unstructured":"Travis E Oliphant . 2006. A guide to NumPy. 1 , Trelgol Publishing USA. Travis E Oliphant. 2006. A guide to NumPy. 1, Trelgol Publishing USA."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884842"},{"key":"e_1_3_2_1_47_1","unstructured":"Hila Peleg and Nadia Polikarpova. 2020. Perfect is the Enemy of Good: Best-Effort Program Synthesis. In ECOOP.  Hila Peleg and Nadia Polikarpova. 2020. Perfect is the Enemy of Good: Best-Effort Program Synthesis. In ECOOP."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176346150"},{"key":"e_1_3_2_1_49_1","unstructured":"Hein Rutjes. [n.d.]. Kiwi: Fast TypeScript implementation of the Cassowary constraint solving algorithm. https:\/\/github.com\/IjzerenHein\/kiwi.js  Hein Rutjes. [n.d.]. Kiwi: Fast TypeScript implementation of the Cassowary constraint solving algorithm. https:\/\/github.com\/IjzerenHein\/kiwi.js"},{"volume-title":"iOS Auto Layout Demystified","author":"Sadun Erica","key":"e_1_3_2_1_50_1","unstructured":"Erica Sadun . 2013. iOS Auto Layout Demystified . Addison-Wesley Professional . Erica Sadun. 2013. iOS Auto Layout Demystified. Addison-Wesley Professional."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.25080\/Majora-92bf1922-011"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_31"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.14778\/3149193.3149199"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1515\/crll.1858.55.193"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174078"},{"key":"e_1_3_2_1_57_1","volume-title":"7th International Conference on Learning Representations, ICLR 2019","author":"Tian Yonglong","year":"2019","unstructured":"Yonglong Tian , Andrew Luo , Xingyuan Sun , Kevin Ellis , William T. Freeman , Joshua B. Tenenbaum , and Jiajun Wu . 2019 . Learning to Infer and Execute 3D Shape Programs . In 7th International Conference on Learning Representations, ICLR 2019 , New Orleans, LA, USA , May 6-9, 2019. https:\/\/openreview.net\/forum?id=rylNH20qFQ Yonglong Tian, Andrew Luo, Xingyuan Sun, Kevin Ellis, William T. Freeman, Joshua B. Tenenbaum, and Jiajun Wu. 2019. Learning to Infer and Execute 3D Shape Programs. In 7th International Conference on Learning Representations, ICLR 2019, New Orleans, LA, USA, May 6-9, 2019. https:\/\/openreview.net\/forum?id=rylNH20qFQ"},{"key":"e_1_3_2_1_58_1","unstructured":"Dan Tocchini. [n.d.]. http:\/\/gss.github.io\/  Dan Tocchini. [n.d.]. http:\/\/gss.github.io\/"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3332165.3347944"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41592-019-0686-2"},{"key":"e_1_3_2_1_62_1","volume-title":"The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=DuckDuckGo&oldid=964046557 [Online","author":"Wikipedia Wikipedia","year":"2020","unstructured":"Wikipedia contributors. 2020. DuckDuckGo \u2014 Wikipedia , The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=DuckDuckGo&oldid=964046557 [Online ; accessed 28- June - 2020 ]. Wikipedia contributors. 2020. DuckDuckGo \u2014 Wikipedia, The Free Encyclopedia. https:\/\/en.wikipedia.org\/w\/index.php?title=DuckDuckGo&oldid=964046557 [Online; accessed 28-June-2020]."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502007"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192416"}],"event":{"name":"ESEC\/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Athens Greece","acronym":"ESEC\/FSE '21"},"container-title":["Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468533","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3468533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:50Z","timestamp":1750195490000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":64,"alternative-id":["10.1145\/3468264.3468533","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3468533","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}