Dominique Devriese - POPL 2019

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

Personal website: http://soft.vub.ac.be/~dodevrie/

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

Contributions

2019

POPL

Committee Member in Selection Committee within the Student Research Competition-track
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

PriSC

Show activities from other conferences

POPL 2019-profile
View general profile