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

John Field (Selection)

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


34Electronic 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
25Electronic 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
21Electronic 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
19Electronic 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
15Electronic 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 5 from 36 records - John Field has 44 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