SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Thu 26 Oct 2023 17:30 - 17:43 at Room II - SPLASH SRC Talk Presentations Chair(s): Xujie Si

We propose a novel approach to distributed reactive prop- agation that provides strong consistency guarantees with minimal locking. This is achieved by decoupling propagation of the reactive graph from transaction execution, utilizing reactive histories to avoid propagating in-progress results. We formally define soundness properties in terms of histories, and sketch how our semantics upholds them. We implement Histogriographer, a runtime incorporating our methods, and conduct a preliminary evaluation demonstrating perfor- mance improvements of up to 38% on select benchmarks.

Thu 26 Oct

Displayed time zone: Lisbon change

17:30 - 19:30
SPLASH SRC Talk PresentationsStudent Research Competition at Room II
Chair(s): Xujie Si University of Toronto
17:30
13m
Poster
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Student Research Competition
Julia Freeman Francis Marion University, Timothy Zhou University of Illinois Urbana-Champaign
17:43
13m
Poster
Clearing the Trail: Motivations for Maintenance Work in Open Source
Student Research Competition
Katrina Wilson Bucknell University
17:56
13m
Poster
An optimal structure-aware code difference framework with MaxSAT-SolverRemote
Student Research Competition
Haolin Ye McGill University
18:10
13m
Poster
Rose: Extensible Autodiff on the Web
Student Research Competition
Raven Rothkopf Barnard College
18:23
13m
Poster
Partial Gradual Dependent Type Theory
Student Research Competition
Zhan Shi Graduate School of Informatics, Kyoto University
18:36
13m
Poster
Design and implementation of facets of dynamic policies
Student Research Competition
Antonio Zegarelli IMDEA Software Institute
18:50
13m
Poster
Modular educational languages
Student Research Competition
Jesse Hoobergs KU Leuven
19:03
13m
Poster
Synthesizing Recursive Programs Through Dataflow Constraints
Student Research Competition
Marta Davila Mateu University of Southern California