Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis
Abstract elided by the publisher.
Related papers
- Certifying the synthesis of heap-manipulating programs ICFP 2021
- Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities - (Invited Paper) CAV 2021
- Cyclic program synthesis PLDI 2021
- Deductive Program Repair CAV 2015
- Structuring the synthesis of heap-manipulating programs POPL 2019
- Higher-Order Specifications for Deductive Synthesis of Programs with Pointers ECOOP 2024
- Automated lemma synthesis in symbolic-heap separation logic POPL 2018
- Mostly Automated Proof Repair for Verified Libraries PLDI 2023