VenueMälardalen University
Room nameMy (MDU Campus)
Floor0
Room Information

Located at MDU Campus, U-Building, ground floor.

Program

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

Wed 22 Nov

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

09:00 - 09:10
Welcome and OpeningNWPT 2023 at My (MDU Campus)
Chair(s): Marjan Sirjani Malardalen University, Cristina Seceleanu Mälardalen University, Peter Backeman Mälardalen University
09:10 - 10:10
Keynote 1NWPT 2023 at My (MDU Campus)
Chair(s): Cristina Seceleanu Mälardalen University
09:10
60m
Keynote
A Denotational Finite-Trace Semantics and Logic for While
NWPT 2023
Reiner Hähnle Technical University of Darmstadt
10:10 - 10:30
10:30 - 12:10
Algebraic Modeling, Categories, and ReasoningNWPT 2023 at My (MDU Campus)
Chair(s): Peter Backeman Mälardalen University
10:30
20m
Talk
Infinite hard families of equations in process algebras
NWPT 2023
Elli Anastasiadi Uppsala University, Luca Aceto Reykjavik University
Pre-print
10:50
20m
Talk
Presentations of Premonoidal Categories by Devices
NWPT 2023
Matt Earnshaw Tallinn University of Technology, Chad Nester Tallinn University of Technology, Mario Román Tallinn University of Technology
Pre-print
11:10
20m
Talk
Between Formal and Practical Mathematical Reasoning
NWPT 2023
Ville Rantala University of Jyväskylä, Antti Valmari University of Jyväskylä
Pre-print
11:30
20m
Talk
Algebraic Reasoning about Timeliness
NWPT 2023
Seyed Hossein Haeri University of Bergen, Norway, Peter Thompson PNSol & IOHK, Peter Van Roy Université catholique de Louvain, Magne Haveraaen University of Bergen, Norway, Neil Davies IOHK, PNSol, Heinrich Apfelmus IOG, Mikhail Barash University of Bergen, Kevin Hammond IOHK, James Chapman Input Output
Pre-print
11:50
20m
Talk
Bidirectional data-flow analyses compared to relational through Galois connections
NWPT 2023
Dylan McDermott Reykjavik University, Yasuaki Morita Reykjavik University, Tarmo Uustalu Reykjavik University
Pre-print
14:00 - 15:00
Keynote 2NWPT 2023 at My (MDU Campus)
Chair(s): Marjan Sirjani Malardalen University
14:00
60m
Keynote
How to Make Distributed Programming Safer using Types
NWPT 2023
Philipp Haller KTH Royal Institute of Technology
Link to publication
15:00 - 15:30
15:30 - 16:50
Machine Learning and AutomataNWPT 2023 at My (MDU Campus)
Chair(s): Michael Kirkedal Thomsen University of Oslo & University of Copenhagen
15:30
20m
Talk
Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning
NWPT 2023
Mohsen Ghaffari IT University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Einar Broch Johnsen University of Oslo, Andrzej Wąsowski IT University of Copenhagen, Denmark
Pre-print
15:50
20m
Talk
Minimizing State Space Partitionings Using Decision Trees
NWPT 2023
Andreas Holck Høeg-Petersen Aalborg University, Kim Guldstrand Larsen , Andrzej Wąsowski IT University of Copenhagen, Denmark, Peter Gjøl Jensen Aalborg University, Denmark
Pre-print
16:10
20m
Talk
Symmetric Monoidal Automata
NWPT 2023
Elena Di Lavore Tallinn University of Technology, Mario Román Tallinn University of Technology
Pre-print
16:30
20m
Talk
Generalized Input Reduction
NWPT 2023
Christian Gram Kalhauge Technical University of Denmark
Pre-print

Thu 23 Nov

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

14:00 - 15:40
Programming and Distributed SystemsNWPT 2023 at My (MDU Campus)
Chair(s): Danny Bøgsted Poulsen Aalborg University
14:00
20m
Talk
Exploring an Energy-Efficient Programming Model
NWPT 2023
Lars-Bo Husted Vadgaard Department of Informatics, University of Oslo, Maja Kirkeby Roskilde University, Michael Kirkedal Thomsen University of Oslo & University of Copenhagen
Pre-print
14:20
20m
Talk
Static Analysis of Energy Usage in Software
NWPT 2023
Wojciech Mostowski Halmstad University, Christoph Reichenbach Lund University
Pre-print
14:40
20m
Talk
Verification of Extended Quantifiers Using Instrumentation Operators
NWPT 2023
Jesper Amilon KTH Royal Institute of Technology, Zafer Esen Uppsala University, Dilian Gurov KTH Royal Institute of Technology, Christian Lidström KTH Royal Institute of Technology, Philipp Rümmer University of Regensburg and Uppsala University, Marten Voorberg KTH Royal Institute of Technology
Pre-print
15:00
20m
Talk
Polar Interleavings for Deadlock-Free Message-Passing
NWPT 2023
Matt Earnshaw Tallinn University of Technology, Chad Nester Tallinn University of Technology, Mario Román Tallinn University of Technology
Pre-print
15:20
20m
Talk
Towards hybrid distributed deadlock detection
NWPT 2023
Radosław Rowicki Technical University of Denmark, Alceste Scalas Technical University of Denmark, Adrian Francalanza University of Malta
Pre-print
15:40 - 16:00
16:00 - 17:20
Security and SafetyNWPT 2023 at My (MDU Campus)
Chair(s): Wojciech Mostowski Halmstad University
16:00
20m
Talk
Exposing Flaws by Modeling Vulnerable-by-Design Smart Contracts
NWPT 2023
Mojtaba Eshghie KTH Royal Institute of Technology, Cyrille Artho KTH Royal Institute of Technology, Sweden, Wolfgang Ahrendt Chalmers University of Technology, Thomas T. Hildebrandt University of Copenhagen, Gerardo Schneider University of Gothenburg
Pre-print
16:20
20m
Talk
Time-Sensitive Control Closure: A Key Component for Secure Information Flow
NWPT 2023
Abu Naser Masud Malardalen University, Bjorn Lisper Malardalen University
Pre-print
16:40
20m
Talk
Buzzy: An eBPF Fuzzer
NWPT 2023
Mikkel Tolstrup Jensen Aalborg University, Tobias Bruun Sandberg Hansen Aalborg University, Danny Bøgsted Poulsen Aalborg University, René Rydhof Hansen Aalborg University, Denmark
Pre-print
17:00
20m
Talk
Enhancing CRYSTAL: Preventive Recovery in Brief
NWPT 2023
Fereidoun Moradi Mälardalen University, Zahra Moezkarimi Mälardalen University, Marjan Sirjani Malardalen University
Pre-print

Wed 22 Nov

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

Thu 23 Nov

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