Type Inference for Parameterized Race-Free Java
Abstract elided by the publisher.
Related papers
- A Parameterized Type System for Race-Free Java Programs OOPSLA 2001
- Automated type-based analysis of data races and atomicity PPoPP 2005
- Types for atomicity: Static checking and inference for Java TOPLAS 2008
- Types for safe locking: Static race detection for Java TOPLAS 2006
- JDMM: a java memory model for non-cache-coherent memory architectures ISMM 2014
- Type Inference Against Races SAS 2004
- Modular Type-Based Reverse Engineering of Parameterized Types in Java Code OOPSLA 1999
- Type-based race detection for Java PLDI 2000