Atrium - VMIL 2022

Room nameAtrium

Room number505-000L5

Capacity400

Room Information

This is the main atrium used for registration, posters, tea/coffee/lunches.

Front building is M&HS Building 505: https://maps.auckland.ac.nz/auckland/39a7034bd4e04f49b06c6762/details/356dd77d1c694521aee267af

Information for Participants

Info for room Atrium:

This is the main atrium used for registration, posters, tea/coffee/lunches.

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

18:00 - 20:00	SPLASH PostersSPLASH Student Research Competition / SPLASH Posters at Atrium Chair(s): Xujie Si McGill University, Canada, Caterina Urban Inria & École Normale Supérieure \| Université PSL

18:00 2h Poster		Simple Extensible Programming through Precisely-Typed Open Recursion SPLASH Student Research Competition Andong Fan Hong Kong University of Science and Technology DOI
18:00 2h Poster		CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis SPLASH Student Research Competition Chengpeng Wang Hong Kong University of Science and Technology DOI
18:00 2h Poster		LoRe: Local-First Reactive Programming with Verified Safety Guarantees SPLASH Student Research Competition Julian Haas TU Darmstadt DOI
18:00 2h Poster		Qiwi: A Beginner Friendly Quantum Language SPLASH Student Research Competition Abhinandan Pal IIIT Kalyani, Anubhab Ghosh IIIT Kalyani DOI
18:00 2h Poster		Provably Correct Smart Contracts: An Approach using DeepSEA SPLASH Posters Daniel Britten University of Waikato, Vilhelm Sjöberg CertiK, Steve Reeves University of Waikato DOI
18:00 2h Poster		Tower: Data Structures in Quantum Superposition SPLASH Posters Charles Yuan Massachusetts Institute of Technology, Michael Carbin Massachusetts Institute of Technology
18:00 2h Poster		Using Mutations to Analyze Formal Specifications SPLASH Student Research Competition Siraphob Phipathananunth Vanderbilt University DOI
18:00 2h Poster		Competitive Debugging: Toward Contests Promoting Debugging as a Skill SPLASH Posters Patrick Rein University of Potsdam; Hasso Plattner Institute, Tom Beckmann University of Potsdam; Hasso Plattner Institute, Leonard Geier University of Potsdam; Hasso Plattner Institute, Toni Mattis University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld University of Potsdam; Hasso Plattner Institute
18:00 2h Poster		Foundationally Sound Annotation Verifier via Control Flow Splitting SPLASH Student Research Competition Litao Zhou Shanghai Jiao Tong University DOI
18:00 2h Poster		Semi-symbolic Inference for Efficient Streaming Probabilistic Programming SPLASH Posters Eric Atkinson Massachusetts Institute of Technology, Charles Yuan Massachusetts Institute of Technology, Guillaume Baudart Inria, Louis Mandel IBM Research, Michael Carbin Massachusetts Institute of Technology
18:00 2h Poster		A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Analysis SPLASH Student Research Competition Aditya Anand IIT Mandi DOI
18:00 2h Poster		Multiverse Notebook: A Notebook Environment for Safe and Efficient Exploration SPLASH Posters Tomoki Nakamaru University of Tokyo, Shigeyuki Sato University of Tokyo DOI
18:00 2h Poster		Katara: Synthesizing CRDTs with Verified Lifting SPLASH Posters Shadaj Laddad University of California at Berkeley, Conor Power University of California at Berkeley, Mae Milano University of California at Berkeley, Alvin Cheung University of California at Berkeley, Joseph M. Hellerstein University of California at Berkeley
18:00 2h Poster		Explicit Code Reuse Recommendation SPLASH Posters Dov Fraivert Open University of Israel, David H. Lorenz Open University of Israel DOI
18:00 2h Poster		Automated Verification for Real-Time Systems using Implicit Clocks and an Extended Antimirov Algorithm SPLASH Student Research Competition Yahui Song National University of Singapore, Wei-Ngan Chin National University of Singapore DOI
18:00 2h Poster		Composing Linear Types and Separation Logic Proofs of Memory Safety SPLASH Posters Pilar Selene Linares Arévalo University of Melbourne DOI
18:00 2h Poster		ARENA: Enhancing Abstract Refinement for Neural Network Verification SPLASH Student Research Competition Yuyi Zhong National University of Singapore, Quang-Trung Ta National University of Singapore, Siau-Cheng Khoo National University of Singapore DOI
18:00 2h Poster		Termination of Recursive Functions by Lexicographic Orders of Linear Combinations SPLASH Student Research Competition Raphael Douglas Giles UNSW DOI

Mon 5 Dec
Displayed time zone: Auckland, Wellington change


Room	18:00						30						19:00						30
Atrium	SPLASH Student Research Competition + SPLASH Posters SPLASH Posters

Mon 5 Dec
Displayed time zone: Auckland, Wellington change


Room	18:00			15			30			45			19:00			15			30			45
Atrium	SPLASH Student Research Competition Simple Extensible Programming through Precisely-Typed Open Recursion 18:00 - 20:00 CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query ... 18:00 - 20:00 LoRe: Local-First Reactive Programming with Verified Safety Guarantees 18:00 - 20:00 Qiwi: A Beginner Friendly Quantum Language 18:00 - 20:00 SPLASH Posters Provably Correct Smart Contracts: An Approach using DeepSEA 18:00 - 20:00 Tower: Data Structures in Quantum Superposition 18:00 - 20:00 SPLASH Student Research Competition Using Mutations to Analyze Formal Specifications 18:00 - 20:00 SPLASH Posters Competitive Debugging: Toward Contests Promoting Debugging as a Skill 18:00 - 20:00 SPLASH Student Research Competition Foundationally Sound Annotation Verifier via Control Flow Splitting 18:00 - 20:00 SPLASH Posters Semi-symbolic Inference for Efficient Streaming Probabilistic Programming 18:00 - 20:00 SPLASH Student Research Competition A Study of the Impact of Callbacks in Staged Static+Dynamic Partial Ana ... 18:00 - 20:00 SPLASH Posters Multiverse Notebook: A Notebook Environment for Safe and Efficient Expl ... 18:00 - 20:00 Katara: Synthesizing CRDTs with Verified Lifting 18:00 - 20:00 Explicit Code Reuse Recommendation 18:00 - 20:00 SPLASH Student Research Competition Automated Verification for Real-Time Systems using Implicit Clocks and ... 18:00 - 20:00 SPLASH Posters Composing Linear Types and Separation Logic Proofs of Memory Safety 18:00 - 20:00 SPLASH Student Research Competition ARENA: Enhancing Abstract Refinement for Neural Network Verification 18:00 - 20:00 Termination of Recursive Functions by Lexicographic Orders of Linear Co ... 18:00 - 20:00

Room information: Atrium

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

SPLASH Student Research Competition + SPLASH Posters

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Tracks

SPLASH 2022

Room information: Atrium

Program Display Configuration

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Mon 5 DecDisplayed time zone: Auckland, Wellington change

SPLASH Student Research Competition + SPLASH Posters

Mon 5 DecDisplayed time zone: Auckland, Wellington change

Information for Participants

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change

Mon 5 Dec
Displayed time zone: Auckland, Wellington change