• Sign in
  • Sign up
conf.researchr.org / Edsko de Vries
  • ICFP 2021 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • PLDI 2022 profile
Edsko de Vries

Registered user since Mon 19 Jul 2021

Name:Edsko de Vries
Country:Netherlands
Affiliation:Well-Typed LLP
Personal website: http://well-typed.com
X (Twitter): https://x.com/edskodevries
GitHub: https://github.com/edsko

Contributions

2023

Haskell

  • Committee Member in Program Committee within the Haskell 2023-track
  • Author of falsify: Internal Shrinking Reimagined for Haskell within the Haskell 2023-track
  • Session Chair of Haskell: Session 1 (part of Haskell 2023)

HIW

  • Author of Severing ties: the need for non-updateable thunks within the HIW 2023-track

2022

ICFP

  • Author of Searching Entangled Program Spaces within the ICFP Papers and Events-track

EGRAPHS

  • Author of ECTAs: E-Graphs Better (at Encoding) within the EGRAPHS 2022-track

2021

HIW

  • Session Chair of Applications and Closing (part of HIW 2021)
  • Author of Avoiding quadratic GHC core code size within the HIW 2021-track
Share
xThu 30 Nov 14:35
using conf.researchr.org (v1.62.0)
Support page
Sign Up