dblp.uni-trier.dewww.uni-trier.de

John Field Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
30EEJohn Field, Vasco Thudichum Vasconcelos: Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings Springer 2009
29EEBard 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
28EEBard 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
27EEJohn 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
26EEJohn Field, Maria-Cristina V. Marinescu, Christian Stefansen: Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. COORDINATION 2007: 76-95
2006
25EEGanesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha: Semantics-based reverse engineering of object-oriented data models. ICSE 2006: 192-201
24EERoman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv: Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation 2006: 273-292
23EESatish 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
22EEJohn Field, Carlos A. Varela: Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL 2005: 195-208
21EERaghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field: Dependent Types for Program Understanding. TACAS 2005: 157-173
20EENurit 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
19EEJohn Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav: Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. 58(1-2): 57-82 (2005)
2004
18EERoman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field: Partially Disjunctive Heap Abstraction. SAS 2004: 265-279
2003
17EEJohn Field, Deepak Goyal, G. Ramalingam, Eran Yahav: Typestate Verification: Abstraction Techniques and Complexity Results. SAS 2003: 439-462
16EEJohn Field, Carlos A. Varela: Towards a Programming Model for Building Reliable Systems with Distributed State. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
2002
15EEG. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv: Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI 2002: 83-94
14EERoman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv: Compactly Representing First-Order Structures for Static Analysis. SAS 2002: 196-212
1999
13EEJohn Field, G. Ramalingam: Identifying Procedural Structure in Cobol Programs. PASTE 1999: 1-10
12EEG. Ramalingam, John Field, Frank Tip: Aggregate Structure Identification and Its Application to Program Analysis. POPL 1999: 119-132
1998
11EEJohn Field, Jan Heering, T. B. Dinesh: Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. ACM Comput. Surv. 30(3es): 2 (1998)
10EEJohn 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
9EEJan 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
8EEJan 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
5EEJohn Field, Frank Tip: Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. PLILP 1994: 415-431
1993
4EEJohn 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
2EEJohn 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

1Jan A. Bergstra [8] [9]
2Bard Bloom [28] [29]
3Satish Chandra [21] [23]
4Jong-Deok Choi [7]
5T. B. Dinesh [8] [9] [11]
6Nurit Dor [20]
7Denis Gopan [20]
8Deepak Goyal [14] [15] [17] [19]
9Jan Heering [8] [9] [11]
10Thomas A. Henzinger [24]
11Howard M. Hess [23]
12Manivannan Kalidasan [23]
13Raghavan Komondoor [21] [23] [25]
14Tal Lev-Ami [20]
15Alexey Loginov [20]
16Roman Manevich [14] [18] [20] [24]
17Maria-Cristina V. Marinescu [26] [27]
18Frans Nieuwerth [23]
19Nathaniel Nystrom [28] [29]
20Johan Östlund [28] [29]
21G. Ramalingam (Ganesan Ramalingam) [6] [7] [12] [13] [14] [15] [17] [18] [19] [20] [21] [23] [24] [25]
22Thomas W. Reps [20]
23Gregor Richards [28] [29]
24Noam Rinetzky [20]
25Shmuel Sagiv (Mooly Sagiv) [14] [15] [18] [20] [24]
26Saurabh Sinha [25]
27Christian Stefansen [26] [27]
28Rok Strnisa [28] [29]
29Tim Teitelbaum [2]
30Frank Tip [5] [6] [7] [10] [12]
31Carlos A. Varela [16] [22]
32Alex Varshavsky [15]
33Vasco Thudichum Vasconcelos [30]
34Jan Vitek [28] [29]
35Jackie De Vries [23]
36Reinhard Wilhelm [20]
37Tobias Wrigstad [28] [29]
38Justin Xue [23]
39Eran Yahav [17] [19] [20]
40Greta Yorsh [20]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)