Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Koen Claessen
conf.researchr.org general profile
ESOP 2015 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2019 profile
ICFP 2020 profile
ICFP 2021 profile
ICFP 2023 profile
POPL 2018 profile
POPL 2023 profile
Not registered as user yet
Name:
Koen Claessen
Country:
Sweden
Affiliation:
Chalmers University of Technology
Contributions
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
Author of Towards Secure IoT Programming in Haskell within the Haskell 2020-track
Author of Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) within the Haskell 2020-track
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
Committee Member in Distinguished Papers Committee within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
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
Share
x
Wed 4 Oct 06:22