Interactive Synthesis of Code Snippets
Abstract elided by the publisher.
Related papers
- LooPy: interactive program synthesis with control structures OOPSLA 2021
- Atomicity refinement for verified compilation PLDI 2014
- code2vec: learning distributed representations of code POPL 2019
- TRANSIT: specifying protocols with concolic snippets PLDI 2013
- Typestate-based semantic code search over partial programs OOPSLA 2012
- Aroma: code recommendation via structural code search OOPSLA 2019
- Semantic Code Refactoring for Abstract Data Types POPL 2024
- XSnippet: mining For sample code OOPSLA 2006