ISSTA 2025 (series) /
Plenary EventsISSTA 2025
This track contains the Plenary Events for ISSTA 2025. Plenary Events consist of the following:
- Opening/Closing Ceremonies
- Award Sessions
- Keynotes
- Special Sessions
- Social Events
- Committee Meetings
Dates
Plenary
Wed 25 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 25 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:00 | |||
08:45 15mDay opening | Welcome to ISSTA 2025 Plenary Events Mike Papadakis University of Luxembourg | ||
09:00 - 09:30 | |||
09:00 30mAwards | SIGSOFT Impact Award Plenary Events | ||
09:30 - 10:30 | |||
09:30 60mKeynote | Leveraging Latent-space Generative Models for Testing Plenary Events Matthew B Dwyer University of Virginia | ||
17:30 - 18:00 | |||
17:30 30mTalk | Huawei Sponsor Talk Plenary Events | ||
19:00 - 22:00 | |||
19:00 3hSocial Event | Reception Plenary Events | ||
Thu 26 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Thu 26 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mKeynote | Correctness Matters: Automatic Program Transformation in the Age of Generative AI Plenary Events Claire Le Goues Carnegie Mellon University | ||
11:00 - 13:00 | Inclusion SessionPlenary Events at Aurora A The session will have 4 talks at the beginning followed by a guided networking session. The presentations will be 15 minutes each with the speakers and topics as below: Presentation 1 – Online: Cathrine Einarsson with “The Costs of Digital Inclusion (an ecosystem map)” Presentation 2 – Online: Sam Malek with some selected work on “Software Accessibility Testing” Presentation 3 – Online: Antonio Ferreira Martinez with an industry view on “Software Accessibility Testing at DEO” Presentation 4 – In person: Ibrahim El Shemy with “Inclusive Software for Neurodivergence” Guided Networking – 1h | ||
11:00 2hSocial Event | Software Inclusivity and Networking Plenary Events | ||
19:00 - 22:00 | |||
19:00 3hSocial Event | Banquet Plenary Events | ||
Fri 27 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Fri 27 Jun
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 90mTalk | An Analysis of Patch Plausibility and Correctness for Generate-and-validate Patch Generation Systems (ISSTA MIP Talk) Plenary Events Zichao Qi MIT, Fan Long University of Toronto, Sara Achour Stanford University, Martin C. Rinard Massachusetts Institute of Technology | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
17:30 - 17:45 | |||
17:30 15mDay closing | Closing Session for ISSTA 25 Plenary Events Mike Papadakis University of Luxembourg | ||
19:00 - 19:45 | |||
19:00 45mSocial Event | Organ Concert Plenary Events | ||
Unscheduled Events
| Not scheduled Meeting | ISSTA Steering Committee Meeting Plenary Events |
Keynotes
| Title | |
|---|---|
| An Analysis of Patch Plausibility and Correctness for Generate-and-validate Patch Generation Systems (ISSTA MIP Talk) Plenary Events | |
| Banquet Plenary Events | |
| Correctness Matters: Automatic Program Transformation in the Age of Generative AI Plenary Events | |
| Huawei Sponsor Talk Plenary Events | |
| ISSTA Steering Committee Meeting Plenary Events | |
| Leveraging Latent-space Generative Models for Testing Plenary Events | |
| Organ Concert Plenary Events | |
| Reception Plenary Events | |
| SIGSOFT Impact Award Plenary Events | |
| Software Inclusivity and Networking Plenary Events | |
| Welcome to ISSTA 2025 Plenary Events |