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]
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]
QVM: The Quality Virtual Machine - Publications