Frank Piessens -

Registered user since Tue 22 Jun 2021

Name:Frank Piessens

Affiliation:KU Leuven

Contributions

PriSC 2022	Keynote Speaker of Providing evidence for the security properties of hardware/software codesigns within the PriSC 2022-track
PLMW@PLDI 2021	Panelist of Panel on Advising and Research within the PLMW@PLDI 2021-track
‹Programming› 2021	Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track
PriSC 2021	Author of A Categorical Approach to Secure Compilation (and others things) (short talk) within the PriSC 2021-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
PriSC 2020	Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track
ICFP 2019	Author of Linear capabilities for fully abstract compilation of separation-logic-verified code 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
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
POPL 2018	Author of Parametricity versus the Universal Type within the Research Papers-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
ICFP 2016	Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data 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
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
GPCE 2015	Author of Generating Safe Boundary APIs between Typed EDSLs and their Environments within the GPCE-track
PLAS 2015	Committee Member in Program Committee within the PLAS-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