Roman Manevich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
10
Active years
2002–2020
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | VMCAI | Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. | Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky |
| 2019 | IROS | Learning the Scope of Applicability for Task Planning Knowledge in Experience-Based Planning Domains. | Vahid Mokhtari, Roman Manevich, Lus Seabra Lopes, Armando J. Pinho |
| 2018 | SAS | Abstract Interpretation of Stateful Networks. | Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
| 2017 | NCA | Programming reflexes (Extended abstract). | Shlomi Dolev, Roman Manevich, Amit Rokach |
| 2016 | CAV | From Shape Analysis to Termination Analysis in Linear Time. | Roman Manevich, Boris Dogadov, Noam Rinetzky |
| 2015 | PLDI | Synthesizing parallel graph programs via automated planning. | Dimitrios Prountzos, Roman Manevich, Keshav Pingali |
| 2012 | OOPSLA | Elixir: a system for synthesizing concurrent graph programs. | Dimitrios Prountzos, Roman Manevich, Keshav Pingali |
| 2012 | PLDI | JANUS: exploiting parallelism via hindsight. | Omer Tripp, Roman Manevich, John Field, Mooly Sagiv |
| 2011 | PLDI | The tao of parallelism in algorithms. | Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Mndez-Lojo, Dimitrios Prountzos, Xin Sui |
| 2011 | POPL | A shape analysis for optimizing parallel graph programs. | Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley |
| 2010 | PLDI | Parameterized verification of transactional memories. | Michael Emmi, Rupak Majumdar, Roman Manevich |
| 2009 | APLAS | Abstract Transformers for Thread Correlation Analysis. | Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv |
| 2008 | CAV | Thread Quantification for Concurrent Shape Analysis. | Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv |
| 2008 | SAS | Heap Decomposition for Concurrent Shape Analysis. | Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine |
| 2007 | TACAS | Shape Analysis by Graph Decomposition. | Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv |
| 2006 | VMCAI | Combining Shape Analyses by Intersecting Abstractions. | Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham |
| 2005 | VMCAI | Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. | Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv |
| 2004 | SAS | Partially Disjunctive Heap Abstraction. | Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field |
| 2002 | SAS | Compactly Representing First-Order Structures for Static Analysis. | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |