Dominique Devriese

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Registered user since Tue 12 Aug 2014

Name:Dominique Devriese

Country:Belgium

Affiliation:Vrije Universiteit Brussel, Belgium

Research interests:Functional Programming, Object Capabilities, Secure Compilation, Dependently-typed Programming

Contributions

POPL 2019	Committee Member in Selection Committee within the Student Research Competition-track StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
PriSC 2019	PC Co-Chair in Program Committee within the PriSC 2019-track Session Chair of Session 2 (part of PriSC 2019) Committee Member in Organizing Committee within the PriSC 2019-track
Show activities from other conferences