SuSLik v1.0

Cyclic program synthesis, with support for certification via HTT/VST/Iris.

Certified SuSLik (ICFP 2021 Artifact): Code and Benchmarks

Artifact accompanying the paper Certifying the Synthesis of Heap-Manipulating Programs published in proceedings of ICFP 2021.

This snapshot is also available at Zenodo.

SuSLik (CAV 2021 Artifact): Code and Benchmarks

Artifact accompanying the the invited paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities published in proceedings of CAV 2021.

Cypress (PLDI 2021 Artifact): Code and Benchmarks

Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021.

PLDI 2021 Artifact: Cypress (preliminary)

Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021.

POPL 2019 Artifact

Artifact accompanying the POPL 2019 paper Structuring the Synthesis of Heap-Manipulating Programs.

POPL 2019 Submission

Version at the time of submission to POPL 2019