Travelled to:1 × Sweden
Collaborated with:P.Sewell S.Kell V.B.F.Gomes Martin Kleppmann A.R.Beresford S.Owens K.E.Gray T.Ridge
Talks about:semant (2) link (2) distribut (1) reusabl (1) explain (1) consist (1) verifi (1) system (1) strong (1) static (1)
Person: Dominic P. Mulligan
DBLP: Mulligan:Dominic_P=
Contributed to:
2014
20162017Wrote 3 papers:
- ICFP-2014-MulliganOGRS #named #reuse #semantics
- Lem: reusable engineering of real-world semantics (DPM, SO, KEG, TR, PS), pp. 175–188.
- OOPSLA-2016-KellMS #semantics
- The missing link: explaining ELF static linking, semantically (SK, DPM, PS), pp. 607–623.
- OOPSLA-2017-GomesKMB #consistency #distributed #verification
- Verifying strong eventual consistency in distributed systems (VBFG, MK, DPM, ARB), p. 28.