SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
You're viewing the program in a time zone which is different from your device's time zone - change time zone
This view shows a partial program, view other tabs for the complete program.

No schedule or scheduled events are not visible yet, check back later

This view shows a partial program, view other tabs for the complete program.

Wed 18 Nov
Times are displayed in time zone: Central Time (US & Canada) change

11:00 - 12:20
Formal MethodsHATRA at SPLASH-IV
Chair(s): Michael CoblenzUniversity of Maryland at College Park
11:00
20m
Meeting
Welcome and Introductions
HATRA
11:20
20m
Talk
Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers
HATRA
April GonçalvesMetastate AG
Pre-print
11:40
20m
Talk
Towards making formal methods normal: meeting developers where they are
HATRA
Alastair ReidArm Ltd, Luke ChurchUniversity of Cambridge, Shaked FlurGoogle Research, Sarah de HaasGoogle Research, Maritza JohnsonGoogle Research, Ben LaurieGoogle Research
Link to publication
13:00 - 14:20
TypesHATRA at SPLASH-IV
Chair(s): Peter-Michael OseraGrinnell College
13:00
20m
Talk
The Usability of Ownership
HATRA
Will CrichtonStanford University
Link to publication
13:20
20m
Talk
RustViz: Interactively Visualizing Ownership and Borrowing
HATRA
Gongming (Gabriel) LuoUniversity of Michigan, Vishnu ReddyUniversity of Michigan, Marcelo AlmeidaUniversity of Michigan, Yingying ZhuUniversity of Michigan, Ke DuUniversity of Michigan, Cyrus OmarUniversity of Michigan
Link to publication Pre-print
13:40
20m
Talk
Guiding user annotations for units-of-measure verification
HATRA
Dominic OrchardUniversity of Kent, UK, Mistral ContrastinFacebook London, Matthew DanishUniversity of Cambridge, UK, Andrew RiceUniversity of Cambridge, UK
Link to publication
15:00 - 16:20
DesignHATRA at SPLASH-IV
Chair(s): Luke ChurchUniversity of Cambridge
15:00
20m
Talk
Programming languages shouldn't and needn't be Turing complete
HATRA
Pre-print
15:20
20m
Talk
User-Centered Programming Language Design: A Course-Based Case Study
HATRA
Michael CoblenzUniversity of Maryland at College Park, Ariel DavisCarnegie Mellon University, Megan HofmannCarnegie Mellon University, Vivian HuangCarnegie Mellon University, Siyue JinCarnegie Mellon University, Max Krieger, Kyle LiangCarnegie Mellon University, Brian WeiCarnegie Mellon University, Mengchen Sam YongCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University
Link to publication
15:40
20m
Meeting
Day 1 Discussion
HATRA

Thu 19 Nov
Times are displayed in time zone: Central Time (US & Canada) change

13:00 - 14:20
Novices and Application DomainsHATRA at SPLASH-VI
Chair(s): Luke ChurchUniversity of Cambridge
13:00
20m
Talk
Model-Driven Synthesis for Programming Tutors
HATRA
Niek MullenersUtrecht University, Johan JeuringOpen University of the Netherlands, Netherlands
Link to publication
13:20
20m
Talk
Towards Solver-Aided Creativity
HATRA
Chris MartensNorth Carolina State University
Pre-print
13:40
20m
Talk
Opportunities and Challenges for Circuit Board Level Hardware Description Languages
HATRA
Richard LinUniversity of California, Berkeley, Bjoern HartmannUC Berkeley
Link to publication Pre-print
14:00
20m
Talk
Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
HATRA
Hannah PotterUniversity of Michigan, Cyrus OmarUniversity of Michigan
Pre-print
15:00 - 16:20
Research Agenda PlanningHATRA at SPLASH-VI
Chair(s): Michael CoblenzUniversity of Maryland at College Park
15:00
80m
Meeting
Research Agenda Planning
HATRA
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)