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

Contact Information

Publications

``Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists''
Roman Manevich, Eran Yahav, G. Ramalingam and Mooly Sagiv
To appear in VMCAI '05: 6th Conference on Verification, Model Checking and Abstract Interpretation, Paris, January 2005
[bib] [abstract] [ps] [pdf] [ppt] [Technical Report]

``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
[bib] [abstract] [pdf] (ACM link)

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

``Compactly Representing First-Order Structures for Static Analysis''
Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, and Mooly Sagiv.
SAS '02: The 9th International Static Analysis Symposium, Madrid, September 2002
[bib] [abstract] [pdf] [ps] [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

Quick Links

Search Engines

ACM Portal
CiteSeer 
DBLP  
Google  

Static Analysis

The Canvas Project
Soot: a Java Optimization Framework
The SLAM Project
The ESP Project
The Bandera Project

Computer Science

Descriptive Complexity
Lecture notes on logic in computer science

Modeling and Programming

The Eclipse project - My favorite Java IDE
Cruise Control - A framework for a continuous build process
JUnit - A regression testing framework
Rhapsody - An industrial strength UML tool
UML Design Center - Part of the 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

Gipsy Kings (click on Artist's web site for sound samples)

Cape Verde - Cesaria Evora - Folk singer

A nice Pink Floyd site