John Field

	2012
35		John Field, Michael Hicks: Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012 ACM 2012
34		Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, John Field: Identifying services from legacy batch applications. ISEC 2012: 13-22
33		John Field, Vasco Thudichum Vasconcelos: Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Sci. Comput. Program. 77(6): 661-662 (2012)
	2011
32		Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv: HAWKEYE: effective discovery of dataflow impediments to parallelization. OOPSLA 2011: 207-224
	2009
31		John Field, Vasco Thudichum Vasconcelos: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings Springer 2009
30		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
29		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
28		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
27		John Field, Maria-Cristina V. Marinescu, Christian Stefansen: Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. COORDINATION 2007: 76-95
	2006
26		Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha: Semantics-based reverse engineering of object-oriented data models. ICSE 2006: 192-201
25		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
24		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
23		John Field, Carlos A. Varela: Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL 2005: 195-208
22		Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
21		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
20		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
19		Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field: Partially Disjunctive Heap Abstraction. SAS 2004: 265-279
	2003
18		John Field, Deepak Goyal, G. Ramalingam, Eran Yahav: Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462
17		John Field, Carlos A. Varela: Towards a Programming Model for Building Reliable Systems with Distributed State. Electr. Notes Theor. Comput. Sci. 68(3): 328-346 (2003)
	2002
16		G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv: Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI 2002: 83-94
15		Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv: Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212
	2001
14		John Field, Gregor Snelting: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001 ACM 2001
	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	[29] [30]
3	Satish Chandra	[22] [24]
4	Jong-Deok Choi	[7]
5	T. B. Dinesh	[8] [9] [11]
6	Nurit Dor	[21]
7	Denis Gopan	[21]
8	Deepak Goyal	[15] [16] [18] [20]
9	Jan Heering	[8] [9] [11]
10	Thomas A. Henzinger	[25]
11	Howard M. Hess	[24]
12	Michael W. Hicks (Michael Hicks)	[35]
13	Manivannan Kalidasan	[24]
14	Raghavan Komondoor	[22] [24] [26] [34]
15	Tal Lev-Ami	[21]
16	Alexey Loginov	[21]
17	Roman Manevich	[15] [19] [21] [25]
18	Maria-Cristina V. Marinescu	[27] [28]
19	V. Krishna Nandivada	[34]
20	Frans Nieuwerth	[24]
21	Nathaniel Nystrom	[29] [30]
22	Johan Östlund	[29] [30]
23	G. Ramalingam (Ganesan Ramalingam)	[6] [7] [12] [13] [15] [16] [18] [19] [20] [21] [22] [24] [25] [26]
24	Thomas W. Reps	[21]
25	Gregor Richards	[29] [30]
26	Noam Rinetzky	[21]
27	Shmuel Sagiv (Mooly Sagiv)	[15] [16] [19] [21] [25] [32]
28	Saurabh Sinha	[26] [34]
29	Gregor Snelting	[14]
30	Christian Stefansen	[27] [28]
31	Rok Strnisa	[29] [30]
32	Tim Teitelbaum	[2]
33	Frank Tip	[5] [6] [7] [10] [12]
34	Omer Tripp	[32]
35	Carlos A. Varela	[17] [23]
36	Alex Varshavsky	[16]
37	Vasco Thudichum Vasconcelos	[31] [33]
38	Jan Vitek	[29] [30]
39	Jackie De Vries	[24]
40	Reinhard Wilhelm	[21]
41	Tobias Wrigstad	[29] [30]
42	Justin Xue	[24]
43	Eran Yahav	[18] [20] [21]
44	Greta Yorsh	[21] [32]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page