Computer Laboratory

Dylan McDermott

I am currently a PhD student in the Programming, Logic and Semantics group of the Univerity of Cambridge Computer Laboratory. I am interested in the theory of programming languages with computational effects, including reasoning about evaluation order, and proving correctness of program transformations. My supervisor is Alan Mycroft.


  • Project Snowflake: Non-blocking Safe Manual Memory Management in .NET, with Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Aaron Blankstein, and Jonathan Balkind. OOPSLA 2017. [PDF] [DOI]
  • Call-by-need effects via coeffects, with Alan Mycroft. Open Computer Science. [PDF] [DOI]
  • Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics, with Ohad Kammar. MFPS 2018. [PDF] [DOI]
  • Extended call-by-push-value: reasoning about effectful programs and evaluation order, with Alan Mycroft. Accepted to ESOP 2019. [PDF]


I have supervised the following courses:


Dylan McDermott
University of Cambridge
Department of Computer Science and Technology
Computer Laboratory
15 JJ Thompson Avenue
Cambridge CB3 0FD
United Kingdom

Office: FC07