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)


@InProceedings{SPLASH23p1, author = {Andrej Pečimúth}, title = {Remote Just-in-Time Compilation for Dynamic Languages}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3618305.3623593}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p4, author = {Ruyi Ji}, title = {Scaling up Program Synthesis to Efficient Algorithms}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {4-3}, doi = {10.1145/3618305.3623586}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p7, author = {Francisco Ribeiro}, title = {Large Language Models for Automated Program Repair}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {7-6}, doi = {10.1145/3618305.3623587}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p10, author = {Luís Gomes}, title = {Transforming Ideas into Code: Visual Sketching for ML Development}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {10-9}, doi = {10.1145/3618305.3623588}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p13, author = {Luís Carvalho}, title = {Semantic Versioning for Python Programs}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3618305.3623589}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p16, author = {Tobias Roth}, title = {Reusing Single-Language Analyses for Static Analysis of Multi-language Programs}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3618305.3623590}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p19, author = {Breandan Considine}, title = {A Pragmatic Approach to Syntax Repair}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {19-18}, doi = {10.1145/3618305.3623591}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p22, author = {Zhan Shi}, title = {Partial Gradual Dependent Type Theory}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {22-21}, doi = {10.1145/3618305.3623594}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p25, author = {Marta Davila Mateu}, title = {Synthesizing Recursive Programs through Dataflow Constraints}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {25-24}, doi = {10.1145/3618305.3623595}, year = {2023}, } Publisher's Version

Modular Educational Languages
Jesse Hoobergs
(KU Leuven, Belgium)


@InProceedings{SPLASH23p28, author = {Jesse Hoobergs}, title = {Modular Educational Languages}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {28-27}, doi = {10.1145/3618305.3623596}, year = {2023}, } 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)


@InProceedings{SPLASH23p31, author = {Julia Freeman and Timothy Zhou}, title = {Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3618305.3623597}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p34, author = {Katrina Wilson}, title = {Clearing the Trail: Motivations for Maintenance Work in Open Source}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {34-33}, doi = {10.1145/3618305.3623598}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p37, author = {Antonio Zegarelli}, title = {Design and Implementation of Facets of Dynamic Policies}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {37-36}, doi = {10.1145/3618305.3623599}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p40, author = {Siraphob Phipathananunth}, title = {Towards the Formal Verification of Wigderson’s Algorithm}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {40-39}, doi = {10.1145/3618305.3623600}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p43, author = {Haolin Ye}, title = {An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {43-42}, doi = {10.1145/3618305.3623601}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p46, author = {Raven Rothkopf}, title = {Rose: Extensible Autodiff on the Web}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3618305.3623602}, year = {2023}, } 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)


@InProceedings{SPLASH23p49, author = {Mikhail Barash and Yulia Startsev and Rolf Martin Glomsrud}, title = {Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {49-48}, doi = {10.1145/3618305.3623603}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p52, author = {Octave Larose}, title = {Dynamic Library Compartmentalization}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3618305.3623604}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p55, author = {Adam Welc and Sam Blackshear}, title = {Sui Move: Modern Blockchain Programming with Objects}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {55-54}, doi = {10.1145/3618305.3623605}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p58, author = {Matúš Sulír and Milan Nosáľ}, title = {JaMaBuild: Mass Building of Java Projects}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3618305.3623613}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p61, author = {David Spielmann and Daniel Sokolowski and Guido Salvaneschi}, title = {Extensible Testing for Infrastructure as Code}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3618305.3623607}, year = {2023}, } 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)


@InProceedings{SPLASH23p64, author = {Yusuke Izawa and Junichiro Kadomoto and Hidetsugu Irie and Shuichi Sakai}, title = {A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {64-63}, doi = {10.1145/3618305.3623608}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p67, author = {David H. Lorenz and Ofir Shmuel}, title = {ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3618305.3623609}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p70, author = {Mirko Köhler and Guido Salvaneschi}, title = {Safe Combination of Data-Centric and Operation-Centric Consistency}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {70-69}, doi = {10.1145/3618305.3623610}, year = {2023}, } Publisher's Version

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


@InProceedings{SPLASH23p73, author = {Knut Anders Stokke and Mikhail Barash and Jaakko Järvi}, title = {Towards Reusable GUI Structures}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {73-72}, doi = {10.1145/3618305.3623611}, year = {2023}, } 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)


@InProceedings{SPLASH23p76, author = {Rijul Jain and Wode Ni and Joshua Sunshine}, title = {Generating Domain-Specific Programs for Diagram Authoring with Large Language Models}, booktitle = {Proc.\ SPLASH}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3618305.3623612}, year = {2023}, } Publisher's Version