VORTEX 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
co-located with ISSTA/ECOOP 2024
VenueVienna University of Technology (TU Wien) - Campus Gusshaus
Room nameEI 4 Reithoffer
Floor2
Capacity90
Room InformationNo extra information available

Information for Participants
Program

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

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 2024 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 2024
K: Xiangyu Zhang Purdue University
File Attached
10:30 - 12:00
Morning talksVORTEX 2024 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 2024
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 2024
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 2024
A: Giorgio Audrito Università di Torino, A: Ferruccio Damiani University of Turin, A: Gianluca Torta
13:30 - 14:30
Afternoon keynote 1VORTEX 2024 at EI 4 Reithoffer
Chair(s): Giorgio Audrito Università di Torino
13:30
60m
Keynote
R2U2: Runtime Verification Takes Off!
VORTEX 2024
K: Kristin Yvonne Rozier Iowa State University
14:30 - 15:00
Afternoon talks 1VORTEX 2024 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 2024
A: Christian Colombo University of Malta, A: Axel Curmi , A: Robert Abela
File Attached
15:30 - 16:30
Afternoon keynote 2VORTEX 2024 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 2024
K: Doron Peled Bar Ilan University, K: Klaus Havelund Jet Propulsion Laboratory, California Institute of Technology
File Attached

Fri 20 Sep

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

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

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

Room10:003011:003012:003013:003014:003015:003016:0030
EI 4 Reithoffer

Wed 18 Sep

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

Fri 20 Sep

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