John Field

2007
25	EE	John Field, Maria-Cristina V. Marinescu, Christian Stefansen: Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. COORDINATION 2007: 76-95
2006
24	EE	Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha: Semantics-based reverse engineering of object-oriented data models. ICSE 2006: 192-201
23	EE	Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv: Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation 2006: 273-292
22	EE	Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue: Technical forum: Using logical data models for understanding and transforming legacy business applications. IBM Systems Journal 45(3): 647-655 (2006)
2005
21	EE	John Field, Carlos A. Varela: Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL 2005: 195-208
20	EE	Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
19	EE	John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav: Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58(1-2): 57-82 (2005)
2004
18	EE	Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field: Partially Disjunctive Heap Abstraction. SAS 2004: 265-279
2003
17	EE	John Field, Deepak Goyal, G. Ramalingam, Eran Yahav: Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462
16	EE	John Field, Carlos A. Varela: Towards a Programming Model for Building Reliable Systems with Distributed State. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
2002
15	EE	G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv: Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI 2002: 83-94
14	EE	Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv: Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212
1999
13	EE	John Field, G. Ramalingam: Identifying Procedural Structure in Cobol Programs. PASTE 1999: 1-10
12	EE	G. Ramalingam, John Field, Frank Tip: Aggregate Structure Identification and Its Application to Program Analysis. POPL 1999: 119-132
1998
11	EE	John Field, Jan Heering, T. B. Dinesh: Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. ACM Comput. Surv. 30(3es): 2 (1998)
10	EE	John Field, Frank Tip: Dynamic dependence in term rewriting systems and its application to program slicing. Information & Software Technology 40(11-12): 609-636 (1998)
1997
9	EE	Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering: Toward a Complete Transformational Toolkit for Compilers. ACM Trans. Program. Lang. Syst. 19(5): 639-684 (1997)
1996
8		Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering: A Complete Transformational Toolkit for Compilers. ESOP 1996: 92-107
7		Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam: Slicing Class Hierarchies in C++. OOPSLA 1996: 179-197
1995
6		John Field, G. Ramalingam, Frank Tip: Parametric Program Slicing. POPL 1995: 379-392
1994
5		John Field, Frank Tip: Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. PLILP 1994: 415-431
1993
4		John Field: A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report). RTA 1993: 259-273
1992
3		John Field: A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. PEPM 1992: 98-107
1990
2	EE	John Field, Tim Teitelbaum: Incremental Reduction in the lambda Calculus. LISP and Functional Programming 1990: 307-322
1		John Field: On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. POPL 1990: 1-15

Coauthor Index

1	Jan A. Bergstra	[8] [9]
2	Satish Chandra	[20] [22]
3	Jong-Deok Choi	[7]
4	T. B. Dinesh	[8] [9] [11]
5	Deepak Goyal	[14] [15] [17] [19]
6	Jan Heering	[8] [9] [11]
7	Thomas A. Henzinger	[23]
8	Howard M. Hess	[22]
9	Manivannan Kalidasan	[22]
10	Raghavan Komondoor	[20] [22] [24]
11	Roman Manevich	[14] [18] [23]
12	Maria-Cristina V. Marinescu	[25]
13	Frans Nieuwerth	[22]
14	G. Ramalingam (Ganesan Ramalingam)	[6] [7] [12] [13] [14] [15] [17] [18] [19] [20] [22] [23] [24]
15	Shmuel Sagiv (Mooly Sagiv)	[14] [15] [18] [23]
16	Saurabh Sinha	[24]
17	Christian Stefansen	[25]
18	Tim Teitelbaum	[2]
19	Frank Tip	[5] [6] [7] [10] [12]
20	Carlos A. Varela	[16] [21]
21	Alex Varshavsky	[15]
22	Jackie De Vries	[22]
23	Justin Xue	[22]
24	Eran Yahav	[17] [19]

Colors in the list of coauthors