Wed 23 Oct 2024 18:48 - 18:57 at California - Posters
Thu 24 Oct 2024 18:15 - 18:30 at Pacific - SRC Presentations

Wed 23 Oct

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

17:40 - 19:40
17:40
8m
Poster
AUTOINC: Incrementality for Free
Posters
17:48
8m
Poster
Meerkat: Distributed Reactive Live Semantics with Causal Consistency
Posters
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
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
18:40
8m
Poster
Automatic Local Inverse Calculation for Change of Variables
Student Research Competition
18:48
8m
Poster
Design of Fractional Permissions for a Gradual Verifier
Student Research Competition
18:57
8m
Poster
Grammar Derivation Visualization in Automata Theory
Student Research Competition
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
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
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
19:00
15m
Poster
Towards a Formal Approach to the Analysis of Human-Machine Interaction
Student Research Competition
Leyi Cui Columbia University, New York