| 2024 | Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. | Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro |
| 2023 | Predicate Anti-unification in (Constraint) Logic Programming. | Gonzague Yernaux, Wim Vanhoof |
| 2023 | Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. | Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu |
| 2023 | A Reusable Machine-Calculus for Automated Resource Analyses. | Hector Suzanne, Emmanuel Chailloux |
| 2023 | A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification. | Jordina Francs de Mas, Juliana Bowles |
| 2023 | Relational Solver for Java Generics Type System. | Peter Lozov, Dmitry Kosarev, Dmitry Ivanov, Dmitry Boulytchev |
| 2023 | A Term Matching Algorithm and Substitution Generality. | Marija Kulas |
| 2023 | A Rule-Based Approach for Designing and Composing Abstract Domains. | Daniel Jurjo-Rivas, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo |
| 2023 | Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. | John P. Gallagher, Manuel V. Hermenegildo, Jos F. Morales, Pedro Lpez-Garca |
| 2023 | Unification Modulo Equational Theories in Languages with Binding Operators (Invited Talk). | Maribel Fernndez |
| 2023 | Towards a Certified Proof Checker for Deep Neural Network Verification. | Remi Desmartin, Omri Isac, Grant O. Passmore, Kathrin Stark, Ekaterina Komendantskaya, Guy Katz |
| 2023 | A Logical Interpretation of Asynchronous Multiparty Compatibility. | Marco Carbone, Sonia Marin, Carsten Schrmann |
| 2023 | From Static to Dynamic Access Control Policies via Attribute-Based Category Mining. | Anna Bamberger, Maribel Fernndez |
| 2023 | Constrained Horn Clauses Satisfiability via Catamorphic Abstractions. | Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
| 2022 | From Infinity to Choreographies - Extraction for Unbounded Systems. | Bjrn Angel Kjr, Lus Cruz-Filipe, Fabrizio Montesi |
| 2022 | Confluence Framework: Proving Confluence with CONFident. | Ral Gutirrez, Miguel Vtores, Salvador Lucas |
| 2022 | Model Checking Meets Auto-Tuning of High-Performance Programs. | Natalya Olegovna Garanina, Sergey M. Staroletov, Sergei Gorlatch |
| 2022 | On Correctness of Normal Logic Programs. | Wlodzimierz Drabent |
| 2022 | Analysing Parallel Complexity of Term Rewriting. | Thas Baudon, Carsten Fuhs, Laure Gonnord |
| 2022 | Typed SLD-Resolution: Dynamic Typing for Logic Programming. | Joo Barbosa, Mrio Florido, Vtor Santos Costa |
| 2022 | Building a Join Optimizer for Souffl. | Samuel Arch, Xiaowen Hu, David Zhao, Pavle Subotic, Bernhard Scholz |
| 2022 | Variant-Based Equational Anti-unification. | Mara Alpuente, Demis Ballis, Santiago Escobar, Julia Sapia |
| 2021 | Disjunctive Delimited Control. | Alexander Vandenbroucke, Tom Schrijvers |
| 2021 | String Abstract Domains and Their Combination. | Harald Sndergaard |
| 2021 | Representation and Processing of Instantaneous and Durative Temporal Phenomena. | Manolis Pitsikalis, Alexei Lisitsa, Shan Luo |