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

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
ICSE 2020	Committee Member in Program Committee within the New Ideas and Emerging Results-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)
ICFP 2018	Member at large in Steering Committee
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
Haskell 2018	Author of Branching Processes for QuickCheck Generators within the Haskell 2018-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
CurryOn 2017	Author of Don't Write Tests! within the Curry On Talks-track
POPL 2017	Author of Beginner's Luck: A Language for Property-Based Generators within the POPL-track
ICFP 2016	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
PPS 2016	Author of Making our Own Luck: A Language for Random Generators within the PPS 2016-track
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