John Field

Publication Activity (10 Years)

Years Active: 1990-2014
Publications (10 Years): 0

Top Topics

Distributed Computing

International Conference

Top Venues

Sci. Comput. Program.

Publications

Phillip Kuang, John Field, Carlos A. Varela
Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing. AGERE!@SPLASH (2014)
Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
Principles of POPL. ACM SIGPLAN Notices 48 (4S) (2013)
Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, John Field
Identifying services from legacy batch applications. ISEC (2012)
Omer Tripp, Roman Manevich, John Field, Mooly Sagiv
JANUS: exploiting parallelism via hindsight. PLDI (2012)
John Field, Vasco Thudichum Vasconcelos
Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Sci. Comput. Program. 77 (6) (2012)
Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv
HAWKEYE: effective discovery of dataflow impediments to parallelization. OOPSLA (2011)
Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek
Software hardening: a research agenda. STOP@ECOOP (2009)
Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad
Thorn: robust, concurrent, extensible scripting on the JVM. OOPSLA (2009)
Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad
Thorn: robust concurrent scripting on the JVM. OOPSLA Companion (2009)
John Field, Maria-Cristina V. Marinescu, Christian Stefansen
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. Theor. Comput. Sci. 410 (2-3) (2009)
John Field, Maria-Cristina V. Marinescu, Christian Stefansen
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. COORDINATION (2007)
Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
Semantics-based reverse engineering of object-oriented data models. ICSE (2006)
Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation (2006)
Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue
Technical forum: Using logical data models for understanding and transforming legacy business applications. IBM Syst. J. 45 (3) (2006)
John Field, Carlos A. Varela
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL (2005)
Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
Dependent Types for Program Understanding. TACAS (2005)
John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58 (1-2) (2005)
Nurit 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)
Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
Partially Disjunctive Heap Abstraction. SAS (2004)
John Field, Carlos A. Varela
Towards a Programming Model for Building Reliable Systems with Distributed State. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
Typestate Verification: Abstraction Techniques and Complexity Results. SAS (2003)
G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI (2002)
Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
Compactly Representing First-Order Structures for Static Analysis. SAS (2002)
John Field, G. Ramalingam
Identifying procedural structure in Cobol programs. ACM SIGSOFT Softw. Eng. Notes 24 (5) (1999)
John Field, G. Ramalingam
Identifying Procedural Structure in Cobol Programs. PASTE (1999)
G. Ramalingam, John Field, Frank Tip
Aggregate Structure Identification and Its Application to Program Analysis. POPL (1999)
John Field, Jan Heering, T. B. Dinesh
Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. ACM Comput. Surv. 30 (3es) (1998)
John Field, Frank Tip
Dynamic dependence in term rewriting systems and its application to program slicing. Inf. Softw. Technol. 40 (11-12) (1998)
Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
Toward a Complete Transformational Toolkit for Compilers. ACM Trans. Program. Lang. Syst. 19 (5) (1997)
Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
Slicing Class Hierarchies in C++. OOPSLA (1996)
Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
A Complete Transformational Toolkit for Compilers. ESOP (1996)
John Field, G. Ramalingam, Frank Tip
Parametric Program Slicing. POPL (1995)
John Field, Frank Tip
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. PLILP (1994)
John Field
A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report). RTA (1993)
John Field
A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. PEPM (1992)
John Field
On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. POPL (1990)
John Field, Tim Teitelbaum
Incremental Reduction in the lambda Calculus. LISP and Functional Programming (1990)