Registered user since Tue 12 Aug 2014
Name:Dominique Devriese
Country:Belgium
Affiliation:KU Leuven
Personal website: https://distrinet.cs.kuleuven.be/people/dominiqu
Research interests:Functional Programming, Object Capabilities, Secure Compilation, Dependently-typed Programming
Contributions
2018
PriSC
- Organizer in Organizing Committee within the PriSC 2018-track
- Linear capabilities for modular fully-abstract compilation of verified code
- Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities
- Committee Member in Program Committee within the PriSC 2018-track
- Session Chair of Short Talks Session (part of PriSC 2018)
POPL 2018-profile
View general profile
View general profile