Dominique Devriese

Registered user since Tue 12 Aug 2014

Name: Dominique Devriese

Country: Belgium

Affiliation: Vrije Universiteit Brussel

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

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

Contributions

PriSC 2020	Committee Member in Steering Committee within the Principles of Secure Compilation 2020-track Presenter of PriSC Introduction within the Principles of Secure Compilation 2020-track Program Co-Chair in Program Committee within the Principles of Secure Compilation 2020-track
WGT 2020	Author of Fully Abstract from Static to Gradual within the WGT-track
CPP 2020	Committee Member in Program Committee within the CPP 2020-track
POPL 2020	Session Chair of Type Systems (part of Research Papers) Session Chair of Types and Effects (part of Research Papers) Committee Member in Program Committee within the Research Papers-track
Show activities from other conferences