SLE 2024 – Proceedings

17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024)

Frontmatter

Keynote

There Is Only One Time in Software (Language) Engineering! (Keynote)
Benoît Combemale
(University of Rennes, France)

Publisher's Version Article: splashws24slemain-key1-p doi:10.1145/3687997.3700296

Software Language Integration and Composition

Cooperative Specification via Composition Control
Christopher A. Esterhuyse and L. Thomas van Binsbergen
(University of Amsterdam, Netherlands)

Publisher's Version Article: splashws24slemain-p7-p doi:10.1145/3687997.3695635

Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels
Nathan Richardson, Dimitris Kolovos, and Antonio Garcia-Dominguez
(University of York, United Kingdom)

Publisher's Version Artifacts Reusable Article: splashws24slemain-p58-p doi:10.1145/3687997.3695642

Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views
James William Pontes Miranda, Hugo Bruneliere, Massimo Tisi, and Gerson Sunyé
(IMT Atlantique - LS2N - UMR CNRS 6004, France; Nantes Université - LS2N - UMR CNRS 6004, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: splashws24slemain-p100-p doi:10.1145/3687997.3695650

Software Language Design and Implementation I

Concrete Syntax Metapatterns
Luka Miljak, Casper Bach Poulsen, and Rosilde Corvino
(Delft University of Technology, Netherlands; TNO-ESI, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws24slemain-p28-p doi:10.1145/3687997.3695637

Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis
Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, and Christoph Reichenbach
(Lund University, Sweden; Cognibotics, Sweden)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws24slemain-p64-p doi:10.1145/3687997.3695644

The Design of a Self-Compiling C Transpiler Targeting POSIX Shell
Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, and Marc Feeley
(Université de Montréal, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws24slemain-p43-p doi:10.1145/3687997.3695639

SLE Body of Knowledge (SLEBoK)

DSLs in Racket: You Want It How, Now?
Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, and Ilya Sergey
(National University of Singapore, Singapore; University of Utah, USA)

Publisher's Version Published Artifact Artifacts Available Article: splashws24slemain-p71-p doi:10.1145/3687997.3695645

Design of Software Representation Languages: A Historical Perspective
Anthony I. Wasserman
(Software Methods and Tools, USA)

Publisher's Version Article: splashws24slemain-p98-p doi:10.1145/3687997.3695649

The Linguistic Theory behind Blockly Languages
Friedrich Steimann and Robin Stunic
(Fernuniversität in Hagen, Germany)

Publisher's Version Article: splashws24slemain-p13-p doi:10.1145/3687997.3695636

Empirical Studies and Experience Reports

Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages
Simão Cunha, Luís Silva, João Saraiva, and João Paulo Fernandes
(University of Minho, Portugal; New York University Abu Dhabi, United Arab Emirates)

Publisher's Version Published Artifact Artifacts Available Article: splashws24slemain-p42-p doi:10.1145/3687997.3695638

Cloud Programming Languages and Infrastructure from Code: An Empirical Study
Georg Simhandl and Uwe Zdun
(University of Vienna, Austria)

Publisher's Version Article: splashws24slemain-p61-p doi:10.1145/3687997.3695643

Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages
Gizem Caylak, Daniel Lundén, Viktor Senderov, and David Broman
(KTH Royal Institute of Technology, Sweden; Oracle, Sweden; École Normale Supérieure, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws24slemain-p6-p doi:10.1145/3687997.3695634

Software Language Design and Implementation II

Type Checking with Rewriting Rules
Dimi Racordon
(EPFL, Switzerland)

Publisher's Version Artifacts Functional Article: splashws24slemain-p48-p doi:10.1145/3687997.3695640

Trieste: A C++ DSL for Flexible Tree Rewriting
Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew A. Johnson, and Matthew J. Parkinson
(Microsoft Azure Research, USA; Uppsala University, Sweden; Microsoft Azure Research, United Kingdom)

Publisher's Version Article: splashws24slemain-p86-p doi:10.1145/3687997.3695647

Method Bundles
Dimi Racordon and Dave Abrahams
(EPFL, Switzerland; Adobe, USA)

Publisher's Version Article: splashws24slemain-p2-p doi:10.1145/3687997.3695633

Analysis and Optimization

Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions
Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, and David Broman
(KTH Royal Institute of Technology, Sweden)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: splashws24slemain-p57-p doi:10.1145/3687997.3695641

Reducing Write Barrier Overheads for Orthogonal Persistence
Yilin Zhang, Omkar Dilip Dhawal, V. Krishna Nandivada, Shigeru Chiba, and Tomoharu Ugawa
(University of Tokyo, Japan; IIT Madras, India)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws24slemain-p79-p doi:10.1145/3687997.3695646

Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript
Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, and Shigeru Chiba
(University of Tokyo, Japan)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: splashws24slemain-p94-p doi:10.1145/3687997.3695648

Panel

AI Effects on Research and Education: A Programming and Software Language Perspective (Panel)
Ralf Lämmel
(University of Koblenz, Germany)

Publisher's Version Article: splashws24slemain-pan1-p doi:10.1145/3687997.3698125

proc time: 0.05