Program - ECOOP and ISSTA 2023

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

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	Coffee BreakCatering at Microsoft Atrium (Allen Center)

10:00 30m Coffee break		Break Catering

12:00 - 13:30	LunchCatering at Zillow Commons (Gates 4th Floor)

12:00 90m Lunch		Lunch Catering

15:00 - 15:30	Coffee BreakCatering at Microsoft Atrium (Allen Center)

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

	08:30 - 09:00	OpeningKeynotes at Amazon Auditorium (Gates G20)

09:00 - 10:00	KeynoteKeynotes at Amazon Auditorium (Gates G20)

09:00 60m Keynote		Towards Code-Aware Code Models Keynotes K: Baishakhi Ray Columbia University

10:00 - 10:30	Coffee BreakCatering at Microsoft Atrium (Allen Center)

10:00 30m Coffee break		Break Catering

10:30 - 12:00	VORTEX 1VORTEX at Madrona Seminar Room (Gates 371)

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	LunchCatering at Zillow Commons (Gates 4th Floor)

12:00 90m Lunch		Lunch Catering

13:30 - 15:00	VORTEX 2VORTEX at Madrona Seminar Room (Gates 371)

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	Coffee BreakCatering at Microsoft Atrium (Allen Center)

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

08:30 - 09:15	ISSTA Impact Paper AwardKeynotes at Amazon Auditorium (Gates G20)

08:30 45m Keynote		Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications Keynotes K: William G.J. Halfond University of Southern California

09:15 - 10:00	AITO Test of Time AwardKeynotes at Amazon Auditorium (Gates G20)

09:15 45m Keynote		AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design Keynotes K: Andrew P. Black Pre-print Media Attached

10:00 - 10:30	Coffee BreakCatering at Microsoft Atrium (Allen Center)

10:00 30m Coffee break		Break Catering

12:00 - 13:30	LunchCatering at Zillow Commons (Gates 4th Floor)

12:00 90m Lunch		Lunch Catering

15:00 - 15:30	Coffee BreakCatering at Microsoft Atrium (Allen Center)

15:00 30m Coffee break		Break Catering

	17:30 - 20:30	BanquetCatering at HUB Ballroom

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

09:00 - 10:00	KeynoteKeynotes at Amazon Auditorium (Gates G20)

09:00 60m Keynote		Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities Keynotes K: Sophia Drossopoulou Imperial College London Media Attached

10:00 - 10:30	Coffee BreakCatering at Microsoft Atrium (Allen Center)

10:00 30m Coffee break		Break Catering

12:00 - 13:30	LunchCatering at Zillow Commons (Gates 4th Floor)

12:00 90m Lunch		Lunch Catering

15:00 - 15:30	Coffee BreakCatering at Microsoft Atrium (Allen Center)

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	ReceptionCatering at Microsoft Atrium (Allen Center)

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	KeynoteKeynotes at Amazon Auditorium (Gates G20)

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	Coffee BreakCatering at Microsoft Atrium (Allen Center)

10:00 30m Coffee break		Break Catering

12:00 - 13:30	LunchCatering at Zillow Commons (Gates 4th Floor)

12:00 90m Lunch		Lunch Catering

VORTEX 2023 Program

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

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

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

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

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

Tracks

Co-hosted Conferences

Workshops

VORTEX 2023 Program

Switch Program View

Program Display Configuration

Mon 17 JulDisplayed time zone: Pacific Time (US & Canada) change

Tue 18 JulDisplayed time zone: Pacific Time (US & Canada) change

Wed 19 JulDisplayed time zone: Pacific Time (US & Canada) change

Thu 20 JulDisplayed time zone: Pacific Time (US & Canada) change

Fri 21 JulDisplayed time zone: Pacific Time (US & Canada) change

Get Calendar (iCal)

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

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

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

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

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