John Field

	2009
30		John Field, Vasco Thudichum Vasconcelos: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings Springer 2009
29		Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad: Thorn: robust, concurrent, extensible scripting on the JVM. OOPSLA 2009: 117-136
28		Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad: Thorn: robust concurrent scripting on the JVM. OOPSLA Companion 2009: 789-790
27		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		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		Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha: Semantics-based reverse engineering of object-oriented data models. ICSE 2006: 192-201
24		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		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		John Field, Carlos A. Varela: Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL 2005: 195-208
21		Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
20		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		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		Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field: Partially Disjunctive Heap Abstraction. SAS 2004: 265-279
	2003
17		John Field, Deepak Goyal, G. Ramalingam, Eran Yahav: Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462
16		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		G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv: Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI 2002: 83-94
14		Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv: Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212
	1999
13		John Field, G. Ramalingam: Identifying Procedural Structure in Cobol Programs. PASTE 1999: 1-10
12		G. Ramalingam, John Field, Frank Tip: Aggregate Structure Identification and Its Application to Program Analysis. POPL 1999: 119-132
	1998
11		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		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		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		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	Bard Bloom	[28] [29]
3	Satish Chandra	[21] [23]
4	Jong-Deok Choi	[7]
5	T. B. Dinesh	[8] [9] [11]
6	Nurit Dor	[20]
7	Denis Gopan	[20]
8	Deepak Goyal	[14] [15] [17] [19]
9	Jan Heering	[8] [9] [11]
10	Thomas A. Henzinger	[24]
11	Howard M. Hess	[23]
12	Manivannan Kalidasan	[23]
13	Raghavan Komondoor	[21] [23] [25]
14	Tal Lev-Ami	[20]
15	Alexey Loginov	[20]
16	Roman Manevich	[14] [18] [20] [24]
17	Maria-Cristina V. Marinescu	[26] [27]
18	Frans Nieuwerth	[23]
19	Nathaniel Nystrom	[28] [29]
20	Johan Östlund	[28] [29]
21	G. Ramalingam (Ganesan Ramalingam)	[6] [7] [12] [13] [14] [15] [17] [18] [19] [20] [21] [23] [24] [25]
22	Thomas W. Reps	[20]
23	Gregor Richards	[28] [29]
24	Noam Rinetzky	[20]
25	Shmuel Sagiv (Mooly Sagiv)	[14] [15] [18] [20] [24]
26	Saurabh Sinha	[25]
27	Christian Stefansen	[26] [27]
28	Rok Strnisa	[28] [29]
29	Tim Teitelbaum	[2]
30	Frank Tip	[5] [6] [7] [10] [12]
31	Carlos A. Varela	[16] [22]
32	Alex Varshavsky	[15]
33	Vasco Thudichum Vasconcelos	[30]
34	Jan Vitek	[28] [29]
35	Jackie De Vries	[23]
36	Reinhard Wilhelm	[20]
37	Tobias Wrigstad	[28] [29]
38	Justin Xue	[23]
39	Eran Yahav	[17] [19] [20]
40	Greta Yorsh	[20]

Colors in the list of coauthors