Concepedia

Dominic P. Mulligan

DP

Statistics

Publications

14

Citations

336

H-Index

12

Active since

2009

Affiliations

University of Cambridge(Current)

ARM (United Kingdom)

University of Leicester

University of Kent

Dominic P. Mulligan is an author at University of Cambridge specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningLanguageSemanticsProgram AnalysisFormal VerificationSoftware EngineeringLinguistics

Publications per year

2009–2023

14

Publications

14

Lem

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray et al. · 2014 · 76 citations · Full text

Engineering, Verification, Software Engineering +17

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

Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan et al. · 2015 · 42 citations · Full text

Engineering, Computer Architecture, Software Engineering +22

Confidential Computing—a brave new world

Dominic P. Mulligan, Gustavo Petri, Nick Spinale et al. · 2021 · 41 citations

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

Gilles Dowek, Murdoch J. Gabbay, Dominic P. Mulligan · Logic Journal of IGPL · 2010 · 21 citations · Full text

A Highly-Available Move Operation for Replicated Trees

Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes et al. · IEEE Transactions on Parallel and Distributed Systems · 2021 · 21 citations · Full text

Different Replicas, Cluster Computing, Distributed File System +22

1–5 of 14