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