John Field

Affiliations:
  • Google Research


According to our database1, John Field authored at least 33 papers between 1990 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Lifelong Learning for Working People.
Proceedings of the Encyclopedia of Education and Information Technologies, 2020

2014
Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013
Principles of POPL.
ACM SIGPLAN Notices, 2013

2012
Selected Papers from the Eleventh International Conference on Coordination Models and Languages.
Sci. Comput. Program., 2012

JANUS: exploiting parallelism via hindsight.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Identifying services from legacy batch applications.
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

2011
HAWKEYE: effective discovery of dataflow impediments to parallelization.
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.
Theor. Comput. Sci., 2009

Thorn: robust concurrent scripting on the JVM.
Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Thorn: robust, concurrent, extensible scripting on the JVM.
Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2006
Technical forum: Using logical data models for understanding and transforming legacy business applications.
IBM Syst. J., 2006

Semantics-based reverse engineering of object-oriented data models.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Abstract Counterexample-Based Refinement for Powerset Domains.
Proceedings of the Program Analysis and Compilation, 2006

2005
Typestate verification: Abstraction techniques and complexity results.
Sci. Comput. Program., 2005

Automatic Verification of Strongly Dynamic Software Systems.
Proceedings of the Verified Software: Theories, 2005

Dependent Types for Program Understanding.
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.
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004
Partially Disjunctive Heap Abstraction.
Proceedings of the Static Analysis, 11th International Symposium, 2004

2003
Towards a Programming Model for Building Reliable Systems with Distributed State.
Electron. Notes Theor. Comput. Sci., 2003

2002
Compactly Representing First-Order Structures for Static Analysis.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Deriving Specialized Program Analyses for Certifying Component-Client Conformance.
Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

1999
Identifying procedural structure in Cobol programs.
ACM SIGSOFT Softw. Eng. Notes, 1999

Aggregate Structure Identification and Its Application to Program Analysis.
Proceedings of the POPL '99, 1999

1998
Dynamic dependence in term rewriting systems and its application to program slicing.
Inf. Softw. Technol., 1998

Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation.
ACM Comput. Surv., 1998

1997
Toward a Complete Transformational Toolkit for Compilers.
ACM Trans. Program. Lang. Syst., 1997

1996
Slicing Class Hierarchies in C++.
Proceedings of the 1996 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1996

A Complete Transformational Toolkit for Compilers.
Proceedings of the Programming Languages and Systems, 1996

1995
Parametric Program Slicing.
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).
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.
Proceedings of the PEPM'92, 1992

1990
On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis.
Proceedings of the Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, 1990

Incremental Reduction in the lambda Calculus.
Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990


  Loading...