A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines (SPLASH 2024 - Student Research Competition) - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Track

SPLASH 2024 Student Research Competition

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

When

Wed 23 Oct 2024 18:22 - 18:31 at California - Posters
Thu 24 Oct 2024 18:00 - 18:15 at Pacific - SRC Presentations

Bio

Undergraduate at John Hopcroft Class, Zhiyuan College, Shanghai Jiao Tong University

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select 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

Session Program

Wed 23 Oct
Displayed time zone: Pacific Time (US & Canada) change

	17:40 - 19:40	PostersStudent Research Competition / Posters at California

	17:40 8m Poster		AUTOINC: Incrementality for Free Posters André Pacak JGU Mainz, Prashant Kumar , Runqing Xu , Sebastian Erdweg JGU Mainz
	17:48 8m Poster		Meerkat: Distributed Reactive Live Semantics with Causal Consistency Posters Heng Zhong , Anrui Liu
	17:57 8m Poster		Ordering Rejectable Stacks in SGLR Parsing Posters Jeff Smits Delft University of Technology, Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands
	18:05 8m Poster		TickTalk: A Programming Language and System for Distributed, Time-Sensitive Applications Posters Kyle Liang Carnegie Mellon University, Edward Andert Arizona State University, Aviral Shrivastava Arizona State University, Jonathan Aldrich Carnegie Mellon University
	18:14 8m Poster		Algebraic effect handlers with bidirectional type-checking Student Research Competition Maya Mückenschnabel
	18:22 8m Poster		A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines Student Research Competition Youwei Zhong Shanghai Jiao Tong University
	18:31 8m Poster		Automatically Generating an Abstract Interpretation-based Optimizer from a DSL Student Research Competition Ken Jin Ooi
	18:40 8m Poster		Automatic Local Inverse Calculation for Change of Variables Student Research Competition Elias Rojas Collins MIT
	18:48 8m Poster		Design of Fractional Permissions for a Gradual Verifier Student Research Competition Craig Liu
	18:57 8m Poster		Grammar Derivation Visualization in Automata Theory Student Research Competition Tijana Minic , Andrés M. Garced
	19:05 8m Poster		Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities Student Research Competition Zheyuan Wu , Haoyi Zeng , Aaron Bies Saarland University
	19:14 8m Poster		Towards a Formal Approach to the Analysis of Human-Machine Interaction Student Research Competition Leyi Cui Columbia University, New York
	19:22 8m Poster		Understanding Program Visualizations in the Wild Student Research Competition Joel Castro University of California, Berkeley, Olohi Goodness John Smith College
	19:31 8m Poster		VESC:Towards Temporal Verification of Smart Contracts Student Research Competition Samuel Larsen , Kevin Johanson , Cyrus Liu Samsung Semiconductor DOI

Thu 24 Oct
Displayed time zone: Pacific Time (US & Canada) change

	17:40 - 19:40	SRC PresentationsStudent Research Competition at Pacific

	17:45 15m Poster		Kawa: An Abstract Language for Scalable and Variable Detection of Spectre Vulnerabilities Student Research Competition Zheyuan Wu , Haoyi Zeng , Aaron Bies Saarland University
	18:00 15m Poster		A Parameterized Framework for the Formal Verification of Zero-Knowledge Virtual Machines Student Research Competition Youwei Zhong Shanghai Jiao Tong University
	18:15 15m Poster		Design of Fractional Permissions for a Gradual Verifier Student Research Competition Craig Liu
	18:30 15m Poster		Understanding Program Visualizations in the Wild Student Research Competition Joel Castro University of California, Berkeley, Olohi Goodness John Smith College
	18:45 15m Poster		Automatic Local Inverse Calculation for Change of Variables Student Research Competition Elias Rojas Collins MIT
	19:00 15m Poster		Towards a Formal Approach to the Analysis of Human-Machine Interaction Student Research Competition Leyi Cui Columbia University, New York

Youwei Zhong

Shanghai Jiao Tong University