|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3 occurrences of 3 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui |
The tao of parallelism in algorithms.  |
PLDI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley |
A shape analysis for optimizing parallel graph programs. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Rupak Majumdar, Roman Manevich |
Parameterized verification of transactional memories. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
parameterized verification, transactional memory |
| 1 | Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv |
Abstract Transformers for Thread Correlation Analysis. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
Thread Quantification for Concurrent Shape Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
Heap Decomposition for Concurrent Shape Analysis. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv |
Shape Analysis by Graph Decomposition. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv |
Abstract Counterexample-Based Refinement for Powerset Domains. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham |
Combining Shape Analyses by Intersecting Abstractions. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 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 | Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv |
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Lev-Ami, Roman Manevich, Shmuel Sagiv |
TVLA: A system for generating abstract interpreters. |
IFIP Congress Topical Sessions |
2004 |
DBLP BibTeX RDF |
|
| 1 | Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field |
Partially Disjunctive Heap Abstraction. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang |
PSE: explaining program failures via postmortem static analysis. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
postmortem analysis, value flow, alias analysis, typestate |
| 1 | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
Compactly Representing First-Order Structures for Static Analysis. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")