Publications

Chameleon: Adaptive Selection of Collections
Shacham O., Vechev M., Yahav E.
PLDI '09: ACM SIGPLAN 2009 Conference on Programming Language Design and Implementation.
[bib] [abstract] [pdf] [slides]
to appear
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
Arnold M., Vechev M., Yahav E.
OOPSLA '08: ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications.
[bib] [abstract] [pdf] [slides] [notes]