Loris D’Antoni
- Grammar-Aligned Decoding
2024/05/31 by Kanghee Park, Jiayu Wang, Park, Kanghee +8 · 2 voices · 14 citations
Computer Science · #Natural Language Processing Techniques
- Learning Quick Fixes from Code Repositories
2018/03/10 by Gustavo Soares, Rolim, Reudismam, Soares, Gustavo +6 · 6 citations
Computer Science · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Flexible and Efficient Grammar-Constrained Decoding
2025/02/07 by Kanghee Park, Park, Kanghee, Timothy Zhou +3 · 14 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · #DNA and Biological Computing #Algorithms and Data Compression #Natural Language Processing Techniques
- Proving Unrealizability for Syntax-Guided Synthesis
2019/05/14 by Qinheping Hu, Hu, Qinheping, Jason Breck +7 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
- TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences
2017/08/12 by Ryo Suzuki, Suzuki, Ryo, Gustavo Soares +13 · 1 citation
Computer Science · #Teaching and Learning Programming #Software Testing and Debugging Techniques #Software Engineering Research
- Robustness to Programmable String Transformations via Augmented Abstract Training
2020/02/21 by Yuhao Zhang, Aws Albarghouthi, Zhang, Yuhao +3 · 2 citations
Computer Science · #Adversarial Robustness in Machine Learning #Topic Modeling #Software Testing and Debugging Techniques
- Bootstrapping Fuzzers for Compilers of Low-Resource Language Dialects Using Language Models
2025/12/05 by Sairam Vaidya, Vaidya, Sairam, Marcel Böhme +4 · 1 voice
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Engineering Research #Software Testing and Debugging Techniques #cs.LG #cs.PL #cs.SE
- Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics
2024/08/28 by K. Johnson, R. Krishnan, Johnson, Keith J. C. +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL)
- Synthesizing Specifications
2023/01/26 by Kanghee Park, Park, Kanghee, Loris D’Antoni +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Software Engineering Research
- ChopChop: a Programmable Framework for Semantically Constraining the Output of Language Models
2025/08/30 by Shaan Nagy, Nagy, Shaan, Timothy Zhou +5 · 1 citation
Computer Science · #Topic Modeling #Software Engineering Research #Natural Language Processing Techniques