Abstraction-guided synthesis of synchronization
Abstract
We present a novel framework for automatic inference of efficient synchronization in concurrent programs, a task known to be difficult and error-prone when done manually.
Related papers
- Abstraction-Guided Synthesis VMCAI 2013
- Proof-Directed Parallelization Synthesis by Separation Logic TOPLAS 2013
- Verification-guided Programmatic Controller Synthesis TACAS 2023
- Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations OOPSLA 2025
- Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling POPL 2026
- Absynthe: Abstract Interpretation-Guided Synthesis PLDI 2023
- Counterexample-Guided Partial Bounding for Recursive Function Synthesis CAV 2021
- Neural Network-Guided Synthesis of Recursive List Functions TACAS 2023