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==--