フォロー
Roman Manevich
タイトル
引用先
引用先
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
5172011
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
1562004
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
1322005
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
972008
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
482012
Heap decomposition for concurrent shape analysis
R Manevich, T Lev-Ami, M Sagiv, G Ramalingam, J Berdine
Static Analysis: 15th International Symposium, SAS 2008, Valencia, Spain …, 2008
442008
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
Compactly Representing First-Order Structures for Static Analysis
MS Roman Manevich, Ganesan Ramalingam, John Field
Static Analysis Symposium, 196--212, 2002
34*2002
Combining shape analyses by intersecting abstractions
G Arnold, R Manevich, M Sagiv, R Shaham
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006
332006
Parameterized verification of transactional memories
M Emmi, R Majumdar, R Manevich
ACM Sigplan Notices 45 (6), 134-145, 2010
312010
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
312007
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
312004
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
172012
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
142021
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
92018
Shape Analysis
NRXR Bor-Yuh Evan Chang, Cezara Drăgoi, Roman Manevich
Foundations and Trends in Programming Languages 6 (1-2), 1-158, 2020
7*2020
From shape analysis to termination analysis in linear time
R Manevich, B Dogadov, N Rinetzky
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
72016
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20