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