Sparse Symbolic Execution (ECOOP and ISSTA 2023 - Doctoral Symposium) - ECOOP and ISSTA 2023

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

Who

Frank Busse, Owolabi Legunsen, Tevfik Bultan

Track

ECOOP and ISSTA 2023 Doctoral Symposium

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

When

Mon 17 Jul 2023 10:43 - 10:51 at Madrona Seminar Room (Gates 371) - Session 1

Frank BusseSpeaker

Imperial College London

United Kingdom

Owolabi LegunsenPanelist

Cornell University

United States

Tevfik BultanPanelist

University of California at Santa Barbara

United States

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

Session Program

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

	10:30 - 12:00	Session 1Doctoral Symposium at Madrona Seminar Room (Gates 371)

	10:30 8m Talk		Automatic Testing and Benchmarking for Configurable Static Analysis Tools Doctoral Symposium S: Austin Mordahl University of Texas at Dallas, P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
	10:38 5m Talk		Optimizing Continuous Development and Predicting Test Information in Software Development Doctoral Symposium talank baral , P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
	10:43 8m Talk		Sparse Symbolic Execution Doctoral Symposium S: Frank Busse Imperial College London, P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara
	10:51 5m Talk		Understanding and Improving the Adoption of Large Language Models Doctoral Symposium S: Suzzana Rafi , P: Owolabi Legunsen Cornell University, P: Tevfik Bultan University of California at Santa Barbara