Dominic P. Mulligan

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 20

Top Venues

CoRR

Arch. Formal Proofs

Proc. ACM Program. Lang.

MICRO

Heriot-Watt University, Edinburgh, UK (PHD)

Education History

Heriot-Watt University, Edinburgh, UK

PHD

Publications

Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric Van Hensbergen, Hugo J. M. Vincent, Shale Xiong
Private Delegated Computations Using Strong Isolation. IEEE Trans. Emerg. Top. Comput. 12 (1) (2024)
Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. CoRR (2023)
Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Mathias Brossard, Guilhem Bryant, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Derek Miller, Dominic P. Mulligan, Hugo J. M. Vincent, Shale Xiong, Lei Xu
Privacy-Preserving Object Detection with Veracruz. PerCom Workshops (2023)
Martin Berger, Dominic P. Mulligan
A modest proposal: explicit support for foundational pluralism. CoRR (2023)
Dominic P. Mulligan, Nick Spinale
The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code). CoRR (2022)
Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric Van Hensbergen, Hugo J. M. Vincent, Shale Xiong
Private delegated computations using strong isolation. CoRR (2022)
Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes, Alastair R. Beresford
A Highly-Available Move Operation for Replicated Trees. IEEE Trans. Parallel Distributed Syst. 33 (7) (2022)
Dominic P. Mulligan
All Watched Over by Machines of Loving Grace. TYPES (2022)
Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations. MICRO (2021)
Dominic P. Mulligan, Gustavo Petri, Nick Spinale, Gareth Stockwell, Hugo J. M. Vincent
Confidential Computing - a brave new world. SEED (2021)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
Interleaving anomalies in collaborative text editors. PaPoC@EuroSys (2019)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version). CoRR (2018)
Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
OpSets: Sequential Specifications for Replicated Datatypes. Arch. Formal Proofs 2018 (2018)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
Verifying strong eventual consistency in distributed systems. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
Verifying Strong Eventual Consistency in Distributed Systems. CoRR (2017)
Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
Programming and Proving with Classical Types. APLAS (2017)
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes. Arch. Formal Proofs 2017 (2017)
Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
The LambdaMu-calculus. Arch. Formal Proofs 2017 (2017)
Stephen Kell, Dominic P. Mulligan, Peter Sewell
The missing link: explaining ELF static linking, semantically. OOPSLA (2016)
Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. MICRO (2015)
Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell
Lem: reusable engineering of real-world semantics. ICFP (2014)
Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
Certified Complexity (CerCo). FOPARA (2013)
Murdoch James Gabbay, Dominic P. Mulligan
Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258]. Inf. Comput. 212 (2012)
Dominic P. Mulligan, Claudio Sacerdoti Coen
On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor. CPP (2012)
R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
Certified Complexity. FET (2011)
Murdoch James Gabbay, Dominic P. Mulligan
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets LFMTP (2011)
Murdoch James Gabbay, Dominic P. Mulligan
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. Inf. Comput. 208 (3) (2010)
Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. Log. J. IGPL 18 (6) (2010)
Murdoch James Gabbay, Dominic P. Mulligan
Two-level Lambda-calculus. Electron. Notes Theor. Comput. Sci. 246 (2009)
Murdoch James Gabbay, Dominic P. Mulligan
Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables. LFMTP (2009)
Murdoch Gabbay, Dominic P. Mulligan
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. WoLLIC (2008)

Dominic P. Mulligan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Dominic P. Mulligan