Compactly Representing First-Order Structures for Static Analysis. - Roman Manevich; G. Ramalingam; John Field; Deepak Goyal; Shmuel Sagiv (SAS, 2002)

TVLA: A system for generating abstract interpreters. - Tal Lev-Ami; Roman Manevich; Shmuel Sagiv (IFIP Congress Topical Sessions, 2004)

Partially Disjunctive Heap Abstraction. - Roman Manevich; Shmuel Sagiv; Ganesan Ramalingam; John Field (SAS, 2004)

PSE: explaining program failures via postmortem static analysis. - Roman Manevich; Manu Sridharan; Stephen Adams 001; Manuvir Das; Zhe Yang 001 (SIGSOFT FSE, 2004)

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. - Roman Manevich; Eran Yahav; Ganesan Ramalingam; Shmuel Sagiv (VMCAI, 2005)

Automatic Verification of Strongly Dynamic Software Systems. - 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; et al. (VSTTE, 2005)

Abstract Counterexample-Based Refinement for Powerset Domains. - Roman Manevich; John Field; Thomas A. Henzinger; G. Ramalingam; Mooly Sagiv (Program Analysis and Compilation, 2006)

Combining Shape Analyses by Intersecting Abstractions. - Gilad Arnold; Roman Manevich; Mooly Sagiv; Ran Shaham (VMCAI, 2006)

Shape Analysis by Graph Decomposition. - Roman Manevich; Josh Berdine; Byron Cook; G. Ramalingam; Mooly Sagiv (TACAS, 2007)

Thread Quantification for Concurrent Shape Analysis. - Josh Berdine; Tal Lev-Ami; Roman Manevich; G. Ramalingam; Shmuel Sagiv (CAV, 2008)

Heap Decomposition for Concurrent Shape Analysis. - Roman Manevich; Tal Lev-Ami; Mooly Sagiv; Ganesan Ramalingam; Josh Berdine (SAS, 2008)

Abstract Transformers for Thread Correlation Analysis. - Michal Segalov; Tal Lev-Ami; Roman Manevich; Ganesan Ramalingam; Mooly Sagiv (APLAS, 2009)

Partially disjunctive shape analysis - Roman Manevich (2009)

Parameterized verification of transactional memories. - Michael Emmi; Rupak Majumdar; Roman Manevich (PLDI, 2010)

The tao of parallelism in algorithms. - Keshav Pingali; Donald Nguyen; Milind Kulkarni 001; Martin Burtscher; Muhammad Amber Hassaan; Rashid Kaleem; Tsung-Hsien Lee; Andrew Lenharth; Roman Manevich; Mario Méndez-Lojo; Dimitrios Prountzos; Xin Sui (PLDI, 2011)

A shape analysis for optimizing parallel graph programs. - Dimitrios Prountzos; Roman Manevich; Keshav Pingali; Kathryn S. McKinley (POPL, 2011)

Elixir: a system for synthesizing concurrent graph programs. - Dimitrios Prountzos; Roman Manevich; Keshav Pingali (OOPSLA, 2012)

JANUS: exploiting parallelism via hindsight. - Omer Tripp; Roman Manevich; John Field; Mooly Sagiv (PLDI, 2012)

Synthesizing parallel graph programs via automated planning. - Dimitrios Prountzos; Roman Manevich; Keshav Pingali (PLDI, 2015)

From Shape Analysis to Termination Analysis in Linear Time. - Roman Manevich; Boris Dogadov; Noam Rinetzky (CAV (1), 2016)

Programming reflexes (Extended abstract). - Shlomi Dolev; Roman Manevich; Amit Rokach (NCA, 2017)

Modular Safety Verification for Stateful Networks. - Kalev Alpernas; Roman Manevich; Aurojit Panda; Mooly Sagiv; Scott Shenker; Sharon Shoham; Yaron Velner (CoRR, 2017)

Inferring Program Extensions from Traces. - Roman Manevich; Sharon Shoham (ICGI, 2018)

Abstract Interpretation of Stateful Networks. - Kalev Alpernas; Roman Manevich; Aurojit Panda; Mooly Sagiv; Scott Shenker; Sharon Shoham; Yaron Velner (SAS, 2018)

Learning the Scope of Applicability for Task Planning Knowledge in Experience-Based Planning Domains. - Vahid Mokhtari; Roman Manevich; Luís Seabra Lopes; Armando J. Pinho (IROS, 2019)

Learning Task Knowledge and its Scope of Applicability in Experience-Based Planning Domains. - Vahid Mokhtari; Luís Seabra Lopes; Armando J. Pinho; Roman Manevich (CoRR, 2019)

Computing the Scope of Applicability for Acquired Task Knowledge in Experience-Based Planning Domains. - Vahid Mokhtari; Luís Seabra Lopes; Armando J. Pinho; Roman Manevich (CoRR, 2019)

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 (VMCAI, 2020)

Shape Analysis. - Bor-Yuh Evan Chang; Cezara Dragoi; Roman Manevich; Noam Rinetzky; Xavier Rival (Found. Trends Program. Lang., 2020)