Compiler-Guided Identification of Critical Sections in Parallel Code
Abstract elided by the publisher.
Related papers
- Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations PLDI 2025
- Pipelined Execution of Critical Sections Using Software-Controlled Caching in Network Processors CGO 2007
- Practical lock/unlock pairing for concurrent programs CGO 2013
- Lock elision for read-only critical sections in Java PLDI 2010
- Counterexample-guided correlation algorithm for translation validation OOPSLA 2020
- Binary Compatible Critical Section Delegation PPoPP 2026
- Combining phase identification and statistic modeling for automated parallel benchmark generation PPoPP 2015
- Fast Copy Coalescing and Live-Range Identification PLDI 2002