SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Dominique Devriese

Registered user since Tue 12 Aug 2014

Name:Dominique Devriese
Country:Belgium
Affiliation:KU Leuven
Research interests:Secure Compilation, ISA Security Primitives, Capability Machines, Functional Programming, Dependently-typed Programming

Contributions

SPLASH 2022 Plausible sealing for gradual parametricity
Purity of an ST monad: full abstraction by semantically typed back-translation
Show activities from other conferences

Using general profile