| 2012 | PLDI | JANUS: exploiting parallelism via hindsight. | Omer Tripp, Roman Manevich, John Field, Mooly Sagiv |
| 2011 | OOPSLA | HAWKEYE: effective discovery of dataflow impediments to parallelization. | Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv |
| 2009 | ECOOP | Software hardening: a research agenda. | Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek |
| 2009 | OOPSLA | Thorn: robust, concurrent, extensible scripting on the JVM. | Bard Bloom, John Field, Nathaniel Nystrom, Johan stlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
| 2009 | OOPSLA | Thorn: robust concurrent scripting on the JVM. | Bard Bloom, John Field, Nathaniel Nystrom, Johan stlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad |
| 2007 | Coordination | Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. | John Field, Maria-Cristina V. Marinescu, Christian Stefansen |
| 2006 | ICSE | Semantics-based reverse engineering of object-oriented data models. | Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha |
| 2005 | POPL | Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. | John Field, Carlos A. Varela |
| 2005 | TACAS | Dependent Types for Program Understanding. | Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field |
| 2004 | SAS | Partially Disjunctive Heap Abstraction. | Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field |
| 2003 | SAS | Typestate Verification: Abstraction Techniques and Complexity Results. | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
| 2002 | PLDI | Deriving Specialized Program Analyses for Certifying Component-Client Conformance. | G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv |
| 2002 | SAS | Compactly Representing First-Order Structures for Static Analysis. | Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv |
| 1999 | POPL | Aggregate Structure Identification and Its Application to Program Analysis. | G. Ramalingam, John Field, Frank Tip |
| 1996 | ESOP | A Complete Transformational Toolkit for Compilers. | Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering |
| 1996 | OOPSLA | Slicing Class Hierarchies in C++. | Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam |
| 1995 | POPL | Parametric Program Slicing. | John Field, G. Ramalingam, Frank Tip |
| 1992 | PEPM | A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. | John Field |
| 1990 | POPL | On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. | John Field |