Incremental Reduction in the lambda Calculus. - John Field; Tim Teitelbaum (LISP and Functional Programming, 1990)

On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. - John Field (POPL, 1990)

Incremental Reduction and Semantics. - John Field (1991)

A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. - John Field (PEPM, 1992)

A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report). - John Field (RTA, 1993)

Parametric Program Slicing. - John Field; G. Ramalingam; Frank Tip (POPL, 1995)

A Complete Transformational Toolkit for Compilers. - Jan A. Bergstra; T. B. Dinesh; John Field; Jan Heering (ESOP, 1996)

Slicing Class Hierarchies in C++. - Frank Tip; Jong-Deok Choi; John Field; G. Ramalingam (OOPSLA, 1996)

Toward a Complete Transformational Toolkit for Compilers. - Jan A. Bergstra; T. B. Dinesh; John Field; Jan Heering (ACM Trans. Program. Lang. Syst., 1997)

Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. - John Field; Jan Heering; T. B. Dinesh (ACM Comput. Surv., 1998)

Dynamic dependence in term rewriting systems and its application to program slicing. - John Field; Frank Tip (Inf. Softw. Technol., 1998)

Aggregate Structure Identification and Its Application to Program Analysis. - G. Ramalingam; John Field; Frank Tip (POPL, 1999)

Identifying procedural structure in Cobol programs. - John Field; G. Ramalingam (ACM SIGSOFT Softw. Eng. Notes, 1999)

Deriving Specialized Program Analyses for Certifying Component-Client Conformance. - G. Ramalingam; Alex Varshavsky; John Field; Deepak Goyal; Shmuel Sagiv (PLDI, 2002)

Compactly Representing First-Order Structures for Static Analysis. - Roman Manevich; G. Ramalingam; John Field; Deepak Goyal; Shmuel Sagiv (SAS, 2002)

Towards a Programming Model for Building Reliable Systems with Distributed State. - John Field; Carlos A. Varela (FOCLASA, 2002)

Partially Disjunctive Heap Abstraction. - Roman Manevich; Shmuel Sagiv; Ganesan Ramalingam; John Field (SAS, 2004)

Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. - John Field; Carlos A. Varela (POPL, 2005)

Dependent Types for Program Understanding. - Raghavan Komondoor; Ganesan Ramalingam; Satish Chandra 001; John Field (TACAS, 2005)

Automatic Verification of Strongly Dynamic Software Systems. - 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; et al. (VSTTE, 2005)

Typestate verification: Abstraction techniques and complexity results. - John Field; Deepak Goyal; Ganesan Ramalingam; Eran Yahav (Sci. Comput. Program., 2005)

Abstract Counterexample-Based Refinement for Powerset Domains. - Roman Manevich; John Field; Thomas A. Henzinger; G. Ramalingam; Mooly Sagiv (Program Analysis and Compilation, 2006)

Semantics-based reverse engineering of object-oriented data models. - Ganesan Ramalingam; Raghavan Komondoor; John Field; Saurabh Sinha (ICSE, 2006)

Technical forum: Using logical data models for understanding and transforming legacy business applications. - Satish Chandra 001; Jackie De Vries; John Field; Howard M. Hess; Manivannan Kalidasan; Raghavan Komondoor; Frans Nieuwerth; Ganesan Ramalingam; Justin Xue (IBM Syst. J., 2006)

Software hardening: a research agenda. - Tobias Wrigstad; Patrick Eugster; John Field; Nate Nystrom; Jan Vitek (STOP@ECOOP, 2009)

Thorn: robust, concurrent, extensible scripting on the JVM. - Bard Bloom; John Field; Nathaniel Nystrom; Johan Östlund; Gregor Richards; Rok Strnisa; Jan Vitek; Tobias Wrigstad (OOPSLA, 2009)

Thorn: robust concurrent scripting on the JVM. - Bard Bloom; John Field; Nathaniel Nystrom; Johan Östlund; Gregor Richards; Rok Strnisa; Jan Vitek; Tobias Wrigstad (OOPSLA Companion, 2009)

Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. - John Field; Maria-Cristina V. Marinescu; Christian Stefansen (Theor. Comput. Sci., 2009)

HAWKEYE: effective discovery of dataflow impediments to parallelization. - Omer Tripp; Greta Yorsh; John Field; Mooly Sagiv (OOPSLA, 2011)

Identifying services from legacy batch applications. - Raghavan Komondoor; V. Krishna Nandivada; Saurabh Sinha; John Field (ISEC, 2012)

JANUS: exploiting parallelism via hindsight. - Omer Tripp; Roman Manevich; John Field; Mooly Sagiv (PLDI, 2012)

Selected Papers from the Eleventh International Conference on Coordination Models and Languages. - John Field; Vasco Thudichum Vasconcelos (Sci. Comput. Program., 2012)

Principles of POPL. - Derek Dreyer; John Field; Roberto Giacobazzi; Michael Hicks 001; Suresh Jagannathan; Mooly Sagiv; Peter Sewell; Philip Wadler (ACM SIGPLAN Notices, 2013)

Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing. - Phillip Kuang; John Field; Carlos A. Varela (AGERE!@SPLASH, 2014)

Lifelong Learning for Working People. - John Field (Encyclopedia of Education and Information Technologies, 2020)