Publications

3 results at OOPSLA 2014

Flint: Fixing linearizability violations
- - Peng Liu
  - Omer Tripp
  - et al.
- 2014
- OOPSLA 2014
Static analysis for independent app developers
- - Lucas Brutschy
  - Pietro Ferrara
  - et al.
- 2014
- OOPSLA 2014
Translating imperative code to MapReduce
- - Cosmin Radoi
  - Stephen J. Fink
  - et al.
- 2014
- OOPSLA 2014