EI 4 Reithoffer - MPLR 2024

VenueVienna University of Technology (TU Wien) - Campus Gusshaus

Room nameEI 4 Reithoffer

Floor2

Capacity90

Room InformationNo extra information available

Information for Participants

Info for room EI 4 Reithoffer:

Map: https://tuw-maps.tuwien.ac.at/?q=CF0245

Room tech: https://raumkatalog.tiss.tuwien.ac.at/room/15735

Program

Time Zone

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

Use conference time zone: (GMT+02: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

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

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

10:30 - 11:50	Concurrent Algorithms in Kotlin CoroutinesCAKC at EI 4 Reithoffer

10:30 15m Talk		Coroutines Scheduler CAKC Nikita Koval JetBrains
10:45 40m Talk		Fast and Scalable Communication Channels CAKC Nikita Koval JetBrains Link to publication
11:25 25m Talk		CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Primitives CAKC Nikita Koval JetBrains Link to publication

15:30 - 16:50	Concurrent Algorithms in Kotlin CoroutinesCAKC at EI 4 Reithoffer

15:30 80m Talk		Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM CAKC Nikita Koval JetBrains

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

09:00 - 10:00	Morning keynoteVORTEX at EI 4 Reithoffer Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

09:00 60m Keynote		Runtime Invariant Checking in Robotic Systems and Deep Learning Models VORTEX K: Xiangyu Zhang Purdue University File Attached

10:30 - 12:00	Morning talksVORTEX at EI 4 Reithoffer Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

10:30 30m Talk		Runtime Verified Neural Networks for Cyber-Physical Systems VORTEX A: Dhiren Tripuramallu Indian Institute of Technology Bhubaneswar, A: Ayush Anand Indian Institute of Technology Bhubaneswar, A: Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, A: Hammond Pearce University of New South Wales, Sydney, A: Partha Roop University of Auckland File Attached
11:00 30m Talk		Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties VORTEX A: Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, A: Giorgio Audrito Università di Torino, A: Mirko Viroli Alma Mater Studiorum - Università di Bologna File Attached
11:30 30m Talk		Real-Time Guarantees for SLCS Monitors in XC VORTEX A: Giorgio Audrito Università di Torino, A: Ferruccio Damiani University of Turin, A: Gianluca Torta

13:30 - 14:30	Afternoon keynote 1VORTEX at EI 4 Reithoffer Chair(s): Giorgio Audrito Università di Torino

13:30 60m Keynote		R2U2: Runtime Verification Takes Off! VORTEX K: Kristin Yvonne Rozier Iowa State University

14:30 - 15:00	Afternoon talks 1VORTEX at EI 4 Reithoffer Chair(s): Giorgio Audrito Università di Torino

14:30 30m Talk		RVsec: Towards a Comprehensive Technology Stack for Secure Deployment of Software Monitors VORTEX A: Christian Colombo University of Malta, A: Axel Curmi , A: Robert Abela File Attached

15:30 - 16:30	Afternoon keynote 2VORTEX at EI 4 Reithoffer Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

15:30 60m Keynote		Operational and Declarative Runtime Verification and their Combination VORTEX K: Doron Peled Bar Ilan University, K: Klaus Havelund Jet Propulsion Laboratory, California Institute of Technology File Attached

16:30 - 17:30	Afternoon talks 2VORTEX at EI 4 Reithoffer Chair(s): Davide Ancona DIBRIS, University of Genova, Italy

16:30 30m Talk		Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx Applications VORTEX A: Rony G. Flatscher WU Vienna, A: Till Winkler File Attached
17:00 30m Talk		Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program VORTEX A: Rony G. Flatscher WU Vienna, A: Till Winkler File Attached

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

10:30 - 12:00	KeynotePLF at EI 4 Reithoffer

10:30 90m Keynote		Real World Local-First Deployments In Industry: An Experience Report PLF Borja Arnau de Régil Basáñez DittoLive Pre-print

13:30 - 15:00	Technical TalksPLF at EI 4 Reithoffer

13:30 30m Talk		Agreement without Coordination - Revisiting Consensus from a Local-First Perspective PLF Julian Haas Technische Universität Darmstadt Pre-print
14:00 30m Talk		Undo and Redo in Concurrent Multifaceted Low-code Application Models PLF Hugo Lourenço OutSystems SA, Carla Ferreira NOVA University Lisbon, João Costa Seco NOVA-LINCS; Nova University of Lisbon
14:30 30m Talk		Orthogonal Synchronization Revisited PLF Gilad Bracha F5

15:30 - 17:00	Discussion RoundPLF at EI 4 Reithoffer

15:30 90m Panel		Discussion Round PLF Ragnar Mogk Technische Universität Darmstadt

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
EI 4 Reithoffer							CAKC Concurrent Algorithms in Kotlin Coroutines																																																												CAKC Concurrent Algorithms in Kotlin Coroutines

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
EI 4 Reithoffer	VORTEX Morning keynote																		VORTEX Morning talks																																				VORTEX Afternoon keynote 1												VORTEX Afternoon talks 1												VORTEX Afternoon keynote 2												VORTEX Afternoon talks 2

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
EI 4 Reithoffer							PLF Keynote																																				PLF Technical Talks																								PLF Discussion Round

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
EI 4 Reithoffer							CAKC Coroutines Scheduler 10:30 - 10:45			CAKC Fast and Scalable Communication Channels 10:45 - 11:25								CAKC CQS: A Formally-Verified Framework for Fair and Abortable Synchronizati ... 11:25 - 11:50																																																	CAKC Lincheck: A Practical Framework for Testing Concurrent Data Structures ... 15:30 - 16:50

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
EI 4 Reithoffer	VORTEX Runtime Invariant Checking in Robotic Systems and Deep Learning Models 09:00 - 10:00																		VORTEX Runtime Verified Neural Networks for Cyber-Physical Systems 10:30 - 11:00						VORTEX Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Prope ... 11:00 - 11:30						VORTEX Real-Time Guarantees for SLCS Monitors in XC 11:30 - 12:00																								VORTEX R2U2: Runtime Verification Takes Off! 13:30 - 14:30												VORTEX RVsec: Towards a Comprehensive Technology Stack for Secure Deployment o ... 14:30 - 15:00												VORTEX Operational and Declarative Runtime Verification and their Combination 15:30 - 16:30												VORTEX Devising a TraceObject Class for Improved Runtime Monitoring of ooRexx ... 16:30 - 17:00						VORTEX Identifying Potential Deadlocked Instructions in a Multi-threaded ooRex ... 17:00 - 17:30

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
EI 4 Reithoffer							PLF Real World Local-First Deployments In Industry: An Experience Report 10:30 - 12:00																																				PLF Agreement without Coordination - Revisiting Consensus from a Local-Firs ... 13:30 - 14:00						PLF Undo and Redo in Concurrent Multifaceted Low-code Application Models 14:00 - 14:30						PLF Orthogonal Synchronization Revisited 14:30 - 15:00												PLF Discussion Round 15:30 - 17:00

Room information: EI 4 Reithoffer

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

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

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

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

CAKC

CAKC

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

VORTEX

VORTEX

VORTEX

VORTEX

VORTEX

VORTEX

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

PLF

PLF

PLF

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

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

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

Tracks

Room information: EI 4 Reithoffer

Program Display Configuration

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

CAKC

CAKC

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

VORTEX

VORTEX

VORTEX

VORTEX

VORTEX

VORTEX

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

PLF

PLF

PLF

Wed 18 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 19 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 20 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

Information for Participants

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

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

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

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

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

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

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

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

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