Deriving linearizable fine-grained concurrent objects
- Martin Vechev
- Eran Yahav
- 2007
- PLDI 2007
Conference paper
Publications
5 results at PLDI 2007
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- PLDI 2007
Conference paperThin slicing
- Manu Sridharan
- Stephen J. Fink
- et al.
- 2007
- PLDI 2007
Conference paperThe ExoVM system for automatic VM and application reduction
- Ben L. Titzer
- Joshua Auerbach
- et al.
- 2007
- PLDI 2007
Conference paperSketching stencils
- Armando Solar-Lezama
- Gilad Arnold
- et al.
- 2007
- PLDI 2007
Conference paper