Roman Manevich

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