SPLASH Companion

Publications

2023

Francisco Ribeiro
Large Language Models for Automated Program Repair. SPLASH Companion (2023)
David H. Lorenz, Ofir Shmuel
ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming. SPLASH Companion (2023)
David Spielmann, Daniel Sokolowski, Guido Salvaneschi
Extensible Testing for Infrastructure as Code. SPLASH Companion (2023)
Ruyi Ji
Scaling up Program Synthesis to Efficient Algorithms. SPLASH Companion (2023)
Zhan Shi
Partial Gradual Dependent Type Theory. SPLASH Companion (2023)
Marta Davila Mateu
Synthesizing Recursive Programs through Dataflow Constraints. SPLASH Companion (2023)
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023 SPLASH Companion (2023)
Yusuke Izawa, Junichiro Kadomoto, Hidetsugu Irie, Shuichi Sakai
A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers. SPLASH Companion (2023)
Haolin Ye
An Optimal Structure-Aware Code Difference Framework with MaxSAT-Solver. SPLASH Companion (2023)
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi
Towards Reusable GUI Structures. SPLASH Companion (2023)
Adam Welc, Sam Blackshear
Sui Move: Modern Blockchain Programming with Objects. SPLASH Companion (2023)
Mikhail Barash, Yulia Startsev, Rolf Martin Glomsrud
Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization. SPLASH Companion (2023)
Antonio Zegarelli
Design and Implementation of Facets of Dynamic Policies. SPLASH Companion (2023)
Siraphob Phipathananunth
Towards the Formal Verification of Wigderson's Algorithm. SPLASH Companion (2023)
Breandan Considine
A Pragmatic Approach to Syntax Repair. SPLASH Companion (2023)
Katrina Wilson
Clearing the Trail: Motivations for Maintenance Work in Open Source. SPLASH Companion (2023)
Luís Gomes
Transforming Ideas into Code: Visual Sketching for ML Development. SPLASH Companion (2023)
Julia Freeman, Timothy Zhou
Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking. SPLASH Companion (2023)
Rijul Jain, Wode Ni, Joshua Sunshine
Generating Domain-Specific Programs for Diagram Authoring with Large Language Models. SPLASH Companion (2023)
Matús Sulír, Milan Nosál
JaMaBuild: Mass Building of Java Projects. SPLASH Companion (2023)
Mirko Köhler, Guido Salvaneschi
Safe Combination of Data-Centric and Operation-Centric Consistency. SPLASH Companion (2023)
Raven Rothkopf
Rose: Extensible Autodiff on the Web. SPLASH Companion (2023)
Octave Larose
Dynamic Library Compartmentalization. SPLASH Companion (2023)
Tobias Roth
Reusing Single-Language Analyses for Static Analysis of Multi-language Programs. SPLASH Companion (2023)
Luís Carvalho
Semantic Versioning for Python Programs. SPLASH Companion (2023)
Jesse Hoobergs
Modular Educational Languages. SPLASH Companion (2023)
Andrej Pecimúth
Remote Just-in-Time Compilation for Dynamic Languages. SPLASH Companion (2023)

2022