9th Symposium on Computer Languages, Implementations and ToolsSCLIT 2025
Research on programming languages is among the core and ‘classic’ disciplines of computer science. Today the term computer languages usually encompasses not only programming languages but also all sorts of artificial languages for different purposes whose ‘sentences’ can be processed by a computer.
The aim of the workshop is to provide a forum for the dissemination of research accomplishments in areas that include all aspects of computer languages: theory, implementation, and processing and analysis tools. Following the current trends in software development, SCLIT 2025 will pay special attention to supporting multilingual software development and dedicated cross-language implementations, techniques and tools.
Accepted Papers
Call for Papers
SCLIT welcomes submissions that are the result of original and unpublished research. The scope of the workshop is wide and versatile within the theme of computer languages. Particularly, SCLIT invites papers that include, but are not limited to the following topics:
-
Languages: theoretical aspects of programming languages, programming paradigms, script languages, modelling languages, domain-specific languages, graphical languages, markup languages, specification languages, transformation languages, formal languages, intermediate languages…
-
Implementations: Compilers, debuggers, interpreters, virtual machines, transformation systems, translators, transpilers, intermediate representations, …
-
Tools: software metrics, static analyzers, clone detectors, abstract interpreters, visualizers, …
We especially encourage submissions addressing problems encompassing multiple languages in a language-independent or cross-language manner.
Paper contributions should not exceed 14 pages (in the OASIcs format), including all figures, tables, and bibliography. Submissions will be managed on the EasyChair submission portal. We receive your submissions at the submission page https://easychair.org/conferences/?conf=sclit2025.
All submissions will be peer-reviewed by at least three members of the international program committee.
Accepted submissions will be published as part of the
This program is tentative and subject to change.
Tue 3 JunDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
09:00 - 10:00 | SCLIT 2025, session 1SCLIT at S 9 Chair(s): Nicolás Cardozo Universidad de los Andes, Gordana Rakić Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad | ||
09:00 10mOther | Welcome to SCLIT 2025 SCLIT Gordana Rakić Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad, Nicolás Cardozo Universidad de los Andes | ||
09:10 20mPaper | Are there Hypothesis for Attribute Grammars? SCLIT Emanuel Rodrigues HASLab & INESC TEC, University of Minho, José Nuno Macedo University of Minho, João Saraiva HASLab/INESC TEC, University of Minho | ||
09:30 20mPaper | On the Effectiveness of Interpreter-Guided Compiler Testing SCLIT | ||
09:50 10mOther | Short discussion SCLIT |
10:30 - 12:00 | SCLIT 2025, session 2SCLIT at S 9 Chair(s): Nicolás Cardozo Universidad de los Andes, Gordana Rakić Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad | ||
10:30 20mPaper | A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions SCLIT Quentin Colla , Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Julien Liénard Université catholique de Louvain (UCL), Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM) | ||
10:50 20mPaper | Identifying security issues in Elixir web applications SCLIT Smiljana Knežev , István Bozó Eötvös Loránd University, Melinda Tóth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers & ELTE-Soft Nonprofit Ltd. | ||
11:10 20mPaper | The Pyttern Program Query Language SCLIT Julien Liénard Université catholique de Louvain (UCL), Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTEAM), Kim Mens Université catholique de Louvain, ICTEAM institute, Belgium, Siegfried Nijssen UC Louvain | ||
11:30 30mOther | Concluding discussion and closing SCLIT |
12:00 - 13:30 | |||
12:00 90mLunch | Lunch Catering |