John Hughes

Registered user since Mon 26 Aug 2019

Name:John Hughes
Country:Sweden
Affiliation:Chalmers University of Technology, Sweden
Research interests:Functional programming, software testing

Contributions

Haskell 2022 Committee Member in Program Committee within the Haskell 2022-track
ICSE 2022 Committee Member in Program Committee within the SEIP - Software Engineering in Practice-track
PADL 2020 Committee Member in Program Committee within the PADL 2020-track
Session Chair of Memory and Real-Time in Functional Programming (part of PADL 2020)
SPLASH 2019 Speaker in Speakers & Panelists within the PLMW-track
Speaker of Unaccustomed As I Am to Public Speaking within the PLMW-track
Session Chair of Abstract Interpretation (part of OOPSLA)
Haskell 2018 Author of Branching Processes for QuickCheck Generators within the Haskell 2018-track
Erlang 2018 Author of Typing the Wild in Erlang within the Erlang 2018-track
Author of Understanding Formal Specifications through Good Examples within the Erlang 2018-track
ICSE 2020 Committee Member in Program Committee within the New Ideas and Emerging Results-track
ICFP 2018 Member at large in Steering Committee
CurryOn 2017 Author of Don't Write Tests! within the Curry On Talks-track
ICFP 2017 Session Chair of Program Construction (part of Research Papers)
Committee Member in Program Committee within the Research Papers-track
Member at large in Steering Committee
PLMW 2016 Committee Member in Speakers within the PLMW-track
Author of Unaccustomed as I am to public speaking within the PLMW-track
POPL 2017 Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
PPS 2016 Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
ICFP 2016 Member at large in Steering Committee
PLMW Author of Unaccustomed As I Am to Public Speaking within the PLMW-track
ESOP 2015 Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track