Abstraction-Guided Synthesis Of Synchronization
Martin Vechev, Eran Yahav and Greta Yorsh.
ACM POPL 2010
to appear
Position Paper: Verifying Optimistic Algorithms Should be Easy
Noam Rinetzky, Martin Vechev, Eran Yahav and Greta Yorsh.
EC2: Exploiting Concurrency Efficiently and Correctly -- CAV 2009 Workshop
Experience with Model Checking Linearizability
Martin Vechev, Eran Yahav, Greta Yorsh
SPIN 2009
Chameleon: Adaptive Selection of Collections
Ohad Shacham, Martin Vechev, Eran Yahav.
ACM PLDI 2009
Inferring Synchronization under Limited Observability
Martin Vechev, Eran Yahav, Greta Yorsh.
TACAS 2009
Idempotent Work Stealing
Maged Michael, Martin Vechev, Vijay Saraswat.
ACM PPoPP 2009
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems
Mathew Arnold, Martin Vechev, Eran Yahav.
ACM OOPSLA 2008
Position Paper: Computer-Assisted Construction of Efficient Concurrent Algorithms
Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh.
EC2: Exploiting Concurrency Efficiently and Correctly -- CAV 2008 Workshop
Deriving Linearizable Fine-Grained Concurrent Objects
Martin Vechev and Eran Yahav.
ACM PLDI 2008
CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors
Martin Vechev, Eran Yahav, David F. Bacon and Noam Rinetzky.
ACM PLDI 2007
Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms
Martin Vechev, Eran Yahav, David F. Bacon.
ACM PLDI 2006
Derivation And Evaluation Of Concurrent Collectors
Martin Vechev, David F. Bacon, Perry Cheng, David Grove.
ECOOP 2005
Write Barrier Elision for Concurrent Garbage Collectors
Martin Vechev and David F. Bacon.
ACM ISMM 2004
Syncopation: Generational Real-time Garbage Collection in the Metronome
David F. Bacon, Perry Cheng, David Grove, Martin Vechev.
ACM LCTES 2005
High-level Real-time Programming in Java
David F. Bacon, Perry Cheng, David Grove, Michael Hind, V.T. Rajan, Eran Yahav, M. Hauswirth, C. Kirsch, Daniel Spoonhower, and Martin T. Vechev.
ACM EMSOFT 2005
Tuning Java on a DSP
Martin Vechev and Peter Petrov.
GSPX 2004
Java on DSP : Challenges and Choices
Martin Vechev and Peter Petrov.
GSPX 2003