John Hughes

Registered user since Mon 26 Aug 2019

Name: John Hughes

Country: Sweden

Affiliation: Chalmers University of Technology, Sweden

Personal website: https://scholar.google.com/citations?user=adD4xmAAAAAJ&hl=en&oi=ao

Research interests: Functional programming, software testing

Contributions

PADL 2020Committee Member in Program Committee within the PADL 2020-track
SPLASH 2019Speaker 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 2018Author of Branching Processes for QuickCheck Generators within the Haskell 2018-track
Erlang 2018Author 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 2020Committee Member in Program Committee within the New Ideas and Emerging Results-track
ICFP 2018Member at large in Steering Committee
CurryOn 2017Author of Don't Write Tests! within the Curry On Talks-track
ICFP 2017Session 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 2016Committee Member in Speakers within the PLMW-track
Author of Unaccustomed as I am to public speaking within the PLMW-track
POPL 2017Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
PPS 2016Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
ICFP 2016Member at large in Steering Committee
PLMWAuthor of Unaccustomed As I Am to Public Speaking within the PLMW-track
ESOP 2015Author of Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System within the ESOP-track