FASE: Functionality-aware security enforcement
- Petar Tsankov
- Marco Pistoia
- et al.
- 2016
- ACSAC 2016
Conference paper
Publications
28 results for Martin Vechev
Effective race detection for event-driven programs
- Veselin Raychev
- Martin Vechev
- et al.
- 2013
- OOPSLA 2013
Conference paperRefactoring with synthesis
- Veselin Raychev
- Max Schäfer
- et al.
- 2013
- OOPSLA 2013
Conference paperQVM: An efficient runtime for detecting defects in deployed systems
- Matthew Arnold
- Martin Vechev
- et al.
- 2011
- ACM TOSEM
PaperAsynchronous assertions
- Edward E. Aftandilian
- Samuel Z. Guyer
- et al.
- 2011
- OOPSLA 2011
Conference paperSprint: Speculative prefetching of remote data
- Arun Raman
- Greta Yorsh
- et al.
- 2011
- OOPSLA 2011
Conference paperTesting atomicity of composed concurrent operations
- Ohad Shacham
- Nathan Bronson
- et al.
- 2011
- OOPSLA 2011
Conference paperPartial-coherence abstractions for relaxed memory models
- Michael Kuperstein
- Martin Vechev
- et al.
- 2011
- PLDI 2011
Conference paperAutomatic inference of memory fences
- Michael Kuperstein
- Martin Vechev
- et al.
- 2010
- FMCAD 2010
Conference paperComputer-aided construction of concurrent systems
- Martin Vechev
- 2010
- CompSysTech 2010
Conference paper