Tackling Real-Life Relaxed Concurrency with FSL++
No abstract available.
Related papers
- Virtualization support for dynamic core library update Onward! 2015
- Modeling and Verification of a Real Life Protocol Using Symbolic Model Checking CAV 1994
- Computing Fixpoints of Learned Functions: Chaotic Iteration and Simple Stochastic Games TACAS 2026
- PiPAD: Pipelined and Parallel Dynamic GNN Training on GPUs PPoPP 2023
- The Transmeta Code Morphing - Software: Using Speculation, Recovery, and Adaptive Retranslation to Address Real-Life Challenges CGO 2003
- HipHop.js: (A)Synchronous reactive web programming PLDI 2020
- Observation-Based Concurrent Program Logic for Relaxed Memory Consistency Models APLAS 2016
- Bounded Model Checking of Concurrent Data Types on Relaxed Memory Models: A Case Study CAV 2006