dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Shmuel Sagiv (Selection)

Mooly Sagiv

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmer Tripp, Roman Manevich, John Field, Mooly Sagiv: JANUS: exploiting parallelism via hindsight. PLDI 2012: 145-156
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOmer Tripp, Greta Yorsh, John Field, Mooly Sagiv: HAWKEYE: effective discovery of dataflow impediments to parallelization. OOPSLA 2011: 207-224
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv: Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation 2006: 273-292
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNurit Dor, John Field, Denis Gopan, Tal Lev-Ami, Alexey Loginov, Roman Manevich, G. Ramalingam, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav, Greta Yorsh: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field: Partially Disjunctive Heap Abstraction. SAS 2004: 265-279
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv: Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI 2002: 83-94
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv: Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212

Selection of 7 from 127 records - Shmuel Sagiv has 91 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page