Efficient Synthesis for Concurrency by Semantics-Preserving Transformations
Abstract elided by the publisher.
Related papers
- Synthesis of fast programs for maximum segment sum problems GPCE 2009
- Correctness-preserving derivation of concurrent garbage collection algorithms PLDI 2006
- Package templates: a definition by semantics-preserving source-to-source transformations to efficient Java code GPCE 2012
- Semantics-Preserving Transformation of Context-Free Grammars into LL(1) Form Onward! 2025
- Synthesizing structured CAD models with equality saturation and inverse transformations PLDI 2020
- A rely-guarantee-based simulation for verifying concurrent program transformations POPL 2012
- Rely-Guarantee-Based Simulation for Compositional Verification of Concurrent Program Transformations TOPLAS 2014
- Transformations of CCP programs TOPLAS 2001