John Field

According to our database, John Field authored at least 35 papers between 1990 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Lifelong Learning for Working People.

John Field

Proceedings of the Encyclopedia of Education and Information Technologies, 2020

2014

Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing.

Phillip Kuang, John Field, Carlos A. Varela

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013

Principles of POPL.

Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler

ACM SIGPLAN Notices, 2013

2012

Selected Papers from the Eleventh International Conference on Coordination Models and Languages.

John Field, Vasco Thudichum Vasconcelos

Sci. Comput. Program., 2012

JANUS: exploiting parallelism via hindsight.

Omer Tripp, Roman Manevich, John Field, Mooly Sagiv

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Identifying services from legacy batch applications.

Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, John Field

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

2011

HAWKEYE: effective discovery of dataflow impediments to parallelization.

Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2009

Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications.

John Field, Maria-Cristina V. Marinescu, Christian Stefansen

Theor. Comput. Sci., 2009

Thorn: robust concurrent scripting on the JVM.

Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 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

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Software hardening: a research agenda.

Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek

Proceedings of the Proceedings for the 1st workshop on Script to Program Evolution, 2009

2006

Technical forum: Using logical data models for understanding and transforming legacy business applications.

Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue

IBM Syst. J., 2006

Semantics-based reverse engineering of object-oriented data models.

Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Abstract Counterexample-Based Refinement for Powerset Domains.

Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv

Proceedings of the Program Analysis and Compilation, 2006

2005

Typestate verification: Abstraction techniques and complexity results.

John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav

Sci. Comput. Program., 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, Greta Yorsh

Proceedings of the Verified Software: Theories, 2005

Dependent Types for Program Understanding.

Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments.

John Field, Carlos A. Varela

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

Partially Disjunctive Heap Abstraction.

Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field

Proceedings of the Static Analysis, 11th International Symposium, 2004

2002

Towards a Programming Model for Building Reliable Systems with Distributed State.

John Field, Carlos A. Varela

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

Compactly Representing First-Order Structures for Static Analysis.

Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv

Proceedings of the Static Analysis, 9th International Symposium, 2002

Deriving Specialized Program Analyses for Certifying Component-Client Conformance.

G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

1999

Identifying procedural structure in Cobol programs.

John Field, G. Ramalingam

ACM SIGSOFT Softw. Eng. Notes, 1999

Aggregate Structure Identification and Its Application to Program Analysis.

G. Ramalingam, John Field, Frank Tip

Proceedings of the POPL '99, 1999

1998

Dynamic dependence in term rewriting systems and its application to program slicing.

John Field, Frank Tip

Inf. Softw. Technol., 1998

Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation.

John Field, Jan Heering, T. B. Dinesh

ACM Comput. Surv., 1998

1997

Toward a Complete Transformational Toolkit for Compilers.

Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering

ACM Trans. Program. Lang. Syst., 1997

1996

Slicing Class Hierarchies in C++.

Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam

Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

A Complete Transformational Toolkit for Compilers.

Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering

Proceedings of the Programming Languages and Systems, 1996

1995

Parametric Program Slicing.

John Field, G. Ramalingam, Frank Tip

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1993

A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report).

John Field

Proceedings of the Rewriting Techniques and Applications, 5th International Conference, 1993

1992

A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis.

John Field

Proceedings of the PEPM'92, 1992

1991

Incremental Reduction and Semantics.

John Field

PhD thesis, 1991

1990

On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.

John Field

Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Incremental Reduction in the lambda Calculus.

John Field, Tim Teitelbaum

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990