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

[Andrei Chis]

** Call for Participation **

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

October 20-21, 2024
Pasadena, California, United States

(Collocated with SPLASH 2024)

https://www.sleconf.org/2024/
https://2024.splashcon.org/track/sle-2024
Follow us on X: https://x.com/sleconf

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

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