| 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 | 524 | 2011 |
| 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 | 157 | 2004 |
| 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 | 134 | 2005 |
| 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 | 99 | 2008 |
| Partially disjunctive heap abstraction R Manevich, M Sagiv, G Ramalingam, J Field Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004 | 61 | 2004 |
| Elixir: A system for synthesizing concurrent graph programs D Prountzos, R Manevich, K Pingali Proceedings of the ACM international conference on Object oriented …, 2012 | 49 | 2012 |
| 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 | 44 | 2008 |
| Synthesizing parallel graph programs via automated planning D Prountzos, R Manevich, K Pingali Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015 | 35 | 2015 |
| 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 | 33 | 2006 |
| Parameterized verification of transactional memories M Emmi, R Majumdar, R Manevich ACM Sigplan Notices 45 (6), 134-145, 2010 | 32 | 2010 |
| 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 | 31 | 2007 |
| 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 | 31 | 2004 |
| 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 | 27 | 2011 |
| 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 | 21 | 2009 |
| Janus: exploiting parallelism via hindsight O Tripp, R Manevich, J Field, M Sagiv Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012 | 18 | 2012 |
| 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 | 15 | 2021 |
| 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 | 10 | 2018 |
| 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 | 7 | 2016 |
Mooly SagivTel Aviv University在 acm.org 的电子邮件经过验证
