Call for Participation: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering

Andrei Chis <[email protected]> Thu, 8 May 2025 14:47:24 +0200
Newsgroups gmane.comp.lang.haskell.general
Message-ID <CACcefr11N4WnMJty4uEwgPL9gzXcHQeJYdE=5kZ=XGAHs4QHQg@mail.gmail.com>
--===============0894364961559589338==
Content-Type: multipart/alternative; boundary="00000000000010fabe06349f417c"

--00000000000010fabe06349f417c
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

** Call for Participation **

18th ACM SIGPLAN International Conference on Software Language Engineering
(SLE 2025)
12-13 June 2025
Koblenz, Germany

https://conf.researchr.org/home/sle-2025
https://www.sleconf.org/2025/
https://x.com/sleconf
------------------------------------------------------------------------

The ACM SIGPLAN International Conference on Software Language Engineering
(SLE) is devoted to the principles of software languages: their design,
their implementation, and their evolution.

Like its predecessors, the 18th edition of the SLE conference, SLE 2025,
will bring together researchers from different areas united by their common
interest in the creation, capture, and tooling of software languages. It
overlaps with traditional conferences on the design and implementation of
programming languages, model-driven engineering, and compiler construction,
and emphasises the fusion of their communities. To foster the latter, SLE
traditionally fills a two-day program with a single track, with the only
temporal overlap occurring between co-located events.

---------------------------
Registration
---------------------------

Registration happens via the STAF registration page
Early Bird Registration Deadline is May 10th, 2025

https://conf.researchr.org/attending/staf-2025/staf-2025-registration

---------------------------
Venue
---------------------------

University of Koblenz
https://conf.researchr.org/venue/sle-2025/staf-2025-venue

---------------------------
Keynotes
---------------------------

* Thorsten Berger, Ruhr University Bochum, Germany
  A New DSL Textbook in Town!

* Friedrich Steimann, Fernuniversit=C3=A4t in Hagen, Germany
  an Programming Be Liberated from the Functional Style?

https://conf.researchr.org/home/sle-2025#Keynotes

---------------------------
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 artefact: Award for the artefact most significantly
exceeding expectations, as determined by the AEC chairs based on the
recommendations of the artefact evaluation committee.

* Distinguished reviewer: Award for the programme committee member that
produced the most useful reviews as assessed by paper authors.

* Most Influential Paper: Award for the SLE 2015 paper with the greatest
impact, as judged by the SLE Steering Committee.

* COLA Award: 2024 Journal of Computer Languages Best Paper Award

---------------------------
Accepted Papers
---------------------------

* A Model-Driven Approach to Design, Generation, and Deployment of GUI
Component Libraries
  Arkadii Gerasimov, Nico Jansen, Judith Michael, Bernhard Rumpe, Sebastian
Will

* AnyText: Incremental, left-recursive Parsing and Pretty-Printing from a
single Grammar Definition with first-class LSP support
  Georg Hinkel, Alexander Hert, Niklas Hettler, Kevin Weinert

* Boosting Parallel Parsing through Cyclic Operator Precedence Grammars
  Michele Chiari, Michele Giornetta, Dino Mandrioli, Matteo Pradella

* Detecting Resource Leaks on Android with Alpakka
  Gustavo Amorim Santos, Alexandra Mendes, Jo=C3=A3o Bispo

* Dynamic Dependency-Based Purity Checking
  Anton Risberg Alak=C3=BCla, Niklas Fors, Christoph Reichenbach

* Exploratory, Omniscient, and Multiverse Diagnostics in Debuggers for
Non-Deterministic Languages
  Damian Fr=C3=B6lich, Tommaso Pacciani, L. Thomas van Binsbergen

* Handling Grammar Cycles in the 1997 Standard ML Definition
  Elizabeth Scott, Adrian Johnstone

* Integrating Model Checking into a Live Modeling Environment
  Joeri Exelmans, Ciprian Teodorov, Hans Vangheluwe

* Lessons Learned: Challenges of Modular Language Design
  Alex L=C3=BCpges, Nico Jansen, Bernhard Rumpe

* Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript)
Standardization
  Philipp Riemer, Yury Nikulin, Ashley Claymore, Mikhail Barash

* Optimize Effect Handling for Tail-resumption with Stack Unwinding
  Yuze Fu, Shigeru Chiba

* Property-based Testing of Attribute Grammars
  Jos=C3=A9 Nuno Macedo, Marcos Viera, Jo=C3=A3o Saraiva

* Scheduling the Construction and Interrogation of Scope Graphs Using
Attribute Grammars
  Luke Bessant, Eric Van Wyk

* (Semantic) Feature Model Differences with (Q)SAT
  Simone Heisinger, Maximilian Heisinger, Martina Seidl

* TranspileJS, an Intelligent Framework for Transpiling JavaScript to
WebAssembly
  Jos=C3=A9 Pedro Ferreira, Jo=C3=A3o Bispo, Susana Lima

* Variability Fault Localization by Abstract Interpretation and its
Application to SPL Repair
  Aleksandar S. Dimovski

--00000000000010fabe06349f417c
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">** Call for Participation **<br><br>18th ACM SIGPLAN Inter=
national Conference on Software Language Engineering (SLE 2025)<br>12-13 Ju=
ne 2025<br>Koblenz, Germany<br><br><a href=3D"https://conf.researchr.org/ho=
me/sle-2025">https://conf.researchr.org/home/sle-2025</a><br><a href=3D"htt=
ps://www.sleconf.org/2025/">https://www.sleconf.org/2025/</a><br><a href=3D=
"https://x.com/sleconf">https://x.com/sleconf</a><br>----------------------=
--------------------------------------------------<br><br>The ACM SIGPLAN I=
nternational Conference on Software Language Engineering (SLE) is devoted t=
o the principles of software languages: their design, their implementation,=
 and their evolution.<br><br>Like its predecessors, the 18th edition of the=
 SLE conference, SLE 2025, will bring together researchers from different a=
reas united by their common interest in the creation, capture, and tooling =
of software languages. It overlaps with traditional conferences on the desi=
gn and implementation of programming languages, model-driven engineering, a=
nd compiler construction, and emphasises the fusion of their communities. T=
o foster the latter, SLE traditionally fills a two-day program with a singl=
e track, with the only temporal overlap occurring between co-located events=
.<br><br>---------------------------<br>Registration<br>-------------------=
--------<br><br>Registration happens via the STAF registration page<br>Earl=
y Bird Registration Deadline is May 10th, 2025<br><br><a href=3D"https://co=
nf.researchr.org/attending/staf-2025/staf-2025-registration">https://conf.r=
esearchr.org/attending/staf-2025/staf-2025-registration</a><br><br>--------=
-------------------<br>Venue<br>---------------------------<br><br>Universi=
ty of Koblenz<br><a href=3D"https://conf.researchr.org/venue/sle-2025/staf-=
2025-venue">https://conf.researchr.org/venue/sle-2025/staf-2025-venue</a><b=
r><br>---------------------------<br>Keynotes<br>--------------------------=
-<br><br>* Thorsten Berger, Ruhr University Bochum, Germany<br>=C2=A0 A New=
 DSL Textbook in Town!<br><br>* Friedrich Steimann, Fernuniversit=C3=A4t in=
 Hagen, Germany<br>=C2=A0 an Programming Be Liberated from the Functional S=
tyle?<br><br><a href=3D"https://conf.researchr.org/home/sle-2025#Keynotes">=
https://conf.researchr.org/home/sle-2025#Keynotes</a><br><br>--------------=
-------------<br>Awards<br>---------------------------<br><br>During the co=
nference, we will announce the following awards:<br><br><br>* Distinguished=
 paper: Award for the most notable paper, as determined by the PC chairs ba=
sed on the recommendations of the program committee.<br><br>* Distinguished=
 artefact: Award for the artefact most significantly exceeding expectations=
, as determined by the AEC chairs based on the recommendations of the artef=
act evaluation committee.<br><br>* Distinguished reviewer: Award for the pr=
ogramme committee member that produced the most useful reviews as assessed =
by paper authors.<br><br>* Most Influential Paper: Award for the SLE 2015 p=
aper with the greatest impact, as judged by the SLE Steering Committee.<br>=
<br>* COLA Award: 2024 Journal of Computer Languages Best Paper Award<br><b=
r>---------------------------<br>Accepted Papers<br>-----------------------=
----<br><br>* A Model-Driven Approach to Design, Generation, and Deployment=
 of GUI Component Libraries<br>=C2=A0 Arkadii Gerasimov, Nico Jansen, Judit=
h Michael, Bernhard Rumpe, Sebastian Will<br><br>* AnyText: Incremental, le=
ft-recursive Parsing and Pretty-Printing from a single Grammar Definition w=
ith first-class LSP support<br>=C2=A0 Georg Hinkel, Alexander Hert, Niklas =
Hettler, Kevin Weinert<br><br>* Boosting Parallel Parsing through Cyclic Op=
erator Precedence Grammars<br>=C2=A0 Michele Chiari, Michele Giornetta, Din=
o Mandrioli, Matteo Pradella<br><br>* Detecting Resource Leaks on Android w=
ith Alpakka<br>=C2=A0 Gustavo Amorim Santos, Alexandra Mendes, Jo=C3=A3o Bi=
spo<br><br>* Dynamic Dependency-Based Purity Checking<br>=C2=A0 Anton Risbe=
rg Alak=C3=BCla, Niklas Fors, Christoph Reichenbach<br><br>* Exploratory, O=
mniscient, and Multiverse Diagnostics in Debuggers for Non-Deterministic La=
nguages<br>=C2=A0 Damian Fr=C3=B6lich, Tommaso Pacciani, L. Thomas van Bins=
bergen<br><br>* Handling Grammar Cycles in the 1997 Standard ML Definition<=
br>=C2=A0 Elizabeth Scott, Adrian Johnstone<br><br>* Integrating Model Chec=
king into a Live Modeling Environment<br>=C2=A0 Joeri Exelmans, Ciprian Teo=
dorov, Hans Vangheluwe<br><br>* Lessons Learned: Challenges of Modular Lang=
uage Design<br>=C2=A0 Alex L=C3=BCpges, Nico Jansen, Bernhard Rumpe<br><br>=
* Optimal Language Design is Hard: A Case Study in ECMAScript (JavaScript) =
Standardization<br>=C2=A0 Philipp Riemer, Yury Nikulin, Ashley Claymore, Mi=
khail Barash<br><br>* Optimize Effect Handling for Tail-resumption with Sta=
ck Unwinding<br>=C2=A0 Yuze Fu, Shigeru Chiba<br><br>* Property-based Testi=
ng of Attribute Grammars<br>=C2=A0 Jos=C3=A9 Nuno Macedo, Marcos Viera, Jo=
=C3=A3o Saraiva<br><br>* Scheduling the Construction and Interrogation of S=
cope Graphs Using Attribute Grammars<br>=C2=A0 Luke Bessant, Eric Van Wyk<b=
r><br>* (Semantic) Feature Model Differences with (Q)SAT<br>=C2=A0 Simone H=
eisinger, Maximilian Heisinger, Martina Seidl<br><br>* TranspileJS, an Inte=
lligent Framework for Transpiling JavaScript to WebAssembly<br>=C2=A0 Jos=
=C3=A9 Pedro Ferreira, Jo=C3=A3o Bispo, Susana Lima<br><br>* Variability Fa=
ult Localization by Abstract Interpretation and its Application to SPL Repa=
ir<br>=C2=A0 Aleksandar S. Dimovski<br></div>

--00000000000010fabe06349f417c--

--===============0894364961559589338==
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline

X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSGFza2VsbCBt
YWlsaW5nIGxpc3QKSGFza2VsbEBoYXNrZWxsLm9yZwpodHRwOi8vbWFpbC5oYXNrZWxsLm9yZy9j
Z2ktYmluL21haWxtYW4vbGlzdGluZm8vaGFza2VsbAo=

--===============0894364961559589338==--