conf.researchr.org / Joachim Breitner
Joachim Breitner

Registered user since Thu 17 Mar 2016

Name: Joachim Breitner

Country: United States

Affiliation: University of Pennsylvania

Personal website: http://cis.upenn.edu/~joachim/

Contributions

HIW 2018Program Chair in Program Committee
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 Chair in Organizing Committee
Haskell 2017Committee Member in Program Committee
ICFP 2017Author of Lock-Step Simulation Is Child's Play (Experience Report) within the Research Papers-track
POPL 2018Committee Member in Artifact Evaluation Committee
HIW 2016Committee Member in Program Committee