Dave Clarke

Publications
Influence

Ownership types for flexible alias protection

Dave Clarke, J. Potter, J. Noble
Computer Science
OOPSLA '98
1 October 1998

Ownership types form a static type system that indicates object ownership. Expand

Ownership, encapsulation and the disjointness of type and effect

Dave Clarke, S. Drossopoulou
Computer Science
OOPSLA '02
4 November 2002

We codify two formal systems for reasoning about aliasing and the disjointness of computational effects in object-oriented programs. Expand

Belief in the paranormal: A New Zealand survey.

Dave Clarke
Psychology
1 April 1991

Simple Ownership Types for Object Containment

Dave Clarke, J. Noble, J. Potter
Computer Science
ECOOP
18 June 2001

The formalisation of ownership types has developed from our work with flexible alias protection together with an investigation of structural properties of object graphs based on dominator trees. Expand

Saving the world from bad beans: deployment-time confinement checking

Dave Clarke, Michael Richmond, J. Noble
Computer Science
OOPSLA '03
2003

We present an object confinement discipline that allows static verification of components' integrity as they are deployed into an EJB server. Expand

Minimal Ownership for Active Objects

Dave Clarke, Tobias Wrigstad, Johan Östlund, E. Johnsen
Computer Science
APLAS
9 December 2008

We propose a minimal variant of ownership types that preserves the required race freedom invariant yet enables data transfer by reference between active objects (that is, without copying) in many cases. Expand

Object ownership for dynamic alias protection

J. Noble, Dave Clarke, J. Potter
Computer Science
Proceedings Technology of Object-Oriented…
22 November 1999

We propose using an explicit, run-time notion of object ownership to control aliases between objects in dynamically typed languages. Expand

First detection of paralytic shellfish poisoning (PSP) toxins in Icelandic mussels (Mytilus edulis): Links to causative phytoplankton species

S. Burrell, T. Gunnarsson, K. Gunnarsson, Dave Clarke, A. Turner
Biology
1 June 2013

Abstract Paralytic shellfish poisoning (PSP) toxins were detected in blue mussels (Mytilus edulis) from two harvesting areas, Eyjafjordur on the north coast and Breidafjordur on the west coast of… Expand

Monadic abstract interpreters

Ilya Sergey, Dominique Devriese, +4 authors F. Piessens
Computer Science
PLDI
16 June 2013

We develop a systematic method for transforming a concrete semantics into a monadically-parameterized abstract machine. Expand

The ins and outs of objects

J. Potter, J. Noble, Dave Clarke
Computer Science
Proceedings Australian Software Engineering…
9 November 1998

We investigate structural relationships which are inherent in object graphs defined by object references defined by inter-object references. Expand

Recommended Authors