SLE 2024 – Preliminary Table of Contents

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

Frontmatter

Papers

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

Article Search

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)

Article Search

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

Article Search

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

Article Search

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

Article Search Artifacts Available

Folklore Revisited: Compiling for Speed vs. Compiling for Energy: Using Power Caps to Trade Runtime for Energy Efficiency
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)

Article Search

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)

Article Search

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

Article Search

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)

Article Search

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

Article Search

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

Preprint

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)

Article Search Artifacts Available

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)

Article Search Artifacts Available

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)

Article Search Artifacts Available

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)

Article Search

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)

Article Search Artifacts Available

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

Article Search

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)

Article Search Artifacts Available

proc time: 0.04