Ordering Rejectable Stacks in SGLR Parsing (SPLASH 2024 - Posters) - SPLASH 2024

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

Who

Jeff Smits, Daniel A. A. Pelsmaeker

Track

SPLASH 2024 Posters

This program is tentative and subject to change.

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 17:57 - 18:05 at California - Posters

Jeff Smits

Delft University of Technology

Netherlands

Daniel A. A. Pelsmaeker

Delft University of Technology, Netherlands

Netherlands

This program is tentative and subject to change.

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
	19:31 8m Poster		VESC:Towards Temporal Verification of Smart Contracts Student Research Competition Samuel Larsen , Kevin Johanson , Cyrus Liu Samsung Semiconductor DOI

Hide past events