Roman Manevich

Publication Activity (10 Years)

Years Active: 2002-2020
Publications (10 Years): 10

Top Topics

Abstract Interpretation

Planning Domains

Hierarchical Task Networks

Top Venues

Found. Trends Program. Lang.

Publications

Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival
Shape Analysis. Found. Trends Program. Lang. 6 (1-2) (2020)
Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. VMCAI (2020)
Vahid Mokhtari, Roman Manevich, Luís Seabra Lopes, Armando J. Pinho
Learning the Scope of Applicability for Task Planning Knowledge in Experience-Based Planning Domains. IROS (2019)
Vahid Mokhtari, Luís Seabra Lopes, Armando J. Pinho, Roman Manevich
Computing the Scope of Applicability for Acquired Task Knowledge in Experience-Based Planning Domains. CoRR (2019)
Vahid Mokhtari, Luís Seabra Lopes, Armando J. Pinho, Roman Manevich
Learning Task Knowledge and its Scope of Applicability in Experience-Based Planning Domains. CoRR (2019)
Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
Abstract Interpretation of Stateful Networks. SAS (2018)
Roman Manevich, Sharon Shoham
Inferring Program Extensions from Traces. ICGI (2018)
Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner
Modular Safety Verification for Stateful Networks. CoRR (2017)
Shlomi Dolev, Roman Manevich, Amit Rokach
Programming reflexes (Extended abstract). NCA (2017)
Roman Manevich, Boris Dogadov, Noam Rinetzky
From Shape Analysis to Termination Analysis in Linear Time. CAV (1) (2016)
Dimitrios Prountzos, Roman Manevich, Keshav Pingali
Synthesizing parallel graph programs via automated planning. PLDI (2015)
Omer Tripp, Roman Manevich, John Field, Mooly Sagiv
JANUS: exploiting parallelism via hindsight. PLDI (2012)
Dimitrios Prountzos, Roman Manevich, Keshav Pingali
Elixir: a system for synthesizing concurrent graph programs. OOPSLA (2012)
Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley
A shape analysis for optimizing parallel graph programs. POPL (2011)
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)
Michael Emmi, Rupak Majumdar, Roman Manevich
Parameterized verification of transactional memories. PLDI (2010)
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv
Abstract Transformers for Thread Correlation Analysis. APLAS (2009)
Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine
Heap Decomposition for Concurrent Shape Analysis. SAS (2008)
Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv
Thread Quantification for Concurrent Shape Analysis. CAV (2008)
Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv
Shape Analysis by Graph Decomposition. TACAS (2007)
Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham
Combining Shape Analyses by Intersecting Abstractions. VMCAI (2006)
Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation (2006)
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)
Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. VMCAI (2005)
Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang
PSE: explaining program failures via postmortem static analysis. SIGSOFT FSE (2004)
Tal Lev-Ami, Roman Manevich, Shmuel Sagiv
TVLA: A system for generating abstract interpreters. IFIP Congress Topical Sessions (2004)
Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
Partially Disjunctive Heap Abstraction. SAS (2004)
Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
Compactly Representing First-Order Structures for Static Analysis. SAS (2002)