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

PEPM 2022	Committee Member in Program Committee within the PEPM 2022-track
TyDe 2021	Author of Translation Certification for Smart Contracts (Extended Abstract) within the TyDe 2021-track
FHPNC 2021	Co-chair in Organizing Committee within the FHPNC 2021-track Author of Welcome to FHPNC 2021 within the FHPNC 2021-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
ICFP 2020	Committee Member in External Review Committee within the ICFP Program-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)
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
PLDI 2019	Committee Member in Program Committee within the PLDI Research Papers-track
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
ICFP 2018	ICFP'16 General Chair in Steering Committee
FHPC 2017	Committee Member in Program Committee within the FHPC 2017-track
Haskell 2017	Author of Streaming Irregular Arrays within the Haskell 2017-track
ICFP 2017	ICFP'16 General Chair in Steering Committee
ARRAY	Committee Member in Programme Committee within the ARRAY-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)