Concurrency Analysis for Java
Abstract elided by the publisher.
Related papers
- COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution) TACAS 2020
- Concurrent GCs and Modern Java Workloads: A Cache Perspective ISMM 2023
- Verifying safety properties of concurrent Java programs using 3-valued logic POPL 2001
- Automated type-based analysis of data races and atomicity PPoPP 2005
- Race directed random testing of concurrent programs PLDI 2008
- Fully automatic and precise detection of thread safety violations PLDI 2012
- Externalizing Java Server Concurrency with CAL ECOOP 2008
- Removing Unnecessary Synchronization in Java OOPSLA 1999