| 2026 | PEPM | Hole Refinements for Polymorphic Type-and-Example Driven Synthesis. | Niek Mulleners, Johan Jeuring, Wouter Swierstra |
| 2022 | FLOPS | Translation Certification for Smart Contracts. | Jacco O. G. Krijnen, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra |
| 2022 | MPC | Calculating Datastructures. | Ralf Hinze, Wouter Swierstra |
| 2019 | ICFP | What constitutes a musical pattern? | Orestis Melkonian, Iris Yuping Ren, Wouter Swierstra, Anja Volk |
| 2018 | ICFP | From algebra to abstract machine: a verified generic construction. | Carlos Tom Cortias, Wouter Swierstra |
| 2018 | ITP | Verified Timing Transformations in Synchronous Circuits with \lambda \pi -Ware. | Joo Paulo Pizani Flor, Wouter Swierstra |
| 2017 | ICFP | Generic packet descriptions: verified parsing and pretty printing of low-level data. | Marcell van Geest, Wouter Swierstra |
| 2017 | ICFP | Type-directed diffing of structured data. | Victor Cacciari Miraldo, Pierre-variste Dagand, Wouter Swierstra |
| 2016 | FLOPS | From Proposition to Program - Embedding the Refinement Calculus in Coq. | Wouter Swierstra, Joo Alpuim |
| 2015 | ICFP | Datatype generic programming in F#. | Ernesto Rodrguez, Wouter Swierstra |
| 2015 | MPC | Auto in Agda - Programming Proof Search Using Reflection. | Pepijn Kokke, Wouter Swierstra |
| 2014 | OOPSLA | The Semantics of Version Control. | Wouter Swierstra, Andres Lh |
| 2012 | HASKELL | xmonad in Coq | Wouter Swierstra |
| 2011 | ICFP | Embedding polymorphic dynamic typing. | Thomas van Noort, Wouter Swierstra, Peter Achten, Rinus Plasmeijer |
| 2009 | ICFP | Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. | Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra |
| 2008 | ICFP | The power of Pi. | Nicolas Oury, Wouter Swierstra |
| 2007 | HASKELL | Beauty in the beast. | Wouter Swierstra, Thorsten Altenkirch |