|
Search the dblp DataBase
Martin T. Vechev:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- Martin T. Vechev, David F. Bacon
Write barrier elision for concurrent garbage collectors. [Citation Graph (0, 0)][DBLP] ISMM, 2004, pp:13-24 [Conf]
- 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]
- 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]
- 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]
PHALANX: parallel checking of expressive heap assertions. [Citation Graph (, )][DBLP]
QVM: an efficient runtime for detecting defects in deployed systems. [Citation Graph (, )][DBLP]
Deriving linearizable fine-grained concurrent objects. [Citation Graph (, )][DBLP]
Chameleon: adaptive selection of collections. [Citation Graph (, )][DBLP]
Verifying linearizability with hindsight. [Citation Graph (, )][DBLP]
Abstraction-guided synthesis of synchronization. [Citation Graph (, )][DBLP]
Idempotent work stealing. [Citation Graph (, )][DBLP]
Automatic Verification of Determinism for Structured Parallel Programs. [Citation Graph (, )][DBLP]
Experience with Model Checking Linearizability. [Citation Graph (, )][DBLP]
Inferring Synchronization under Limited Observability. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|