Roman Manevich
Roman Manevich
Mellanox Technologies
Verified email at mellanox.com - Homepage
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
3782011
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
1272004
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
1262005
Thread quantification for concurrent shape analysis
J Berdine, T Lev-Ami, R Manevich, G Ramalingam, M Sagiv
International Conference on Computer Aided Verification, 399-413, 2008
832008
Partially disjunctive heap abstraction
R Manevich, M Sagiv, G Ramalingam, J Field
International Static Analysis Symposium, 265-279, 2004
572004
Elixir: A system for synthesizing concurrent graph programs
D Prountzos, R Manevich, K Pingali
Proceedings of the ACM international conference on Object oriented …, 2012
402012
Heap decomposition for concurrent shape analysis
R Manevich, T Lev-Ami, M Sagiv, G Ramalingam, J Berdine
International Static Analysis Symposium, 363-377, 2008
392008
Combining shape analyses by intersecting abstractions
G Arnold, R Manevich, M Sagiv, R Shaham
International Workshop on Verification, Model Checking, and Abstract …, 2006
312006
Compactly Representing First-Order Structures for Static Analysis
MS Roman Manevich, Ganesan Ramalingam, John Field
Static Analysis Symposium, 196--212, 2002
31*2002
Shape analysis by graph decomposition
R Manevich, J Berdine, B Cook, G Ramalingam, M Sagiv
International Conference on Tools and Algorithms for the Construction and …, 2007
292007
Parameterized verification of transactional memories
M Emmi, R Majumdar, R Manevich
ACM Sigplan Notices 45 (6), 134-145, 2010
272010
TVLA: A system for generating abstract interpreters
T Lev-Ami, R Manevich, M Sagiv
Building the Information Society, 367-375, 2004
252004
Synthesizing parallel graph programs via automated planning
D Prountzos, R Manevich, K Pingali
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
242015
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
242011
Abstract transformers for thread correlation analysis
M Segalov, T Lev-Ami, R Manevich, R Ganesan, M Sagiv
Asian Symposium on Programming Languages and Systems, 30-46, 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
112012
Abstract counterexample-based refinement for powerset domains
R Manevich, J Field, TA Henzinger, G Ramalingam, M Sagiv
Program analysis and compilation, theory and practice, 273-292, 2007
72007
Abstract interpretation of stateful networks
K Alpernas, R Manevich, A Panda, M Sagiv, S Shenker, S Shoham, ...
International Static Analysis Symposium, 86-106, 2018
62018
Data structures and algorithms for efficient shape analysis
R Manevich
Tel Aviv University, 2003
62003
From shape analysis to termination analysis in linear time
R Manevich, B Dogadov, N Rinetzky
International Conference on Computer Aided Verification, 426-446, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20