Not registered as user yet

Name: Frank Piessens

Affiliation: KU Leuven

Contributions

ProWeb'19Committee Member in Program Committee within the ProWeb'19-track
PriSC 2019Committee Member in Program Committee within the PriSC 2019-track
ICFP 2019Author of Linear capabilities for fully abstract compilation of separation-logic-verified code within the Research Papers-track
ProWeb 2018Committee 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 2018Committee 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 2017Author of FRP IoT Modules as a Scala DSL within the REBELS-track
ProWeb 2017Committee 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 2018Author of Parametricity versus the Universal Type within the Research Papers-track
MASS 2016Author of Session II: Modular Real-Time Systems - Towards Availability and Real-Time Guarantees for Protected Module Architectures within the MASS 2016-track
ICFP 2016Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track
POPL 2016Author 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 2015Committee Member in Program Committee within the PLAS-track
GPCE 2015Author of Generating Safe Boundary APIs between Typed EDSLs and their Environments within the GPCE-track
ESOP 2015Author of Sound, modular and compositional verification of the input/output behavior of programs within the ESOP-track
Onward! 2014Author of Multi-tier Functional Reactive Programming for the Web within the Onward! Papers-track