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
1172014
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
872017
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
542015
Certified complexity (cerco)
RM Amadio, N Ayache, F Bobot, JP Boender, B Campbell, I Garnier, ...
Foundational and Practical Aspects of Resource Analysis: Third International …, 2014
482014
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
402010
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
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
302021
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
Encoding of input to storage circuitry
AD Reid, DP Mulligan, M Meriac, ML Boettcher, NYS Chong, IM Caulfield, ...
US Patent 11,126,714, 2021
232021
A highly-available move operation for replicated trees
M Kleppmann, DP Mulligan, VBF Gomes, AR Beresford
IEEE Transactions on Parallel and Distributed Systems 33 (7), 1711-1724, 2021
18*2021
Two-level lambda-calculus
MJ Gabbay, DP Mulligan
Electronic Notes in Theoretical Computer Science 246, 107-129, 2009
17*2009
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
152019
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
142021
Opsets: Sequential specifications for replicated datatypes (extended version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
122018
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
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
Semantic nominal terms
MJ Gabbay, DP Mulligan
2nd International Workshop on Theory and Applications of Abstraction …, 2009
82009
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
The system can't perform the operation now. Try again later.
Articles 1–20