|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 57 occurrences of 37 keywords
|
|
|
|
|
Results
Found 49 publication records. Showing 49 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 | 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 | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Automatic fine-grain locking using shape properties. |
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 | Eran Yahav (eds.) |
Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, Mooly Sagiv |
Verifying safety properties of concurrent heap-manipulating programs. |
ACM Trans. Program. Lang. Syst. |
2010 |
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 | 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 | Sharon Shoham, Eran Yahav, Stephen J. Fink, Marco Pistoia |
Static Specification Mining Using Automata-Based Abstractions. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
program verification, Alias analysis, typestate |
| 1 | Noam Rinetzky, G. Ramalingam, Shmuel Sagiv, Eran Yahav |
On the complexity of partially-flow-sensitive alias analysis. |
ACM Trans. Program. Lang. Syst. |
2008 |
DBLP DOI BibTeX RDF |
flow-insensitive, Alias analysis, flow-sensitive |
| 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 | Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda |
Verifying dereference safety via expanding-scope analysis. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, specification inference |
| 1 | Greta Yorsh, Eran Yahav, Satish Chandra |
Generating precise and concise procedure summaries. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
micro-transformers, relational analysis, symbolic summary, typestate verification, composition, summarization, aliasing, dataflow analysis |
| 1 | Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra |
The CLOSER: automating resource management in java. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
higher-level resource, interest reachability, logical liveness, resource interest graph, resource management |
| 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 | Marco Pistoia, Satish Chandra, Stephen J. Fink, Eran Yahav |
A survey of static analysis methods for identifying security vulnerabilities in software systems. |
IBM Systems Journal |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia |
Static specification mining using automata-based abstractions. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, typestate, specification mining |
| 1 | Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv |
Cartesian Partial-Order Reduction. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav |
Comparison Under Abstraction for Verifying Linearizability. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Pistoia, Stephen J. Fink, Robert J. Flynn, Eran Yahav |
When Role Models Have Flaws: Static Validation of Enterprise Security Policies. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav |
Modular Shape Analysis for Dynamically Encapsulated Programs. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Verifying Temporal Heap Properties Specified via Evolution Logic. |
Logic Journal of the IGPL |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
program verification, alias analysis, typestate |
| 1 | Emmanuel Geay, Eran Yahav, Stephen J. Fink |
Continuous code-quality assurance with SAFE. |
PEPM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv |
Establishing local temporal heap safety properties with applications to compile-time memory management. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav |
Typestate verification: Abstraction techniques and complexity results. |
Sci. Comput. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
| 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 | Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh |
Automatic Verification of Strongly Dynamic Software Systems. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Rinetzky, Mooly Sagiv, Eran Yahav |
Interprocedural Shape Analysis for Cutpoint-Free Programs. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv |
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, G. Ramalingam |
Verifying safety properties using separation and heterogeneous abstractions. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
typestate verification, verification, program analysis, abstract interpretation, safety properties |
| 1 | Eran Yahav, Shmuel Sagiv |
Automatically Verifying Concurrent Queue Algorithms. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Shaham, Eran Yahav, Elliot K. Kolodner, Shmuel Sagiv |
Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
Typestate Verification: Abstraction Techniques and Complexity Results. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm |
Verifying Temporal Heap Properties Specified via Evolution Logic. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Eran Yahav |
Verifying safety properties of concurrent Java programs using 3-valued logic. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Sara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav |
Compiler Optimization of C++ Virtual Function Calls. |
COOTS |
1996 |
DBLP BibTeX RDF |
|
Displaying result #1 - #49 of 49 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")