Static Analyses for Eliminating Unnecessary Synchronization from Java Programs
Abstract elided by the publisher.
Related papers
- Effective synchronization removal for Java PLDI 2000
- Removing Unnecessary Synchronization in Java OOPSLA 1999
- PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs TOPLAS 2019
- Escape analysis for JavaTM: Theory and practice TOPLAS 2003
- Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated POPL 2011
- Stack allocation and synchronization optimizations for Java using escape analysis TOPLAS 2003
- Type-based race detection for Java PLDI 2000
- FlowProf: Profiling Multi-threaded Programs using Information-Flow CC 2024