Follow
Roman Manevich
Title
Cited by
Cited by
Year
The tao of parallelism in algorithms
K Pingali, D Nguyen, M Kulkarni, M Burtscher, MA Hassaan, R Kaleem, ...
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
5042011
PSE: explaining program failures via postmortem static analysis
R Manevich, M Sridharan, S Adams, M Das, Z Yang
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 2004
1472004
Predicate abstraction and canonical abstraction for singly-linked lists
R Manevich, E Yahav, G Ramalingam, M Sagiv
Verification, Model Checking, and Abstract Interpretation, 181-198, 2005
1302005
Thread quantification for concurrent shape analysis
J Berdine, T Lev-Ami, R Manevich, G Ramalingam, M Sagiv
Computer Aided Verification: 20th International Conference, CAV 2008 …, 2008
942008
Partially disjunctive heap abstraction
R Manevich, M Sagiv, G Ramalingam, J Field
Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004
602004
Elixir: A system for synthesizing concurrent graph programs
D Prountzos, R Manevich, K Pingali
Proceedings of the ACM international conference on Object oriented …, 2012
472012
Heap decomposition for concurrent shape analysis
R Manevich, T Lev-Ami, M Sagiv, G Ramalingam, J Berdine
Lecture Notes in Computer Science 5079, 363-378, 2008
432008
Compactly Representing First-Order Structures for Static Analysis
MS Roman Manevich, Ganesan Ramalingam, John Field
Static Analysis Symposium, 196--212, 2002
36*2002
Synthesizing parallel graph programs via automated planning
D Prountzos, R Manevich, K Pingali
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
342015
Combining shape analyses by intersecting abstractions
G Arnold, R Manevich, M Sagiv, R Shaham
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006
332006
Shape analysis by graph decomposition
R Manevich, J Berdine, B Cook, G Ramalingam, M Sagiv
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
302007
TVLA: A system for generating abstract interpreters
T Lev-Ami, R Manevich, M Sagiv
Building the Information Society: IFIP 18th World Computer Congress Topical …, 2004
302004
Parameterized verification of transactional memories
M Emmi, R Majumdar, R Manevich
ACM Sigplan Notices 45 (6), 134-145, 2010
282010
A shape analysis for optimizing parallel graph programs
D Prountzos, R Manevich, K Pingali, KS McKinley
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011
272011
Abstract transformers for thread correlation analysis
M Segalov, T Lev-Ami, R Manevich, R Ganesan, M Sagiv
Programming Languages and Systems: 7th Asian Symposium, APLAS 2009, Seoul …, 2009
192009
JANUS: exploiting parallelism via hindsight
O Tripp, R Manevich, J Field, M Sagiv
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
182012
Method and system for testing and checking the correctness of a computer program during runtime
S Dolev, A Rokach, R Manevich
US Patent 10,949,326, 2021
122021
Abstract interpretation of stateful networks
K Alpernas, R Manevich, A Panda, M Sagiv, S Shenker, S Shoham, ...
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
112018
From shape analysis to termination analysis in linear time
R Manevich, B Dogadov, N Rinetzky
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
82016
Abstract counterexample-based refinement for powerset domains
R Manevich, J Field, TA Henzinger, G Ramalingam, M Sagiv
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to …, 2007
72007
The system can't perform the operation now. Try again later.
Articles 1–20