Publications
Journal Publications
Shape Analysis
Bor-Yuh Evan Chang, Cezara Drăgoi, Roman Manevich, Noam Rinetzky, and Xavier Rival
In Foundations and Trends in Programming Languages > Vol 6 > Issue 1-2, October 2020
[pdf]
Conference Publications
Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, and Noam Rinetzky
In VMCAI'20: 21st Conference on Verification, Model Checking and Abstract Interpretation, New Orleans, Louisiana, U.S.A., January 2020
Learning the Scope of Applicability for Task Planning Knowledge in Experience-Based Planning Domains
Vahid Mokhtari, Roman Manevich, Luís Seabra Lopes, and Armando J. Pinho
In The Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2019)
Inferring Program Extensions from Traces
Roman Manevich and Sharon Shoham
In The Proceedings of Machine Learning Research (PMLR)
(ICGI'18: International Conference on Grammatical Inference, Wrocław, Poland, September 2018)
[paper] [slides (pdf) (pptx)]
Abstract Interpretation of Stateful Networks
Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham and Yaron Velner
In SAS'18: Static Analysis Symposium, Freiburg im Breisgau, Germany, August 2018.© Springer-Verlag
[paper]
Programming Reflexes (extended abstract)
Shlomi Dolev, Roman Manevich, and Amit Rokach
In NCA'17: IEEE International Symposium on Network Computing and Applications, Cambridge, MA USA, October 2017
[paper][slides (pptx)]
From Shape Analysis to Termination Analysis in Linear Time
Roman Manevich, Boris Dogadov, and Noam Rinetzky
In CAV'16: Conference on Computer Aided Verification, Toronto, Ontario, Canada, July 2016. © Springer-Verlag
[paper] [slides (pptx) (pdf)]
Synthesizing Parallel Graph Programs via Automated Planning
Dimitrios Prountzos, Roman Manevich, and Keshav Pingali
In PLDI'15: Programming Language Design and Implementation, Portland, Oregon, June 2015. © ACM
[paper]
Elixir: A System for Synthesizing Concurrent Graph Programs
Dimitrios Prountzos, Roman Manevich, and Keshav Pingali
In OOPSLA'12: Object-Oriented Programming, Systems, Languages and Applications, Tuscon, Arizona, October 2012. © ACM
[paper] [Tech. Report] [slides (pptx)]
Janus: Exploiting Parallelism via Hindsight
Omer Tripp, Roman Manevich, John Field, and Mooly Sagiv
In PLDI'12: Programming Languages Design and Implementation, Beijing, China, June 2012. © ACM
[paper][slides]
The Tao of Parallelism in Algorithms
Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, M. Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui
In PLDI'11: Programming Languages Design and Implementation, San Jose, CA, June 2011. © ACM
[paper]
A Shape Analysis for Optimizing Parallel Graph Programs
Dimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn McKinley
In POPL'11: Principles of Programming Languages, Austin, TX, January 2011. © ACM
[abstract] [paper] [slides (pptx)] [slides (pdf)]
Parameterized Verification of Transactional Memories
Michael Emmi, Rupak Majumdar, and Roman Manevich
In PLDI'10: Programming Language Design and Implementation, Toronto, Canada, June 2010. © ACM
[abstract] [paper]
Abstract Transformers for Thread Correlation Analysis
Michal Segalov, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv
In APLAS'09: The Seventh Asian Symposium on Programming Languages and Systems, Seoul, Korea, December 2009. © Springer-Verlag
[abstract] [paper] [Tech. report] [slides (ppt)]
Thread Quantification for Concurrent Shape Analysis
Josh Berdine, Tal Lev-Ami, Roman Manevich, Ganesan Ramalingam, and Mooly Sagiv
In CAV'08: 20th International Conference on Computer Aided Verification, Princeton, USA, July 2008. © Springer-Verlag
[abstract] [paper] [Tech. report] [slides (ppt)]
Heap Decomposition for Concurrent Shape Analysis
Roman Manevich, Tal Lev-Ami, Ganesan Ramalingam, Mooly Sagiv, and Josh Berdine
In SAS'08: 15th International Static Analysis Symposium, Valencia, Spain, July 2008 © Springer-Verlag
[abstract] [paper] [Tech. report] [slides (ppt)]
Shape Analysis by Graph Decomposition
Roman Manevich, Josh Berdine, Byron Cook, Ganesan Ramalingam, and Mooly Sagiv
In TACAS'07: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Braga, Portugal, March 2007 © Springer-Verlag
[bib] [abstract] [paper] [full version] [slides (ppt)]
Abstract Counterexample-based Refinement for Powerset Domains
Roman Manevich, John Field, Thomas A. Henzinger, Ganesan Ramalingam, and Mooly Sagiv
In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm © Springer-Verlag
[bib] [abstract] [paper]
Combining Shape Analyses by Intersecting Abstractions
Gilad Arnold, Roman Manevich, Mooly Sagiv, and Ran Shaham
In VMCAI '06: 7th Conference on Verification, Model Checking and Abstract Interpretation, Charleston, South Carolina, U.S.A., January 2006 © Springer-Verlag
[bib] [abstract] [paper] [Gilad's slides]
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists
Roman Manevich, Eran Yahav, Ganesan Ramalingam, and Mooly Sagiv
In VMCAI '05: 6th Conference on Verification, Model Checking and Abstract Interpretation, Paris, France, January 2005 © Springer-Verlag
[bib] [abstract] [paper] [slides (ppt)]
PSE: Explaining Program Failures via Postmortem Static Analysis
Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, and Zhe Yang
In FSE '04: 12th International Symposium on the Foundations of Software Engineering, Newport Beach, U.S.A, November 2004 © ACM
[bib] [abstract] [paper] (ACM link) [Manu's slides]
Partially Disjunctive Heap Abstraction
Roman Manevich, Mooly Sagiv, Ganesan Ramalingam, and John Field
In SAS '04: 11th International Static Analysis Symposium, Verona, Italy, August 2004 © Springer-Verlag
[bib] [abstract] [paper] [slides (ppt)]
Compactly Representing First-Order Structures for Static Analysis
Roman Manevich, Ganesan Ramalingam, John Field, Deepak Goyal, and Mooly Sagiv
In SAS '02: The 9th International Static Analysis Symposium, Madrid, Spain, September 2002© Springer-Verlag
[bib] [abstract] [paper] [slides (ppt)]
Theses
PhD thesis: Partially Disjunctive Shape Analysis
[bib] [abstract] [paper] [slides (ppt)] [Hebrew part]
Master's thesis: Data Structures and Algorithms for Efficient Shape Analysis
[bib] [abstract] [paper] [slides (ppt)] [cover pages]