Dominique Devriese -

Registered user since Tue 12 Aug 2014

Name:Dominique Devriese

Country:Belgium

Affiliation:KU Leuven

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

Research interests:Secure Compilation, ISA Security Primitives, Capability Machines, Functional Programming, Dependently-typed Programming

Contributions

2025

ICFP

POPL

Author of BiSikkel: A Multimode Logical Framework in Agda within the POPL-track

2024

POPL

PriSC

Author of Secure Calling Conventions for CHERI Capability Machines in Practice (Work in Progress) within the PriSC 2024-track
Steering Committee Member in Steering Committee within the PriSC 2024-track
Session Chair of Session 4 (part of PriSC 2024)

POCL

2023

SPLASH

PC Member in OOPSLA Review Committee within the OOPSLA-track

PriSC

2022

SPLASH

ICFP

Author of Verified Symbolic Execution with Kripke Specification Monads (and no Meta-Programming) within the ICFP Papers and Events-track

PLDI

PriSC

Committee Member in Steering Committee within the PriSC 2022-track

2021

ICFP

Author of Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation) within the Research Papers-track

Haskell

Committee Member in Program Committee within the Haskell 2021-track

HIW

Committee Member in Program Committee within the HIW 2021-track

‹Programming›

Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track

POPL

CoqPL

Committee Member in Program Committee within the CoqPL-track

PriSC

2020

TyDe

Author of Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract) within the TyDe 2020-track

IWACO

Committee Member in Program Committee within the IWACO-track

DeepSpec

Author of Katamaran: semi-automated verification of ISA specifications within the REMS-DeepSpec 2020-track

‹Programming›

Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track

CPP

Committee Member in Program Committee within the CPP 2020-track

POPL

PriSC

WGT

Author of Fully Abstract from Static to Gradual within the WGT-track

2019

SPLASH

Haskell

Author of Modular effects in Haskell through effect polymorphism and explicit dictionary applications - A new approach and the μVeriFast verifier as a case study within the Haskell 2019-track

HIW

Author of Explicit Dictionary Applications - From Theory to Practice? within the HIW 2019-track

ICFP

TyDe

POPL

PriSC

2018

PLNL

Author of Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory within the PLNL-track

REBLS

Committee Member in Program Committee within the REBLS 2018-track

Haskell

Author of Coherent Explicit Dictionary Application for Haskell within the Haskell 2018-track

ProWeb

Author of Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js within the ProWeb 2018-track

POPL

Author of Parametricity versus the Universal Type within the Research Papers-track

PriSC

2017

REBLS

ICFP

ProWeb

Author of Experience Report: Functional Reactive Programming and the DOM within the ProWeb 2017-track

CPP

Author of Lifting proof-relevant unification to higher dimensions within the CPP-track

SCM

2016

REBLS

Committee Member in Program Committee within the REBLS-track

ICFP

HOPE

Committee Member in Program Committee within the HOPE-track

ECOOP

Committee Member in Program Committee within the Research Track-track

POPL

Author of Fully-Abstract Compilation by Approximate Back-Translation within the Research Papers-track

2015

REBLS

Committee Member in Program Committee within the REBLS-track

GPCE

Author of Generating Safe Boundary APIs between Typed EDSLs and their Environments within the GPCE-track

2014

Onward!

Author of Multi-tier Functional Reactive Programming for the Web within the Onward! Papers-track