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

Title
A Comparison of Three Program Query Languages to Detect Python Programming Misconceptions
SCLIT
Are there Hypothesis for Attribute Grammars?
SCLIT
Identifying security issues in Elixir web applications
SCLIT
On the Effectiveness of Interpreter-Guided Compiler Testing
SCLIT
The Pyttern Program Query Language
SCLIT

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 conference companion. Our preferred venue is the Dagstuhl OpenAccess Series in Informatics, which uses a paper template available on the OASIcs web page. The paper template can be downloaded from the OASIcs site or directly from here. The OASIcs template is the format required template.

Plenary
Hide plenary sessions

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 3 Jun

Displayed 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
10m
Other
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
20m
Paper
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
20m
Paper
On the Effectiveness of Interpreter-Guided Compiler Testing
SCLIT
Federico Lochbaum , Guillermo Polito Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL
09:50
10m
Other
Short discussion
SCLIT

10:00 - 10:30
BreakCatering at Foyer
10:00
30m
Coffee break
Break
Catering

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
20m
Paper
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
20m
Paper
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
20m
Paper
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
30m
Other
Concluding discussion and closing
SCLIT

12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

Questions? Use the SCLIT contact form.
:
: