Gabriele Keller -

Registered user since Fri 28 Aug 2015

Name:Gabriele Keller

Country:Netherlands

Affiliation:Utrecht University

Personal website:http://www.cse.unsw.edu.au/~keller

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