APLAS 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
Dominique Devriese

Registered user since Tue 12 Aug 2014

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


SPLASH 2022 Plausible sealing for gradual parametricity
Purity of an ST monad: full abstraction by semantically typed back-translation
Session Chair of Verification (part of OOPSLA)
Show activities from other conferences

SPLASH 2022-profile
View general profile