Search the dblp DataBase

Publications of Author

1. Martin T. Vechev, Peter D. Petrov
   Class Unloading with a Concurrent Garbage Collector in an Embedded Java VM. [Citation Graph (0, 0)][DBLP]
   Embedded Systems and Applications, 2003, pp:99-108 [Conf]
   
2. Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove
   Derivation and Evaluation of Concurrent Collectors. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2005, pp:577-601 [Conf]
   
3. David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev
   High-level real-time programming in Java. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:68-78 [Conf]
   
4. Martin T. Vechev, David F. Bacon
   Write barrier elision for concurrent garbage collectors. [Citation Graph (0, 0)][DBLP]
   ISMM, 2004, pp:13-24 [Conf]
   
5. David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev
   Syncopation: generational real-time garbage collection in the metronome. [Citation Graph (0, 0)][DBLP]
   LCTES, 2005, pp:183-192 [Conf]
   
6. Martin T. Vechev, Eran Yahav, David F. Bacon
   Correctness-preserving derivation of concurrent garbage collection algorithms. [Citation Graph (0, 0)][DBLP]
   PLDI, 2006, pp:341-353 [Conf]
   
7. Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
   CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:456-467 [Conf]
   
8. 
   PHALANX: parallel checking of expressive heap assertions. [Citation Graph (, )][DBLP]
   
   
9. 
   QVM: an efficient runtime for detecting defects in deployed systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Deriving linearizable fine-grained concurrent objects. [Citation Graph (, )][DBLP]
    
    
11. 
    Chameleon: adaptive selection of collections. [Citation Graph (, )][DBLP]
    
    
12. 
    Verifying linearizability with hindsight. [Citation Graph (, )][DBLP]
    
    
13. 
    Abstraction-guided synthesis of synchronization. [Citation Graph (, )][DBLP]
    
    
14. 
    Idempotent work stealing. [Citation Graph (, )][DBLP]
    
    
15. 
    Automatic Verification of Determinism for Structured Parallel Programs. [Citation Graph (, )][DBLP]
    
    
16. 
    Experience with Model Checking Linearizability. [Citation Graph (, )][DBLP]
    
    
17. 
    Inferring Synchronization under Limited Observability. [Citation Graph (, )][DBLP]