SPLASH 2023
2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023)
Powered by
Conference Publishing Consulting
2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023)
,
October 22–27, 2023
,
Cascais, Portugal
SPLASH 2023 – Preliminary Table of Contents
Contents
-
Abstracts
-
Authors
Frontmatter
Title Page
Message from the Chairs
Doctoral Symposium
Remote Just-in-Time Compilation for Dynamic Languages
Andrej Pečimúth
(Oracle Labs, Czechia)
Article Search
Scaling up Program Synthesis to Efficient Algorithms
Ruyi Ji
(Peking University, China)
Article Search
Large Language Models for Automated Program Repair
Francisco Ribeiro
(INESC Tec, Portugal; Universidade do Minho, Portugal)
Article Search
Transforming Ideas into Code: Visual Sketching for ML Development
Luís Gomes
(Carnegie Mellon University, USA; University of Porto, Portugal)
Article Search
Semantic Versioning for Python Programs
Luís Carvalho
(NOVA University Lisbon, Portugal; NOVA-LINCS, Portugal)
Article Search
Reusing Single-Language Analyses for Static Analysis of Multi-language Programs
Tobias Roth
(TU Darmstadt, Germany)
Article Search
A Pragmatic Approach to Syntax Repair
Breandan Considine
(McGill University, Canada)
Article Search
SRC
Partial Gradual Dependent Type Theory
Zhan Shi
(Kyoto University, Japan)
Article Search
Synthesizing Recursive Programs through Dataflow Constraints
Marta Davila Mateu
(University of Southern California, USA)
Article Search
Modular Educational Languages
Jesse Hoobergs
(KU Leuven, Belgium)
Article Search
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)
Article Search
Clearing the Trail: Motivations for Maintenance Work in Open Source
Katrina Wilson
(Bucknell University, USA)
Article Search
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)
Article Search
Design and Implementation of Facets of Dynamic Policies
Antonio Zegarelli
(IMDEA Software Institute, Spain)
Article Search
Towards the Formal Verification of Wigderson’s Algorithm
Siraphob Phipathananunth
(Vanderbilt University, USA)
Article Search
Info
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver
Haolin Ye
(McGill University, Canada)
Article Search
Rose: Extensible Autodiff on the Web
Raven Rothkopf
(Barnard College, USA)
Article Search
Posters
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; Ecma TC39, Geneva, Switzerland; Mozilla, Germany)
Article Search
Allocation-Driven Program Slicing
Octave Larose
(University of Kent, UK)
Article Search
Sui Move: Modern Blockchain Programming with Objects
Adam Welc
and Sam Blackshear
(Mysten Labs, USA)
Article Search
JaMaBuild: Mass Building of Java Projects
Matúš Sulír
and Milan Nosáľ
(Technical University of Košice, Slovakia; ValeSoft, Slovakia)
Preprint
Info
Extensible Testing for Infrastructure as Code
David Spielmann
,
Daniel Sokolowski
, and
Guido Salvaneschi
(University of St. Gallen, Switzerland)
Article Search
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Hidetsugu Irie
, Junichiro Kadomoto
, Shuichi Sakai
, and Yusuke Izawa
(University of Tokyo, Japan; Tokyo Institute of Technology, Japan)
Article Search
ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming
David H. Lorenz
and Ofir Shmuel
(Open University of Israel, Israel; Technion, Israel)
Article Search
Info
Safe Combination of Data-Centric and Operation-Centric Consistency
Mirko Köhler
and
Guido Salvaneschi
(TU Darmstadt, Germany; University of St. Gallen, Switzerland)
Article Search
Towards Reusable GUI Structures
Knut Anders Stokke
,
Mikhail Barash
, and
Jaakko Järvi
(University of Bergen, Norway; University of Turku, Finland)
Article Search
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)
Article Search
proc time: 0.02