Dominic Orchard - University of Cambridge

Dr Dominic Orchard ~ Research Associate, SSI Fellow

Digital Technology Group and Cambridge Programming Research Group
Computer Laboratory, University of Cambridge

Research interests:

  • Programming language design and semantics
  • Mathematically structured programming
  • Effect and coeffect systems
  • Embedded domain-specific languages (esp. for parallelisation)
  • Applying programming language research to computational science


SN15, William Gates' Building, 15 JJ Thomson Avenue


dominic.orchard AT



  • March 2016
  • January 2016
    • I returned to working at the Computer Laboratory, University of Cambridge as Researcher Co-investigator on the CamFort project.
  • December 2015
  • November 2015
  • October 2015
    • Nobuko Yoshida and I have had our paper Effects as sessions, sessions as effects accepted at POPL 2016 [preprint PDF].
  • July 2015
    • I attended ICW'2015 (Imperial Concurreny Workshop).
    • I attended ECOOP'2015, to chair PLE 2015.
  • May 2015
    • I am attending ICCS'2015 in Reykjavik, Iceland
    • I gave the departmental seminar at the Department of Computer Science at the University of Warwick [slides]
  • April 2015
  • Mach 2015
    • I will be attending the 2015 Software Sustainbility Institutes Collaborations Workshop in Oxford.
    • My paper Evolving Fortran types with inferred units-of-measure with Andrew Rice has been accepted at ICCS 2015 and also selected for a special issue of the Journal of Computational Science (JoCS). The pre-print is online here.
  • February 2015
    • My extended abstract Complexity bounds from abstract categorical models has been accepted for presentation at DICE 2015. Draft PDF.
    • I am speaking at the Scottish Programming Languages Seminar at Strathclyde on the 18th, title: Effects in a pi (covering some of the work in my PLACES paper).
    • My paper Using session types as an effect system with Nobuko Yoshida was accepted to PLACES 2015 [pdf]
  • January 2015
  • December 2014 - I am very pleased to have been chosen for a 2015 Software Sustainability Institute fellowship.
    (news article here)

  • [Older news items]