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)

@InProceedings{SLE24p1, author = {Benoît Combemale}, title = {There Is Only One Time in Software (Language) Engineering! (Keynote)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3687997.3700296}, year = {2024}, } Publisher's Version Article: splashws24slemain-key1-p (type: Abstract) 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)

@InProceedings{SLE24p23, author = {Christopher A. Esterhuyse and L. Thomas van Binsbergen}, title = {Cooperative Specification via Composition Control}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3687997.3695635}, year = {2024}, } Publisher's Version Article: splashws24slemain-p7-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p45, author = {Nathan Richardson and Dimitris Kolovos and Antonio Garcia-Dominguez}, title = {Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3687997.3695642}, year = {2024}, } Publisher's Version Artifacts Reusable Article: splashws24slemain-p58-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p67, author = {James William Pontes Miranda and Hugo Bruneliere and Massimo Tisi and Gerson Sunyé}, title = {Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3687997.3695650}, year = {2024}, } Publisher's Version Artifacts Functional Article: splashws24slemain-p100-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p89, author = {Luka Miljak and Casper Bach Poulsen and Rosilde Corvino}, title = {Concrete Syntax Metapatterns}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3687997.3695637}, year = {2024}, } Publisher's Version Artifacts Reusable Article: splashws24slemain-p28-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p111, author = {Idriss Riouak and Niklas Fors and Jesper Öqvist and Görel Hedin and Christoph Reichenbach}, title = {Efficient Demand Evaluation of Fixed-Point Attributes using Static Analysis}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3687997.3695644}, year = {2024}, } Publisher's Version Artifacts Reusable Article: splashws24slemain-p64-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p133, author = {Laurent Huberdeau and Cassandre Hamel and Stefan Monnier and Marc Feeley}, title = {The Design of a Self-Compiling C Transpiler Targeting POSIX Shell}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {133-132}, doi = {10.1145/3687997.3695639}, year = {2024}, } Publisher's Version Artifacts Reusable Article: splashws24slemain-p43-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p155, author = {Yunjeong Lee and Kiran Gopinathan and Ziyi Yang and Matthew Flatt and Ilya Sergey}, title = {DSLs in Racket: You Want It How, Now?}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {155-154}, doi = {10.1145/3687997.3695645}, year = {2024}, } Publisher's Version Article: splashws24slemain-p71-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695645

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

@InProceedings{SLE24p177, author = {Anthony I. Wasserman}, title = {Design of Software Representation Languages: A Historical Perspective}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {177-176}, doi = {10.1145/3687997.3695649}, year = {2024}, } Publisher's Version Article: splashws24slemain-p98-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) doi:10.1145/3687997.3695649

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

@InProceedings{SLE24p199, author = {Friedrich Steimann and Robin Stunic}, title = {The Linguistic Theory behind Blockly Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {199-198}, doi = {10.1145/3687997.3695636}, year = {2024}, } Publisher's Version Article: splashws24slemain-p13-p (type: Full Paper (SLE Body of Knowledge paper: 20 pages including bibliography/appendices)) 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)

@InProceedings{SLE24p221, author = {Simão Cunha and Luís Silva and João Saraiva and João Paulo Fernandes}, title = {Trading Runtime for Energy Efficiency: Leveraging Power Caps to Save Energy across Programming Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {221-220}, doi = {10.1145/3687997.3695638}, year = {2024}, } Publisher's Version Article: splashws24slemain-p42-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695638

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

@InProceedings{SLE24p243, author = {Georg Simhandl and Uwe Zdun}, title = {Cloud Programming Languages and Infrastructure from Code: An Empirical Study}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {243-242}, doi = {10.1145/3687997.3695643}, year = {2024}, } Publisher's Version Article: splashws24slemain-p61-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p265, author = {Gizem Caylak and Daniel Lundén and Viktor Senderov and David Broman}, title = {Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {265-264}, doi = {10.1145/3687997.3695634}, year = {2024}, } Publisher's Version Artifacts Reusable Article: splashws24slemain-p6-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) doi:10.1145/3687997.3695634

Software Language Design and Implementation II

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

@InProceedings{SLE24p287, author = {Dimi Racordon}, title = {Type Checking with Rewriting Rules}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {287-286}, doi = {10.1145/3687997.3695640}, year = {2024}, } Publisher's Version Artifacts Functional Article: splashws24slemain-p48-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p309, author = {Sylvan Clebsch and Matilda Blomqvist and Elias Castegren and Matthew A. Johnson and Matthew J. Parkinson}, title = {Trieste: A C++ DSL for Flexible Tree Rewriting}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {309-308}, doi = {10.1145/3687997.3695647}, year = {2024}, } Publisher's Version Article: splashws24slemain-p86-p (type: Full Paper (Tool paper: 5 pages + 1 page bibliography/appendices)) doi:10.1145/3687997.3695647

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

@InProceedings{SLE24p331, author = {Dimi Racordon and Dave Abrahams}, title = {Method Bundles}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {331-330}, doi = {10.1145/3687997.3695633}, year = {2024}, } Publisher's Version Article: splashws24slemain-p2-p (type: Full Paper (New ideas/vision paper: 5 pages + 1 page bibliography/appendices)) 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)

@InProceedings{SLE24p353, author = {Lars Hummelgren and Viktor Palmkvist and Linnea Stjerna and Xuechun Xu and Joakim Jalden and David Broman}, title = {Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {353-352}, doi = {10.1145/3687997.3695641}, year = {2024}, } Publisher's Version Artifacts Functional Article: splashws24slemain-p57-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p375, author = {Yilin Zhang and Omkar Dilip Dhawal and V. Krishna Nandivada and Shigeru Chiba and Tomoharu Ugawa}, title = {Reducing Write Barrier Overheads for Orthogonal Persistence}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {375-374}, doi = {10.1145/3687997.3695646}, year = {2024}, } Publisher's Version Artifacts Reusable Article: splashws24slemain-p79-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p397, author = {Yuefeng Hu and Hiromu Ishibe and Feng Dai and Tetsuro Yamazaki and Shigeru Chiba}, title = {Bugfox: A Trace-Based Analyzer for Localizing the Cause of Software Regression in JavaScript}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {397-396}, doi = {10.1145/3687997.3695648}, year = {2024}, } Publisher's Version Artifacts Reusable Article: splashws24slemain-p94-p (type: Full Paper (Research paper: 12 pages + 2 pages bibliography/appendices)) 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)

@InProceedings{SLE24p419, author = {Ralf Lämmel}, title = {AI Effects on Research and Education: A Programming and Software Language Perspective (Panel)}, booktitle = {Proc.\ SLE}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3687997.3698125}, year = {2024}, } Publisher's Version Article: splashws24slemain-pan1-p (type: Panel (6 pages)) doi:10.1145/3687997.3698125

proc time: 0.06