Not registered as user yet

Name: Frank Piessens

Affiliation: KU Leuven

Contributions

PriSC 2021 Author of A Categorical Approach to Secure Compilation (and others things) (short talk) within the PriSC 2021-track
‹Programming› 2021 Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track
PriSC 2020 Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track
ICFP 2020 Committee Member in Program Committee within the ICFP Program-track
‹Programming› 2020 Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track
ProWeb'19 Committee Member in Program Committee within the ProWeb'19-track
PriSC 2019 Committee Member in Program Committee within the PriSC 2019-track
ICFP 2019 Author of Linear capabilities for fully abstract compilation of separation-logic-verified code within the Research Papers-track
ProWeb 2018 Committee Member in Program Committee within the ProWeb 2018-track
Author of Scalagna 0.1: Towards Multi-tier Programming with Scala and Scala.js within the ProWeb 2018-track
PriSC 2018 Committee Member in Program Committee within the PriSC 2018-track
Author of Linear capabilities for modular fully-abstract compilation of verified code within the PriSC 2018-track
REBLS 2017 Author of FRP IoT Modules as a Scala DSL within the REBELS-track
ProWeb 2017 Committee Member in Program Committee within the ProWeb 2017-track
Author of Experience Report: Functional Reactive Programming and the DOM within the ProWeb 2017-track
POPL 2018 Author of Parametricity versus the Universal Type within the Research Papers-track
MASS 2016 Author of Session II: Modular Real-Time Systems - Towards Availability and Real-Time Guarantees for Protected Module Architectures within the MASS 2016-track
ICFP 2016 Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track
POPL 2016 Author of Fully-Abstract Compilation by Approximate Back-Translation within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Committee Member in Program Committee
PLAS 2015 Committee Member in Program Committee within the PLAS-track
GPCE 2015 Author of Generating Safe Boundary APIs between Typed EDSLs and their Environments within the GPCE-track
ESOP 2015 Author of Sound, modular and compositional verification of the input/output behavior of programs within the ESOP-track
Onward! 2014 Author of Multi-tier Functional Reactive Programming for the Web within the Onward! Papers-track