PLNL 2023 Contributors

Fri 16 Jun 2023 Amsterdam, Netherlands

Filter

Role Type

Contributing to

Number of Roles

Country

Results (31)

A Peter AchtenAchten, Peter Radboud University NijmegenNetherlands Committee Member in Program Committee within the PLNL-track
B Casper BachBach, Casper Delft University of TechnologyNetherlands Committee Member in Program Committee within the PLNL-track
C Sabina ChițăChiță, Sabina Vrije Universiteit Amsterdam Hedy programming language
D Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
E Christopher EsterhuyseEsterhuyse, Christopher University of Amsterdam Seaso: Logic Programming with Downstream Constraints for the Incremental Specification of Data-Exchange Systems
F Jan Friso GrooteFriso Groote, Jan Parallel Programming With An Autonomous Data Language
Daniel FruminFrumin, Daniel University of GroningenNetherlands A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Damian FrölichFrölich, Damian University of AmsterdamNetherlands Deriving editor services from funcons-based language semantics
H Jesse HoobergsHoobergs, Jesse KU LeuvenBelgium AmPERSand: Modular Educational Programming Languages with Object Algebras
K Pieter KoopmanKoopman, Pieter Radboud University Nijmegen, NetherlandsNetherlands Committee Member in Program Committee within the PLNL-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Proof Automation for Disjunctions in Concurrent Separation Logic
M Ivano MalavoltaMalavolta, Ivano Vrije Universiteit AmsterdamNetherlands On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT
Andrea MarinoMarino, Andrea Vrije Universiteit (VU) AmsterdamNetherlands On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT
Maximilian MayerMayer, Maximilian Vrije Universiteit (VU) AmsterdamNetherlands Towards Version Control for Creative Coding On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT
Ike MulderMulder, Ike Radboud University NijmegenNetherlands Proof Automation for Disjunctions in Concurrent Separation Logic
N Thomas NeeleNeele, Thomas Parallel Programming With An Autonomous Data Language
P Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
R Jaro ReindersReinders, Jaro TU DelftNetherlands Embedding Generalized Parsing in Haskell
Robert RubbensRubbens, Robert University of Twente Advances & challenges in model-based deductive verification of programs
S Alireza Soldani NezhadSoldani Nezhad, Alireza On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands Committee Member in Program Committee within the PLNL-track
T Tom T.P. FrankenT.P. Franken, Tom TU EindhovenNetherlands Parallel Programming With An Autonomous Data Language
V L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands Organizing Chair in Organizing Committee within the PLNL-track Committee Member in Program Committee within the PLNL-track
Bas van den Heuvelvan den Heuvel, Bas University of GroningenNetherlands A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
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 Putting the PL in GamePLay: Analyzing the Expressive Power of a Game DSL
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Towards Version Control for Creative Coding Organization Co-chair in Organizing Committee within the PLNL-track Committee Member in Program Committee within the PLNL-track
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the PLNL-track
W Linus WagnerWagner, Linus Vrije Universiteit AmsterdamNetherlands On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT
Z Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Committee Member in Program Committee within the PLNL-track
Hugo ZwaanZwaan, Hugo On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT