PLNL 2025 Contributors

Fri 28 Nov 2025 Amsterdam, Netherlands

Filter

Role Type

Contributing to

Number of Roles

Country

Results (29)

A Peter AchtenAchten, Peter Radboud University NijmegenNetherlands Committee Member in Program Committee within the PLNL-track
B Wim BastBast, Wim Nelumbo Logic Meta Language
C Anton ChernevChernev, Anton Modelling Coinductive Types with Restricted Branching
Liam ChungChung, Liam Partial Reductions for Kleene Algebra with Single-Word Hypotheses
D Ivo Gabe de Wolffde Wolff, Ivo Gabe Utrecht University Accelerate and its new Work Assisting scheduler
Jean-Baptiste DöderleinDöderlein, Jean-Baptiste ENS Rennes SpaceTime Programming: Live and Omniscient Exploration of Code and Execution
E Christopher EsterhuyseEsterhuyse, Christopher University of AmsterdamNetherlands The State of Reowolf
F Daniel FruminFrumin, Daniel University of GroningenNetherlands Committee Member in Program Committee within the PLNL-track
D FrölichFrölich, D University of AmsterdamNetherlands Committee Member in Program Committee within the PLNL-track Committee Member in Organizing Committee within the PLNL-track
G Reuben Gardos ReidGardos Reid, Reuben Delft University of Technology (TU Delft)Netherlands Herb.jl: A Fast and Efficient Program Synthesis Library
H Hans-Dieter HiepHiep, Hans-Dieter Netherlands Defence AcademyNetherlands The Amsterdam Plot: a big mistake?
J Niek JanssenJanssen, Niek Safe and maintainable staged interpretation across languages
K Jakub KaşıkcıKaşıkcı, Jakub Omniscient Debugging Meets Domain-Specific Languages for Live Programming
Gabriele KellerKeller, Gabriele Utrecht UniversityNetherlands Accelerate and its new Work Assisting scheduler
L Mart LubbersLubbers, Mart Radboud University Committee Member in Program Committee within the PLNL-track
David LäwenLäwen, David Radboud UniversityNetherlands Verified Translation of Guarded Programs
M Daphne MiedemaMiedema, Daphne University of AmsterdamNetherlands Committee Member in Program Committee within the PLNL-track
N Nhat Nhat University of Twente Once Upon a Cursor: A Tale of Indirect Code Completion
P Tommaso PaccianiPacciani, Tommaso University of Amsterdam A P4-like DSL in Haskell
S Ömer Faruk SayilirSayilir, Ömer Faruk University of Twente On the Phenomenon of Fourth Generation Languages
Jeff SmitsSmits, Jeff Delft University of TechnologyNetherlands Parameterised Parse Forests Committee Member in Program Committee within the PLNL-track
Thomas SomersSomers, Thomas Session Types with Explicit Exceptions
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands The functional essence of imperative binary search trees Committee Member in Program Committee within the PLNL-track
T Ulyana TikhonovaTikhonova, Ulyana F1RENetherlands Committee Member in Program Committee within the PLNL-track
V David van Balenvan Balen, David Accelerate and its new Work Assisting scheduler
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Committee Member in Program Committee within the PLNL-track
Riemer van Rozenvan Rozen, Riemer CWINetherlands Omniscient Debugging Meets Domain-Specific Languages for Live Programming Committee Member in Program Committee within the PLNL-track Committee Member in Organizing Committee within the PLNL-track
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Committee Member in Program Committee within the PLNL-track
Z Vadim ZaytsevZaytsev, Vadim University of TwenteNetherlands On the Phenomenon of Fourth Generation Languages Once Upon a Cursor: A Tale of Indirect Code Completion What Can We Learn from the History of Programming Languages