Dominic Mulligan
Dominic Mulligan
Senior Research Engineer, Arm Research
Verified email at - 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
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
Permissive nominal terms and their unification
G Dowek, MJ Gabbay, DP Mulligan
Proceedings of the 24th Italian Conference on Computational Logic (CILC’09), 2009
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
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
Two-level lambda-calculus
MJ Gabbay, DP Mulligan
Electronic Notes in Theoretical Computer Science 246, 107-129, 2009
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
The missing link: explaining ELF static linking, semantically
S Kell, DP Mulligan, P Sewell
ACM SIGPLAN Notices 51 (10), 607-623, 2016
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
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
MJ Gabbay, DP Mulligan
arXiv preprint arXiv:1111.0089, 2011
Certified complexity
R Armadio, A Asperti, N Ayache, B Campbell, D Mulligan, R Pollack, ...
Procedia Computer Science 7, 175-177, 2011
Semantic nominal terms
MJ Gabbay, DP Mulligan
2nd International Workshop on Theory and Applications of Abstraction …, 2009
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
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
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
The λμ-calculus
C Matache, VBF Gomes, DP Mulligan
Archive of Formal Proofs 2017, 2017
Extensions of nominal terms
DP Mulligan
Heriot-Watt University, 2011
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
Interleaving anomalies in collaborative text editors
M Kleppmann, V Borges Ferreira Gomes, DP Mulligan, A Beresford
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
The system can't perform the operation now. Try again later.
Articles 1–20