Joachim Breitner

Registered user since Thu 17 Mar 2016

Name:Joachim Breitner
Country:Germany
Affiliation:Epic Games

Contributions

PADL 2023 Committee Member in Program Committee within the PADL 2023-track
Haskell 2022 Session Chair of GHC Proposal Presentations within the Haskell 2022-track
Session Chair of GHC Proposals (part of Haskell 2022)
HIW 2022 Author of Lightning Talk Slot #5: More recursive equations within the HIW 2022-track
CPP 2021 Committee Member in Program Committee within the CPP 2021-track
PADL 2021 Committee Member in Programme Committee within the PADL 2021-track
HIW 2020 Author of Embracing a Mechanized Formalization Gap: Interactive reasoning for Haskell at scale within the HIW 2020-track
PLMW @ ICFP 2019 Author of Social activity within the PLMW @ ICFP 2019-track
Committee Member in Speakers within the PLMW @ ICFP 2019-track
FARM 2019 Author of Demo: Kaleidogen within the FARM 2019-track
ICFP 2019 Committee Member in Program Committee within the Research Papers-track
Session Chair of Dependent Types in Haskell (part of Research Papers)
ICFP 2018 Author 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
PLMW @ ICFP 2018 Speaker of Interactive Game within the PLMW @ ICFP 2018-track
Session Chair in Speakers within the PLMW @ ICFP 2018-track
Haskell 2018 Author 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
HIW 2018 Program 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)
CPP 2018 Author of Total Haskell is Reasonable Coq within the CPP 2018-track
POPL 2018 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Haskell 2017 Committee Member in Program Committee within the Haskell 2017-track
ICFP 2017 Author of Lock-Step Simulation Is Child's Play (Experience Report) within the Research Papers-track
HIW 2016 Committee Member in Program Committee within the HIW-track