Verification of Extended Quantifiers Using Instrumentation Operators (NWPT 2023 - 34th Nordic Workshop on Programming Theory ) - NWPT 2023 - 34th Nordic Workshop on Programming Theory

Who

Jesper Amilon, Zafer Esen, Dilian Gurov, Christian Lidström, Philipp Rümmer, Marten Voorberg

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

Save

When

Thu 23 Nov 2023 14:40 - 15:00 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/BYpS2Z3kdpwtPmg

Jesper Amilon

KTH Royal Institute of Technology

Sweden

Zafer Esen

Uppsala University

Sweden

Dilian Gurov

KTH Royal Institute of Technology

Sweden

Christian Lidström

KTH Royal Institute of Technology

Sweden

Philipp Rümmer

University of Regensburg and Uppsala University

Germany

Marten Voorberg

KTH Royal Institute of Technology

Sweden

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

Display full programSpecify a time band

Save

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