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

Automatic differentiation (autodiff) has become the backbone for a new wave of optimization-driven domains such as computer graphics and machine learning over the past decade. However, existing autodiff systems face limitations, either lacking support for in-browser development or failing to harness more recent, compiler-based approaches to achieve both expressiveness and size-preserving differentiation. This work introduces Rose, a portable, extensible autodiff language that runs on the web. Through Rose, we aim to increase accessibility to autodiff algorithms and empower end-user programming in optimization-driven domains. We plan to evaluate Rose by replacing the autodiff engines of real-world, client-side optimization systems and assess the improvements on the computation power, expressiveness, and efficiency of such systems.

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