Dominic Orchard

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 28

Top Topics

Bidirectional Search

Propositional Dynamic Logic

Valued Semantics

Top Venues

Proc. ACM Program. Lang.

Publications

Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera
Conjugate operators for transparent, explorable research outputs. CoRR (2024)
Matthew Danish, Dominic Orchard, Andrew Rice
Incremental units-of-measure verification. CoRR (2024)
Victoria Vollmer, Daniel Marshall, Harley Eades III, Dominic Orchard
A Mixed Linear and Graded Logic: Proofs, Terms, and Models. CoRR (2024)
Daniel Marshall, Dominic Orchard
Functional Ownership through Fractional Uniqueness. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Jack Hughes, Dominic Orchard
Program Synthesis from Graded Types. ESOP (1) (2024)
Laura Bocchi, Dominic Orchard, A. Laura Voinea
A Theory of Composing Protocols. Art Sci. Eng. Program. 7 (2) (2023)
Dominic Orchard, Mihail Munteanu, Paulo Torrens
Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines. CoRR (2023)
Daniel Marshall, Dominic Orchard
Functional Ownership through Fractional Uniqueness. CoRR (2023)
Daniel Marshall, Dominic Orchard
Graded Modal Types for Integrity and Confidentiality. CoRR (2023)
Daniel Marshall, Michael Vollmer, Dominic Orchard
Linearity and Uniqueness: An Entente Cordiale. ESOP (2022)
Daniel Marshall, Dominic Orchard
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types. PLACES@ETAPS (2022)
Daniel Marshall, Dominic Orchard
How to Take the Inverse of a Type. ECOOP (2022)
Daniel Marshall, Dominic Orchard
How to Take the Inverse of a Type (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Laura Bocchi, Dominic Orchard, Laura Voinea
A Theory of Protocol Composition. CoRR (2022)
Benjamin Moon, Harley Eades III, Dominic Orchard
Graded Modal Dependent Type Theory. ESOP (2021)
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
Graded Hoare Logic and its Categorical Semantics. ESOP (2021)
Jack Hughes, Michael Vollmer, Dominic Orchard
Deriving Distributive Laws for Graded Linear Types. CoRR (2021)
Harley Eades III, Dominic Orchard
Grading Adjoint Logic. CoRR (2020)
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
Graded Hoare Logic and its Categorical Semantics. CoRR (2020)
Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice
Guiding user annotations for units-of-measure verification. CoRR (2020)
Dominic Orchard, Philip Wadler, Harley Eades III
Unifying graded and parameterised monads. MSFP@ETAPS (2020)
Andrej Ivaskovic, Alan Mycroft, Dominic Orchard
Data-Flow Analyses as Effects and Graded Monads. FSCD (2020)
Benjamin Moon, Harley Eades III, Dominic Orchard
Graded Modal Dependent Type Theory. CoRR (2020)
Jack Hughes, Dominic Orchard
Resourceful Program Synthesis from Graded Linear Types. LOPSTR (2020)
Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III
Quantitative program reasoning with graded modal types. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Li-yao Xia, Dominic Orchard, Meng Wang
Composing Bidirectional Programs Monadically. ESOP (2019)
Li-yao Xia, Dominic Orchard, Meng Wang
Composing bidirectional programs monadically (with appendices). CoRR (2019)
Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard
Learning units-of-measure from scientific code. SE4Science@ICSE (2019)