Contact Information Teaching Assistance Publications Research Interests Software

Links

Music Links

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

## Contact Information

Office address: Schreiber building, open space, School of Computer Science
University phone: +972 (3) 640-5358

## Teaching Assistance

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

## Publications

``Shape Analysis by Graph Decomposition ''
R. Manevich, J. Berdine, B. Cook, G. Ramalingam, and M. Sagiv.
To appear in TACAS'07: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Braga, Portugal, April 2007 © Springer-Verlag
[bib] [abstract] [pdf] [full version] ``Abstract Counterexample-based Refinement for Powerset Domains''
R. Manevich, J. Field, T. A. Henzinger, G. Ramalingam, and M. Sagiv.
Appeared in Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm © Springer-Verlag
[bib] [abstract] [pdf]

``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

``Lightweight Analysis of Acyclic Unshared Lists''
Roman Manevich, Shuvendu K. Lahiri, and Mooly Sagiv.
Technical Report TR-2005-12-1297820
[bib] [abstract] [pdf] [ps] ``Intersecting Heap Abstractions with Applications to Compile-time Memory Management''
Gilad Arnold, Roman Manevich, Mooly Sagiv, and Ran Shaham.
Technical Report TR-2005-04-135520
[bib] [abstract] [pdf] [ps]

``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

3-Valued Logic Analyzer is a framework for static analysis.
J2TVLA is a Soot-based toolkit for translating Java programs to TVLA specifications.
I no longer maintain J2TVLA but if you are interested, contact me for further details.

## 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

Funk'n'Stein The Band - Get Funky
Macy Gray
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

###
Classical Guitar

The Classical Guitar Home Page
The Classical Guitar midi archives
Guitar Seek
Guitar Notes
Guitar Tabs
Manuel Raimundo guitars
Los Angeles Classical Guitars