PLNL 2023
Fri 16 Jun 2023 Amsterdam, Netherlands
PLNL 2023 (series) / University of Amsterdam /

Room information: Doelenzaal (C0.07)

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
Walk inPLNL 2023 at Doelenzaal (C0.07)
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
BreakPLNL 2023 at Doelenzaal (C0.07)
11:30 - 12:30
Parallel programming, parsing, and verificationPLNL 2023 at Doelenzaal (C0.07)
11:30
20m
Talk
Parallel Programming With An Autonomous Data Language
PLNL 2023
Tom T.P. Franken TU Eindhoven, Thomas Neele , Jan Friso Groote
File Attached
11:50
20m
Talk
Seaso: Logic Programming with Downstream Constraints for the Incremental Specification of Data-Exchange Systems
PLNL 2023
Christopher Esterhuyse University of Amsterdam
Media Attached File Attached
12:10
20m
Talk
Embedding Generalized Parsing in Haskell
PLNL 2023
Jaro Reinders TU Delft
File Attached
12:30 - 14:00
LunchPLNL 2023 at Doelenzaal (C0.07)
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
Riemer van Rozen CWI
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
BreakPLNL 2023 at Doelenzaal (C0.07)
15:30 - 16:30
IDE services and educationPLNL 2023 at Doelenzaal (C0.07)
15:30
20m
Talk
Deriving editor services from funcons-based language semantics
PLNL 2023
Damian Frölich University of Amsterdam
File Attached
15:50
20m
Talk
Hedy programming language
PLNL 2023
Sabina Chiță Vrije Universiteit Amsterdam
16:10
20m
Talk
AmPERSand: Modular Educational Programming Languages with Object Algebras
PLNL 2023
Jesse Hoobergs KU Leuven
File Attached

Fri 16 Jun

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

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Doelenzaal (C0.07)

PLNL 2023

Walk in

PLNL 2023

Concurrency, parallel programming, and verification

PLNL 2023

Break

PLNL 2023

Parallel programming, parsing, and verification

PLNL 2023

Lunch

PLNL 2023

Games, creative coding, and performance

PLNL 2023

Break

PLNL 2023

IDE services and education

Fri 16 Jun

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

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Doelenzaal (C0.07)
PLNL
Advances & challenges in model-based deductive verification of programs
10:00 - 10:20
PLNL
A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunch ...
10:20 - 10:40
PLNL
Proof Automation for Disjunctions in Concurrent Separation Logic
10:40 - 11:00
PLNL
Parallel Programming With An Autonomous Data Language
11:30 - 11:50
PLNL
Seaso: Logic Programming with Downstream Constraints for the Incrementa ...
11:50 - 12:10
PLNL
Embedding Generalized Parsing in Haskell
12:10 - 12:30
PLNL
Putting the PL in GamePLay: Analyzing the Expressive Power of a Game DSL
14:00 - 14:20
PLNL
Towards Version Control for Creative Coding
14:20 - 14:40
PLNL
On the Energy Consumption and Performance of WebAssembly Binaries acros ...
14:40 - 15:00
PLNL
Deriving editor services from funcons-based language semantics
15:30 - 15:50
PLNL
Hedy programming language
15:50 - 16:10
PLNL
AmPERSand: Modular Educational Programming Languages with Object Algebras
16:10 - 16:30