Dominic P. Mulligan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Nitro Isolation Engine: Formally Verifying a Production Hypervisor (Invited Talk). | Hanno Becker, Nathan Chong, Robert Dockins, Jim Grundy, Jason Z. S. Hu, Ike Mulder, Dominic P. Mulligan, Paul Mure, Bryan Parno, Lawrence C. Paulson, Konrad Slind |
| 2024 | MICRO | RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification. | Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel |
| 2023 | PERCOM | Privacy-Preserving Object Detection with Veracruz. | 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 |
| 2021 | MICRO | Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations. | Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel |
| 2019 | EuroSys | Interleaving anomalies in collaborative text editors. | Martin Kleppmann, Victor B. F. Gomes, Dominic P. Mulligan, Alastair R. Beresford |
| 2017 | APLAS | Programming and Proving with Classical Types. | Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan |
| 2016 | OOPSLA | The missing link: explaining ELF static linking, semantically. | Stephen Kell, Dominic P. Mulligan, Peter Sewell |
| 2015 | MICRO | 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 |
| 2014 | ICFP | Lem: reusable engineering of real-world semantics. | Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell |
| 2012 | CPP | On the Correctness of an Optimising Assembler for the Intel MCS-51 Microprocessor. | Dominic P. Mulligan, Claudio Sacerdoti Coen |
| 2008 | WoLLIC | One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations. | Murdoch Gabbay, Dominic P. Mulligan |