Gabriele Keller

Registered user since Fri 28 Aug 2015

Name:Gabriele Keller
Country:Netherlands
Affiliation:Utrecht University

Contributions

FHPNC 2023 Co-chair in Organizing Committee within the FHPNC 2023-track
ICFP 2023 Diversity Committee Member in Organizing Committee
ARRAY 2023 Committee Member in Program Committee within the ARRAY 2023-track
POPL 2023 Author of Dargent: A Silver Bullet for Verified Data Layout Refinement within the POPL-track
SLE 2022 Author of Property-Based Testing: Climbing the Stairway to Verification within the SLE 2022-track
Haskell 2022 Author of Embedded Pattern Matching within the Haskell 2022-track
ICFP 2022 Chair of CARES session within the Catering & social-track
HIW 2022 Programme Committee in Program Committee within the HIW 2022-track
Author of Annotating Deeply Embedded Languages within the HIW 2022-track
FLOPS 2022
Author of Translation Certification for Smart Contracts within the FLOPS 2022-track
PEPM 2022 Committee Member in Program Committee within the PEPM 2022-track
FHPNC 2021 Co-chair in Organizing Committee within the FHPNC 2021-track
Author of Welcome to FHPNC 2021 within the FHPNC 2021-track
TyDe 2021 Author of Translation Certification for Smart Contracts (Extended Abstract) within the TyDe 2021-track
ICFP 2020 Committee Member in External Review Committee within the ICFP Program-track
FHPNC 2020 Co-chair in Organizing Committee within the FHPNC 2020 (cancelled)-track
WPMVP 2020 Committee Member in Program Committee within the WPMVP 2020-track
FHPNC 2019 Committee Member in Program Committee within the FHPNC-track
Session Chair of Orthogonal Bases (part of FHPNC)
Session Chair of Verification (part of FHPNC)
PLDI 2019 Committee Member in Program Committee within the PLDI Research Papers-track
WPMVP 2019 Program Committee in Program Committee within the WPMVP 2019-track
PriSC 2019 Committee Member in Program Committee within the PriSC 2019-track
Author of A Data Layout Description Language for Cogent within the PriSC 2019-track
ICFP 2018 ICFP'16 General Chair in Steering Committee
NPFL 2018 Committee Member in Program Committee within the NPFL 2018-track
WPMVP 2018 Committee Member in Program Committee within the WPMVP 2018-track
PEPM 2018 Committee Member in Programme Committee within the PEPM 2018-track
DSLDI 2017 Committee Member in Program Committee within the DSLDI 2017-track
Haskell 2017 Author of Streaming Irregular Arrays within the Haskell 2017-track
ICFP 2017 ICFP'16 General Chair in Steering Committee
FHPC 2017 Committee Member in Program Committee within the FHPC 2017-track
ICFP 2016 General Co-Chair in Organizing Committee
ICFP'16 General Chair in Steering Committee
Session Chair of Keynote 2 (part of Keynote Talks)
ARRAY Committee Member in Programme Committee within the ARRAY-track