Travelled to:
1 × Belgium
1 × Canada
1 × Estonia
1 × France
1 × Germany
1 × Hungary
1 × Italy
1 × United Kingdom
2 × China
5 × Australia
6 × USA
Collaborated with:
J.Noble Y.Lu D.G.Clarke ∅ X.Zhang G.Jalloul J.Xue D.Holmes A.Shanneb M.Chan G.H.Outhred A.Wabenhorst R.Soley C.Mingins T.Vasak T.Hill J.Vitek R.Shelswell I.Joyner C.Zhang
Talks about:
object (7) ownership (6) type (5) protect (4) eiffel (4) model (4) composit (3) flexibl (3) system (3) effect (3)
Person: John Potter
DBLP: Potter:John
Facilitated 2 volumes:
Contributed to:
Wrote 28 papers:
- ESOP-2013-LuPX #correlation
- Structural Lock Correlation with Ownership Types (YL, JP, JX), pp. 391–410.
- ESOP-2012-LuPZX #parallel #source code #thread
- A Type and Effect System for Determinism in Multithreaded Programs (YL, JP, CZ, JX), pp. 518–538.
- ECOOP-2007-LuPX #invariant
- Validity Invariants and Effects (YL, JP, JX), pp. 202–226.
- TOOLS-EUROPE-2007-PotterS #incremental
- Incremental Lock Selection for Composite Objects (JP, AS), pp. 477–494.
- ECOOP-2006-LuP #on the
- On Ownership and Accessibility (YL, JP), pp. 99–123.
- ICPR-v4-2006-ChanP #music #recognition
- Recognition of Musically Similar Polyphonic Music (MC, JP), pp. 809–812.
- POPL-2006-LuP #encapsulation #representation
- Protecting representation with effect encapsulation (YL, JP), pp. 359–371.
- ECOOP-2005-LuP #reachability #type system
- A Type System for Reachability and Acyclicity (YL, JP), pp. 479–503.
- ECOOP-2001-ClarkeNP
- Simple Ownership Types for Object Containment (DGC, JN, JP), pp. 53–76.
- OOPSLA-2000-NobleHP
- Exclusion for composite objects (JN, DH, JP), pp. 13–28.
- TOOLS-PACIFIC-2000-HillNP #scalability #visualisation
- Scalable Visualisations with Ownership Trees (TH, JN, JP), pp. 202–213.
- TOOLS-USA-2000-Potter
- Object Structuring Techniques (JP), pp. 443–444.
- TOOLS-PACIFIC-1999-NobleCP #alias
- Object Ownership for Dynamic Alias Protection (JN, DGC, JP), pp. 176–187.
- ECOOP-1998-NobleVP #alias #flexibility
- Flexible Alias Protection (JN, JV, JP), pp. 158–185.
- OOPSLA-1998-ClarkePN #alias #flexibility
- Ownership Types for Flexible Alias Protection (DGC, JP, JN), pp. 48–64.
- TOOLS-ASIA-1998-ZhangP #approach #composition #concurrent
- A Compositional Approach to Concurrent Objects (XZ, JP), pp. 116–126.
- TOOLS-USA-1998-PotterSJ #inheritance #library
- Library Interoperability via Inheritance (JP, RS, IJ), pp. 71–83.
- EDOC-1997-OuthredP #distributed #enterprise #flexibility
- A Flexible Service Selection Model for Enterprise Distributed Systems (GHO, JP), p. 227–?.
- TOOLS-PACIFIC-1997-HolmesNP #aspect-oriented
- Aspects of Synchronization (DH, JN, JP), pp. 2–14.
- TOOLS-PACIFIC-1997-NobleP #design pattern
- Applying Design Patterns (JN, JP), pp. 355–356.
- TOOLS-PACIFIC-1997-WabenhorstP #java #modelling #multi #thread
- Modelling Multi-Threading in Java (AW, JP), pp. 153–164.
- TOOLS-PACIFIC-1997-ZhangP #calculus #modelling
- Class-Based Models in the -Calculus (XZ, JP), pp. 238–251.
- TOOLS-USA-1997-PotterS #eiffel #java #named #question
- Keynotes: Java and Eiffel: A de facto relationship? (JP, RS), p. 3.
- TOOLS-PACIFIC-1993-JalloulP #eiffel
- A Separate Proposal for Eiffel (GJ, JP), pp. 63–74.
- TOOLS-PACIFIC-1993-PotterM #design #eiffel #object-oriented
- Object-Oriented Design — the Eiffel Method (JP, CM), p. 320.
- TOOLS-PACIFIC-1992-JalloulP #concurrent #eiffel #modelling
- Models for Concurrent Eiffel (GJ, JP), pp. 183–191.
- TOOLS-PACIFIC-1992-Potter #design #reuse #usability
- Designing for Reusability (JP), p. 239.
- SLP-1986-VasakP86 #logic programming #source code
- Characterisation of Terminating Logic Programs (TV, JP), pp. 140–147.