SPLASH 2023
2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023)

Title Page

Welcome from the General Chair

SPLASH 2023 Organization

Remote Just-in-Time Compilation for Dynamic Languages
Andrej Pečimúth
(Charles University, Czechia; Oracle Labs, Czechia)

Publisher's Version

Scaling up Program Synthesis to Efficient Algorithms
Ruyi Ji
(Peking University, China)

Publisher's Version

Large Language Models for Automated Program Repair
Francisco Ribeiro
(INESC Tec, Portugal; Universidade do Minho, Portugal)

Publisher's Version

Transforming Ideas into Code: Visual Sketching for ML Development
Luís Gomes
(Carnegie Mellon University, USA; University of Porto, Portugal)

Publisher's Version

Semantic Versioning for Python Programs
Luís Carvalho
(NOVA University Lisbon, Portugal; NOVA-LINCS, Portugal)

Publisher's Version

Reusing Single-Language Analyses for Static Analysis of Multi-language Programs
Tobias Roth
(TU Darmstadt, Germany)

Publisher's Version

A Pragmatic Approach to Syntax Repair
Breandan Considine
(McGill University, Canada)

Publisher's Version

Partial Gradual Dependent Type Theory
Zhan Shi
(Kyoto University, Japan)

Publisher's Version

Synthesizing Recursive Programs through Dataflow Constraints
Marta Davila Mateu
(University of Southern California, USA)

Publisher's Version

Modular Educational Languages
Jesse Hoobergs
(KU Leuven, Belgium)

Publisher's Version

Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Julia Freeman and Timothy Zhou
(Francis Marion University, USA; University of Illinois at Urbana-Champaign, USA)

Publisher's Version

Clearing the Trail: Motivations for Maintenance Work in Open Source
Katrina Wilson
(Bucknell University, USA)

Publisher's Version

Design and Implementation of Facets of Dynamic Policies
Antonio Zegarelli
(IMDEA Software Institute, Spain)

Publisher's Version

Towards the Formal Verification of Wigderson’s Algorithm
Siraphob Phipathananunth
(Yale University, USA)

Publisher's Version Info

An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver
Haolin Ye
(McGill University, Canada)

Publisher's Version

Rose: Extensible Autodiff on the Web
Raven Rothkopf
(Barnard College, USA)

Publisher's Version

Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Mikhail Barash, Yulia Startsev, and Rolf Martin Glomsrud
(University of Bergen, Norway; Mozilla, Germany)

Publisher's Version

Dynamic Library Compartmentalization
Octave Larose
(University of Kent, UK)

Publisher's Version

Sui Move: Modern Blockchain Programming with Objects
Adam Welc and Sam Blackshear
(Mysten Labs, USA)

Publisher's Version

JaMaBuild: Mass Building of Java Projects
Matúš Sulír and Milan Nosáľ
(Technical University of Košice, Slovakia; ValeSoft, Slovakia)

Publisher's Version Info

Extensible Testing for Infrastructure as Code
David Spielmann, Daniel Sokolowski, and Guido Salvaneschi
(University of St. Gallen, Switzerland)

Publisher's Version

A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, and Shuichi Sakai
(IBM Research, Japan; University of Tokyo, Japan)

Publisher's Version

ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming
David H. Lorenz and Ofir Shmuel
(Open University of Israel, Israel)

Publisher's Version Info

Safe Combination of Data-Centric and Operation-Centric Consistency
Mirko Köhler and Guido Salvaneschi
(TU Darmstadt, Germany; University of St. Gallen, Switzerland)

Publisher's Version

Towards Reusable GUI Structures
Knut Anders Stokke, Mikhail Barash, and Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)

Publisher's Version

Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
Rijul Jain, Wode Ni, and Joshua Sunshine
(Williams College, USA; Carnegie Mellon University, USA)

Publisher's Version