{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:18Z","timestamp":1750220358664,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":62,"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.3468621","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:40:37Z","timestamp":1629337237000},"page":"677-689","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SynGuar: guaranteeing generalization in programming by example"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1444-0237","authenticated-orcid":false,"given":"Bo","family":"Wang","sequence":"first","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Teodora","family":"Baluta","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aashish","family":"Kolluri","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prateek","family":"Saxena","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. SyGuS-Comp 2019. https:\/\/sygus.org\/comp\/2019\/  2019. SyGuS-Comp 2019. https:\/\/sygus.org\/comp\/2019\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. Supplementary Material. https:\/\/github.com\/HALOCORE\/SynGuar  2021. Supplementary Material. https:\/\/github.com\/HALOCORE\/SynGuar"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_67"},{"key":"e_1_3_2_1_4_1","volume-title":"Going Beyond Two Layers. In Conference on Neural Information Processing Systems (NeurIPS).","author":"Allen-Zhu Zeyuan","year":"2019","unstructured":"Zeyuan Allen-Zhu , Yuanzhi Li , and Yingyu Liang . 2019 . Learning and Generalization in Overparameterized Neural Networks , Going Beyond Two Layers. In Conference on Neural Information Processing Systems (NeurIPS). Zeyuan Allen-Zhu, Yuanzhi Li, and Yingyu Liang. 2019. Learning and Generalization in Overparameterized Neural Networks, Going Beyond Two Layers. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_10"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371124"},{"key":"e_1_3_2_1_7_1","volume-title":"International Conference on Learning Representations (ICLR).","author":"Balog Matej","year":"2017","unstructured":"Matej Balog , Alexander L Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2017 . Deepcoder: Learning to write programs . In International Conference on Learning Representations (ICLR). Matej Balog, Alexander L Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2017. Deepcoder: Learning to write programs. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ITCS.2020.44"},{"key":"e_1_3_2_1_9_1","volume-title":"AURORA: Statistical Crash Analysis for Automated Root Cause Explanation. In USENIX Security.","author":"Blazytko Tim","year":"2020","unstructured":"Tim Blazytko , Moritz Schl\u00f6gel , Cornelius Aschermann , Ali Abbasi , Joel Frank , Simon W\u00f6rner , and Thorsten Holz . 2020 . AURORA: Statistical Crash Analysis for Automated Root Cause Explanation. In USENIX Security. Tim Blazytko, Moritz Schl\u00f6gel, Cornelius Aschermann, Ali Abbasi, Joel Frank, Simon W\u00f6rner, and Thorsten Holz. 2020. AURORA: Statistical Crash Analysis for Automated Root Cause Explanation. In USENIX Security."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90114-1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/76359.76371"},{"key":"e_1_3_2_1_12_1","volume-title":"Stability and Generalization. Journal of Machine Learning Research (JMLR), 2","author":"Bousquet Olivier","year":"2002","unstructured":"Olivier Bousquet and Andr\u00e9 Elisseeff . 2002. Stability and Generalization. Journal of Machine Learning Research (JMLR), 2 ( 2002 ). Olivier Bousquet and Andr\u00e9 Elisseeff. 2002. Stability and Generalization. Journal of Machine Learning Research (JMLR), 2 (2002)."},{"key":"e_1_3_2_1_13_1","volume-title":"Execution-Guided Neural Program Synthesis. In International Conference on Learning Representations (ICLR).","author":"Chen Xinyun","year":"2019","unstructured":"Xinyun Chen , Chang Liu , and Dawn Song . 2019 . Execution-Guided Neural Program Synthesis. In International Conference on Learning Representations (ICLR). Xinyun Chen, Chang Liu, and Dawn Song. 2019. Execution-Guided Neural Program Synthesis. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.97"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1917"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1002\/0471448354"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/130385.130399"},{"key":"e_1_3_2_1_18_1","volume-title":"International Conference on Machine Learning (ICML).","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 International Conference on Machine Learning (ICML). Jacob Devlin, Jonathan Uesato, Surya Bhupatiraju, Rishabh Singh, Abdel-rahman Mohamed, and Pushmeet Kohli. 2017. RobustFill: neural program learning under noisy I\/O. In International Conference on Machine Learning (ICML)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_13"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_15"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/227"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276501"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428287"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/4643.001.0001"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.3233\/978-1-61499-627-9-137"},{"key":"e_1_3_2_1_28_1","volume-title":"Generalize Better: Stability of Stochastic Gradient Descent. In International Conference on Machine Learning (ICML).","author":"Hardt Moritz","year":"2016","unstructured":"Moritz Hardt , Benjamin Recht , and Yoram Singer . 2016 . Train Faster , Generalize Better: Stability of Stochastic Gradient Descent. In International Conference on Machine Learning (ICML). Moritz Hardt, Benjamin Recht, and Yoram Singer. 2016. Train Faster, Generalize Better: Stability of Stochastic Gradient Descent. In International Conference on Machine Learning (ICML)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90010-D"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386025"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2019.8919696"},{"key":"e_1_3_2_1_33_1","volume-title":"International Conference on Learning Representations (ICLR).","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 (ICLR). Larissa Laich, Pavol Bielik, and Martin Vechev. 2020. Guiding Program Synthesis by Learning to Generate Examples. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1025671410623"},{"volume-title":"International Conference on Machine Learning (ICML).","author":"Lau Tessa A.","key":"e_1_3_2_1_35_1","unstructured":"Tessa A. Lau , Pedro Domingos , and Daniel S. Weld . 2000. Version Space Algebra and its Application to Programming by Demonstration . In International Conference on Machine Learning (ICML). Tessa A. Lau, Pedro Domingos, and Daniel S. Weld. 2000. Version Space Algebra and its Application to Programming by Demonstration. In International Conference on Machine Learning (ICML)."},{"key":"e_1_3_2_1_36_1","volume-title":"Conference on Neural Information Processing Systems (NeurIPS).","author":"London Ben","year":"2017","unstructured":"Ben London . 2017 . A PAC-Bayesian Analysis of Randomized Learning with Application to Stochastic Gradient Descent . In Conference on Neural Information Processing Systems (NeurIPS). Ben London. 2017. A PAC-Bayesian Analysis of Randomized Learning with Application to Stochastic Gradient Descent. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807442.2807459"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236049"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90040-6"},{"key":"e_1_3_2_1_40_1","volume-title":"Generalization Bounds of SGLD for Non-convex Learning: Two Theoretical Viewpoints. In Conference on Learning Theory, PMLR. 605\u2013638","author":"Mou Wenlong","year":"2018","unstructured":"Wenlong Mou , Liwei Wang , Xiyu Zhai , and Kai Zheng . 2018 . Generalization Bounds of SGLD for Non-convex Learning: Two Theoretical Viewpoints. In Conference on Learning Theory, PMLR. 605\u2013638 . Wenlong Mou, Liwei Wang, Xiyu Zhai, and Kai Zheng. 2018. Generalization Bounds of SGLD for Non-convex Learning: Two Theoretical Viewpoints. In Conference on Learning Theory, PMLR. 605\u2013638."},{"key":"e_1_3_2_1_41_1","volume-title":"International Conference on Learning Representations (ICLR).","author":"Neyshabur Behnam","year":"2018","unstructured":"Behnam Neyshabur , Srinadh Bhojanapalli , David McAllester , and Nathan Srebro . 2018 . A PAC-Bayesian Approach to Spectrally-Normalized Margin Bounds for Neural Networks . In International Conference on Learning Representations (ICLR). Behnam Neyshabur, Srinadh Bhojanapalli, David McAllester, and Nathan Srebro. 2018. A PAC-Bayesian Approach to Spectrally-Normalized Margin Bounds for Neural Networks. In International Conference on Learning Representations (ICLR)."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2020.2"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISIT.2018.8437571"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594297"},{"key":"e_1_3_2_1_45_1","volume-title":"ICLR workshop.","author":"Polosukhin Illia","year":"2018","unstructured":"Illia Polosukhin and Alexander Skidanov . 2018 . Neural Program Search: Solving Programming Tasks from Description and Examples . In ICLR workshop. Illia Polosukhin and Alexander Skidanov. 2018. Neural Program Search: Solving Programming Tasks from Description and Examples. In ICLR workshop."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858965.2814310"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_5"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_12"},{"key":"e_1_3_2_1_50_1","volume-title":"PAC-Bayes Bounds for Stable Algorithms with Instance-Dependent Priors. In Conference on Neural Information Processing Systems (NeurIPS).","author":"Rivasplata Omar","year":"2018","unstructured":"Omar Rivasplata , Emilio Parrado-Hern\u00e1ndez , John Shawe-Taylor , Shiliang Sun , and Csaba Szepesv\u00e1ri . 2018 . PAC-Bayes Bounds for Stable Algorithms with Instance-Dependent Priors. In Conference on Neural Information Processing Systems (NeurIPS). Omar Rivasplata, Emilio Parrado-Hern\u00e1ndez, John Shawe-Taylor, Shiliang Sun, and Csaba Szepesv\u00e1ri. 2018. PAC-Bayes Bounds for Stable Algorithms with Instance-Dependent Priors. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022607331053"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365274"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23530"},{"key":"e_1_3_2_1_54_1","volume-title":"Improving Neural Program Synthesis with Inferred Execution Traces. In Conference on Neural Information Processing Systems (NeurIPS).","author":"Shin Eui Chul","year":"2018","unstructured":"Eui Chul Shin , Illia Polosukhin , and Dawn Song . 2018 . Improving Neural Program Synthesis with Inferred Execution Traces. In Conference on Neural Information Processing Systems (NeurIPS). Eui Chul Shin, Illia Polosukhin, and Dawn Song. 2018. Improving Neural Program Synthesis with Inferred Execution Traces. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_23"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.21236\/ada016811"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/321992.322002"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1968.1972"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3264-1"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3035918.3058738"},{"key":"e_1_3_2_1_61_1","volume-title":"Conference on Neural Information Processing Systems (NeurIPS).","author":"Zohar Amit","year":"2018","unstructured":"Amit Zohar and Lior Wolf . 2018 . Automatic Program Synthesis of Long Programs with a Learned Garbage Collector . In Conference on Neural Information Processing Systems (NeurIPS). Amit Zohar and Lior Wolf. 2018. Automatic Program Synthesis of Long Programs with a Learned Garbage Collector. In Conference on Neural Information Processing Systems (NeurIPS)."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-019-05839-6"}],"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.3468621","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3468621","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:22Z","timestamp":1750191442000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468621"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":62,"alternative-id":["10.1145\/3468264.3468621","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3468621","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"}}]}}