Registered user since Tue 12 Aug 2014

Name: Dominique Devriese

Country: Belgium

Affiliation: iMinds - Distrinet, KU Leuven

Personal website: https://distrinet.cs.kuleuven.be/people/dominiqu

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

POPL 2017 Activities

• Presenter of Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing within the SCM-track in SCM 2017
• Committee Member in Organizing Committee for SCM 2017
• Author of Lifting proof-relevant unification to higher dimensions within the CPP-track in CPP 2017
• Show activities from other conferences