Seminar Room G145

Room nameSeminar Room G145

Room number507-G145

Capacity40

Room Information

Back building is M&HS Building 507: https://maps.auckland.ac.nz/auckland/39a7034bd4e04f49b06c6762/details/7b2bf607d6da426184abb0eb

Program

Time Zone

The program is currently displayed in (GMT+13:00) Auckland, Wellington.

Use conference time zone: (GMT+13:00) Auckland, WellingtonSelect 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

Save

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	Morning Session ASPLASH Doctoral Symposium at Seminar Room G145

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	Morning Session BSPLASH Doctoral Symposium at Seminar Room G145

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

13:30 - 15:00	Afternoon Session ASPLASH Doctoral Symposium at Seminar Room G145

13:30 30m Talk		Verification of Programs with Concealed ComponentsIn Person SPLASH Doctoral Symposium Sumit Lahiri IIT Kanpur DOI
14:00 30m Talk		Verification of Hardware and Software with Fuzzing and ProofsIn Person SPLASH Doctoral Symposium Sujit Kumar Muduli IIT Kanpur DOI
14:30 30m Talk		Programming Support for Local-First Software: Enabling the Design of Privacy-Preserving Distributed Software without Relying on the CloudIn Person SPLASH Doctoral Symposium Julian Haas TU Darmstadt DOI

15:30 - 17:30	Afternoon Session BSPLASH Doctoral Symposium at Seminar Room G145

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 Michael Schröder TU Wien DOI Pre-print
17:00 30m Talk		Program Synthesis for Artifacts beyond ProgramsIn Person SPLASH Doctoral Symposium Pankaj Kumar Kalita IIT Kanpur 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

Tue 6 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Seminar Room G145	SPLASH Doctoral Symposium Morning Session A																		SPLASH Doctoral Symposium Morning Session B																																				SPLASH Doctoral Symposium Afternoon Session A																								SPLASH Doctoral Symposium Afternoon Session B

Wed 7 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Seminar Room G145	HATRA Remote Talks																		HATRA In-Person Talks																																				HATRA Information Flow and Discussion																								HATRA

Tue 6 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Seminar Room G145	SPLASH Doctoral SymposiumIn Person Welcome 09:00 - 09:05	SPLASH Doctoral SymposiumIn Person Researching with Undergraduates: a Curricular Approach 09:05 - 09:40							SPLASH Doctoral SymposiumIn Person Elevator Pitches 09:40 - 10:00										SPLASH Doctoral SymposiumIn Person Towards a Verified Cost Model for Call-by-Push-Value 10:30 - 11:00						SPLASH Doctoral SymposiumIn Person Formally Verified Resource Bounds through Implicit Computational Complexity 11:00 - 11:30						SPLASH Doctoral SymposiumIn Person Proving Obliviousness of Probabilistic Algorithms with Formal Verification 11:30 - 12:00																								SPLASH Doctoral SymposiumIn Person Verification of Programs with Concealed Components 13:30 - 14:00						SPLASH Doctoral SymposiumIn Person Verification of Hardware and Software with Fuzzing and Proofs 14:00 - 14:30						SPLASH Doctoral SymposiumIn Person Programming Support for Local-First Software: Enabling the Design of Pr ... 14:30 - 15:00												SPLASH Doctoral SymposiumIn Person Modelling the Quantification of Technical Debt 15:30 - 16:00						SPLASH Doctoral SymposiumIn Person Towards Automated Updates of Software Dependencies 16:00 - 16:30						SPLASH Doctoral SymposiumIn Person Grammar Inference for Ad Hoc Parsers 16:30 - 17:00						SPLASH Doctoral SymposiumIn Person Program Synthesis for Artifacts beyond Programs 17:00 - 17:30

Wed 7 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45
Seminar Room G145	HATRAVirtual Program Synthesis Using Example Propagation 09:00 - 09:30						HATRAVirtual Some Problems with Properties: A Study on Property-Based Testing in Ind ... 09:30 - 10:00												HATRA Exploring the Verifiability of Code Generated by GitHub Copilot 10:30 - 11:00						HATRA Holbert: Reading, Writing, Proving and Learning in the Browser 11:00 - 11:30						HATRA A Survey of Weak Reasoning Assistants 11:30 - 12:00																								HATRA Static Information Flow Control Made Simple 13:30 - 14:00						HATRA Discussion 14:00 - 15:00

Room information: Seminar Room G145

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

HATRA

HATRA

HATRA

HATRA

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Tracks

Room information: Seminar Room G145

Program Display Configuration

Tue 6 DecDisplayed time zone: Auckland, Wellington change

Wed 7 DecDisplayed time zone: Auckland, Wellington change

Tue 6 DecDisplayed time zone: Auckland, Wellington change

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

Wed 7 DecDisplayed time zone: Auckland, Wellington change

HATRA

HATRA

HATRA

HATRA

Tue 6 DecDisplayed time zone: Auckland, Wellington change

Wed 7 DecDisplayed time zone: Auckland, Wellington change

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

Wed 7 Dec
Displayed time zone: Auckland, Wellington change