2011

  1. Coinductive Verification of Hyperproperties
    Dimiter Milushev, Dave Clarke
    Submitted.
  2. Reconciliation of Feature Models via Pullbacks
    Jose Proenca, Dave Clarke
    Submitted.
  3. Modular Modelling with Feature Petri Nets
    Radu Muschevici, Dave Clarke, Jose Proenca
    Submitted
  4. A Correspondence between Type Checking via Reduction and Type Checking via Evaluation
    Ilya Sergey, Dave Clarke
    Submitted.
  5. From Type Checking by Recursive Descent to Type Checking with an Abstract Machinei
    Ilya Sergey, Dave Clarke
    Submitted.

    6. 2010

  6. Concurrent Objects à la Carte
    Dave Clarke, Einar Broch Johnsen, Olaf Owe.
    Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever
    LNCS 5930
  7. Büchi automata for modeling component connectors
    Mohammad Izadi, Marcello Bonsangue, Dave Clarke
    Software and Systems Modeling, 2010
  8. Coordination Models and Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
    Dave Clarke, Gul A. Agha (Editors)
    Lecture Notes in Computer Science, volume 6116
  9. Towards a Theory of Views for Feature Models
    Dave Clarke, José Proença
    I. Schaefer, R. Carbon (editors): Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). Technical Report, University of Lancaster, U.K., September 2010.
  10. Feature Petri Nets
    Radu Muschevici, Dave Clarke, José Proença
    I. Schaefer, R. Carbon (editors): Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). Technical Report, University of Lancaster, U.K., September 2010.
  11. HATS - A Formal Software Product Line Engineering Methodology
    Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Germán Puebla, Balthasar Weitzel, Peter Y. H. Wong
    I. Schaefer, R. Carbon (editors): Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). Technical Report, University of Lancaster, U.K., September 2010.
  12. Abstract Delta Modeling
    Dave Clarke, Michiel Helvensteijn, Ina Schaefer
    Generative Programming and Component Development (GPCE'10)
  13. Channel-based coordination via constraint satisfaction
    Dave Clarke, José Proença, Alexander Lazovik, and Farhad Arbab
    To appear: Science of Computer Programming
  14. A Model of Context-Dependent Component Connectors
    Marcello Bonsangue, Dave Clarke, Alexandra Silva
    To appear: Science of Computer Programming
  15. Automatic refactorings for Scala Programs
    Ilya Sergey, Dave Clarke, Alexander Podkhalyuzin.
    Scala Days 2010.
    K.U.Leuven Technical Report CW 577.

    16. 2009

  16. Automata for Context-dependent Connectors
    Marcello Bonsangue and Dave Clarke and Alexandra Silva
    COORDINATION 2009, LNCS volume 5521, pages 184-203.
  17. Coordination via Interaction Constraints I: Local Logic
    Dave Clarke, José Proença
    ICE 2009.
  18. A semantics for context-oriented programming with layers
    Dave Clarke and Ilya Sergey.
    COP 09 workshop at ECOOP 09.
  19. How should a context-escaping layer proceed?
    Dave Clarke and Pascal Costanza and Éric Tanter.
    COP 09 workshop at ECOOP 09.
  20. Decomposing Port Automata
    Christian Koehler and Dave Clarke
    SAC 2009 (Coordination track)
  21. Tiles for Reo
    Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari
    Workshop on Algebraic Development Techniques, LNCS 5486.
  22. Aliasing, Confinement, and Ownership in Object-Oriented Programming. Report on the Workshop IWACO’08 at ECOOP 2008
    Dave Clarke, Sophia Drossopoulou, Peter Müller, James Noble, Tobias Wrigstad
    ECOOP 2008 Workshop Reader, LNCS 5475

    23. 2008

  23. Modeling Component Connectors: Synchronisation and Context-Dependency
    M. Izadi, Marcello M Bonsangue, Dave Clarke
    SEFM.
  24. A Basic Logic for Reasoning about Connector Reconfiguration
    Dave Clarke
    Fundamenta Informatica, volume 82, issue 4, pages 361-390, 2008.
  25. Deconstructing Reo.
    Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab
    FOCLASA 2008
  26. Coordination: Reo, Nets and Logic.
    Dave Clarke
    FMCO proceedings, LNCS 5382.
  27. Ownership, Uniqueness and Immutability.
    Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom.
    TOOLS 2008.
  28. Minimal Ownership for Active Objects.
    Dave Clarke, Tobias Wrigstad, Johan Östlund, Einar Broch Johnsen
    APLAS 2008
  29. Formal Techniques for Java-like Programming Languages: FTfJP Workshop Report.
    John Boyland Dave Clarke, Gary Leavens, Francesco Logozzo, and Arnd Poetzsch-Heffter
    LNCS 4906.
  30. Aliasing, Confinement and Ownership in Object-Oriented Programming: IWACO Workshop Report.
    Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad
    LNCS 4906.

    31. 2007

  31. Ownership, Uniqueness and Immutability.
    Johan Östlund, Tobias Wrigstad, Dave Clarke, Beatrice Åkerblom.
    Presented at IWACO 2007. Revised version published at TOOLS 2008 (See above).
  32. The Coordination Game: Find the Black Box.
    Dave Clarke
    Presented at SYANCO 2007.
  33. Coordination Models Orc and Reo Compared (Extended Abstract).
    José Proença, Dave Clarke
    FOCLASA 2007.
  34. Connector Colouring I: Synchronization and Context Dependency
    Dave Clarke, David Costa, Farhad Arbab
    Science of Computer Programming. vol. 66, no. 3, 15 May 2007.
  35. Existential Owners for Ownership Types.
    Tobias Wrigstad, Dave Clarke
    Journal of Object Technology, vol. 6, no. 4, May-June 2007, pp. 141-159.
  36. Tribe: A Simple Virtual Class Calculus.
    Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad.
    AOSD07, March 2007.
  37. A Complete Guide to the Future
    Frank de Boer, Dave Clarke, Einar Broch Johnsen
    ESOP07, March 2007.

    38. 2006

  38. External Uniqueness.
    Tobias Wrigstad, Dave Clarke
    Submitted for publication.
  39. Featherweight Generic Confinement.
    Alex Potanin, James Noble, Dave Clarke, and Robert Biddle.
    Journal of Functional Programming, Volume 16, Issue 06, pp 793-811.
  40. Generic Ownership for Generic Java.
    Alex Potanin, James Noble, Dave Clarke, and Robert Biddle.
    In proceedings of the OOPSLA Conference. Portland, Oregon, October 2006.
  41. Type for Hierarchic Shapes (Summary).
    Sophia Drossopoulou, Dave Clarke, James Noble.
    ESOP 2006

    42. 2005

  42. Reasoning about Connector Reconfiguration II: Basic Reconfiguration Logic
    Dave Clarke
    October 2005. FSEN. Tehran, Iran.
  43. Intensional Constraint Automata (Abstract)
    David Costa, Dave Clarke
    CALCO-Jnr, September 2005.
  44. Connector Colouring I: Synchronisation and Context Dependency
    Dave Clarke, David Costa, Farhad Arbab
    Foclasa 2005, San Francisco, August 2005.
  45. Featherweight Generic Ownership
    Alex Potanin, James Noble, Dave Clarke, Robert Biddle
    Formal Techniques for Java-like Programs (FTfJP). July 2005.
  46. Controlling Object Allocation using Creation Guards
    Cees Pierik, Dave Clarke, Frank de Boer
    Formal Methods 2005, 18-22 July 2005, University of Newcastle upon Tyne, UK.
  47. Deployment-time Confinement for Enterprise JavaBeans and its Experimental Assessment
    Michael Richmond, Dave Clarke, James Noble
    Submitted. April 2005.
  48. Modelling Coordination in Biological Systems
    Dave Clarke, David Costa, Farhad Arbab
    Accepted for publication. March 2005.
    This version revises the version below with the same title (which was not published).
  49. Reasoning about Connector Reconfiguration I: Equivalence of Constructions
    Dave Clarke
    CWI Technical Report SEN-R0506. February 2004.
  50. The Generic Haskell User's Guide (Coral Release)
    Andres Löh, Johan Jeuring (editors); Dave Clarke, Ralf Hinze, Alexey Rodriguez, Jan de Wit
    Utrecht University Technical Report UU-CS-2005-004, January 2005.

    51. 2004

  51. Modelling Coordination in Biological Systems
    Dave Clarke, David Costa, Farhad Arbab
    1st International Symposium on Leveraging Applications of Formal Methods (ISoLA) October-November 2004. Appeared as Department of Computer Science, University of Cyprus Technical Report Number TR-2004-06. Also CWI Technical Report SEN-R0415.
  52. Defaulting Generic Java to Ownership
    Alex Potanin, James Noble, Dave Clarke, Robert Biddle
    Formal Techniques for Java-like Programs. June 2004
  53. Creational Invariants
    Cees Pierik, Dave Clarke, Frank de Boer
    Formal Techniques for Java-like Programs. June 2004
  54. Featherweight Generic Confinement
    Alex Potanin, James Noble, Dave Clarke, Robert Biddle
    FOOL 11, January 2004.
  55. UUXML -- A Type-Preserving XML Schema-Haskell Data Binding
    Frank Atanassow, Dave Clarke, Johan Jeuring
    Practical Aspects of Declarative Programming (PADL). Dallas, Texas, USA, June 18-19, 2004

    56. 2003

  56. Generic Ownership
    Alex Potanin, James Noble, Dave Clarke, Robert Biddle
    Victoria University of Wellington Technical Report CS-TR-03/16
  57. 1st International Workshop on Aliasing, Confinement and Ownership (IWACO): Workshop Report
    Dave Clarke, Sophia Drossopoulou, James Noble
    Object-Oriented Technology: ECOOP 2003 Workshop Reader, ECOOP 2003 Workshops, Darmstadt, Germany, July 21-25, 2003, LNCS 3013
  58. Saving the World from Bad Beans: Deployment-time Confinement Checking
    Dave Clarke, Michael Richmond and James Noble
    OOPSLA'03. October 2003.
  59. Dependency-style Generic Haskell
    Andres Löh, Dave Clarke and Johan Jeuring
    ICFP, August 2003.
    Also as Utrecht University Technical Report UU-CS-2003-22.
  60. 1st International Workshop on Aliasing, Confinement and Ownership (IWACO)
    Dave Clarke (Editor)
    ECOOP 2003. July 2003
    Appears as Utrecht University Technical Report UU-CS-2003-30.
  61. External Uniqueness is Unique Enough
    Dave Clarke and Tobias Wrigstad
    ECOOP 2003. July 2003
    Also as Utrecht University Technical Report UU-CS-2002-48.
  62. Towards a Model of Encapsulation
    James Noble, Robert Biddle, Ewan Tempero, Alex Potanin, Dave Clarke
    IWACO at ECOOP 2003. July 2003.
  63. Scripting XML in Generic Haskell
    Frank Atanassow, Dave Clarke and Johan Jeuring
    Brazilian Programming Languages Conference, May 2003.
    Expanded version appears as Utrecht University Technical Report UU-CS-2003-23.
  64. External Uniqueness
    Dave Clarke and Tobias Wrigstad
    FOOL10 January 2003.
  65. Generic Haskell, Specifically
    Dave Clarke, Andres Löh
    Chapter in Generic Programming Gibbons and Jeuring (eds) 2003.
    IFIP WG2.1 Working Conference on Generic Programming, June 2002.

    66. 2002

  66. Ownership, Encapsulation and the Disjointness of Type and Effect
    Dave Clarke and Sophia Drossopoulou
    OOPSLA November 2002.
  67. The Generic Haskell User's Guide (Beryl Release)
    Dave Clarke, Johan Jeuring, Andres Löh
    Utrecht University Technical Report CS-UU-2002-047, July 2002.

    68. 2001

  68. The Generic Haskell User's Guide (Amber Release)
    Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, Jan de Wit
    Utrecht University Technical Report CS-UU-2001-26, November 2001.
  69. Simple Ownership Types for Object Containment
    Dave Clarke, James Noble, and John Potter
    ECOOP June 2001.
  70. An Object Calculus with Ownership and Containment
    Dave Clarke.
    FOOL 8. January, 2001.
  71. On Deleting Aggregate Objects DRAFT
    Dave Clarke.
    Presented at SPACE 2001. January, 2001.
  72. Object Ownership and Containment
    Dave Clarke
    PhD Thesis.
    July 2001. Revised October 2002.

    73. 1999

  73. Object Ownership for Dynamic Alias Protection
    James Noble, Dave Clarke, John Potter. TOOLS '99
  74. Overcoming Representation Exposure
    Dave Clarke, James Noble, John Potter.
    Intercontinental Workshop on Aliasing in Object Oriented Systems at ECOOP '99
  75. Who's Afraid of Ownership Types?
    Dave Clarke, James Noble, John Potter.
    Unpublished Report 1999.

    76. 1998

  76. Dynamic Alias Protection in Prototype-based Languages
    James Noble, Dave Clarke, John Potter.
    Thinking with Prototypes Workshop at OOPSLA '98
  77. Ownership Types for Flexible Alias Protection
    Dave Clarke, John Potter, James Noble.
    OOPSLA'98
  78. The Ins and Outs of Objects
    John Potter, James Noble, Dave Clarke.
    ASWEC'98
  79. A Mode System for Flexible Alias Protection
    John Potter, Dave Clarke, James Noble.
    Formal Methods Pacific'98
  80. Object Ownership to Order
    Dave Clarke, Ryan Shelswell, James Noble, John Potter.
    Unpublished Report July 1998.

    81. 1996

  81. Exploiting Shape in Parallel Programming
    Barry Jay, Dave Clarke, Jenny Edwards.
    IEEE Parallel Architectures, Algorithms and Applications Conference, Singapore, June 1996.

    82. 1994

  82. Uniform Global Optimisations for Parallelising Compilers
    Dave Clarke.
    Honours Thesis. Australian National University. November, 1994.