Type Inference Against Races
No abstract available.
Related papers
- Type Inference for Parameterized Race-Free Java VMCAI 2004
- Automated type-based analysis of data races and atomicity PPoPP 2005
- Dynamic Robustness Verification against Weak Memory PLDI 2025
- Types for safe locking: Static race detection for Java TOPLAS 2006
- LOCKSMITH: context-sensitive correlation analysis for race detection PLDI 2006
- Geometry of synthesis III: resource management through type inference POPL 2011
- Race checking by context inference PLDI 2004
- Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks TACAS 2019