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

2024

ICFP

Associate Chair in ICFP Papers and Events within the ICFP Papers-track

PEPM

Committee Member in Organizing Committee within the PEPM 2024-track

2023

FHPNC

ICFP

ARRAY

Committee Member in Program Committee within the ARRAY 2023-track

POPL

Author of Dargent: A Silver Bullet for Verified Data Layout Refinement within the POPL-track

2022

SLE

Author of Property-Based Testing: Climbing the Stairway to Verification within the SLE 2022-track

Haskell

Author of Embedded Pattern Matching within the Haskell 2022-track

ICFP

Chair of CARES session within the Catering & social-track

HIW

FLOPS

Author of Translation Certification for Smart Contracts within the FLOPS 2022-track

PEPM

Committee Member in Program Committee within the PEPM 2022-track

2021

FHPNC

TyDe

Author of Translation Certification for Smart Contracts (Extended Abstract) within the TyDe 2021-track

2020

ICFP

Committee Member in External Review Committee within the ICFP Program-track

FHPNC

Co-chair in Organizing Committee within the FHPNC 2020 (cancelled)-track

WPMVP

Committee Member in Program Committee within the WPMVP 2020-track

2019

FHPNC

PLDI

Committee Member in Program Committee within the PLDI Research Papers-track

WPMVP

Program Committee in Program Committee within the WPMVP 2019-track

PriSC

2018

ICFP

ICFP'16 General Chair in Steering Committee

NPFL

Committee Member in Program Committee within the NPFL 2018-track

WPMVP

Committee Member in Program Committee within the WPMVP 2018-track

PEPM

Committee Member in Programme Committee within the PEPM 2018-track

2017

DSLDI

Committee Member in Program Committee within the DSLDI 2017-track

Haskell

Author of Streaming Irregular Arrays within the Haskell 2017-track

ICFP

ICFP'16 General Chair in Steering Committee

FHPNC

Committee Member in Program Committee within the FHPC 2017-track

2016

ICFP

ARRAY

Committee Member in Programme Committee within the ARRAY-track