Publications

2 results for Veselin Raychev

Effective race detection for event-driven programs
- - Veselin Raychev
  - Martin Vechev
  - et al.
- 2013
- OOPSLA 2013
Refactoring with synthesis
- - Veselin Raychev
  - Max Schäfer
  - et al.
- 2013
- OOPSLA 2013