Dominic Orchard

Registered user since Wed 7 Jan 2015

Name:Dominic Orchard
Bio:

Dr Dominic Orchard is a Senior Lecturer in the Programming Languages and Systems group, School of Computing at the University of Kent, UK and is co-director of the Institute of Computing for Climate Science at the University of Cambridge. His research interests are programming language design and semantics, mathematically structured programming, effect and coeffect systems, embedded domain-specific languages (esp. for parallelisation), and applying programming language research to computational science.

Country:United Kingdom
Affiliation:University of Kent, UK
Personal website:http://dorchard.co.uk
Research interests:Programming languages, types, semantics, verification

Contributions

APLAS 2023 Committee Member in Selection Committee within the SRC & Posters-track
‹Programming› 2023 Author of A Theory of Composing Protocols within the Research Papers-track
POPL 2023 Committee Member in Program Committee within the POPL-track
Haskell 2022 Committee Member in Program Committee within the Haskell 2022-track
ECOOP 2022 Session Chair of Session Types 1 (part of Research Papers)
Author of How to Take the Inverse of a Type within the Research Papers-track
TyDe 2021 Program Co-Chair in Program Committee within the TyDe 2021-track
Session Chair of Session II (part of TyDe 2021)
Session Chair of Session III (part of TyDe 2021)
HOPE 2021 Author of Formalising Algebraic Effects with Non-Recoverable Failure within the HOPE 2021-track
PADL 2021 Co-chair in Programme Committee within the PADL 2021-track
Session Chair of Keynote 1 (part of PADL 2021)
Co-chair in Programme Chairs within the PADL 2021-track
Session Chair of Foundations and Programming Concepts (part of PADL 2021)
HATRA 2020 Author of Guiding user annotations for units-of-measure verification within the HATRA-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
TyDe 2020 Author of Graded Modal Dependent Type Theory (Extended Abstract) within the TyDe 2020-track
ICFP 2019 Author of Fine-grained program reasoning using linear and graded modal types within the Tutorials-track
Author of Quantitative program reasoning with graded modal types within the Research Papers-track
ESOP 2019 Author of Composing bidirectional programs monadically within the ESOP 2019-track
PLACES 2019 PC Chair in Program Committee within the PLACES-track
PC Chair in Organizing Committee within the PLACES-track
POPL 2019 Session Chair of Capabilities and Session Types I (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Author of [T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning within the TutorialFest-track
PLMW 2019 Panelist of Panel: Grad School and Beyond within the PLMW@POPL-track
Panelist in Panelists within the PLMW@POPL-track
BEAT 2019 Session Chair of Session 2 (part of BEAT 2019)
Committee Member in Program Committee within the BEAT 2019-track
TyDe 2018 Committee Member in Program Committee within the TyDe 2018-track
SPLASH 2017 Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track
Salon des Refusés 2017 Committee Member in Program Committee within the Salon des Refusés-track
ICFP 2016 Author of Combining Effects and Coeffects via Grading within the Research Papers-track
POPL 2016 Author of Effects as sessions, sessions as effects within the Research Papers-track
PLE 2015 Programme Committee in Programme Committee within the PLE-track
Co-chair in Organizers within the PLE-track
Author of Introduction within the PLE-track