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

2025

FProPer

Co-chair in Program Committee within the FProPer 2025-track

Dutch Formal Methods Day

Author of TBA within the Dutch Formal Methods Day 2025-track

2024

FProPer

ICFP

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

TyDe

Author of Types for correctness, convenience, and performance within the TyDe 2024-track

ARRAY

PLNL

Author in Program Committee within the PLNL 2024-track

ICST

Author of EmoSTL: Formal Spatial-Temporal Verification of Emotion Specifications in Computer Games within the Research Papers-track

PEPM

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

	
		OSZAR »