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

Title Page

Article: splashcomp23foreword-fm000-p doi:

Welcome from the General Chair

Article: splashcomp23foreword-fm001-p doi:

SPLASH 2023 Organization

Article: splashcomp23foreword-fm002-p doi:

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

Publisher's Version Article: splashcomp23doc-id1-p doi:10.1145/3618305.3623593

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

Publisher's Version Article: splashcomp23doc-id2-p doi:10.1145/3618305.3623586

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

Publisher's Version Article: splashcomp23doc-id3-p doi:10.1145/3618305.3623587

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

Publisher's Version Article: splashcomp23doc-id4-p doi:10.1145/3618305.3623588

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

Publisher's Version Article: splashcomp23doc-id5-p doi:10.1145/3618305.3623589

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

Publisher's Version Article: splashcomp23doc-id6-p doi:10.1145/3618305.3623590

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

Publisher's Version Article: splashcomp23doc-id7-p doi:10.1145/3618305.3623591

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

Publisher's Version Article: splashcomp23src-id9-p doi:10.1145/3618305.3623594

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

Publisher's Version Article: splashcomp23src-id4-p doi:10.1145/3618305.3623595

Modular Educational Languages
Jesse Hoobergs
(KU Leuven, Belgium)

Publisher's Version Article: splashcomp23src-id5-p doi:10.1145/3618305.3623596

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 Article: splashcomp23src-id7-p doi:10.1145/3618305.3623597

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

Publisher's Version Article: splashcomp23src-id3-p doi:10.1145/3618305.3623598

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

Publisher's Version Article: splashcomp23src-id8-p doi:10.1145/3618305.3623599

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

Publisher's Version Article: splashcomp23src-id1-p doi:10.1145/3618305.3623600

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

Publisher's Version Article: splashcomp23src-id11-p doi:10.1145/3618305.3623601

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

Publisher's Version Article: splashcomp23src-id2-p doi:10.1145/3618305.3623602

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 Article: splashcomp23posters-id14-p doi:10.1145/3618305.3623603

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

Publisher's Version Article: splashcomp23posters-id38-p doi:10.1145/3618305.3623604

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

Publisher's Version Article: splashcomp23posters-id39-p doi:10.1145/3618305.3623605

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

Publisher's Version Article: splashcomp23posters-id46-p doi:10.1145/3618305.3623613

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

Publisher's Version Article: splashcomp23posters-id47-p doi:10.1145/3618305.3623607

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 Article: splashcomp23posters-id66-p doi:10.1145/3618305.3623608

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

Publisher's Version Article: splashcomp23posters-id78-p doi:10.1145/3618305.3623609

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 Article: splashcomp23posters-id83-p doi:10.1145/3618305.3623610

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

Publisher's Version Article: splashcomp23posters-id90-p doi:10.1145/3618305.3623611

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 Article: splashcomp23posters-id91-p doi:10.1145/3618305.3623612