Roman Manevich

Roman Manevich

Facebook Inc - Camridge / United States
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 4379925
person_outline Roman Manevich's MOST POPULAR ARTICLES
1-) The tao of parallelism in algorithmsK Pingali, D Nguyen, M Kulkarni, M Burtscher, MA Hassaan, R Kaleem, ...Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 20115002011
2-) PSE: explaining program failures via postmortem static analysisR Manevich, M Sridharan, S Adams, M Das, Z YangProceedings of the 12th ACM SIGSOFT twelfth international symposium on …, 20041502004
3-) Predicate abstraction and canonical abstraction for singly-linked listsR Manevich, E Yahav, G Ramalingam, M SagivVerification, Model Checking, and Abstract Interpretation, 181-198, 20051322005
4-) Thread quantification for concurrent shape analysisJ Berdine, T Lev-Ami, R Manevich, G Ramalingam, M SagivComputer Aided Verification: 20th International Conference, CAV 2008 …, 2008992008
5-) Partially disjunctive heap abstractionR Manevich, M Sagiv, G Ramalingam, J FieldStatic Analysis: 11th International Symposium, SAS 2004, Verona, Italy …, 2004622004