VenueUniversity of Amsterdam
Room nameDoelenzaal (C0.07)
Floor0
Room number07
Room Information

C0.07

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Fri 16 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:30 - 10:00
10:00 - 11:00
Concurrency, parallel programming, and verificationPLNL 2023 at Doelenzaal (C0.07)
10:00
20m
Talk
Advances & challenges in model-based deductive verification of programs
PLNL 2023
Robert Rubbens University of Twente
File Attached
10:20
20m
Talk
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
PLNL 2023
Daniel Frumin University of Groningen, Emanuele D’Osualdo MPI-SWS, Bas van den Heuvel University of Groningen, Jorge A. Pérez University of Groningen
File Attached
10:40
20m
Talk
Proof Automation for Disjunctions in Concurrent Separation Logic
PLNL 2023
Ike Mulder Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen
DOI File Attached
11:00 - 11:30
12:30 - 14:00
14:00 - 15:00
Games, creative coding, and performancePLNL 2023 at Doelenzaal (C0.07)
14:00
20m
Talk
Putting the PL in GamePLay: Analyzing the Expressive Power of a Game DSL
PLNL 2023
File Attached
14:20
20m
Talk
Towards Version Control for Creative Coding
PLNL 2023
Maximilian Mayer Vrije Universiteit (VU) Amsterdam, Mauricio Verano Merino Vrije Universiteit Amsterdam
File Attached
14:40
20m
Talk
On the Energy Consumption and Performance of WebAssembly Binaries across Programming Languages and Runtimes in IoT
PLNL 2023
Linus Wagner Vrije Universiteit Amsterdam, Maximilian Mayer Vrije Universiteit (VU) Amsterdam, Andrea Marino Vrije Universiteit (VU) Amsterdam, Alireza Soldani Nezhad , Hugo Zwaan , Ivano Malavolta Vrije Universiteit Amsterdam
DOI Pre-print
15:00 - 15:30