John Field

2009
27	EE	John Field, Maria-Cristina V. Marinescu, Christian Stefansen: Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. Theor. Comput. Sci. 410(2-3): 168-201 (2009)
2007
26	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
25	EE	Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha: Semantics-based reverse engineering of object-oriented data models. ICSE 2006: 192-201
24	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
23	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
22	EE	John Field, Carlos A. Varela: Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL 2005: 195-208
21	EE	Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
20	EE	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: Automatic Verification of Strongly Dynamic Software Systems. VSTTE 2005: 82-92
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	[21] [23]
3	Jong-Deok Choi	[7]
4	T. B. Dinesh	[8] [9] [11]
5	Nurit Dor	[20]
6	Denis Gopan	[20]
7	Deepak Goyal	[14] [15] [17] [19]
8	Jan Heering	[8] [9] [11]
9	Thomas A. Henzinger	[24]
10	Howard M. Hess	[23]
11	Manivannan Kalidasan	[23]
12	Raghavan Komondoor	[21] [23] [25]
13	Tal Lev-Ami	[20]
14	Alexey Loginov	[20]
15	Roman Manevich	[14] [18] [20] [24]
16	Maria-Cristina V. Marinescu	[26] [27]
17	Frans Nieuwerth	[23]
18	G. Ramalingam (Ganesan Ramalingam)	[6] [7] [12] [13] [14] [15] [17] [18] [19] [20] [21] [23] [24] [25]
19	Thomas W. Reps	[20]
20	Noam Rinetzky	[20]
21	Shmuel Sagiv (Mooly Sagiv)	[14] [15] [18] [20] [24]
22	Saurabh Sinha	[25]
23	Christian Stefansen	[26] [27]
24	Tim Teitelbaum	[2]
25	Frank Tip	[5] [6] [7] [10] [12]
26	Carlos A. Varela	[16] [22]
27	Alex Varshavsky	[15]
28	Jackie De Vries	[23]
29	Reinhard Wilhelm	[20]
30	Justin Xue	[23]
31	Eran Yahav	[17] [19] [20]
32	Greta Yorsh	[20]

Colors in the list of coauthors