Towards hybrid distributed deadlock detection (NWPT 2023 - 34th Nordic Workshop on Programming Theory ) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Wed 22 - Thu 23 November 2023 Västerås

Who

Radosław Rowicki, Alceste Scalas, Adrian Francalanza

Track

NWPT 2023 - 34th Nordic Workshop on Programming Theory

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 23 Nov 2023 15:20 - 15:40 at My (MDU Campus) - Programming and Distributed Systems Chair(s): Danny Bøgsted Poulsen

Link to Preprint

https://mdu.drive.sunet.se/index.php/s/Ys7eZECNWosZ2QP

Radosław Rowicki

Technical University of Denmark

Denmark

Alceste Scalas

Technical University of Denmark

Denmark

Adrian Francalanza

University of Malta

Malta

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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