• Proceedings of the International Workhop on Aliasing, Confinement, and Ownership

  Nicholas Cameron (ed.)

  IWACO 2011.

• Tribal Ownership

  Nicholas Cameron, James Noble, Tobias Wrigstad.

  OOPSLA 2010 (technical report with proofs, slides).

• GoHotDraw: Evaluating the Go Programming Language with Design Patterns

  Frank Schmager, Nicholas Cameron, James Noble.

  PLATEAU 2010.

• Mojojojo — More Ownership for Multiple Owners

  Paley Li, Nicholas Cameron, James Noble.

  FOOL 2010.

• Encoding Ownership Types in Java

  Nicholas Cameron, James Noble.

  TOOLS Europe 2010 (slides).
  Webpage with links to proofs and compilers

• Towards a Semantic Model for Java Wildcards

  Alex Summers, Nicholas Cameron, Sophia Drossopoulou, Mariangiola Dezani-Ciancaglini.

  FTfJP 2010.

• On Subtyping, Wildcards, and Existential Types

  Nicholas Cameron, Sophia Drossopoulou.

  FTfJP 2009 (slides).

• Comparing Universes and Existential Ownership Types

  Nicholas Cameron, Werner Dieltl.

  IWACO 2009 (slides).

• OGJ Gone Wild

  Nicholas Cameron, James Noble.

  IWACO 2009 (slides).

• Existential Quantification for Variant Ownership

  Nicholas Cameron, Sophia Drossopoulou.

  ESOP 2009 (slides).

• Variant Ownership with Existential Types

  Nicholas Cameron, Sophia Drossopoulou.

  IWACO 2008, position paper (slides).

• A Model for Java with Wildcards

  Nicholas Cameron, Sophia Drossopoulou, Erik Ernst.

  ECOOP 2008, nominated for best paper (paper with full proofs, slides).

• Multiple Ownership

  Nicholas Cameron, Sophia Drossopoulou, James Noble, Matthew Smith.

  OOPSLA 2007 (slides).

• Towards an Existential Types Model for Java Wildcards

  Nicholas Cameron, Erik Ernst and Sophia Drossopoulou.

  FTfJP 2007 (slides).

• Sedna: A BPEL-based environment for visual scientific workflow modelling

  Bruno Wassermann, Wolfgang. Emmerich, Ben Butchart, Nick Cameron, Liang Chen and Jignesh Patel.

  In I. J. Taylor, E. Deelman, D. Gannon and M. S. Shields (eds): Workflows for eScience - Scientific Workflows for Grids, 2007.

  (Eclipse BPEL project, the continuation of this work)

• A state abstraction for coordination in Java-like languages

  Ferruccio Damiani, Elena Giachino, Paola Giannini, Nick Cameron, and Sophia Drossopoulou.

  FTfJP 2006 (compiler, etc.).

Talks

• A state abstraction for Java

  British Colloquium for Theoretical Computer Science, 2006.

PhD Thesis

• Existential Types for Variance - Java Wildcards and Ownership Types

  Abstract and Thesis

Projects

• Java-- compiler

  Second year BSc mini-project. A compiler for a subset of the Java language. Compiles object oriented features to non-oo JVM byte codes.

• Beyond Photorealistic Rendering

  Final year BSc project. (source code)

  

• The N PL semantics tool

  A tool for working with the semantics of programming languages; more information

Student projects I supervised

• Evaluating the Go Programming Language with Design Patterns

  Frank Schmager

  Masters project, 2010