Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Fri 25 Oct 2019 17:00 - 17:30 at Room 1 - Session 3

Conference Day
Fri 25 Oct

Displayed time zone: Beirut change

16:00 - 17:30
Session 3SPLASH-E at Room 1
16:00
30m
Full-paper
Theia: Automatically Generating Correct Program State Visualizations
SPLASH-E
Josh PollockUniversity of Washington, Jared RoeschUniversity of Washington, USA, Doug WoosUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
16:30
30m
Full-paper
Lambdulus: Teaching Lambda Calculus Practically
SPLASH-E
Jan SliackyFaculty of Information Technology, Czech Technical University in Prague, Petr MajCzech Technical University
17:00
30m
Talk
Panel & Group Discussion
SPLASH-E
Elisa BaniassadUniversity of British Columbia