Inductive program synthesis over noisy data-Reference-Cited by-同舟云学术

Inductive program synthesis over noisy data

Published:2020-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Handa Shivam¹,Rinard Martin C.¹

Affiliation:

1. Massachusetts Institute of Technology, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3368089.3409732

Reference21 articles.

1. 2018. SyGuS 2018 String Benchmark Suite. https://github.com/SyGuS-Org/ benchmarks/tree/master/comp/2019/PBE_SLIA_Track/from_2018. Accessed: 2020-07-18. 2018. SyGuS 2018 String Benchmark Suite. https://github.com/SyGuS-Org/ benchmarks/tree/master/comp/2019/PBE_SLIA_Track/from_2018. Accessed: 2020-07-18.

2. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design;Alur Rajeev;IEEE,2013

3. Christopher M Bishop. 2006. Pattern recognition and machine learning. springer. Christopher M Bishop. 2006. Pattern recognition and machine learning. springer.

4. A technique for computer detection and correction of spelling errors

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Efficient Bottom-Up Synthesis for Programs with Local Variables;Proceedings of the ACM on Programming Languages;2024-01-05

2. Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation;Lecture Notes in Computer Science;2024

3. FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language;Proceedings of the VLDB Endowment;2023-11

4. EmFore: Online Learning of Email Folder Classification Rules;Proceedings of the 32nd ACM International Conference on Information and Knowledge Management;2023-10-21

5. Explainable Program Synthesis by Localizing Specifications;Proceedings of the ACM on Programming Languages;2023-10-16