1 × Sweden
P.Sewell S.Kell V.B.F.Gomes Martin Kleppmann A.R.Beresford S.Owens K.E.Gray T.Ridge
semant (2) link (2) distribut (1) reusabl (1) explain (1) consist (1) verifi (1) system (1) strong (1) static (1)
Person: Dominic P. Mulligan
Wrote 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.