Dominique Devriese

Registered user since Tue 12 Aug 2014

Name:Dominique Devriese

Country:Belgium

Affiliation:Vrije Universiteit Brussel

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 PriSC Introduction Program Co-Chair in Program Committee within the Principles of Secure Compilation 2020-track
WGT 2020	Fully Abstract from Static to Gradual
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