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
Dates
Plenary
This program is tentative and subject to change.
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 | AwardsPlenary Events at Cosmos 1+2 Chair(s): Jingyue Li Norwegian University of Science and Technology (NTNU) | ||
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 |
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 | KeynotePlenary Events | ||
11:00 - 13:00 | |||
11:00 2hSocial Event | Inclusion Session 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 | KeynotePlenary Events | ||
Unscheduled Events
Not scheduled Keynote | Correctness Matters: Automatic Program Transformation in the Age of Generative AI Plenary Events Claire Le Goues Carnegie Mellon University | ||
Not scheduled Talk | An Analysis of Patch Plausibility and Correctness for Generate-and-validate Patch Generation Systems (ISSTA MIP Talk) Plenary Events |
Keynotes
Title | |
---|---|
An Analysis of Patch Plausibility and Correctness for Generate-and-validate Patch Generation Systems (ISSTA MIP Talk) Plenary Events | |
Correctness Matters: Automatic Program Transformation in the Age of Generative AI Plenary Events | |
Inclusion Session Plenary Events | |
Leveraging Latent-space Generative Models for Testing Plenary Events | |
SIGSOFT Impact Award Plenary Events | |
Welcome to ISSTA 2025 Plenary Events |