John Field - RankMe

42 papers A* 8A 5B 3C 3Journal 9Unranked 11

Year	Rank	Type	Title / Venue / Authors
2020	—	`ch.`	Lifelong Learning for Working People. Encyclopedia of Education and Information Technologies John Field
2014	—	`conf`	Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing. AGERE!@SPLASH Phillip Kuang, John Field, Carlos A. Varela
2013	J	`jnl`	Principles of POPL. ACM SIGPLAN Notices Derek Dreyer, John Field, Roberto Giacobazzi, Michael Hicks, Suresh Jagannathan, Mooly Sagiv, Peter Sewell, Philip Wadler
2012	—	`conf`	Identifying services from legacy batch applications. ISEC Raghavan Komondoor, V. Krishna Nandivada, Saurabh Sinha, John Field
2012	A*	`conf`	JANUS: exploiting parallelism via hindsight. PLDI Omer Tripp, Roman Manevich, John Field, Mooly Sagiv
2012	A*	`ed.`	Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012 POPL John Field, Michael Hicks
2012	J	`jnl`	Selected Papers from the Eleventh International Conference on Coordination Models and Languages. Sci. Comput. Program. John Field, Vasco Thudichum Vasconcelos
2011	A	`conf`	HAWKEYE: effective discovery of dataflow impediments to parallelization. OOPSLA Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv
2009	C	`ed.`	Coordination Models and Languages, 11th International Conference, COORDINATION 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings COORDINATION John Field, Vasco Thudichum Vasconcelos
2009	J	`jnl`	Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications. Theor. Comput. Sci. John Field, Maria-Cristina V. Marinescu, Christian Stefansen
2009	—	`conf`	Software hardening: a research agenda. STOP@ECOOP Tobias Wrigstad, Patrick Eugster, John Field, Nate Nystrom, Jan Vitek
2009	—	`conf`	Thorn: robust concurrent scripting on the JVM. OOPSLA Companion Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad
2009	A	`conf`	Thorn: robust, concurrent, extensible scripting on the JVM. OOPSLA Bard Bloom, John Field, Nathaniel Nystrom, Johan Östlund, Gregor Richards, Rok Strnisa, Jan Vitek, Tobias Wrigstad
2007	C	`conf`	Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications. COORDINATION John Field, Maria-Cristina V. Marinescu, Christian Stefansen
2006	—	`conf`	Abstract Counterexample-Based Refinement for Powerset Domains. Program Analysis and Compilation Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv
2006	A*	`conf`	Semantics-based reverse engineering of object-oriented data models. ICSE Ganesan Ramalingam, Raghavan Komondoor, John Field, Saurabh Sinha
2006	J	`jnl`	Technical forum: Using logical data models for understanding and transforming legacy business applications. IBM Syst. J. Satish Chandra, Jackie De Vries, John Field, Howard M. Hess, Manivannan Kalidasan, Raghavan Komondoor, Frans Nieuwerth, Ganesan Ramalingam, Justin Xue
2005	—	`conf`	Automatic Verification of Strongly Dynamic Software Systems. VSTTE 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
2005	A	`conf`	Dependent Types for Program Understanding. TACAS Raghavan Komondoor, Ganesan Ramalingam, Satish Chandra, John Field
2005	A*	`conf`	Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments. POPL John Field, Carlos A. Varela
2005	J	`jnl`	Typestate verification: Abstraction techniques and complexity results. Sci. Comput. Program. John Field, Deepak Goyal, Ganesan Ramalingam, Eran Yahav
2004	B	`conf`	Partially Disjunctive Heap Abstraction. SAS Roman Manevich, Shmuel Sagiv, Ganesan Ramalingam, John Field
2003	B	`conf`	Typestate Verification: Abstraction Techniques and Complexity Results. SAS John Field, Deepak Goyal, G. Ramalingam, Eran Yahav
2002	B	`conf`	Compactly Representing First-Order Structures for Static Analysis. SAS Roman Manevich, G. Ramalingam, John Field, Deepak Goyal, Shmuel Sagiv
2002	A*	`conf`	Deriving Specialized Program Analyses for Certifying Component-Client Conformance. PLDI G. Ramalingam, Alex Varshavsky, John Field, Deepak Goyal, Shmuel Sagiv
2002	—	`conf`	Towards a Programming Model for Building Reliable Systems with Distributed State. FOCLASA John Field, Carlos A. Varela
2001	—	`ed.`	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 PASTE John Field, Gregor Snelting
1999	A*	`conf`	Aggregate Structure Identification and Its Application to Program Analysis. POPL G. Ramalingam, John Field, Frank Tip
1999	—	`conf`	Identifying Procedural Structure in Cobol Programs. PASTE John Field, G. Ramalingam
1999	J	`jnl`	Identifying procedural structure in Cobol programs. ACM SIGSOFT Softw. Eng. Notes John Field, G. Ramalingam
1998	J	`jnl`	Dynamic dependence in term rewriting systems and its application to program slicing. Inf. Softw. Technol. John Field, Frank Tip
1998	J	`jnl`	Equations as a Uniform Framework for Partial Evaluation and Abstract Interpretation. ACM Comput. Surv. John Field, Jan Heering, T. B. Dinesh
1997	J	`jnl`	Toward a Complete Transformational Toolkit for Compilers. ACM Trans. Program. Lang. Syst. Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
1996	A	`conf`	A Complete Transformational Toolkit for Compilers. ESOP Jan A. Bergstra, T. B. Dinesh, John Field, Jan Heering
1996	A	`conf`	Slicing Class Hierarchies in C++. OOPSLA Frank Tip, Jong-Deok Choi, John Field, G. Ramalingam
1995	A*	`conf`	Parametric Program Slicing. POPL John Field, G. Ramalingam, Frank Tip
1994	—	`conf`	Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. PLILP John Field, Frank Tip
1993	—	`conf`	A Graph Reduction Approach to Incremental Term Rewriting (Preliminary Report). RTA John Field
1992	C	`conf`	A Simple Rewriting Semantics for Realistic Imperative Programs and its Application to Program Analysis. PEPM John Field
1991	—	`—`	Incremental Reduction and Semantics. John Field
1990	—	`conf`	Incremental Reduction in the lambda Calculus. LISP and Functional Programming John Field, Tim Teitelbaum
1990	A*	`conf`	On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis. POPL John Field