Joachim Breitner

Registered user since Thu 17 Mar 2016

Name: Joachim Breitner

Country: Germany

Affiliation: DFINITY Foundation

Personal website: https://www.joachim-breitner.de/

Contributions

PLMW @ ICFP 2018Speaker of Interactive Game within the PLMW @ ICFP 2018-track
Session Chair in Speakers within the PLMW @ ICFP 2018-track
HIW 2018Program Chair in Program Committee within the HIW 2018-track
Session Chair of Invited Talk (part of HIW 2018)
Haskell Implementors' Workshop Chair of Welcome to HIW within the HIW 2018-track
Session Chair of Tools and Hardware (part of HIW 2018)
Haskell 2018Author of Type Variables in Patterns within the Haskell 2018-track
Author of Theorem Proving for All: Equational Reasoning in Liquid Haskell (Functional Pearl) within the Haskell 2018-track
Author of A Promise Checked Is a Promise Kept: Inspection Testing within the Haskell 2018-track
ICFP 2019Committee Member in Program Committee within the Research Papers-track
CPP 2018Author of Total Haskell is Reasonable Coq within the CPP 2018-track
ICFP 2018Author of Ready, Set, Verify! Applying hs-to-coq to Real-World Haskell Code (Experience Report) within the Research Papers-track
Haskell Implementors' Workshop Program Chair in Organizing Committee
Haskell 2017Committee Member in Program Committee within the Haskell 2017-track
ICFP 2017Author of Lock-Step Simulation Is Child's Play (Experience Report) within the Research Papers-track
POPL 2018Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
HIW 2016Committee Member in Program Committee within the HIW-track