|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 40 occurrences of 28 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthew Arnold, Martin T. Vechev, Eran Yahav |
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems.  |
ACM Trans. Softw. Eng. Methodol.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kuperstein, Martin T. Vechev, Eran Yahav |
Partial-coherence abstractions for relaxed memory models. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagit Attiya, Rachid Guerraoui, Danny Hendler, Petr Kuznetsov, Maged M. Michael, Martin T. Vechev |
Laws of order: expensive synchronization in concurrent algorithms cannot be eliminated. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
Testing atomicity of composed concurrent operations. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav |
Sprint: speculative prefetching of remote data. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav |
Asynchronous assertions. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
Efficient Data Race Detection for Async-Finish Parallelism. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin T. Vechev |
Computer-aided construction of concurrent systems. |
CompSysTech |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kuperstein, Martin T. Vechev, Eran Yahav |
Automatic inference of memory fences. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
Abstraction-guided synthesis of synchronization. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
concurrency, synthesis, abstract interpretation |
| 1 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
PHALANX: parallel checking of expressive heap assertions. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
parallel garbage collector, virtual machine, ownership |
| 1 | Peter W. O'Hearn, Noam Rinetzky, Martin T. Vechev, Eran Yahav, Greta Yorsh |
Verifying linearizability with hindsight. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
hindsight, linearizability, wait-freedom, optimistic concurrency |
| 1 | Martin T. Vechev, Eran Yahav, Raghavan Raman, Vivek Sarkar |
Automatic Verification of Determinism for Structured Parallel Programs. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Shacham, Martin T. Vechev, Eran Yahav |
Chameleon: adaptive selection of collections. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
semantic profiler, java, collections, bloat |
| 1 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
Inferring Synchronization under Limited Observability. |
TACAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin T. Vechev, Eran Yahav, Greta Yorsh |
Experience with Model Checking Linearizability. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maged M. Michael, Martin T. Vechev, Vijay A. Saraswat |
Idempotent work stealing. |
PPOPP |
2009 |
DBLP DOI BibTeX RDF |
memory barrier, memory fence, atomic, work stealing |
| 1 | Martin T. Vechev, Eran Yahav |
Deriving linearizable fine-grained concurrent objects. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
algorithms, model checking, data structures, concurrency, linearizability |
| 1 | Matthew Arnold, Martin T. Vechev, Eran Yahav |
QVM: an efficient runtime for detecting defects in deployed systems. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
algorithms, reliability, virtual machines |
| 1 | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
| 1 | Martin T. Vechev, Eran Yahav, David F. Bacon |
Correctness-preserving derivation of concurrent garbage collection algorithms. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
| 1 | 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. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, visualization, WCET, tasks, allocation |
| 1 | Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove |
Derivation and Evaluation of Concurrent Collectors. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev |
Syncopation: generational real-time garbage collection in the metronome. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
scheduling, real-time, garbage collection, allocation |
| 1 | Martin T. Vechev, David F. Bacon |
Write barrier elision for concurrent garbage collectors. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
write barrier, concurrent garbage collection |
| 1 | Martin T. Vechev, Peter D. Petrov |
Class Unloading with a Concurrent Garbage Collector in an Embedded Java VM. |
Embedded Systems and Applications |
2003 |
DBLP BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")