Dates
Mon 17 Jul 2023
Tue 18 Jul 2023
Wed 19 Jul 2023
Thu 20 Jul 2023
Fri 21 Jul 2023
Rooms
Amazon Auditorium (Gates G20)
HUB Ballroom
HUB Games
Madrona Seminar Room (Gates 371)
Microsoft Atrium (Allen Center)
Zillow Commons (Gates 4th Floor)
Tracks
ECOOP and ISSTA Catering
ECOOP and ISSTA Keynotes
VORTEX
Badges
Nothing to filter
Your Program
Nothing to filter
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 17 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30
Coffee and Light BreakfastCatering at Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30
Coffee and Light BreakfastCatering at Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
Catering

09:00 - 10:00
09:00
60m
Keynote
Towards Code-Aware Code Models
Keynotes
K: Baishakhi Ray Columbia University
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
10:30
20m
Talk
Runtime Monitoring of Human Behaviour with Aggregate Computing on Android
VORTEX
Volker Stolz Høgskulen på Vestlandet, Giorgio Audrito Università di Torino
Media Attached
10:50
20m
Talk
On Stream Runtime Verification and Aggregate Programming
VORTEX
Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy
11:10
20m
Talk
Combining Static and Runtime Verification with AC and Coq
VORTEX
Giorgio Audrito Università di Torino, Daniel Haures University of Turin, Italy
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
13:30
30m
Talk
RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
VORTEX
Angelo Ferrando , Andrea Gatti University of Genoa, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy
14:00
20m
Talk
Monitoring for resource-awareness
VORTEX
Riccardo Bianchini University of Genoa
15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

17:30 - 20:30
ReceptionCatering at HUB Games

Wed 19 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30
Coffee and Light BreakfastCatering at Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
Catering

10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

17:30 - 20:30

Thu 20 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30
Coffee and Light BreakfastCatering at Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
Catering

08:30 - 09:00
Dahl-Nygaard Prize Ceremony and AwardsKeynotes at Amazon Auditorium (Gates G20)
08:30
30m
Awards
ECOOP: Dahl-Nygaard Prize Ceremony and Awards
Keynotes

10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

15:30 - 17:00
Keynote – ISSTA'24 Preview – ClosingKeynotes at Amazon Auditorium (Gates G20)
15:30
60m
Keynote
Machine Learning for Software Engineering
Keynotes
K: Satish Chandra Meta Platforms
16:30
15m
Day closing
ISSTA'24 Preview
Keynotes

16:45
15m
Day closing
ISSTA Closing
Keynotes

17:30 - 18:30

Fri 21 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30
Coffee and Light BreakfastCatering at Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
Catering

08:30 - 09:00
Outlooks and FarewellsKeynotes at Amazon Auditorium (Gates G20)
08:30
30m
Day closing
ECOOP: Outlooks and Farewells
Keynotes

09:00 - 10:00
09:00
60m
Keynote
Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond!
Keynotes
K: Heather Miller Carnegie Mellon University and Two Sigma
Media Attached
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

:
: