Dominic P. Mulligan

According to our database, Dominic P. Mulligan authored at least 30 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Private Delegated Computations Using Strong Isolation.

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

IEEE Trans. Emerg. Top. Comput., 2024

2023

A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations.

Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong

Proc. ACM Program. Lang., April, 2023

A modest proposal: explicit support for foundational pluralism.

Martin Berger, Dominic P. Mulligan

CoRR, 2023

Privacy-Preserving Object Detection with Veracruz.

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

Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2023

2022

A Highly-Available Move Operation for Replicated Trees.

Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes, Alastair R. Beresford

IEEE Trans. Parallel Distributed Syst., 2022

The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code).

Dominic P. Mulligan, Nick Spinale

CoRR, 2022

All Watched Over by Machines of Loving Grace.

Dominic P. Mulligan

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022

2021

Confidential Computing - a brave new world.

Dominic P. Mulligan, Gustavo Petri, Nick Spinale, Gareth Stockwell, Hugo J. M. Vincent

Proceedings of the 2021 International Symposium on Secure and Private Execution Environment Design (SEED), 2021

Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations.

Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2019

Interleaving anomalies in collaborative text editors.

Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

2018

OpSets: Sequential Specifications for Replicated Datatypes (Extended Version).

Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford

CoRR, 2018

OpSets: Sequential Specifications for Replicated Datatypes.

Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford

Arch. Formal Proofs, 2018

2017

Verifying strong eventual consistency in distributed systems.

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford

Proc. ACM Program. Lang., 2017

The LambdaMu-calculus.

Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan

Arch. Formal Proofs, 2017

A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes.

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford

Arch. Formal Proofs, 2017

Programming and Proving with Classical Types.

Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

The missing link: explaining ELF static linking, semantically.

Stephen Kell, Dominic P. Mulligan, Peter Sewell

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.

Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell

Proceedings of the 48th International Symposium on Microarchitecture, 2015

2014

Lem: reusable engineering of real-world semantics.

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Certified Complexity (CerCo).

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

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258].

Murdoch James Gabbay, Dominic P. Mulligan

Inf. Comput., 2012

On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor.

Dominic P. Mulligan, Claudio Sacerdoti Coen

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

Extensions of nominal terms.

Dominic P. Mulligan

PhD thesis, 2011

Certified Complexity.

R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets

Murdoch James Gabbay, Dominic P. Mulligan

Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011

2010

Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.

Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan

Log. J. IGPL, 2010

Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms.

Murdoch James Gabbay, Dominic P. Mulligan

Inf. Comput., 2010

2009

Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables.

Murdoch James Gabbay, Dominic P. Mulligan

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2008

Two-level Lambda-calculus.

Murdoch James Gabbay, Dominic P. Mulligan

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.

Murdoch Gabbay, Dominic P. Mulligan

Proceedings of the Logic, 2008