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

PLNL 2018	Organizer in Organizing Committee within the PLNL-track
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 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!	Author of The Semantics of Version Control within the Onward! Papers-track