Constructing Structured SSA from FJ (FTfJP 2023) - ECOOP and ISSTA 2023

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

Who

Kenny Zhuo Ming Lu, Daniel Yu Hian Low

Track

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

Tue 18 Jul 2023 11:35 - 12:00 at Anderson Seminar Room (Gates 271) - Verification

Kenny Zhuo Ming Lu

ISTD, Singapore University of Technology and Design

Singapore

Daniel Yu Hian Low

Singapore University of Technology and Design

Singapore

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

Tue 18 Jul
Displayed time zone: Pacific Time (US & Canada) change

	10:30 - 12:00	VerificationFTfJP at Anderson Seminar Room (Gates 271)

	10:30 25m Talk		Verifying C++ dynamic binding FTfJP Niels Mommen KU Leuven, Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Link to publication DOI Pre-print
	10:55 15m Talk		Correctness-by-Construction meets Refinement Types FTfJP Baber Rehman University of Hong Kong
	11:10 25m Talk		Towards Verified Scalable Parallel Computing with Coq and Spark FTfJP Frederic Loulergue Université d'Orléans, Jolan Philippe IMT Atlantique DOI
	11:35 25m Talk		Constructing Structured SSA from FJ FTfJP Kenny Zhuo Ming Lu ISTD, Singapore University of Technology and Design, Daniel Yu Hian Low Singapore University of Technology and Design