John Field - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2009

Thorn: robust, concurrent, extensible scripting on the JVMBard Bloom, John Field, Nathaniel Nystrom, Johan Ã–stlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad. OOPSLA 2009: 117-136 [doi]

Thorn: robust concurrent scripting on the JVMBard Bloom, John Field, Nathaniel Nystrom, Johan Ã–stlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad. OOPSLA 2009: 789-790 [doi]

Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. ProceedingsJohn Field, Vasco Thudichum Vasconcelos, editors, Volume 5521 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Reactors: A data-oriented synchronous/asynchronous programming model for distributed applicationsJohn Field, Maria-Cristina V. Marinescu, Christian Stefansen. TCS, 410(2-3):168-201, 2009. [doi]

2007

Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed ApplicationsJohn Field, Maria-Cristina V. Marinescu, Christian Stefansen. coordination 2007: 76-95 [doi]

2006

2005

2004

Partially Disjunctive Heap AbstractionRoman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field. SAS 2004: 265-279 [doi]

2003

Typestate Verification: Abstraction Techniques and Complexity ResultsJohn Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav. SAS 2003: 439-462 [doi]

Towards a Programming Model for Building Reliable Systems with Distributed StateJohn Field, Carlos A. Varela. ENTCS, 68(3):328-346, 2003. [doi]

2002

Compactly Representing First-Order Structures for Static AnalysisRoman Manevich, Ganesan Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv. SAS 2002: 196-212 [doi]

Deriving Specialized Program Analyses for Certifying Component-Client ConformanceGanesan Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv. PLDI 2002: 83-94 [doi]

1999

Identifying Procedural Structure in Cobol ProgramsJohn Field, Ganesan Ramalingam. PASTE 1999: 1-10 [doi]

Aggregate Structure Identification and Its Application to Program AnalysisGanesan Ramalingam, John Field, Frank Tip. POPL 1999: 119-132 [doi]

1998

Dynamic dependence in term rewriting systems and its application to program slicingJohn Field, Frank Tip. INFSOF, 40(11-12):609-636, 1998. [doi]

Equations as a Uniform Framework for Partial Evaluation and Abstract InterpretationJohn Field, Jan Heering, T. B. Dinesh. ACM Comput. Surv., 30(3es):2, 1998. [doi]

1997

Toward a Complete Transformational Toolkit for CompilersJan A. Bergstra, T. B. Dinesh, John Field, Jan Heering. TOPLAS, 19(5):639-684, 1997. [doi]

1996

A Complete Transformational Toolkit for CompilersJan A. Bergstra, T. B. Dinesh, John Field, Jan Heering. ESOP 1996: 92-107

Slicing Class Hierarchies in C++Frank Tip, Jong-Deok Choi, John Field, Ganesan Ramalingam. OOPSLA 1996: 179-197

1995

Parametric Program SlicingJohn Field, Ganesan Ramalingam, Frank Tip. POPL 1995: 379-392

1994

Dynamic Dependence in Term rewriting Systems and its Application to Program SlicingJohn Field, Frank Tip. plilp 1994: 415-431

1993

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

Depth measurement of face and palate by structured lightChristine H. Shadle, J. N. Carter, T. P. Monks, John Field. interspeech 1993: 1745-1748 [doi]

1992

A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program AnalysisJohn Field. PEPM 1992: 98-107

1990

On Laziness and Optimality in Lambda Interpreters: Tools for Specification and AnalysisJohn Field. POPL 1990: 1-15

Incremental Reduction in the lambda CalculusJohn Field, Tim Teitelbaum. lfp 1990: 307-322 [doi]

1985

Ku-Band earth stations for data communications (panel session - title only)John Field, D. Lyon, E. Parker, E. Yousefzadeh. sigcomm 1985: 33 [doi]

Sign in or sign up to see more results.

runs on WebDSL