The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin T. Vechev: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002