Dominic Mulligan
Dominic Mulligan
Senior Formal Verification Researcher, Arm Research
Verified email at arm.com - Homepage
TitleCited byYear
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
462014
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
322010
Permissive nominal terms and their unification
G Dowek, MJ Gabbay, DP Mulligan
Proceedings of the 24th Italian Conference on Computational Logic (CILC’09), 2009
232009
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
182013
Two-level lambda-calculus
MJ Gabbay, DP Mulligan
Electronic Notes in Theoretical Computer Science 246, 107-129, 2009
16*2009
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
142015
The missing link: explaining ELF static linking, semantically
S Kell, DP Mulligan, P Sewell
ACM SIGPLAN Notices 51 (10), 607-623, 2016
122016
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
MJ Gabbay, DP Mulligan
arXiv preprint arXiv:1111.0089, 2011
112011
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
112009
Verifying strong eventual consistency in distributed systems
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 109, 2017
102017
Certified complexity
R Armadio, A Asperti, N Ayache, B Campbell, D Mulligan, R Pollack, ...
Procedia Computer Science 7, 175-177, 2011
102011
Semantic nominal terms
MJ Gabbay, DP Mulligan
2nd International Workshop on Theory and Applications of Abstraction …, 2009
72009
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
A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Data types
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
Archive of Formal Proofs, 2017
62017
On the correctness of an optimising assembler for the intel mcs-51 microprocessor
DP Mulligan, CS Coen
International Conference on Certified Programs and Proofs, 43-59, 2012
42012
The λμ-calculus
C Matache, VBF Gomes, DP Mulligan
Archive of Formal Proofs, 2017
12017
Extensions of nominal terms
DP Mulligan
Heriot-Watt University, 2011
12011
Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms
MJ Gabbay, DP Mulligan
Information and Computation 208 (3), 230-258, 2010
12010
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
2018
Verifying Strong Eventual Consistency for Conflict-free Replicated Data Types
VBF Gomes, M Kleppmann, DP Mulligan, AR Beresford
25th Automated Reasoning Workshop, 25, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20