Synchronization Synthesis for Network Programs
No abstract available.
Related papers
- Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems CAV 2016
- From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis CAV 2015
- Abstraction-guided synthesis of synchronization POPL 2010
- Synchronous Kahn Networks ICFP 1996
- Enhancing Neural Network Robustness via Synthesis of Repair Programs SAS 2025
- Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks APLAS 2018
- Syntax-Guided Optimal Synthesis for Chemical Reaction Networks CAV 2017
- Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks TACAS 2018