Segui
Dominic Mulligan
Dominic Mulligan
Principal Applied Scientist, Amazon Web Services
Email verificata su amazon.co.uk - Home page
Titolo
Citata da
Citata da
Anno
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
1242014
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
1012017
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
662015
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
562021
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
502014
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
422010
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
352016
Encoding of input to storage circuitry
AD Reid, DP Mulligan, M Meriac, ML Boettcher, NYS Chong, IM Caulfield, ...
US Patent 11,126,714, 2021
342021
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
23*2021
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
222021
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
182019
Two-level lambda-calculus
MJ Gabbay, DP Mulligan
Electronic Notes in Theoretical Computer Science 246, 107-129, 2009
17*2009
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
152023
OpSets: Sequential specifications for replicated datatypes (extended version)
M Kleppmann, VBF Gomes, DP Mulligan, AR Beresford
arXiv preprint arXiv:1805.04263, 2018
132018
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
132009
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
MJ Gabbay, DP Mulligan
arXiv preprint arXiv:1111.0089, 2011
122011
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20