Dominic P. Mulligan

36 papers A* 3A 2B 2C 1Journal 18Unranked 9

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Careful Whisper: Attestation for peer-to-peer Confidential Computing networks. CoRR Ceren Kocaogullar, Gustavo Petri, Dominic P. Mulligan, Derek Miller, Hugo J. M. Vincent, Shale Xiong, Alastair R. Beresford
2024	J	`jnl`	Private Delegated Computations Using Strong Isolation. IEEE Trans. Emerg. Top. Comput. Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric Van Hensbergen, Hugo J. M. Vincent, Shale Xiong
2024	A*	`conf`	RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification. MICRO Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel
2024	J	`jnl`	RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification. CoRR Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel
2023	J	`jnl`	A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. Proc. ACM Program. Lang. Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
2023	J	`jnl`	A modest proposal: explicit support for foundational pluralism. CoRR Martin Berger, Dominic P. Mulligan
2023	J	`jnl`	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. CoRR Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan
2023	—	`conf`	Privacy-Preserving Object Detection with Veracruz. PerCom Workshops Mathias Brossard, Guilhem Bryant, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Derek Miller, Dominic P. Mulligan, Hugo J. M. Vincent, Shale Xiong, Lei Xu
2022	J	`jnl`	A Highly-Available Move Operation for Replicated Trees. IEEE Trans. Parallel Distributed Syst. Martin Kleppmann, Dominic P. Mulligan, Victor B. F. Gomes, Alastair R. Beresford
2022	—	`conf`	All Watched Over by Machines of Loving Grace. TYPES Dominic P. Mulligan
2022	J	`jnl`	Private delegated computations using strong isolation. CoRR Mathias Brossard, Guilhem Bryant, Basma El Gaabouri, Xinxin Fan, Alexandre Ferreira, Edmund Grimley-Evans, Christopher Haster, Evan Johnson, Derek Miller, Fan Mo, Dominic P. Mulligan, Nick Spinale, Eric Van Hensbergen, Hugo J. M. Vincent, Shale Xiong
2022	J	`jnl`	The Supervisionary proof-checking kernel (or: a work-in-progress towards proof generating code). CoRR Dominic P. Mulligan, Nick Spinale
2021	—	`conf`	Confidential Computing - a brave new world. SEED Dominic P. Mulligan, Gustavo Petri, Nick Spinale, Gareth Stockwell, Hugo J. M. Vincent
2021	A*	`conf`	Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations. MICRO Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel
2019	—	`conf`	Interleaving anomalies in collaborative text editors. PaPoC@EuroSys Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
2018	J	`jnl`	OpSets: Sequential Specifications for Replicated Datatypes (Extended Version). CoRR Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
2018	J	`jnl`	OpSets: Sequential Specifications for Replicated Datatypes. Arch. Formal Proofs Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford
2017	J	`jnl`	A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes. Arch. Formal Proofs Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
2017	B	`conf`	Programming and Proving with Classical Types. APLAS Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
2017	J	`jnl`	The LambdaMu-calculus. Arch. Formal Proofs Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan
2017	J	`jnl`	Verifying Strong Eventual Consistency in Distributed Systems. CoRR Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
2017	J	`jnl`	Verifying strong eventual consistency in distributed systems. Proc. ACM Program. Lang. Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford
2016	A	`conf`	The missing link: explaining ELF static linking, semantically. OOPSLA Stephen Kell, Dominic P. Mulligan, Peter Sewell
2015	A*	`conf`	An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors. MICRO Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell
2014	A	`conf`	Lem: reusable engineering of real-world semantics. ICFP Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell
2013	—	`conf`	Certified Complexity (CerCo). FOPARA Roberto M. Amadio, Nicholas Ayache, François Bobot, Jaap Boender, Brian Campbell, Ilias Garnier, Antoine Madet, James McKinna, Dominic P. Mulligan, Mauro Piccolo, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark, Paolo Tranquilli
2012	J	`jnl`	Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258]. Inf. Comput. Murdoch James Gabbay, Dominic P. Mulligan
2012	B	`conf`	On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor. CPP Dominic P. Mulligan, Claudio Sacerdoti Coen
2011	—	`conf`	Certified Complexity. FET R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark
2011	—	`—`	Extensions of nominal terms. Dominic P. Mulligan
2011	—	`conf`	Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets LFMTP Murdoch James Gabbay, Dominic P. Mulligan
2010	J	`jnl`	Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms. Inf. Comput. Murdoch James Gabbay, Dominic P. Mulligan
2010	J	`jnl`	Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. Log. J. IGPL Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan
2009	—	`conf`	Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables. LFMTP Murdoch James Gabbay, Dominic P. Mulligan
2008	C	`conf`	One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. WoLLIC Murdoch Gabbay, Dominic P. Mulligan
2008	—	`conf`	Two-level Lambda-calculus. WFLP Murdoch James Gabbay, Dominic P. Mulligan