MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Roman Manevich" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Data Structures and Algorithms for Efficient Shape Analysis
by Roman Manevich — 2003
…Data Structures and Algorithms for Efficient Shape Analysis Roman Manevich 1 School of Computer…
Cited by 1 (0 self) – Add To MetaCart

Partially Disjunctive Heap Abstraction
by Roman Manevich Mooly, Roman Manevich, Mooly Sagiv, G. Ramalingam — 2004
…Partially Disjunctive Heap Abstraction Roman Manevich 1 , Mooly Sagiv 1 , G. Ramalingam 2…
Add To MetaCart

Intersecting heap abstractions with applications to compile-time memory management
by Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham — 2005 — In Symp. on Princ. of Prog. Lang
…1, Roman Manevich2, Mooly Sagiv2, and Ran Shaham3 1 University of California, Berkeley arnold…
Cited by 3 (2 self) – Add To MetaCart

TVLA: A system for generating abstract interpreters
by Tal Lev-ami, Roman Manevich, Mooly Sagiv — 2004 — In 18 th IFIP Congress Topical
…TVLA: A SYSTEM FOR GENERATING ABSTRACT INTERPRETERS ∗ Tal Lev-Ami, Roman Manevich, and Mooly Sagiv…
Cited by 4 (0 self) – Add To MetaCart

Partially disjunctive heap abstraction
by Roman Manevich, Mooly Sagiv, G. Ramalingam, John Field — 2004 — Proceedings of the 11th International Symposium, SAS 2004
…Partially Disjunctive Heap Abstraction Roman Manevich 1 , Mooly Sagiv 1 , G. Ramalingam 2…
Cited by 20 (9 self) – Add To MetaCart

Combining shape analyses by intersecting abstractions
by Gilad Arnold, Roman Manevich, Mooly Sagiv, Ran Shaham — 2006 — In Verification, Model Checking and Abstract Interpretation (VMCAI
… Combining Shape Analyses by Intersecting Abstractions Gilad Arnold1, Roman Manevich2?, Mooly…
Cited by 6 (2 self) – Add To MetaCart

PSE: Explaining Program Failures via Postmortem Static Analysis
by Roman Manevich, Manu Sridharan, Stephen Adams, Manuvir Das, Zhe Yang — 2004
…Roman Manevich Tel Aviv University rumster@(email omitted); ABSTRACT PSE: Explaining Program Failures via…
Cited by 25 (3 self) – Add To MetaCart

Compactly Representing First-Order Structures for Static Analysis
by Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Mooly Sagiv, D. Goyal, M. Sagiv — 2002 — In Proceedings of the 9th International Static Analysis Symposium
…Compactly Representing First-Order Structures for Static Analysis R. Manevich 1,# , G. Ramalingam…
Cited by 12 (1 self) – Add To MetaCart

unknown title
by Partially Disjunctive, Heap Abstraction, Roman Manevich, Mooly Sagiv, G. Ramalingam, John Field
… Partially Disjunctive Heap Abstraction Roman Manevich1, Mooly Sagiv1, G. Ramalingam2, and John…
Add To MetaCart

Yorsh, Noam Rinetzky, and Tal Lev-Ami, as well as the students in Susan’s and Tom’s research
by Alexey A. Loginov, Susan Horwitz, Suan Yong, Eran Yahav, Roman Manevich, Junghee Lim — 2006
…, Susan Horwitz, Suan Yong, Eran Yahav, Roman Manevich, Greta Yorsh, Noam Rinetzky, and Tal Lev…
Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB