Folgen
Dominic Mulligan
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Bestätigte E-Mail-Adresse bei amazon.co.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
1162014
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
842017
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
512015
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
452014
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
242021
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
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
17*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
142019
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
132021
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
Opsets: Sequential specifications for replicated datatypes (extended version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
112018
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
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
ACJ Fox, G Stockwell, S Xiong, H Becker, DP Mulligan, G Petri, N Chong
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 376-405, 2023
42023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20