Contextual Locking for Dynamic Pushdown Networks
Abstract elided by the publisher.
Related papers
- Weighted Dynamic Pushdown Networks ESOP 2010
- Model Checking Dynamic Pushdown Networks APLAS 2013
- Predecessor Sets of Dynamic Pushdown Networks with Tree-Regular Constraints CAV 2009
- Reachability under Contextual Locking TACAS 2012
- Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-Vous APLAS 2017
- Progress of concurrent objects with partial methods POPL 2018
- Reachability for Dynamic Parametric Processes VMCAI 2017
- GraalNN: Context-Sensitive Static Profiling with Graph Neural Networks CGO 2025