conf.researchr.org / Koen Claessen

Not registered as user yet

Name:Koen Claessen
Affiliation:Chalmers University of Technology, Sweden

Contributions

Haskell 2021 Committee Member in Program Committee within the Haskell 2021-track
Haskell 2020 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
FHPNC 2019 Author of Safety at speed: In-place array algorithms from pure functional programs by safely re-using storage within the FHPNC-track
ICFP 2018 Committee Member in Distinguished Papers Committee within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
Haskell 2017 Author of QuickSpec: A Lightweight Theory Exploration Tool for Programmers (System Demonstration) within the Haskell 2017-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Haskell 2016 Author of The Key Monad: Type-Safe Unconstrained Dynamic Typing within the Haskell-track
FHPC 2016 Author of Using Fusion to Enable Late Design Decisions for Pipelined Computations within the FHPC-track
ICFP 2016 Committee Member in Program Committee within the Research Papers-track
ESOP 2015 Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track