Program Repair Guided by Datalog-defined Static Analysis (KLEE 2024) - ICSE 2024

Fri 12 - Sun 21 April 2024 Lisbon, Portugal

Who

Yu Liu, Sergey Mechtaev, Pavle Subotic, Abhik Roychoudhury

Track

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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 16 Apr 2024 11:22 - 11:44 at Maria Helena Vieira da Silva - Program Repair & Keynote Chair(s): Martin Nowack

Yu Liu

National University of Singapore

Sergey MechtaevPresenter

University College London

United Kingdom

Pavle Subotic

Fantom Foundation

Serbia

Abhik Roychoudhury

National University of Singapore

Singapore

Time Zone

The program is currently displayed in (GMT+01:00) Lisbon.

Use conference time zone: (GMT+01:00) LisbonSelect 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 16 Apr
Displayed time zone: Lisbon change

	11:00 - 12:30	Program Repair & KeynoteKLEE at Maria Helena Vieira da Silva Chair(s): Martin Nowack Imperial College London

	11:00 22m Talk		Concolic Program Repair KLEE P: Ridwan Salihin Shariffdeen National University of Singapore, Yannic Noller Singapore University of Technology and Design, Lars Grunske Humboldt-Universität zu Berlin, Abhik Roychoudhury National University of Singapore Link to publication DOI Pre-print
	11:22 22m Talk		Program Repair Guided by Datalog-defined Static Analysis KLEE Yu Liu National University of Singapore, P: Sergey Mechtaev University College London, Pavle Subotic Fantom Foundation, Abhik Roychoudhury National University of Singapore
	11:44 46m Keynote		Symbolic PathFinder: Symbolic Execution for Java KLEE Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center