Wouter Swierstra

Registered user since Fri 4 Mar 2016

Name:Wouter Swierstra
Country:Netherlands
Affiliation:Utrecht University, Netherlands

Contributions

TyDe 2021 Author of Translation Certification for Smart Contracts (Extended Abstract) within the TyDe 2021-track
APLAS 2020 Committee Member in Program Committee
TyDe 2020 Committee Member in Program Committee within the TyDe 2020-track
PLNL 2019 Committee Member in Program Committee within the PLNL-track
ICFP 2020 Author of Heterogeneous binary random-access lists within the ICFP Program-track
FARM 2019 Author of What Constitutes a Musical Pattern? within the FARM 2019-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)
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 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
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 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
ICFP 2017 Member at large in Steering Committee
Off the Beaten Track 2017 Committee Member in Program Committee within the OBT-track
TyDe 2016 Co-chair in Organizing Committee within the TyDe-track
Co-chair in Program Committee within the TyDe-track
ICFP 2016 Member at large in Steering Committee
Onward! 2014 Author of The Semantics of Version Control within the Onward! Papers-track