Type Automata (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

Ori Roth, Andreas Zeller, Xusheng Xiao, Emery D. Berger

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 15:40 - 15:48 at Madrona Seminar Room (Gates 371) - Session 3

Ori RothSpeaker

Technion

Israel

Andreas ZellerPanelist

CISPA Helmholtz Center for Information Security

Germany

Xusheng XiaoPanelist

Case Western Reserve University

United States

Emery D. BergerPanelist

University of Massachusetts Amherst

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

	15:30 - 17:00	Session 3Doctoral Symposium at Madrona Seminar Room (Gates 371)

	15:30 5m Talk		Reasoning About MLIR Semantics Through Algebraic Effects and Handlers Doctoral Symposium S: Pingshi Yu Imperial College London, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Case Western Reserve University, P: Emery Berger
	15:35 5m Talk		Quantitative Symbolic Similarity Analysis Doctoral Symposium S: Laboni Sarker University of California at Santa Barbara, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Arizona State University, P: Emery Berger
	15:40 8m Talk		Type Automata Doctoral Symposium S: Ori Roth Technion, P: Andreas Zeller CISPA Helmholtz Center for Information Security, P: Xusheng Xiao Case Western Reserve University, P: Emery D. Berger University of Massachusetts Amherst
	15:48 25m Talk		How to conduct impactful research Doctoral Symposium S: Emery Berger