Publications

Papers

• TiDB: a Raft-based HTAP database

  Huang, et al.

  VLDB 2020.

• Dynamic Semantics of Sheep Cloning: Proving Cloning

  Paley Li, Nicholas Cameron, James Noble.

  IWACO 2014.

• Understanding ownership types with dependent types

  Nicholas Cameron, Sophia Drossopoulou, James Noble.

  Aliasing in Object-Oriented Programming 2013.

• Sheep cloning with ownership types

  Paley Li, Nicholas Cameron, James Noble.

  Fool 2012

• Encoding Featherweight Java with assignment and immutability using the Coq proof assistant

  Julian Mackay, Hannes Mehnert, Alex Potanin, Lindsay Groves, Nicholas Cameron.

  FTfJP 2012.

• 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.

• A state abstraction for coordination in Java-like languages

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

  FTfJP 2006 (slides).

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

Student theses supervised

• Ownership Cloning for Ownership Systems

  Paley Li

  PhD thesis, 2015

• Evaluating the Go Programming Language with Design Patterns

  Frank Schmager

  Masters thesis, 2010