A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives
Abstract elided by the publisher.
Related papers
- Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM OOPSLA 2025
- CQS: A Formally-Verified Framework for Fair and Abortable Synchronization PLDI 2023
- Secure Information Flow in a Multi-Threaded Imperative Language POPL 1998
- Data provenance tracking for concurrent programs CGO 2015
- Concurrent Garbage Collection Using Program Slices on Multithreaded Processors ISMM 2000
- Renaissance: benchmarking suite for parallel applications on the JVM PLDI 2019
- Hera-JVM: a runtime system for heterogeneous multi-core architectures OOPSLA 2010
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022