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