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 2022 Committee Member in Steering Committee within the PriSC 2022-track
WGT 2022 Committee Member in Program Committee within the WGT-track
HIW 2021 Committee Member in Program Committee within the HIW 2021-track
Haskell 2021 Committee Member in Program Committee within the Haskell 2021-track
CoqPL 2021 Committee Member in Program Committee within the CoqPL-track
PriSC 2021 Author of A Categorical Approach to Secure Compilation (and others things) (short talk) within the PriSC 2021-track
Committee Member in Steering Committee within the PriSC 2021-track
TyDe 2020 Author of Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract) within the TyDe 2020-track
POPL 2021 Author of On the Semantic Expressiveness of Recursive Types within the POPL-track
Author of Efficient and Provable Local Capability Revocation using Uninitialized Capabilities within the POPL-track
Author of Fully Abstract from Static to Gradual within the POPL-track
IWACO 2020 Committee Member in Program Committee within the IWACO-track
REMS-DeepSpec 2020 Author of Katamaran: semi-automated verification of ISA specifications within the REMS-DeepSpec 2020-track
‹Programming› 2021 Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track
ICFP 2021 Author of Leibniz equality is isomorphic to Martin-Löf identity, parametrically (JFP Presentation) within the Research Papers-track
PriSC 2020 Committee Member in Steering Committee within the Principles of Secure Compilation 2020-track
Presenter of PriSC Introduction within the Principles of Secure Compilation 2020-track
Program Co-Chair in Program Committee within the Principles of Secure Compilation 2020-track
WGT 2020 Author of Fully Abstract from Static to Gradual within the WGT-track
CPP 2020 Committee Member in Program Committee within the CPP 2020-track
‹Programming› 2020 Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track
HIW 2019 Author of Explicit Dictionary Applications - From Theory to Practice? within the HIW 2019-track
Haskell 2019 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
TyDe 2019 Author of Reasoning about Effect Parametricity Using Dependent Types within the TyDe 2019-track
Author of How to do proofs? Practically proving properties about effectful programs' results (functional pearl) within the TyDe 2019-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
PLNL 2018 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
PriSC 2019 PC Co-Chair in Program Committee within the PriSC 2019-track
Session Chair of Session 2 (part of PriSC 2019)
Committee Member in Organizing Committee within the PriSC 2019-track
SPLASH 2019 Author of Linear capabilities for CHERI within the SRC-track
Author of Linear capabilities for CHERI within the Posters-track
POPL 2019 Committee Member in Selection Committee within the Student Research Competition-track
Author of StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities within the Research Papers-track
REBLS 2018 Committee Member in Program Committee within the REBLS 2018-track
Haskell 2018 Author of Coherent Explicit Dictionary Application for Haskell within the Haskell 2018-track
ICFP 2019 Committee Member in External Review Committee within the Research Papers-track
Session Chair of Modal Types (part of Research Papers)
Author of Linear capabilities for fully abstract compilation of separation-logic-verified code within the Research Papers-track
ProWeb 2018 Author of Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js within the ProWeb 2018-track
PriSC 2018 Organizer in Organizing Committee within the PriSC 2018-track
Author of Linear capabilities for modular fully-abstract compilation of verified code within the PriSC 2018-track
Author of Enforcing Well-bracketed Control Flow and Stack Encapsulation using Linear Capabilities within the PriSC 2018-track
Committee Member in Program Committee within the PriSC 2018-track
Session Chair of Short Talks Session (part of PriSC 2018)
REBLS 2017 Committee Member in Program Committee within the REBELS-track
Author of FRP IoT Modules as a Scala DSL within the REBELS-track
ProWeb 2017 Author of Experience Report: Functional Reactive Programming and the DOM within the ProWeb 2017-track
SCM 2017 Presenter of Fully-Abstract Compilation of Parametric Polymorphism into Dynamic Sealing within the SCM-track
Committee Member in Organizing Committee within the SCM-track
ICFP 2017 Committee Member in Program Committee within the Research Papers-track
Author of Parametric Quantifiers for Dependent Type Theory within the Research Papers-track
POPL 2018 Author of Parametricity versus the Universal Type within the Research Papers-track
CPP 2017 Author of Lifting proof-relevant unification to higher dimensions within the CPP-track
REBLS 2016 Committee Member in Program Committee within the REBLS-track
HOPE 2016 Committee Member in Program Committee within the HOPE-track
ICFP 2016 Committee Member in External Review Committee within the Research Papers-track
Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track
ECOOP 2016 Committee Member in Program Committee within the Research Track-track
REBLS 2015 Committee Member in Program Committee within the REBLS-track
POPL 2016 Author of Fully-Abstract Compilation by Approximate Back-Translation within the Research Papers-track
GPCE 2015 Author of Generating Safe Boundary APIs between Typed EDSLs and their Environments within the GPCE-track
Onward! 2014 Author of Multi-tier Functional Reactive Programming for the Web within the Onward! Papers-track