Mon 17 Jul 2023 15:30 - 15:35 at Madrona Seminar Room (Gates 371) - Session 3

Mon 17 Jul

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

15:30 - 17:00
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