Seminar Room LG004

Room nameSeminar Room LG004

Room number507-LG004

Capacity50

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

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

09:00 - 10:00	Session 1PAINT at Seminar Room LG004

09:00 15m Talk		Creating Dynamic Prototypes from Web Page SketchesVirtual PAINT Tommaso Calo Politecnico di Torino, Luigi De Russis Politecnico di Torino DOI
09:15 15m Talk		Toward a VR-Native Live Programming EnvironmentVirtual PAINT Leonard Geier University of Potsdam; Hasso Plattner Institute, Clemens Tiedt University of Potsdam; Hasso Plattner Institute, Tom Beckmann University of Potsdam; Hasso Plattner Institute, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute DOI
09:30 15m Talk		Suppose You Had Blocks within a NotebookVirtual PAINT Mauricio Verano Merino Vrije Universiteit Amsterdam, Juan Pablo Sáenz Politecnico di Torino, Ana María Díaz Castillo Teach for All DOI Pre-print
09:45 15m Talk		Interaction vs. Abstraction: Managed Copy and PasteVirtual PAINT Jonathan Edwards Independent, Tomas Petricek Charles University DOI Pre-print

10:30 - 12:00	Session 2PAINT at Seminar Room LG004

10:30 15m Talk		Integration testing can be reliable and low-effort in a projectional IDE through snapshots - DEMOVirtual PAINT Bastian Kruck itemis SECURE // Hasso Plattner Institute
10:45 15m Talk		Towards a Python 3 IDE for Teaching Creative Programming PAINT Tristan Bunn Victoria University of Wellington, Craig Anslow Victoria University of Wellington, Karsten Lundqvist
11:00 15m Talk		Conjecturing on a Fundamental Theorem of Computation and its Implications for a New Theory in Programmer Experience Design PAINT Gary Miller University of Technology Sydney
11:15 15m Talk		Domain-Specific Visual Language for Data Engineering Quality PAINT Alexis De Meo Trove, Michael Homer Victoria University of Wellington DOI Pre-print
11:30 15m Talk		Blocks, Blocks, and More Blocks-Based Programming PAINT Benjamin Selwyn-Smith Oracle Labs, Craig Anslow Victoria University of Wellington, Michael Homer Victoria University of Wellington DOI
11:45 15m Talk		Interleaved 2D Notation for Concatenative Programming PAINT Michael Homer Victoria University of Wellington DOI Pre-print

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

10:30 - 12:00	Keynote, Talks I, and IntroductionsLIVE at Seminar Room LG004 Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego

10:30 60m Keynote		Searching for LifeIn-personKeynote LIVE Peter van Hardenberg Ink & Switch
11:30 20m Talk		Potluck: dynamic documents as personal softwarePre-recorded LIVE Geoffrey Litt MIT, Max Schöning , Paul Shen , Paul Sonnentag
11:50 10m Social Event		Introductions LIVE Sam Lau University of California at San Diego, Jun Kato National Institute of Advanced Industrial Science and Technology (AIST)

13:30 - 15:00	Talks IILIVE at Seminar Room LG004 Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego

13:30 10m Short-paper		Docable: Towards a Live Learning EnvironmentVirtual LIVE Samim Mirhosseini North Carolina State University, Chris Parnin North Carolina State University
13:40 10m Short-paper		System-Specific Interpreters Make Megasystems FriendlierIn-person LIVE Matthew Sotoudeh Stanford University Link to publication
13:50 20m Talk		Tidyparse: Real-Time Context Free Error CorrectionIn-person LIVE Breandan Considine McGill University, Jin L.C. Guo McGill University, Xujie Si McGill University, Canada
14:10 20m Talk		Live Programming and Text Editor Integration in the Croquet Microverse 3D Collaborative Construction SystemIn-person LIVE Yoshiki Ohshima Croquet Corporation, Shizuoka University, Aran Lunzer Croquet Corporation, Vanessa Freudenberg Croquet Corp, Brian Upton , David Smith
14:30 20m Short-paper		Cascade: a Meta-Language for Change, Cause and EffectVirtual LIVE Riemer van Rozen CWI Pre-print

15:30 - 17:00	Talks IIILIVE at Seminar Room LG004 Chair(s): Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Sam Lau University of California at San Diego

15:30 10m Short-paper		Education-aware Interactive Machine Teaching: Training Autonomous Game AgentsVirtual LIVE Chunqi Zhao , I-Chao Shen , Tsukasa Fukusato The University of Tokyo, Jun Kato National Institute of Advanced Industrial Science and Technology (AIST), Takeo Igarashi The University of Tokyo
15:40 10m Short-paper		Flowie, a Collaborative Projection EditorIn-person LIVE Gary Miller
15:50 20m Talk		Meta-programmable functional notebooks with LivebookPre-recorded LIVE José Valim Dashbit
16:10 20m Talk		Live 2D Compositional ProgrammingIn-person LIVE Michael Homer Victoria University of Wellington Link to publication
16:30 20m Talk		Ampleforth: A Live Literate EditorVirtual LIVE Gilad Bracha F5

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

09:00 - 10:00	KeynoteFTSCS at Seminar Room LG004

09:00 60m Keynote		Cooperative Verification: Towards Reliable Safety-Critical Systems In Person FTSCS Dirk Beyer LMU Munich Link to publication DOI

10:30 - 12:00	Session 1: Time and StateFTSCS at Seminar Room LG004

10:30 30m Talk		Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed AutomataIn Person FTSCS Jaime Arias CNRS; LIPN; Université Sorbonne Paris Nord, Kyungmin Bae POSTECH, Carlos Olarte CNRS; LIPN; Université Sorbonne Paris Nord, Peter Ölveczky University of Oslo, Laure Petrucci CNRS; LIPN; Université Sorbonne Paris Nord, Fredrik Rømming University of Oslo DOI
11:00 30m Talk		Q: A Sound Verification Framework for Statecharts and Their ImplementationsIn Person FTSCS Samuel D. Pollard Sandia National Laboratories, Robert C. Armstrong Sandia National Laboratories, Jon Aytac Sandia National Laboratories, John Bender Sandia National Laboratories, Geoffrey C. Hulette Sandia National Laboratories, Raheel S. Mahmood Sandia National Laboratories, Karla Morris Sandia National Laboratories, Blake C. Rawlings Sandia National Laboratories DOI
11:30 30m Talk		strategFTO: Untimed Control for Timed OpacityIn Person FTSCS Étienne André Université Sorbonne Paris Nord; LIPN; CNRS, Shapagat Bolat Université de Lorraine; CNRS; Inria; LORIA, Engel Lefaucheux Université de Lorraine; CNRS; Inria; LORIA, Dylan Marinho Université de Lorraine; CNRS; Inria; LORIA DOI

13:30 - 15:00	Session 2: Distributed and Embedded SystemsFTSCS at Seminar Room LG004

13:30 30m Talk		Symbolic Reachability Analysis of Distributed Systems using Narrowing and Heuristic SearchIn Person FTSCS Byeongjee Kang POSTECH, Kyungmin Bae POSTECH DOI
14:00 30m Talk		Proving Memory Access Violations in Isabelle/HOLIn Person FTSCS Sharar Ahmadi University of Surrey, Brijesh Dongol University of Surrey, Matt Griffin University of Surrey DOI
14:30 30m Talk		Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMTIn Person FTSCS Jaeseo Lee POSTECH, Sangki Kim POSTECH, Kyungmin Bae POSTECH DOI

15:30 - 17:30	Session 3: Applications of Formal MethodsFTSCS at Seminar Room LG004

15:30 30m Talk		Synchronous Programming and Refinement Types in Robotics: From Verification to ImplementationIn Person FTSCS Jiawei Chen University of Michigan at Ann Arbor, José Luiz Vargas de Mendonça University of Michigan at Ann Arbor, Shayan Jalili University of Michigan at Ann Arbor, Bereket Shimels Ayele Addis Ababa Institute of Technology, Bereket Ngussie Bekele Addis Ababa Institute of Technology, Zhemin Qu University of Michigan at Ann Arbor, Pranjal Sharma University of Michigan at Ann Arbor, Tigist Shiferaw Addis Ababa Institute of Technology, Yicheng Zhang University of Michigan at Ann Arbor, Jean-Baptiste Jeannin University of Michigan at Ann Arbor DOI
16:00 30m Talk		Formal Probabilistic Risk Assessment of a Nuclear Power PlantVirtual FTSCS Mohamed Abdelghany Concordia University, Sofiene Tahar Concordia University DOI
16:30 30m Talk		Modelling a Blockchain for Smart Contract Verification using DeepSEAIn Person FTSCS Daniel Britten University of Waikato, Steve Reeves University of Waikato DOI
17:00 30m Talk		Towards a Formalization of the Active Corner Method for Collision Avoidance in PVSIn Person FTSCS Nishant Kheterpal University of Michigan, Jean-Baptiste Jeannin University of Michigan at Ann Arbor

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

10:30 - 12:00	ICFP and SASSPLASH COVID Time Papers In Person at Seminar Room LG004 Chair(s): Peter Thiemann University of Freiburg, Germany

10:30 30m Talk		Composing and decomposing op-based CRDTs with semidirect products SPLASH COVID Time Papers In Person Matthew Weidner Carnegie Mellon University, Heather Miller Carnegie Mellon University, USA, Christopher Meiklejohn Carnegie Mellon University Link to publication DOI
11:00 30m Talk		Improving Thread-Modular Abstract Interpretation SPLASH COVID Time Papers In Person Michael Schwarz Technische Universität München, Simmo Saan University of Tartu, Estonia, Helmut Seidl Technische Universität München, Kalmer Apinis University of Tartu, Estonia, Julian Erhard Technical University of Munich, Vesal Vojdani University of Tartu Link to publication DOI
11:30 30m Talk		Static Analysis of Endian Portability by Abstract InterpretationVirtual SPLASH COVID Time Papers In Person David Delmas Airbus & Sorbonne Université, Abdelraouf Ouadjaout Sorbonne Université, Antoine Miné Sorbonne Université Link to publication DOI

15:30 - 17:00	ICFP PapersSPLASH COVID Time Papers In Person at Seminar Room LG004 Chair(s): Matthieu Lemerre CEA LIST, France

15:30 30m Talk		Certifying the Synthesis of Heap-Manipulating Programs SPLASH COVID Time Papers In Person Yasunari Watanabe Ahrefs Research, Kiran Gopinathan National University of Singapore, George Pîrlea National University of Singapore, Singapore, Nadia Polikarpova University of California at San Diego, Ilya Sergey National University of Singapore Link to publication DOI
16:00 30m Talk		Kindly Bent to Free Us SPLASH COVID Time Papers In Person Gabriel Radanne Inria, Hannes Saffrich University of Freiburg, Peter Thiemann University of Freiburg, Germany Link to publication DOI
16:30 30m Talk		Stable relations and abstract interpretation of higher-order programs SPLASH COVID Time Papers In Person Benoît Montagu Inria, Thomas P. Jensen INRIA Rennes Link to publication File Attached

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

10:30 - 12:30	OOPSLA PapersSPLASH COVID Time Papers In Person at Seminar Room LG004 Chair(s): Manas Thakur IIT Bombay

10:30 30m Talk		Label dependent lambda calculus and gradual typing SPLASH COVID Time Papers In Person Weili Fu University of Freiburg, Germany, Fabian Krause University of Freiburg, Peter Thiemann University of Freiburg, Germany Link to publication DOI
11:00 30m Talk		Modular Specification and Verification of Closures in Rust SPLASH COVID Time Papers In Person Fabian Wolff , Aurel Bílý ETH Zurich, Christoph Matheja ETH Zurich, Peter Müller ETH Zurich, Alexander J. Summers University of British Columbia Link to publication DOI
11:30 30m Talk		Revisiting Iso-Recursive SubtypingVirtual SPLASH COVID Time Papers In Person Yaoda Zhou University of Hong Kong, Bruno C. d. S. Oliveira University of Hong Kong, Jinxu Zhao University of Hong Kong Link to publication DOI
12:00 30m Talk		Symbolic value-flow static analysis: deep, precise, complete modeling of Ethereum smart contracts SPLASH COVID Time Papers In Person Yannis Smaragdakis University of Athens, Neville Grech University of Malta, Sifis Lagouvardos University of Athens, Konstantinos Triantafyllou ETH Zurich, Ilias Tsatiris University of Athens Link to publication DOI

13:30 - 15:00	Onward! Papers and EssaysSPLASH COVID Time Papers In Person at Seminar Room LG004 Chair(s): Matthew Sotoudeh Stanford University

13:30 30m Talk		A Case Study in Language-Based Security: Building an I/O Library for Wyvern SPLASH COVID Time Papers In Person Jennifer Fish Carnegie Mellon University, Darya Melicher Google, Jonathan Aldrich Carnegie Mellon University Link to publication DOI
14:00 30m Talk		How (Not) To Write Java Pointer Analyses After 2020 SPLASH COVID Time Papers In Person Manas Thakur IIT Bombay Link to publication DOI
14:30 30m Talk		Putting the Semantics into Semantic Versioning SPLASH COVID Time Papers In Person Patrick Lam University of Waterloo, Jens Dietrich Victoria University of Wellington, David J. Pearce ConsenSys Link to publication DOI

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

13:30 - 15:00	PLDI and POPL PapersSPLASH COVID Time Papers In Person at Seminar Room LG004 Chair(s): Joxan Jaffar National University of Singapore

13:30 30m Talk		PMEvo: portable inference of port mappings for out-of-order processors by evolutionary optimization SPLASH COVID Time Papers In Person Fabian Ritter Saarland University, Germany, Sebastian Hack Saarland University, Germany Link to publication DOI
14:00 30m Talk		Software Model-Checking as Cyclic-Proof Search SPLASH COVID Time Papers In Person Takeshi Tsukada Chiba University, Hiroshi Unno University of Tsukuba; RIKEN AIP Link to publication DOI
14:30 30m Talk		SolType: Refinement Types for Arithmetic Overflow in Solidity SPLASH COVID Time Papers In Person Bryan Tan , Benjamin Mariano The University of Texas at Austin, Texas, USA, Shuvendu K. Lahiri Microsoft Research, Işıl Dillig University of Texas at Austin, Yu Feng University of California at Santa Barbara Link to publication DOI

15:30 - 17:00	PLDI PapersSPLASH COVID Time Papers In Person at Seminar Room LG004 Chair(s): Jonathan Aldrich Carnegie Mellon University

15:30 30m Talk		Behavioral simulation for smart contracts SPLASH COVID Time Papers In Person Sidi Mohamed Beillahi University of Toronto, Gabriela Ciocarlie University of Texas at San Antonio, Michael Emmi Amazon Web Services, Constantin Enea Ecole Polytechnique / LIX / CNRS Link to publication DOI
16:00 30m Talk		Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities SPLASH COVID Time Papers In Person Lexi Brent International Computer Science Institute, USA / University of Sydney, Australia, Neville Grech University of Malta, Sifis Lagouvardos University of Athens, Bernhard Scholz The University of Sydney, Yannis Smaragdakis University of Athens Link to publication DOI
16:30 30m Talk		Practical Smart Contract Sharding with Ownership and Commutativity Analysis SPLASH COVID Time Papers In Person George Pîrlea National University of Singapore, Singapore, Amrit Kumar Zilliqa Research, Ilya Sergey National University of Singapore Link to publication DOI

Mon 5 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 LG004	PAINT Session 1																		PAINT Session 2																																				PAINT																								PAINT

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
Seminar Room LG004	LIVE																		LIVE Keynote, Talks I, and Introductions																																				LIVE Talks II																								LIVE Talks III

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						17:00						30
Seminar Room LG004	FTSCS Keynote																		FTSCS Session 1: Time and State																																				FTSCS Session 2: Distributed and Embedded Systems																								FTSCS Session 3: Applications of Formal Methods

Thu 8 Dec
Displayed time zone: Auckland, Wellington change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Seminar Room LG004							SPLASH COVID Time Papers In Person ICFP and SAS																																																												SPLASH COVID Time Papers In Person ICFP Papers

Fri 9 Dec
Displayed time zone: Auckland, Wellington change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Seminar Room LG004							SPLASH COVID Time Papers In Person OOPSLA Papers																																				SPLASH COVID Time Papers In Person Onward! Papers and Essays																								SPLASH COVID Time Papers In Person

Sat 10 Dec
Displayed time zone: Auckland, Wellington change


Room	13:00						30						14:00						30						15:00						30						16:00						30
Seminar Room LG004							SPLASH COVID Time Papers In Person PLDI and POPL Papers																								SPLASH COVID Time Papers In Person PLDI Papers

Mon 5 Dec
Displayed time zone: Auckland, Wellington change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
Seminar Room LG004	PAINTVirtual Creating Dynamic Prototypes from Web Page Sketches 09:00 - 09:15			PAINTVirtual Toward a VR-Native Live Programming Environment 09:15 - 09:30			PAINTVirtual Suppose You Had Blocks within a Notebook 09:30 - 09:45			PAINTVirtual Interaction vs. Abstraction: Managed Copy and Paste 09:45 - 10:00									PAINTVirtual Integration testing can be reliable and low-effort in a projectional ID ... 10:30 - 10:45			PAINT Towards a Python 3 IDE for Teaching Creative Programming 10:45 - 11:00			PAINT Conjecturing on a Fundamental Theorem of Computation and its Implicatio ... 11:00 - 11:15			PAINT Domain-Specific Visual Language for Data Engineering Quality 11:15 - 11:30			PAINT Blocks, Blocks, and More Blocks-Based Programming 11:30 - 11:45			PAINT Interleaved 2D Notation for Concatenative Programming 11:45 - 12:00

Tue 6 Dec
Displayed time zone: Auckland, Wellington change


Room	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
Seminar Room LG004							LIVEIn-personKeynote Searching for Life 10:30 - 11:30												LIVEPre-recorded Potluck: dynamic documents as personal software 11:30 - 11:50				LIVE Introductions 11:50 - 12:00																				LIVEVirtual Docable: Towards a Live Learning Environment 13:30 - 13:40		LIVEIn-person System-Specific Interpreters Make Megasystems Friendlier 13:40 - 13:50		LIVEIn-person Tidyparse: Real-Time Context Free Error Correction 13:50 - 14:10				LIVEIn-person Live Programming and Text Editor Integration in the Croquet Microverse ... 14:10 - 14:30				LIVEVirtual Cascade: a Meta-Language for Change, Cause and Effect 14:30 - 14:50												LIVEVirtual Education-aware Interactive Machine Teaching: Training Autonomous Game ... 15:30 - 15:40		LIVEIn-person Flowie, a Collaborative Projection Editor 15:40 - 15:50		LIVEPre-recorded Meta-programmable functional notebooks with Livebook 15:50 - 16:10				LIVEIn-person Live 2D Compositional Programming 16:10 - 16:30				LIVEVirtual Ampleforth: A Live Literate Editor 16:30 - 16:50

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			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Seminar Room LG004	FTSCSIn Person Cooperative Verification: Towards Reliable Safety-Critical Systems 09:00 - 10:00																		FTSCSIn Person Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Au ... 10:30 - 11:00						FTSCSIn Person Q: A Sound Verification Framework for Statecharts and Their Implementations 11:00 - 11:30						FTSCSIn Person strategFTO: Untimed Control for Timed Opacity 11:30 - 12:00																								FTSCSIn Person Symbolic Reachability Analysis of Distributed Systems using Narrowing a ... 13:30 - 14:00						FTSCSIn Person Proving Memory Access Violations in Isabelle/HOL 14:00 - 14:30						FTSCSIn Person Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT 14:30 - 15:00												FTSCSIn Person Synchronous Programming and Refinement Types in Robotics: From Verifica ... 15:30 - 16:00						FTSCSVirtual Formal Probabilistic Risk Assessment of a Nuclear Power Plant 16:00 - 16:30						FTSCSIn Person Modelling a Blockchain for Smart Contract Verification using DeepSEA 16:30 - 17:00						FTSCSIn Person Towards a Formalization of the Active Corner Method for Collision Avoid ... 17:00 - 17:30

Thu 8 Dec
Displayed time zone: Auckland, Wellington change


Room	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
Seminar Room LG004							SPLASH COVID Time Papers In Person Composing and decomposing op-based CRDTs with semidirect products 10:30 - 11:00						SPLASH COVID Time Papers In Person Improving Thread-Modular Abstract Interpretation 11:00 - 11:30						SPLASH COVID Time Papers In PersonVirtual Static Analysis of Endian Portability by Abstract Interpretation 11:30 - 12:00																																																SPLASH COVID Time Papers In Person Certifying the Synthesis of Heap-Manipulating Programs 15:30 - 16:00						SPLASH COVID Time Papers In Person Kindly Bent to Free Us 16:00 - 16:30						SPLASH COVID Time Papers In Person Stable relations and abstract interpretation of higher-order programs 16:30 - 17:00

Fri 9 Dec
Displayed time zone: Auckland, Wellington change


Room	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 LG004							SPLASH COVID Time Papers In Person Label dependent lambda calculus and gradual typing 10:30 - 11:00						SPLASH COVID Time Papers In Person Modular Specification and Verification of Closures in Rust 11:00 - 11:30						SPLASH COVID Time Papers In PersonVirtual Revisiting Iso-Recursive Subtyping 11:30 - 12:00						SPLASH COVID Time Papers In Person Symbolic value-flow static analysis: deep, precise, complete modeling o ... 12:00 - 12:30																		SPLASH COVID Time Papers In Person A Case Study in Language-Based Security: Building an I/O Library for Wyvern 13:30 - 14:00						SPLASH COVID Time Papers In Person How (Not) To Write Java Pointer Analyses After 2020 14:00 - 14:30						SPLASH COVID Time Papers In Person Putting the Semantics into Semantic Versioning 14:30 - 15:00

Sat 10 Dec
Displayed time zone: Auckland, Wellington change


Room	13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Seminar Room LG004							SPLASH COVID Time Papers In Person PMEvo: portable inference of port mappings for out-of-order processors ... 13:30 - 14:00						SPLASH COVID Time Papers In Person Software Model-Checking as Cyclic-Proof Search 14:00 - 14:30						SPLASH COVID Time Papers In Person SolType: Refinement Types for Arithmetic Overflow in Solidity 14:30 - 15:00												SPLASH COVID Time Papers In Person Behavioral simulation for smart contracts 15:30 - 16:00						SPLASH COVID Time Papers In Person Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities 16:00 - 16:30						SPLASH COVID Time Papers In Person Practical Smart Contract Sharding with Ownership and Commutativity Analysis 16:30 - 17:00

Room information: Seminar Room LG004

Mon 5 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

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

PAINT

PAINT

PAINT

PAINT

Tue 6 Dec
Displayed time zone: Auckland, Wellington change

LIVE

LIVE

LIVE

LIVE

Wed 7 Dec
Displayed time zone: Auckland, Wellington change

FTSCS

FTSCS

FTSCS

FTSCS

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

SPLASH COVID Time Papers In Person

SPLASH COVID Time Papers In Person

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

SPLASH COVID Time Papers In Person

SPLASH COVID Time Papers In Person

SPLASH COVID Time Papers In Person

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

SPLASH COVID Time Papers In Person

SPLASH COVID Time Papers In Person

Mon 5 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

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Tracks

SPLASH 2022

Room information: Seminar Room LG004

Program Display Configuration

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Tue 6 DecDisplayed time zone: Auckland, Wellington change

Wed 7 DecDisplayed time zone: Auckland, Wellington change

Thu 8 DecDisplayed time zone: Auckland, Wellington change

Fri 9 DecDisplayed time zone: Auckland, Wellington change

Sat 10 DecDisplayed time zone: Auckland, Wellington change

Mon 5 DecDisplayed time zone: Auckland, Wellington change

PAINT

PAINT

PAINT

PAINT

Tue 6 DecDisplayed time zone: Auckland, Wellington change

LIVE

LIVE

LIVE

LIVE

Wed 7 DecDisplayed time zone: Auckland, Wellington change

FTSCS

FTSCS

FTSCS

FTSCS

Thu 8 DecDisplayed time zone: Auckland, Wellington change

SPLASH COVID Time Papers In Person

SPLASH COVID Time Papers In Person

Fri 9 DecDisplayed time zone: Auckland, Wellington change

SPLASH COVID Time Papers In Person

SPLASH COVID Time Papers In Person

SPLASH COVID Time Papers In Person

Sat 10 DecDisplayed time zone: Auckland, Wellington change

SPLASH COVID Time Papers In Person

SPLASH COVID Time Papers In Person

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Tue 6 DecDisplayed time zone: Auckland, Wellington change

Wed 7 DecDisplayed time zone: Auckland, Wellington change

Thu 8 DecDisplayed time zone: Auckland, Wellington change

Fri 9 DecDisplayed time zone: Auckland, Wellington change

Sat 10 DecDisplayed time zone: Auckland, Wellington change

Mon 5 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

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 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

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 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

Thu 8 Dec
Displayed time zone: Auckland, Wellington change

Fri 9 Dec
Displayed time zone: Auckland, Wellington change

Sat 10 Dec
Displayed time zone: Auckland, Wellington change