Verifying Exception-Handling Code in Concurrent Libraries (APSEC 2023 - Technical Track) - APSEC 2023

Mon 4 - Thu 7 December 2023 Seoul, South Korea

Who

Dhriti Khanna, Subodh Sharma, Rahul Purandare

Track

APSEC 2023 Technical Track

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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

Thu 7 Dec 2023 11:30 - 12:00 at Grand Hall 1 - Testing and Analysis (5) Chair(s): Yunho Kim

Dhriti Khanna

IIIT Delhi

India

Subodh Sharma

IIT Delhi

India

Rahul Purandare

University of Nebraska-Lincoln

United States

Time Zone

The program is currently displayed in (GMT+09:00) Seoul.

Use conference time zone: (GMT+09:00) SeoulSelect 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

Thu 7 Dec
Displayed time zone: Seoul change

	11:00 - 12:30	Testing and Analysis (5)Technical Track at Grand Hall 1 Chair(s): Yunho Kim Hanyang University

	11:00 30m Talk		Automated Simulation-based Integration Testing for Multiple PLCs in a Reactor Protection System Technical Track Hyeongseok Eun KEPCO E&C, Eunkyoung Jee KAIST, South Korea, Doo-Hwan Bae Korea Advanced Institute of Science and Technology
	11:30 30m Talk		Verifying Exception-Handling Code in Concurrent Libraries Technical Track Dhriti Khanna IIIT Delhi, Subodh Sharma IIT Delhi, Rahul Purandare University of Nebraska-Lincoln
	12:00 30m Talk		Parameterized Search Heuristic Prediction for Concolic Execution Technical Track Farnoushsadat Nilizadeh Isfahan University of Technology, Hamid Dashtbani Department of Electrical and Computer Engineering, Isfahan University of Technology, Maryam Mouzarani Department of Electrical and Computer Engineering, Isfahan University of Technology