Publications

5 results at OOPSLA 2013

On-the-fly capacity planning
- - Nick Mitchell
  - Peter F. Sweeney
- 2013
- OOPSLA 2013
Synthesis modulo recursive functions
- - Etienne Kneuss
  - Viktor Kuncak
  - et al.
- 2013
- OOPSLA 2013
Refactoring with synthesis
- - Veselin Raychev
  - Max Schäfer
  - et al.
- 2013
- OOPSLA 2013
Combining concern input with program analysis for bloat detection
- - Suparna Bhattacharya
  - K. Gopinath
  - et al.
- 2013
- OOPSLA 2013
Effective race detection for event-driven programs
- - Veselin Raychev
  - Martin Vechev
  - et al.
- 2013
- OOPSLA 2013

On-the-fly capacity planning