Sotabase

Career

· Technical Lead Digitalisation - Advanced Manufacturing Innovation Centre, Queen's University Belfast2024–
· Digital Engineer Data IIOT - Northern Ireland Technology Centre, Queen's University Belfast2021–
· PHD Student, Queen's University Belfast2017–2021
· Renewable Energy Engineer - Project Manager, Tyrone Fabrication Ltd2014–2017
· Postgraduate Diploma, Business and Management, William J Clinton Leadership Institute at Queens2014–2015
· Instrumentation And Communications Technician, Active Energy Control2013–2014
· Bachelor of Science (BSc), Sustainable Electrical Power Systems, Honours, Limerick Institute of Technology2012–2013
· Fitter, Inno Agencies2008–2011
· Sales Agent, Aida Sales & Marketing Pty Ltd2007–2007
· Labourer, EIRE CONTRACTORS PTY LTD2007–2007

Publications (37)

Verifying strong eventual consistency in distributed systems
Proc. ACM Program. Lang. · 2017
84
cited
An integrated concurrency and core-ISA architectural envelope definition, and test oracle, for IBM POWER multiprocessors
Micro · 2015
50
cited
Confidential Computing—a brave new world
Seed · 2021
38
cited
Lem
ACM SIGPLAN International Conference on Functional Programming · 2014
32
cited
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
Logic Journal of the IGPL · 2010
31
cited
Certified Complexity (CerCo)
International Workshop on Foundational and Practical Aspects of Resource Analysis · 2013
30
cited
A R Tif Ac T the Missing Link: Explaining Elf Static Linking, Semantically
26
cited
Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations
Micro · 2021
23
cited
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Proc. ACM Program. Lang. · 2023
21
cited
A highly-available move operation for replicated trees
IEEE Transactions on Parallel and Distributed Systems · 2021
19
cited
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques (vol 8, pg 769, 2010)
2012
16
cited
Two-level Lambda-calculus
Workshop on Functional and Constraint Logic Programming · 2009
13
cited
Interleaving anomalies in collaborative text editors
PaPoC@EuroSys · 2019
12
cited
Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets
International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice · 2011
12
cited
Universal algebra over lambda-terms and nominal terms: the connection in logic between nominal techniques and higher-order variables
International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice · 2009
11
cited
OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
arXiv.org · 2018
10
cited
One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations
Workshop on Logic, Language, Information and Computation · 2008
9
cited
A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Datatypes
Arch. Formal Proofs · 2017
8
cited
RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification
Micro · 2024
7
cited
Private Delegated Computations Using Strong Isolation
IEEE Transactions on Emerging Topics in Computing · 2022
6
cited
Sotabase
Dominic P. Mulligan | Researcher Profile | Sotabase | Sotabase