Dominic P. Mulligan

According to our database, Dominic P. Mulligan authored at least 21 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Interleaving anomalies in collaborative text editors.

Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford

Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, 2019

2018

OpSets: Sequential Specifications for Replicated Datatypes (Extended Version).

Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford

CoRR, 2018

OpSets: Sequential Specifications for Replicated Datatypes.

Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford

Arch. Formal Proofs, 2018

2017

Verifying strong eventual consistency in distributed systems.

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford

Proc. ACM Program. Lang., 2017

The LambdaMu-calculus.

Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan

Arch. Formal Proofs, 2017

A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes.

Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, Alastair R. Beresford

Arch. Formal Proofs, 2017

Programming and Proving with Classical Types.

Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

The missing link: explaining ELF static linking, semantically.

Stephen Kell, Dominic P. Mulligan, Peter Sewell

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors.

Kathryn E. Gray, Gabriel Kerneis, Dominic P. Mulligan, Christopher Pulte, Susmit Sarkar, Peter Sewell

Proceedings of the 48th International Symposium on Microarchitecture, 2015

2014

Lem: reusable engineering of real-world semantics.

Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

2013

Certified Complexity (CerCo).

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

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

Corrigendum to "Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms" [Inf.Comput.208(3)(2010) 230-258].

Murdoch James Gabbay, Dominic P. Mulligan

Inf. Comput., 2012

On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor.

Dominic P. Mulligan, Claudio Sacerdoti Coen

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

Extensions of nominal terms.

Dominic P. Mulligan

PhD thesis, 2011

Certified Complexity.

R. Armadio, Andrea Asperti, Nicholas Ayache, Brian Campbell, Dominic P. Mulligan, Randy Pollack, Yann Régis-Gianas, Claudio Sacerdoti Coen, Ian Stark

Proceedings of the 2nd European Future Technologies Conference and Exhibition, 2011

Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets

Murdoch James Gabbay, Dominic P. Mulligan

Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011

2010

Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques.

Gilles Dowek, Murdoch James Gabbay, Dominic P. Mulligan

Log. J. IGPL, 2010

Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms.

Murdoch James Gabbay, Dominic P. Mulligan

Inf. Comput., 2010

2009

Two-level Lambda-calculus.

Murdoch James Gabbay, Dominic P. Mulligan

Electron. Notes Theor. Comput. Sci., 2009

Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables.

Murdoch James Gabbay, Dominic P. Mulligan

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2008

One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations.

Murdoch Gabbay, Dominic P. Mulligan

Proceedings of the Logic, 2008