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

	
		OSZAR »