Cost Analysis of Concurrent OO Programs
Abstract elided by the publisher.
Related papers
- A concurrent dynamic analysis framework for multicore hardware OOPSLA 2009
- CAMP: cost-aware multiparty session protocols OOPSLA 2020
- Parallel complexity analysis with temporal session types ICFP 2018
- The essence of Bluespec: a core language for rule-based hardware design PLDI 2020
- Stateless model checking concurrent programs with maximal causality reduction PLDI 2015
- Why nothing matters: the impact of zeroing OOPSLA 2011
- Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools PLDI 2010
- Automatic Static Cost Analysis for Parallel Programs ESOP 2015