Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Frank Piessens
conf.researchr.org general profile
ECOOP 2015 profile
ESOP 2015 profile
ICFP 2016 profile
ICFP 2019 profile
ICFP 2020 profile
Modularity 2016 profile
PLDI 2021 profile
POPL 2016 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2024 profile
POPL 2025 profile
SPLASH 2014 profile
SPLASH 2015 profile
SPLASH 2017 profile
‹Programming› 2017 profile
‹Programming› 2018 profile
‹Programming› 2019 profile
‹Programming› 2020 profile
‹Programming› 2021 profile
Registered user since Tue 22 Jun 2021
Name:
Frank Piessens
Affiliation:
KU Leuven
Contributions
2025
PriSC
Author in Steering Committee within the PriSC 2025-track
2024
PriSC
Steering Committee Member in Steering Committee within the PriSC 2024-track
Author of Compiler Support for Control-Flow Linearization Using Architectural Mimicry within the PriSC 2024-track
2022
PriSC
Keynote Speaker of Providing evidence for the security properties of hardware/software codesigns within the PriSC 2022-track
2021
PLMW
Panelist of Panel on Advising and Research within the PLMW@PLDI 2021-track
‹Programming›
Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track
PriSC
Author of A Categorical Approach to Secure Compilation (and others things) (short talk) within the PriSC 2021-track
2020
ICFP
Committee Member in Program Committee within the ICFP Program-track
‹Programming›
Author of Gavial: Programming the web with multi-tier FRP within the Research Papers-track
PriSC
Author of Securing Interruptible Enclaves within the Principles of Secure Compilation 2020-track
2019
ICFP
Author of Linear capabilities for fully abstract compilation of separation-logic-verified code within the Research Papers-track
ProWeb
Committee Member in Program Committee within the ProWeb'19-track
PriSC
Committee Member in Program Committee within the PriSC 2019-track
2018
ProWeb
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
Author of Parametricity versus the Universal Type within the Research Papers-track
PriSC
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
2017
REBLS
Author of FRP IoT Modules as a Scala DSL within the REBELS-track
ProWeb
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
2016
ICFP
Author of Unifiers as Equivalences: Proof-Relevant Unification of Dependently Typed Data within the Research Papers-track
Modularity Across the System Stack
Author of Session II: Modular Real-Time Systems - Towards Availability and Real-Time Guarantees for Protected Module Architectures within the MASS 2016-track
POPL
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
2015
GPCE
Author of Generating Safe Boundary APIs between Typed EDSLs and their Environments within the GPCE-track
PLAS
Committee Member in Program Committee within the PLAS-track
ESOP
Author of Sound, modular and compositional verification of the input/output behavior of programs within the ESOP-track
2014
Onward!
Author of Multi-tier Functional Reactive Programming for the Web within the Onward! Papers-track
Share
x
Thu 21 Nov 12:19