Publications

19 results for John Field

Identifying services from legacy batch applications
- - Raghavan Komondoor
  - V. Krishna Nandivada
  - et al.
- 2012
- ISEC (India) 2012
Thorn - Robust, concurrent, extensible scripting on the JVM
- - Bard Bloom
  - John Field
  - et al.
- 2009
- OOPSLA 2009
DEMO: Thorn - Robust, concurrent scripting on the JVM
- - Bard Bloom
  - John Field
  - et al.
- 2009
- OOPSLA 2009
Software hardening: A research agenda
- - Tobias Wrigstad
  - Patrick Eugster
  - et al.
- 2009
- ECOOP 2009
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
- - John Field
  - Maria-Cristina Marinescu
  - et al.
- 2009
- Theoretical Computer Science
Semantics-based reverse engineering of object-oriented data models
- - G. Ramalingam
  - Raghavan Komondoor
  - et al.
- 2006
- ICSE 2006
Technical forum: Using logical data models for understanding and transforming legacy business applications
- - Satish Chandra
  - Jackie de Vries
  - et al.
- 2006
- IBM Systems Journal
Transactors: A programming model for maintaining globally consistent distributed in unreliable environments
- - John Field
  - Carlos A. Varela
- 2005
- POPL 2005
Typestate verification: Abstraction techniques and complexity results
- - J. Field
  - D. Goyal
  - et al.
- 2005
- Science of Computer Programming
Dependent types for program understanding
- - Raghavan Komondoor
  - G. Ramalingam
  - et al.
- 2005
- TACAS - ETAPS 2005