|
|
I am a Ph.D. student of Computer Science
at Tel-Aviv University.
My advisor is Prof. Shmuel (Mooly) Sagiv
Contact Information
| |
|
University phone: +972 (3) 640-5358
Teaching Assistance
Winter 2007-2008 Compilation Course 0368.3133
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.
Appeared in TACAS'07: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Braga, Portugal, March 2007 © Springer-Verlag
[bib] [abstract] [pdf] [full version] [ppt] ``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
``Automatic Verification of Strongly Dynamic Software Systems''N. Dor, J. Field, D. Gopan, T. Lev-Ami, A. Loginov, R. Manevich, G. Ramalingam, T. Reps, N. Rinetzky, M. Sagiv, R. Wilhelm, E. Yahav, and G. Yorsh.
Proc. IFIP Working Conference on Verified Software: Theories, Tools, Experiments, Zurich, Switzerland, Oct. 10-13, 2005
[abstract] [pdf] ``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
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 Tools 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
Macy Gray
Gipsy Kings (click on Artist's web site for sound samples)
Cape Verde - Cesaria Evora - Folk singer
Latin radio Batanga
|
The Classical Guitar Home Page The Classical Guitar midi archives Guitar Seek Guitar Notes Guitar Tabs Manuel Raimundo guitars Los Angeles Classical Guitars |