Call for Participation: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering

Software language engineering (SLE) is the discipline of engineering languages and their tools required for the creation of software. It abstracts from the differences between programming languages, modelling languages, and other software languages, and emphasizes the engineering facet of the creation of such languages, that is, the establishment of the scientific methods and practices that enable the best results. While SLE is certainly driven by its metacircular character (software languages are engineered using software languages), SLE is not self-satisfying: its scope extends to the engineering of languages for all and everything.

---------------------------

Registration

---------------------------

https://2024.splashcon.org/attending/Registration

---------------------------

Venue

---------------------------

Hilton Pasadena

https://2024.splashcon.org/venue/splash-2024-venue

---------------------------

Keynote

---------------------------

Benoit Combemale 

There Is Only One Time in Software (Language) Engineering!

https://2024.splashcon.org/details/sle-2024/20/There-Is-Only-One-Time-in-Software-Language-Engineering-

---------------------------

Awards

---------------------------

During the conference, we will announce the following awards:

* Distinguished paper: Award for the most notable paper, as determined by the PC chairs based on the recommendations of the program committee.

* Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee.

---------------------------

Accepted Papers

---------------------------

* Aconite: Towards Generating Sirius-Based Graphical Editors from Annotated Metamodels

  Nathan Richardson, Dimitris Kolovos, Antonio Garcia-Dominguez

* Bugfox: A Trace-based Analyzer for Localizing the Cause of Software Regression in JavaScript

  Yuefeng Hu, Hiromu Ishibe, Feng Dai, Tetsuro Yamazaki, Shigeru Chiba

* Cloud Programming Languages and Infrastructure From Code: An Empirical Study

  Georg Simhandl, Uwe Zdun

* Concrete Syntax Metapatterns

  Luka Miljak, Casper Bach Poulsen, Rosilde Corvino

* Cooperative Specification via Composition Control

  Christopher Esterhuyse, L. Thomas van Binsbergen

* Design of Software Representation Languages: a Historical Perspective

  Anthony I. (Tony) Wasserman

* DSLs in Racket: You Want It How, Now?

  Yunjeong Lee, Kiran Gopinathan, Ziyi Yang, Matthew Flatt, Ilya Sergey

* Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis

  Idriss Riouak, Niklas Fors, Jesper Öqvist, Görel Hedin, Christoph Reichenbach

* Method Bundles (New Ideas/Vision paper)

  Dimi Racordon, Dave Abrahams

* Reducing Write Barrier Overheads for Orthogonal Persistence

  Yilin Zhang, Omkar Dilip Dhawal, V Krishna Nandivada, Shigeru Chiba, Tomoharu Ugawa

* Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages

  Gizem Caylak, Daniel Lundén, Viktor Senderov, David Broman

* The Design of a Self-Compiling C Transpiler Targeting POSIX Shell

  Laurent Huberdeau, Cassandre Hamel, Stefan Monnier, Marc Feeley

* The Linguistic Theory Behind Blockly Languages

  Friedrich Steimann, Robin Stunic

* Towards an In-context LLM-based Approach for Automating the Definition of Model Views

  James Pontes Miranda, Hugo Bruneliere, Massimo Tisi, Gerson Sunyé

* Trading Runtime for Energy Efficiency

  Simão Cunha, Luís Silva, João Saraiva, João Paulo Fernandes

* Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions

  Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jalden, David Broman

* Trieste: A C++ DSL for Flexible Tree Rewriting (Tool paper)

  Sylvan Clebsch, Matilda Blomqvist, Elias Castegren, Matthew Johnson, Matthew J. Parkinson

* Type Checking with Rewriting Rules

  Dimi Racordon