Follow
Dominic Mulligan
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Verified email at amazon.co.uk - Homepage
Title
Cited by
Cited by
Year
Lem: reusable engineering of real-world semantics
DP Mulligan, S Owens, KE Gray, T Ridge, P Sewell
ACM SIGPLAN Notices 49 (9), 175-188, 2014
942014
Verifying strong eventual consistency in distributed systems
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
632017
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors
KE Gray, G Kerneis, D Mulligan, C Pulte, S Sarkar, P Sewell
Proceedings of the 48th International Symposium on Microarchitecture, 635-646, 2015
442015
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
G Dowek, MJ Gabbay, DP Mulligan
Logic Journal of IGPL 18 (6), 769-822, 2010
412010
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
International Workshop on Foundational and Practical Aspects of Resource …, 2013
402013
The missing link: explaining ELF static linking, semantically
S Kell, DP Mulligan, P Sewell
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
312016
Permissive nominal terms and their unification
G Dowek, MJ Gabbay, DP Mulligan
Proceedings of the 24th Italian Conference on Computational Logic (CILC’09), 2009
242009
Two-level lambda-calculus
MJ Gabbay, DP Mulligan
Electronic Notes in Theoretical Computer Science 246, 107-129, 2009
17*2009
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
MJ Gabbay, DP Mulligan
arXiv preprint arXiv:1111.0089, 2011
122011
Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables
MJ Gabbay, DP Mulligan
Proceedings of the Fourth International Workshop on Logical Frameworks and …, 2009
122009
Certified complexity
R Armadio, A Asperti, N Ayache, B Campbell, D Mulligan, R Pollack, ...
Procedia Computer Science 7, 175-177, 2011
102011
Interleaving anomalies in collaborative text editors
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
Proceedings of the 6th Workshop on Principles and Practice of Consistency …, 2019
92019
A framework for establishing strong eventual consistency for conflict-free replicated datatypes
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Archive of Formal Proofs 2017, 2017
92017
A highly-available move operation for replicated trees and distributed filesystems
M Kleppmann, DP Mulligan, VBF Gomes, AR Beresford
Work-in-progress draft. University of Cambridge, 33, 2020
8*2020
Semantic nominal terms
MJ Gabbay, DP Mulligan
2nd International Workshop on Theory and Applications of Abstraction …, 2009
82009
OpSets: Sequential specifications for replicated datatypes (extended version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
72018
One-and-a-halfth order terms: Curry-Howard and incomplete derivations
MJ Gabbay, DP Mulligan
International Workshop on Logic, Language, Information, and Computation, 179-193, 2008
72008
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations
Y Hsiao, DP Mulligan, N Nikoleris, G Petri, C Trippel
MICRO-54: 54th Annual IEEE/ACM International Symposium on Microarchitecture …, 2021
62021
Confidential Computing—a brave new world
DP Mulligan, G Petri, N Spinale, G Stockwell, HJM Vincent
2021 international symposium on secure and private execution environment …, 2021
62021
On the correctness of an optimising assembler for the intel mcs-51 microprocessor
DP Mulligan, C Sacerdoti Coen
International Conference on Certified Programs and Proofs, 43-59, 2012
42012
The system can't perform the operation now. Try again later.
Articles 1–20