EI 4 Reithoffer - PLF 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

This program is tentative and subject to change.

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	Session 1CAKC at EI 4 Reithoffer

10:30 20m Talk		Coroutines Scheduler CAKC Nikita Koval JetBrains
10:50 35m 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	Session 2CAKC 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

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

10:30 - 12:00	Morning talksVORTEX at EI 4 Reithoffer

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
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
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

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

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

15:30 - 16:30	Afternoon keynote 2VORTEX at EI 4 Reithoffer

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

16:30 - 17:30	Afternoon talks 2VORTEX at EI 4 Reithoffer

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
17:00 30m Talk		Identifying Potential Deadlocked Instructions in a Multi-threaded ooRexx Program VORTEX A: Rony G. Flatscher WU Vienna, A: Till Winkler

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

10:30 - 12:00	KeynoteProgramming Local-first Software 2024 at EI 4 Reithoffer

10:30 90m Keynote		Real World Local-First Deployments In Industry: An Experience Report Programming Local-first Software 2024 Russell Brown DittoLive

13:30 - 15:00	Technical TalksProgramming Local-first Software 2024 at EI 4 Reithoffer

13:30 30m Talk		Agreement without Coordination - Revisiting Consensus from a Local-First Perspective Programming Local-first Software 2024 Julian Haas Technische Universität Darmstadt Pre-print
14:00 30m Talk		Undo and Redo in Concurrent Multifaceted Low-code Application Models Programming Local-first Software 2024 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 Programming Local-first Software 2024 Gilad Bracha F5

	15:30 - 17:00	Discussion RoundProgramming Local-first Software 2024 at EI 4 Reithoffer

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 Session 1																																																												CAKC Session 2

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							Programming Local-first Software 2024 Keynote																																				Programming Local-first Software 2024 Technical Talks																								Programming Local-first Software 2024 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:50				CAKC Fast and Scalable Communication Channels 10:50 - 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
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

Room information: EI 4 Reithoffer

This program is tentative and subject to 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

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

Programming Local-first Software 2024

Programming Local-first Software 2024

Programming Local-first Software 2024

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

This program is tentative and subject to change.

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

Programming Local-first Software 2024

Programming Local-first Software 2024

Programming Local-first Software 2024

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