Koen Claessen -

Registered user since Tue 28 May 2024

Name:Koen Claessen

Country:Sweden

Affiliation:Chalmers University of Technology and Epic Games

Contributions

2024

ICFP

Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the ICFP Papers and Events-track
Author of Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs within the Artifact Evaluation-track
PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

2023

Haskell

Author of HasTEE: Programming Trusted Execution Environments with Haskell within the Haskell 2023-track

POPL

Committee Member in Program Committee within the POPL-track

CPP

Committee Member in Program Committee within the CPP 2023-track

2021

Haskell

Committee Member in Program Committee within the Haskell 2021-track

2020

Haskell

2019

FHPNC

Author of Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage within the FHPNC-track

2018

ICFP

POPL

Committee Member in Program Committee within the Research Papers-track

2017

Haskell

Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track

2016

ICFP

Committee Member in Program Committee within the Research Papers-track

Haskell

Author of The Key Monad: Type-Safe Unconstrained Dynamic Typing within the Haskell-track

FHPNC

Author of Using Fusion to Enable Late Design Decisions for Pipelined Computations within the FHPC-track

2015

ESOP

Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track