Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness (SCAM 2025 - Research Track) - SCAM 2025

Sun 7 - Fri 12 September 2025 Auckland, New Zealand

co-located with ICSME 2025

Who

Scott Blyth, Sherlock A. Licorish, Christoph Treude, Markus Wagner

Track

SCAM 2025 Research Track

Time Zone

The program is currently displayed in (GMT+12:00) Auckland, Wellington.

Use conference time zone: (GMT+12:00) Auckland, WellingtonSelect 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

When

Tue 9 Sep 2025 10:52 - 11:15 at OGGB5 260-051 - Analysis 2 Chair(s): Patrick Lam

Link to Preprint

https://arxiv.org/pdf/2508.14419

Scott Blyth

Monash University

Australia

Sherlock A. Licorish

University of Otago

New Zealand

Christoph Treude

Singapore Management University

Singapore

Markus Wagner

Monash University, Australia

Australia

Time Zone

The program is currently displayed in (GMT+12:00) Auckland, Wellington.

Use conference time zone: (GMT+12:00) Auckland, WellingtonSelect 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

Session Program

Tue 9 Sep
Displayed time zone: Auckland, Wellington change

	10:30 - 12:00	Analysis 2Engineering Track / Research Track at OGGB5 260-051 Chair(s): Patrick Lam University of Waterloo

	10:30 22m Research paper		On the need to perform comprehensive evaluations of automatic program repair benchmarks: Sorald case study Research Track Sumudu Liyanage University of Otago, Sherlock A. Licorish University of Otago, Markus Wagner Monash University, Australia, Stephen MacDonell Victoria University of Wellington Pre-print
	10:52 22m Research paper		Static Analysis as a Feedback Loop: Enhancing LLM-Generated Code Beyond Correctness Research Track Scott Blyth Monash University, Sherlock A. Licorish University of Otago, Christoph Treude Singapore Management University, Markus Wagner Monash University, Australia Pre-print
	11:15 22m Research paper		FaaSGuard: Secure CI/CD for Serverless Applications – An OpenFaaS Case Study Engineering Track Amine Barrak Oakland University, USA, Emna Ksontini University of Michigan, Ridouane Atike , Fehmi Jaafar Université du Québec à Chicoutimi Pre-print
	11:37 22m Research paper		llvm-dimeta: A library for extracting source-level type information in LLVM IR using debug metadata. Engineering Track Alexander Hück Scientific Computing, TU Darmstadt, Sebastian Kreutzer TU Darmstadt, Christian Bischof Scientific Computing, TU Darmstadt