Synthesis of Heap-Manipulating Programs from Separation Logic
Cyclic program synthesis, with support for certification via HTT/VST/Iris.
Artifact accompanying the paper Certifying the Synthesis of Heap-Manipulating Programs published in proceedings of ICFP 2021.
This snapshot is also available at Zenodo.
Artifact accompanying the the invited paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities published in proceedings of CAV 2021.
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021.
Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021.
Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs.
Version at the time of submission to POPL 2019