Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
No abstract available.
Related papers
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads TACAS 2009
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Fine-grain Multithreading with Minimal Compiler Support - A Cost Effective Approach to Implementing Efficient Multithreading Languages PLDI 1997
- Fast Atomicity Monitoring PLDI 2026
- IFRit: interference-free regions for dynamic data-race detection OOPSLA 2012
- A Navigation Logic for Recursive Programs with Dynamic Thread Creation VMCAI 2024
- The virtues of conflict: analysing modern concurrency PPoPP 2016
- JR: Flexible distributed programming in an extended Java TOPLAS 2004