LIVE 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
VenueUniversity of Auckland
Room nameSeminar Room G145
Room number507-G145
Capacity40
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 6 Dec

Displayed time zone: Auckland, Wellington change

09:00 - 10:00
09:00
5m
Other
WelcomeIn Person
SPLASH Doctoral Symposium

09:05
35m
Talk
Researching with Undergraduates: a Curricular ApproachIn Person
SPLASH Doctoral Symposium
I: Mae Milano University of California at Berkeley
09:40
20m
Other
Elevator PitchesIn Person
SPLASH Doctoral Symposium

10:30 - 12:00
10:30
30m
Talk
Towards a Verified Cost Model for Call-by-Push-ValueIn Person
SPLASH Doctoral Symposium
Zhuo Chen University of Melbourne
DOI
11:00
30m
Talk
Formally Verified Resource Bounds through Implicit Computational ComplexityIn Person
SPLASH Doctoral Symposium
Neea Rusch Augusta University
DOI
11:30
30m
Talk
Proving Obliviousness of Probabilistic Algorithms with Formal VerificationIn Person
SPLASH Doctoral Symposium
Pengbo Yan University of Melbourne
DOI
15:30 - 17:30
15:30
30m
Talk
Modelling the Quantification of Technical DebtIn Person
SPLASH Doctoral Symposium
Judith Perera University of Auckland
DOI
16:00
30m
Talk
Towards Automated Updates of Software DependenciesIn Person
SPLASH Doctoral Symposium
Dhanushka Jayasuriya University of Auckland
DOI
16:30
30m
Talk
Grammar Inference for Ad Hoc ParsersIn Person
SPLASH Doctoral Symposium
DOI Pre-print
17:00
30m
Talk
Program Synthesis for Artifacts beyond ProgramsIn Person
SPLASH Doctoral Symposium
DOI

Wed 7 Dec

Displayed time zone: Auckland, Wellington change

09:00 - 10:00
Remote TalksHATRA at Seminar Room G145
Chair(s): Cyrus Omar University of Michigan
09:00
30m
Talk
Program Synthesis Using Example PropagationVirtual
HATRA
Niek Mulleners Utrecht University, Johan Jeuring Utrecht University, Bastiaan Heeren Open University of the Netherlands, Netherlands
Link to publication
09:30
30m
Talk
Some Problems with Properties: A Study on Property-Based Testing in IndustryVirtual
HATRA
Harrison Goldstein University of Pennsylvania, Joseph W. Cutler University of Pennsylvania, Adam Stein University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania, Andrew Head University of Pennsylvania
Link to publication
10:30 - 12:00
In-Person TalksHATRA at Seminar Room G145
Chair(s): Jonathan Aldrich Carnegie Mellon University
10:30
30m
Talk
Exploring the Verifiability of Code Generated by GitHub Copilot
HATRA
Dakota Wong University of Waterloo, Austin Kothig University of Waterloo, Patrick Lam University of Waterloo
Link to publication
11:00
30m
Talk
Holbert: Reading, Writing, Proving and Learning in the Browser
HATRA
Liam O'Connor University of Edinburgh, Rayhana Amjad The University of Edinburgh
Link to publication Media Attached
11:30
30m
Talk
A Survey of Weak Reasoning Assistants
HATRA
Matthew Sotoudeh Stanford University
Link to publication
13:30 - 15:00
Information Flow and DiscussionHATRA at Seminar Room G145
Chair(s): Alan Jeffrey Roblox
13:30
30m
Talk
Static Information Flow Control Made Simple
HATRA
Hemant Gouni University of Minnesota at Twin Cities, Jonathan Aldrich Carnegie Mellon University
Link to publication
14:00
60m
Meeting
Discussion
HATRA
Michael Coblenz University of California, San Diego, Jonathan Aldrich Carnegie Mellon University, Luke Church University of Cambridge | Lund University | Lark Systems

Wed 7 Dec

Displayed time zone: Auckland, Wellington change