Roman Manevich

According to our database, Roman Manevich authored at least 29 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Shape Analysis.

Bor-Yuh Evan Chang, Cezara Dragoi, Roman Manevich, Noam Rinetzky, Xavier Rival

Found. Trends Program. Lang., 2020

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

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

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

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

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

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

2018

Abstract Interpretation of Stateful Networks.

Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner

Proceedings of the Static Analysis - 25th International Symposium, 2018

Inferring Program Extensions from Traces.

Roman Manevich, Sharon Shoham

Proceedings of the 14th International Conference on Grammatical Inference, 2018

2017

Modular Safety Verification for Stateful Networks.

Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner

CoRR, 2017

Programming reflexes (Extended abstract).

Shlomi Dolev, Roman Manevich, Amit Rokach

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

2016

From Shape Analysis to Termination Analysis in Linear Time.

Roman Manevich, Boris Dogadov, Noam Rinetzky

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Synthesizing parallel graph programs via automated planning.

Dimitrios Prountzos, Roman Manevich, Keshav Pingali

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2012

JANUS: exploiting parallelism via hindsight.

Omer Tripp, Roman Manevich, John Field, Mooly Sagiv

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Elixir: a system for synthesizing concurrent graph programs.

Dimitrios Prountzos, Roman Manevich, Keshav Pingali

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011

A shape analysis for optimizing parallel graph programs.

Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

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 Méndez-Lojo, Dimitrios Prountzos, Xin Sui

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

2010

Parameterized verification of transactional memories.

Michael Emmi, Rupak Majumdar, Roman Manevich

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

Partially disjunctive shape analysis

Roman Manevich

PhD thesis, 2009

Abstract Transformers for Thread Correlation Analysis.

Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

2008

Heap Decomposition for Concurrent Shape Analysis.

Roman Manevich, Tal Lev-Ami, Mooly Sagiv, Ganesan Ramalingam, Josh Berdine

Proceedings of the Static Analysis, 15th International Symposium, 2008

Thread Quantification for Concurrent Shape Analysis.

Josh Berdine, Tal Lev-Ami, Roman Manevich, G. Ramalingam, Shmuel Sagiv

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Shape Analysis by Graph Decomposition.

Roman Manevich, Josh Berdine, Byron Cook, G. Ramalingam, Mooly Sagiv

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Combining Shape Analyses by Intersecting Abstractions.

Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham

Proceedings of the Verification, 2006

Abstract Counterexample-Based Refinement for Powerset Domains.

Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv

Proceedings of the Program Analysis and Compilation, 2006

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, Greta Yorsh

Proceedings of the Verified Software: Theories, 2005

Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.

Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv

Proceedings of the Verification, 2005

2004

PSE: explaining program failures via postmortem static analysis.

Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Partially Disjunctive Heap Abstraction.

Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field

Proceedings of the Static Analysis, 11th International Symposium, 2004

TVLA: A system for generating abstract interpreters.

Tal Lev-Ami, Roman Manevich, Shmuel Sagiv

Proceedings of the Building the Information Society, 2004

2002

Compactly Representing First-Order Structures for Static Analysis.

Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv

Proceedings of the Static Analysis, 9th International Symposium, 2002