The Weird World of Bi-directional Programming
No abstract available.
DOI 10.1007/11693024_23
Related papers
- Type-directed synthesis of visualizations from natural language queries OOPSLA 2022
- AutoFDO: automatic feedback-directed optimization for warehouse-scale applications CGO 2016
- Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation OOPSLA 2026
- Type-directed program synthesis for RESTful APIs PLDI 2022
- Boosting Compiler Testing by Injecting Real-World Code PLDI 2024
- Understanding memory and thread safety practices and issues in real-world Rust programs PLDI 2020
- Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence PLDI 2025
- Semantic-directed clumping of disjunctive abstract states POPL 2017