Wouter Swierstra -

Registered user since Fri 4 Mar 2016

Name:Wouter Swierstra

Country:Netherlands

Affiliation:Utrecht University, Netherlands

Personal website:http://www.staff.science.uu.nl/~swier004

Contributions

Unsound 2022	Author of How to trust a verified program? within the Sources of Unsoundness in Verification-track
FARM 2022	Committee Member in Program Committee within the FARM-track
Haskell 2022	Session Chair of Verification (part of Haskell 2022) Committee Member in Program Committee within the Haskell 2022-track
ICFP 2022	Author of A completely unique account of enumeration within the ICFP Papers and Events-track
FLOPS 2022	Author of Translation Certification for Smart Contracts within the FLOPS 2022-track
TyDe 2021	Author of Translation Certification for Smart Contracts (Extended Abstract) within the TyDe 2021-track
APLAS 2020	Committee Member in Program Committee
ICFP 2020	Author of Heterogeneous binary random-access lists within the ICFP Program-track
TyDe 2020	Committee Member in Program Committee within the TyDe 2020-track
PLNL 2019	Committee Member in Program Committee within the PLNL-track
FARM 2019	Author of What Constitutes a Musical Pattern? within the FARM 2019-track
ICFP 2019	Author of A predicate transformer semantics for effects (Functional Pearl) within the Research Papers-track Author of An Efficient Algorithm for Type-Safe Structural Diffing within the Research Papers-track
TyDe 2019	Author of Generic Enumerators within the TyDe 2019-track Author of Formal Investigation of the Extended UTxO Model within the TyDe 2019-track
PLNL 2018	Organizer in Organizing Committee within the PLNL-track Session Chair of 2 (part of PLNL)
ICFP 2018	Committee Member in Distinguished Papers Committee within the Research Papers-track Member at large in Steering Committee Committee Member in Program Committee within the Research Papers-track Session Chair of Bidirectional Programming (part of Research Papers)
TyDe 2018	Author of From Algebra to Abstract Machine: A Verified Generic Construction within the TyDe 2018-track Author of Extended Abstract: Improving Error Messages for Dependent Types within the TyDe 2018-track
ICFP 2017	Member at large in Steering Committee
TyDe 2017	Author of Generic packet descriptions: verified parsing and pretty printing of low-level data within the TyDe 2017-track Author of Type-directed diffing of structured data within the TyDe 2017-track
Off the Beaten Track 2017	Committee Member in Program Committee within the OBT-track
ICFP 2016	Member at large in Steering Committee
TyDe 2016	Co-chair in Organizing Committee within the TyDe-track Co-chair in Program Committee within the TyDe-track
Onward! 2014	Author of The Semantics of Version Control within the Onward! Papers-track