I am a Ph.D. student of Computer Science at Tel-Aviv University.
My advisor is Prof. Shmuel (Mooly) Sagiv

Contact Information

Teaching Assistance

Winter 2006-2007 Compilation Course 0368.3133
Instructor: Prof. Shmuel (Mooly) Sagiv

Publications

``Combining Shape Analyses by Intersecting Abstractions''
Gilad Arnold, Roman Manevich, Mooly Sagiv, and Ran Shaham.
VMCAI '06: 7th Conference on Verification, Model Checking and Abstract Interpretation, Charleston, South Carolina, U.S.A., January 2006 © Springer-Verlag
[bib] [abstract] [ps] [pdf] [Gilad's slides]

``Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists''
R. Manevich, E. Yahav, G. Ramalingam and M. Sagiv.
VMCAI '05: 6th Conference on Verification, Model Checking and Abstract Interpretation, Paris, January 2005 © Springer-Verlag
[bib] [abstract] [ps] [pdf] [ppt]

``PSE: Explaining Program Failures via Postmortem Static Analysis''
Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, and Zhe Yang.
FSE '04: 12th International Symposium on the Foundations of Software Engineering, Newport Beach, November 2004 © ACM, (2004)
[bib] [abstract] [pdf] (ACM link) [Manu's slides]

``Partially Disjunctive Heap Abstraction''
Roman Manevich, Mooly Sagiv, G. Ramalingam, and John Field.
SAS '04: 11th International Static Analysis Symposium, Verona, August 2004 © Springer-Verlag
[bib] [abstract] [pdf] [ps] [ppt]

``Compactly Representing First-Order Structures for Static Analysis''
R. Manevich, G. Ramalingam, J. Field, D. Goyal, and M. Sagiv.
SAS '02: The 9th International Static Analysis Symposium, Madrid, September 2002
© Springer-Verlag
[bib] [abstract] [pdf] [ps] [ppt]

Technical Reports and Unrefereed Publications

``Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists''
R. Manevich, E. Yahav, G. Ramalingam and M. Sagiv.
Technical report TR-2005-01-191212
[pdf] [ps]

``TVLA: A System for Generating Abstract Interpreters''
Tal Lev-Ami, Roman Manevich, and Mooly Sagiv.
IFIP '04: The 18th World Computer Congress, Toulouse, France, August 2004
Invited paper, presented at the topical day on abstract interpretation
[bib] [abstract] [pdf] [ppt]

``Data Structures and Algorithms for Efficient Shape Analysis'', M.Sc. thesis
[bib] [abstract] [pdf] [ps] [ppt] [cover pages]

Research Interests

Programming Languages, Static Analysis by Abstract interpretation, Compiler Optimizations, Pointer Analysis, Shape Analysis, Data Structures and Algorithms.

Software

Links

Search Engines

ACM Portal
CiteSeer 
DBLP  
Google  

Static Analysis Yools and Projects

Soot: a Java Optimization Framework
The SUIF 2 Compiler System
CIL - Infrastructure for C Program Analysis and Transformation
BLAST: Berkeley Lazy Abstraction Software Verification Tool

Generic Computer Science Links

Descriptive Complexity
Lecture notes on logic in computer science

Programming and Modeling

The Eclipse project - My favorite Java IDE
Apache Ant - A Java-based build tool
JUnit - A regression testing framework
Cruise Control - A framework for a continuous build process
Objective Caml - The official OCaml home page
Software Development Magazine
Anti Patterns - Anti-patterns tutorial
Bruce-Eckel's books (Thinking in C++/Thinking in Java/Thinking in Patterns)
C++ FAQ Lite - Everything you ever wanted to know about C++
Java at Sun - Sun's official Java site
Informit - On-Line Books
DevCentral - On-line tutorials and articles for C++/MFC/Win32/Java
Developer Code Guru - Information and code samples
Real's How-to - Java How-To's
*-zone - Links and resources for UML / MFC / Java

Music Links

Matti Caspi (An Israeli artist)
Gipsy Kings (click on Artist's web site for sound samples)
Cape Verde - Cesaria Evora - Folk singer
Latin radio Batanga