Dominic Orchard

40 papers A 5B 2C 1Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2026 — ed.
Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice - Essays Dedicated to Alan Mycroft on the Occasion of His Retirement
Languages, Compilers, Analysis
Dominic Orchard, Tomas Petricek, Jeremy Singer
2026 — conf
On Graded Coeffect Types for Information-Flow Control.
Languages, Compilers, Analysis
Vilem-Benjamin Liepelt, Danielle Marshall, Dominic Orchard, Vineet Rajani, Michael Vollmer
2025 B conf
A Mixed Linear and Graded Logic: Proofs, Terms, and Models.
CSL
Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard
2025 — conf
Cognacy Queries over Dependence Graphs for Transparent Visualisations.
ESOP (1)
Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera
2025 J jnl
FTorch: a library for coupling PyTorch models to Fortran.
J. Open Source Softw.
Jack Atkinson, Athena Elafrou, Elliott Kasoar, Joseph G. Wallwork, Thomas Meltzer, Simon Clifford, Dominic Orchard, Chris Edsall
2025 — conf
Structuring Arrays with Algebraic Shapes.
ARRAY@PLDI
Jakub Bachurski, Alan Mycroft, Dominic Orchard
2025 J jnl
fortran-src: Fortran static analysis infrastructure.
J. Open Source Softw.
Mistral Contrastin, Raoul Hidalgo Charman, Matthew Danish, Benjamin Orchard, Dominic Orchard, Andrew Rice, Jason Xu
2024 J jnl
A Mixed Linear and Graded Logic: Proofs, Terms, and Models.
CoRR
Victoria Vollmer, Danielle Marshall, Harley Eades III, Dominic Orchard
2024 J jnl
Conjugate operators for transparent, explorable research outputs.
CoRR
Joseph Bond, Cristina David, Minh Nguyen, Dominic Orchard, Roly Perera
2024 J jnl
Functional Ownership through Fractional Uniqueness.
Proc. ACM Program. Lang.
Danielle Marshall, Dominic Orchard
2024 J jnl
Incremental units-of-measure verification.
CoRR
Matthew Danish, Dominic Orchard, Andrew Rice
2024 J jnl
Non-linear communication via graded modal session types.
Inf. Comput.
Danielle Marshall, Dominic Orchard
2024 J jnl
On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs.
Proc. ACM Program. Lang.
Paulo Henrique Torrens, Dominic Orchard, Cristiano D. Vasconcellos
2024 — conf
Program Synthesis from Graded Types.
ESOP (1)
Jack Hughes, Dominic Orchard
2024 — conf
Programming Languages for the Future of Design Computation.
Onward!
Robert Aish, Al Fisher, Dominic Orchard, Jay Torry
2023 J jnl
A Theory of Composing Protocols.
Art Sci. Eng. Program.
Laura Bocchi, Dominic Orchard, Adriana Laura Voinea
2023 — conf
Communicating Actor Automata - Modelling Erlang Processes as Communicating Machines.
PLACES@ETAPS
Dominic Orchard, Mihail Munteanu, Paulo Henrique Torrens
2023 J jnl
Functional Ownership through Fractional Uniqueness.
CoRR
Danielle Marshall, Dominic Orchard
2023 J jnl
Graded Modal Types for Integrity and Confidentiality.
CoRR
Danielle Marshall, Dominic Orchard
2022 J jnl
A Theory of Protocol Composition.
CoRR
Laura Bocchi, Dominic Orchard, Adriana Laura Voinea
2022 J jnl
How to Take the Inverse of a Type (Artifact).
Dagstuhl Artifacts Ser.
Danielle Marshall, Dominic Orchard
2022 A conf
How to Take the Inverse of a Type.
ECOOP
Danielle Marshall, Dominic Orchard
2022 A conf
Linearity and Uniqueness: An Entente Cordiale.
ESOP
Danielle Marshall, Michael Vollmer, Dominic Orchard
2022 — conf
Replicate, Reuse, Repeat: Capturing Non-Linear Communication via Session Types and Graded Modal Types.
PLACES@ETAPS
Danielle Marshall, Dominic Orchard
2021 A conf
Graded Hoare Logic and its Categorical Semantics.
ESOP
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
2021 A conf
Graded Modal Dependent Type Theory.
ESOP
Benjamin Moon, Harley Eades III, Dominic Orchard
2021 — ed.
TyDe 2021: Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development, Virtual Event, Korea, 22 August 2021
TyDe@ICFP
Hsiang-Shang Ko, Dominic Orchard
2020 B conf
Data-Flow Analyses as Effects and Graded Monads.
FSCD
Andrej Ivaskovic, Alan Mycroft, Dominic Orchard
2020 — conf
Deriving Distributive Laws for Graded Linear Types.
Linearity&TLLA@IJCAR-FSCD
Jack Hughes, Michael Vollmer, Dominic Orchard
2020 J jnl
Graded Hoare Logic and its Categorical Semantics.
CoRR
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Tetsuya Sato
2020 J jnl
Graded Modal Dependent Type Theory.
CoRR
Benjamin Moon, Harley Eades III, Dominic Orchard
2020 J jnl
Grading Adjoint Logic.
CoRR
Harley Eades III, Dominic Orchard
2020 J jnl
Guiding user annotations for units-of-measure verification.
CoRR
Dominic Orchard, Mistral Contrastin, Matthew Danish, Andrew Rice
2020 C conf
Resourceful Program Synthesis from Graded Linear Types.
LOPSTR
Jack Hughes, Dominic Orchard
2020 — conf
Unifying graded and parameterised monads.
MSFP@ETAPS
Dominic Orchard, Philip Wadler, Harley Eades III
2019 A conf
Composing Bidirectional Programs Monadically.
ESOP
Li-yao Xia, Dominic Orchard, Meng Wang
2019 J jnl
Composing bidirectional programs monadically (with appendices).
CoRR
Li-yao Xia, Dominic Orchard, Meng Wang
2019 — conf
Learning units-of-measure from scientific code.
SE4Science@ICSE
Matthew Danish, Miltiadis Allamanis, Marc Brockschmidt, Andrew C. Rice, Dominic Orchard
2019 — ed.
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019.
PLACES@ETAPS
Francisco Martins, Dominic Orchard
2019 J jnl
Quantitative program reasoning with graded modal types.
Proc. ACM Program. Lang.
Dominic Orchard, Vilem-Benjamin Liepelt, Harley Eades III