ECOOP 2025
Mon 30 June - Fri 4 July 2025 Bergen, Norway
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 30 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:15 - 09:00
RegistrationTechnical Papers at M130/131
09:00 - 09:15
Opening & AITO Dahl-Nygaard Senior Prize introductionTechnical Papers at Auditorium M003
09:15 - 10:15
Keynote 1Technical Papers at Auditorium M003
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
09:15
60m
Keynote
"On the Power of Programming Language Design" (AITO Dahl-Nygaard Senior Prize)AITO Dahl-Nygaard Senior Prize
Technical Papers
Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
10:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

11:00 - 12:45
Formal Methods, Logics, and Static Analysis FrameworksTechnical Papers at Auditorium M003
Chair(s): Marco Carbone IT University of Copenhagen
11:00
21m
Talk
Compositional Static Value Analysis for Higher-Order Numerical Programs
Technical Papers
Milla Valnet Sorbonne Université, Raphaël Monat Inria and University of Lille, Antoine Miné Sorbonne Université
11:21
21m
Talk
Lightweight Diagramming for Formal Methods: A Grounded Language Design
Technical Papers
Siddhartha Prasad Brown University, Ben Greenman University of Utah, Tim Nelson Brown University, Shriram Krishnamurthi Brown University
11:42
21m
Talk
Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
Technical Papers
Jiawei Yang , Xiao Cheng Macquarie University, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Xiapu Luo Hong Kong Polytechnic University, Yulei Sui University of New South Wales
12:03
21m
Talk
The Algebra of Patterns
Technical Papers
David Binder University of Kent, UK, Lean Ermantraut Radboud University Nijmegen
12:24
21m
Talk
A theory of (linear-time) timed monitors
Technical Papers
Mouloud Amara IRIF, Université Paris Cité, Giovanni Bernardi IRIF, Université Paris Cité, Mohammed Aristide Foughali Université Paris Cité / IRIF, Adrian Francalanza University of Malta
12:30 - 14:00
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
Concurrency and TypesTechnical Papers at Auditorium M003
Chair(s): João Costa Seco NOVA-LINCS; Nova University of Lisbon
14:00
21m
Talk
Contrasting Deadlock-Free Session Processes
Technical Papers
Juan C. Jaramillo University of Groningen, Jorge A. Pérez University of Groningen
DOI
14:21
21m
Talk
Fair Termination of Asynchronous Binary Sessions
Technical Papers
Luca Padovani Department of Computer Science and Engineering - Università di Bologna, Gianluigi Zavattaro Department of Computer Science and Engineering - Università di Bologna
14:42
21m
Talk
Incremental Computing by Differential Execution
Technical Papers
15:03
21m
Talk
Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction
Technical Papers
Dawit Tirore IT University of Copenhagen, Denmark, Jesper Bengtson IT University of Copenhagen, Marco Carbone IT University of Copenhagen
15:24
21m
Talk
Validating Persistency Semantics with Memory Hierarchy Timing Attack
Technical Papers
Vasileios Klimis Queen Mary University of London
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

16:15 - 17:39
Object-Oriented and Dynamic SystemsTechnical Papers at Auditorium M003
Chair(s): Sebastian Erdweg JGU Mainz
16:15
21m
Talk
Declarative Dynamic Object Reclassification
Technical Papers
Riccardo Sieve University of Oslo, Eduard Kamburjan IT University of Copenhagen, Ferruccio Damiani University of Turin, Einar Broch Johnsen University of Oslo
16:36
21m
Talk
In-memory Object Graph StoresRemote
Technical Papers
Aditya Thimmaiah The University of Texas at Austin, Zijian Yi The University of Texas at Austin, Joseph Kenis The University of Texas at Austin, Chris Rossbach University of Texas at Austin; Katana Graph, Milos Gligoric The University of Texas at Austin
16:57
21m
Talk
Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Technical Papers
Jack Oliver Hughes , Michael Vollmer University of Kent, Mark Batty University of Kent
17:18
21m
Talk
Type-safe and portable support for packed data
Technical Papers
Arthur Jamet University of Kent, Michael Vollmer University of Kent
18:30 - 19:30
Social Event: ReceptionTechnical Papers at Håkonshallen (downtown)
18:30
60m
Social Event
Reception at Håkonshallen
Technical Papers

Tue 1 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:10 - 09:15
AITO Dahl-Nygaard Junior Prize introductionTechnical Papers at Auditorium M003
09:15 - 10:15
Keynote 2Technical Papers at Auditorium M003
Chair(s): Jonathan Aldrich Carnegie Mellon University
09:15
60m
Keynote
Language and Compiler Design for Efficient Data Science (AITO Dahl-Nygaard Junior Prize)AITO Dahl-Nygaard Junior Prize
Technical Papers
Amir Shaikhha University of Edinburgh
10:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Type Systems and Program SemanticsTechnical Papers at Auditorium M003
Chair(s): Sukyoung Ryu KAIST
10:45
21m
Talk
Mono Types — First-Class Containers for Datalog
Technical Papers
Runqing Xu JGU Mainz, David Klopp JGU Mainz, Sebastian Erdweg JGU Mainz
11:06
21m
Talk
Monadic type-and-effect soundness
Technical Papers
Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
11:27
21m
Talk
An Effectful Object Calculus
Technical Papers
Francesco Dagnino University of Genoa, Paola Giannini University of Eastern Piedmont, Elena Zucca University of Genoa
11:48
21m
Talk
Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness
Technical Papers
Pedro Carrott Imperial College London, Sacha-Élie Ayoun Imperial College London, Azalea Raad Imperial College London
DOI
12:09
21m
Talk
Practical Type-Based Taint Checking and InferenceRemote
Technical Papers
Nima Karimipour University of California, Riverside, Kanak Das University of California, Riverside, Manu Sridharan University of California at Riverside, Behnaz Hassanshahi Oracle Labs, Australia
12:30 - 14:00
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
Compilation and OptimizationTechnical Papers at Auditorium M003
Chair(s): Elisa Gonzalez Boix Vrije Universiteit Brussel
14:00
21m
Talk
A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
Technical Papers
Yusuke Izawa Tokyo Metropolitan University, Hidehiko Masuhara Institute of Science Tokyo, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf
Pre-print
14:21
21m
Talk
GSOHC: Global Synchronization Optimization in Heterogeneous Computing
Technical Papers
Soumik Kumar Basu IIT Hyderabad, Jyothi Vedurada IIT Hyderabad
14:42
21m
Talk
Profile-Guided Field Externalization in an Ahead-of-Time Compiler
Technical Papers
Sebastian Kloibhofer Johannes Kepler University Linz, Lukas Makor JKU Linz, Peter Hofer Oracle Labs, David Leopoldseder Oracle Labs, Hanspeter Mössenböck JKU Linz
15:03
21m
Talk
Reusing Highly Optimized IR in Dynamic Compilation
Technical Papers
Andrej Pečimúth Oracle Labs; Charles University, David Leopoldseder Oracle Labs, Petr Tuma Charles University
15:24
21m
Talk
Pydrofoil: accelerating Sail-based instruction set simulators
Technical Papers
Martin Berger University of Sussex & Montanarius Ltd, CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf, Luke Panayi Imperial College, Ferdia McKeogh University of St Andrews, Tom Spink University of St Andrews
Pre-print File Attached
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

16:15 - 17:39
T3Technical Papers at Auditorium M003
Chair(s): Michael Vollmer University of Kent
16:15
21m
Talk
Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Technical Papers
Tianyu Chen Microsoft Research Asia, Zeyu Wang Huawei Cloud Computing Technologies Co., Ltd., Lin Li Huawei Cloud Computing Technologies Co., Ltd., Ding Li Peking University, Zongyang Li Peking University, Xiaoning Chang Huawei Cloud Computing Technologies Co., Ltd., Pan Bian Huawei Technologies CO., LTD., China, Guangtai Liang Huawei Cloud Computing Technologies, Qianxiang Wang Huawei Technologies Co., Ltd, Tao Xie Peking University
16:36
21m
Talk
Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions
Technical Papers
Jacqueline Mitchell University of California, Davis, Chao Wang University of Southern California
16:57
21m
Talk
Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Technical Papers
Francisco Costa University of Brasília, Brazil, Ismael Medeiros Computer Science Department / University of Brasília, Leandro Oliveira Computer Science Department / University of Brasília, João Clássio Computer Science Department / University of Brasília, Rodrigo Bonifácio UNB, Krishna Narasimhan F1RE, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE, Márcio Ribeiro Federal University of Alagoas, Brazil
DOI Pre-print
17:18
21m
Talk
Ensuring Convergence and Invariants Without Coordination
Technical Papers
Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa, Carla Ferreira NOVA University Lisbon, Elisa Gonzalez Boix Vrije Universiteit Brussel, Nuno Preguica Universidade Nova de Lisboa
17:45 - 19:15
AITO GA (by invitation)Technical Papers at M160

Wed 2 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:15
ECOOP Awards CeremonyTechnical Papers at Auditorium M003
09:15 - 10:15
Keynote 3Technical Papers at Auditorium M003
Chair(s): Alexandra Silva Cornell University
09:15
60m
Keynote
Towards scalable formal verification
Technical Papers
Petar Maksimović Nethermind; Imperial College London
10:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Program Analysis and VerificationTechnical Papers at Auditorium M003
Chair(s): Einar Broch Johnsen University of Oslo
10:45
21m
Talk
Bottom-up Synthesis of Memory Mutations with Separation Logic
Technical Papers
Kasra Ferdowsi University of California at San Diego, Hila Peleg Technion
11:06
21m
Talk
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Technical Papers
Guanqin Zhang University of New South Wales & CSIRO's Data61, Kota Fukuda Kyushu University, Zhenya Zhang Kyushu University, Japan, ‪H M N Dilum Bandara Data61, CSIRO, Shiping Chen Data61 at CSIRO, Australia / UNSW, Australia, Jianjun Zhao Kyushu University, Yulei Sui University of New South Wales
Link to publication DOI
11:27
21m
Talk
IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL
Technical Papers
Matt Griffin Imperial College London, Brijesh Dongol University of Surrey, Azalea Raad Imperial College London
11:48
21m
Talk
Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis
Technical Papers
Mamy Razafintsialonina Université Paris-Saclay, CEA, List, Palaiseau / Sorbonne Université, CNRS, LIP6, Paris, David Bühler Université Paris-Saclay, CEA, List, Palaiseau, Antoine Miné Sorbonne Université, Valentin Perrelle Université Paris-Saclay, CEA, List, Palaiseau, Julien Signoles Université Paris-Saclay, CEA, List
12:09
21m
Talk
RacerF: Lightweight Static Data Race Detection for C Code
Technical Papers
Tomáš Dacík Faculty of Information Technology, Brno University of Technology, Tomas Vojnar Masaryk University
10:45 - 12:30
ICOOOLPS Session 1ICOOOLPS at M125
Chair(s): Paulo Ferreira University of Oslo
10:45
15m
Day opening
Opening Remarks
ICOOOLPS
Paulo Ferreira University of Oslo, Andrea Rosà USI Lugano
11:00
60m
Talk
Invited Talk: Implementing Object Tracking in the Emerald Object-Oriented Language
ICOOOLPS
Eric Jul University of Oslo
12:00
30m
Full-paper
Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming
ICOOOLPS
Matyáš Brabec Charles University, Jiří Klepl Charles University, Martin Kruliš Charles University
Pre-print
12:30 - 14:00
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
14:00
21m
Talk
Event Race Detection for Node.js Using Delay Injections
Technical Papers
Andre Takeshi Endo Federal University of São Carlos, Anders Møller Aarhus University
Pre-print
14:21
21m
Talk
FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program GenerationRemote
Technical Papers
Amber Gorzynski Imperial College London, Alastair F. Donaldson Imperial College London
14:42
21m
Talk
PoTo: A Hybrid Andersen's Points-to Analysis for Python
Technical Papers
Ingkarat Rak-amnouykit Rensselaer Polytechnic Institute, Ana Milanova Rensselaer Polytechnic Institute, Guillaume Baudart Inria, Martin Hirzel IBM Research, Julian Dolby IBM Research
15:03
21m
Talk
Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession
Technical Papers
Aäron Munsters Vrije Universiteit Brussel, Angel Luis Scull Pupo Sofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
15:24
21m
Talk
WebGlitch: A Randomised Testing Tool for the WebGPU API
Technical Papers
14:00 - 15:45
ICOOOLPS Session 2ICOOOLPS at M125
Chair(s): Andrea Rosà USI Lugano
14:00
30m
Full-paper
Revisiting Borrow Checking with Abstract Interpretation
ICOOOLPS
Aurélien Coet University of Geneva, Switzerland, Didier Buchs University of Geneva, Switzerland
14:30
30m
Full-paper
AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs
ICOOOLPS
Octave Larose University of Kent, Michael Vollmer University of Kent, Stefan Marr University of Kent
Pre-print File Attached
15:00
30m
Full-paper
Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
ICOOOLPS
Christoph Jung , CF Bolz-Tereick Heinrich-Heine-Universität Düsseldorf
Pre-print File Attached
15:30
10m
Day closing
Closing Remarks
ICOOOLPS
Paulo Ferreira University of Oslo, Andrea Rosà USI Lugano
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

16:15 - 17:39
W3Technical Papers at Auditorium M003
Chair(s): Carla Ferreira NOVA University Lisbon
16:15
21m
Talk
Automatic Goal Clone Detection in Rocq
Technical Papers
Ali Ghanbari Auburn University
16:36
21m
Talk
Contract Usage and Evolution in Android Mobile Applications
Technical Papers
David R. Ferreira Faculty of Engineering, University of Porto, Alexandra Mendes Faculty of Engineering, University of Porto & INESC TEC, João F. Ferreira INESC-ID and IST, University of Lisbon, Carolina Carreira Carnegie Mellon University, IST University of Lisbon, INESC-ID
16:57
21m
Talk
Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation
Technical Papers
Sangyeop Yeo ETRI (Electronics and Telecommunications Research Institute), seung-won hwang Seoul National University, Yu-Seung Ma Electronics and Telecommunications Research Institute
17:18
21m
Talk
Contract Systems Need Domain-Specific Notations
Technical Papers
Cameron Moy Northeastern University, Ryan Jung PLT @ Northeastern University, Matthias Felleisen Northeastern University
17:40 - 18:00
Closing 3Technical Papers at Auditorium M003
  • Introduction to ECOOP 2026
  • Final remarks ECOOP 2025

Thu 3 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:15
Intro & KeynoteGPCE at Auditorium M003
Chair(s): Amir Shaikhha University of Edinburgh
09:00
75m
Keynote
Metaprogramming and algebra
GPCE
Ohad Kammar University of Edinburgh
09:00 - 10:15
Opening & KeynoteDoctoral Symposium at M125
Chair(s): Carla Ferreira NOVA University Lisbon
09:00
15m
Day opening
Doctoral Symposium - Opening Session
Doctoral Symposium
Carla Ferreira NOVA University Lisbon, Mikhail Barash University of Bergen
09:15
60m
Keynote
How to get your Ph.D. DONE!
Doctoral Symposium
Eric Jul University of Oslo
09:00 - 10:15
Keynote 1PLF+PLAID at M207
09:00
10m
Day opening
Welcome
PLF+PLAID

09:10
60m
Talk
Local Actions, Global Outcomes: A Decentralization-first Programming Paradigm for Next-Generation Distributed Applications
PLF+PLAID
Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE
09:00 - 10:15
KeynoteFTfJP at M209
Chair(s): Andrew Butterfield Trinity College Dublin, Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University
09:00
5m
Day opening
Welcome
FTfJP

09:05
70m
Keynote
Gradual Verification: Assuring Software Incrementally
FTfJP
Jonathan Aldrich Carnegie Mellon University
10:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Contributed TalksGPCE at Auditorium M003
Chair(s): Torsten Layda SIX
10:45
35m
Talk
CoCoCoLa: Code Completion Control Language
GPCE
Nhat University of Twente, Vadim Zaytsev University of Twente
11:20
35m
Talk
Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation
GPCE
Iman Hemati Moghadam Eindhoven University of Technology, Oebele Lijzenga Universiteit Twente, Vadim Zaytsev University of Twente
11:55
35m
Talk
Imperative Program Synthesis by Abstract Static Analysis and SMT MutationsArtifact Evaluated
GPCE
Aleksandar S. Dimovski Mother Teresa University, Skopje
10:45 - 12:30
Session 1Doctoral Symposium at M125
Chair(s): Mikhail Barash University of Bergen
10:45
20m
Talk
Compiling to an Intermediate Representation with Definitional Abstract Interpreters
Doctoral Symposium
Armand Lego Johannes Gutenberg University Mainz
11:05
20m
Talk
Expressive Equivalence of React's and Signals' Reactivity
Doctoral Symposium
Kirill Golubev University of Turku
11:25
20m
Talk
Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques
Doctoral Symposium
Dina Borrego NOVA LINCS, FCT, Universidade NOVA de Lisboa
11:45
45m
Industry talk
What after Ph.D.?
Doctoral Symposium
Mai Tran InterBe AS
10:45 - 12:30
Session 1FTfJP at M209
Chair(s): Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University
10:45
60m
Keynote
Formal model guided conformance testing for blockchains (joint keynote, location: M207)
FTfJP
Pavle Subotic Microsoft Azure
12:00
30m
Talk
An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model
FTfJP
Bart Jacobs DistriNet, Dept. CS, KU Leuven, Justus Fasse Université Grenoble-Alpes; KU Leuven
12:30 - 14:00
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
Contributed TalksGPCE at Auditorium M003
Chair(s): Yukiyoshi Kameyama University of Tsukuba
14:00
35m
Talk
Integrating Static Optimization and Dynamic Nature in JavaScript
GPCE
Tadashi Saito The University of Electro-Communications , Hideya Iwasaki Meiji University
DOI Media Attached
14:35
35m
Talk
P4DDG: data-dependent grammars for packet specification and parsing in P4
GPCE
Tommaso Pacciani University of Amsterdam, Damian Frölich University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam, Chrysa Papagianni University of Amsterdam
Link to publication DOI Pre-print
15:10
35m
Talk
Retrofitting a Virtual Instrument DSL with Programming Abstractions
GPCE
Mathias Vatter JGU Mainz, Sebastian Erdweg JGU Mainz
14:00 - 15:45
Session 2Doctoral Symposium at M125
Chair(s): Carla Ferreira NOVA University Lisbon
14:00
20m
Talk
Extensions to Container-Based Abstraction of Graphical User Interfaces
Doctoral Symposium
Yan Passeniouk University of Turku
14:20
20m
Talk
Applied Implicit Computational Complexity
Doctoral Symposium
Neea Rusch Augusta University
14:40
20m
Talk
Impacts and Uses of Local-First Software Architecture for Energy Optimization of Digital Services
Doctoral Symposium
15:00
45m
Other
Discussion
Doctoral Symposium

14:00 - 15:45
Session 1PLF+PLAID at M207
14:00
30m
Talk
Compositional Implementation and Verification of Swarms - A Tool Demo
PLF+PLAID
Florian Furbach Technical University of Denmark, Lucas Clorius , Alceste Scalas Technical University of Denmark, Roland Kuhn Actyx AG, Emilio Tuosto Gran Sasso Science Institute, L'Aquila, Italy, Hernan Melgratti University of Buenos Aires, Argentina
14:30
30m
Talk
Optimizing CRDTs for Low Memory Environments
PLF+PLAID
Thomas Vandermotten Vrije Universiteit Brussel, Jim Bauwens Vrije Universiteit Brussel, Elisa Gonzalez Boix Vrije Universiteit Brussel
15:00
30m
Talk
PRDTs: Implementing Distributed Protocols with Replicated Data Types
PLF+PLAID
Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt
14:00 - 15:45
Session 2FTfJP at M209
Chair(s): Giorgio Audrito Università di Torino
14:00
30m
Talk
From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST
FTfJP
Songyan Lai Department of Computer Science, Maynooth University, Rosemary Monahan Department of Computer Science & Hamilton Institute, Maynooth University
14:30
30m
Talk
Towards a Unifying Semantics Playground
FTfJP
Andrew Butterfield Trinity College Dublin
15:00
30m
Talk
Towards an Axiomitisation of Solidity Memory and Storage
FTfJP
Guilherme Horta Alvares Da Silva Chalmers University of Technology and University of Gothenburg, Wolfgang Ahrendt Chalmers University of Technology, Richard Bubel Technische Universität Darmstadt
15:30
30m
Talk
VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs
FTfJP
Bart Jacobs DistriNet, Dept. CS, KU Leuven
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

16:15 - 18:00
Contributed Talks & ClosingGPCE at Auditorium M003
Chair(s): David Klopp JGU Mainz
16:15
35m
Talk
A Stable Model Semantics for eFLINT Norm Specifications and Model Checking ScenariosArtifact Evaluated
GPCE
Christopher Esterhuyse University of Amsterdam, Tim Müller University of Amsterdam, L. Thomas van Binsbergen University of Amsterdam
Link to publication DOI Pre-print
16:50
35m
Talk
Staged Gradual Typing
GPCE
Hiroto Yaguchi University of Tsukuba, Yukiyoshi Kameyama University of Tsukuba
Link to publication DOI
16:15 - 18:00
KeynoteDoctoral Symposium at M125
Chair(s): Mikhail Barash University of Bergen
16:15
60m
Keynote
AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings
Doctoral Symposium
Jaakko Järvi University of Turku
17:15
5m
Day closing
Doctoral Symposium - Closing Session
Doctoral Symposium
Mikhail Barash University of Bergen, Carla Ferreira NOVA University Lisbon

Fri 4 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:15
Opening & Keynote (WebAssembly)PLSS at M207
09:00
15m
Day opening
PLSS - Opening Session
PLSS
Mikhail Barash University of Bergen, Yulia Startsev Mozilla
09:15
60m
Keynote
Engineering a Formal Language Specification
PLSS
Andreas Rossberg Independent
Link to publication
09:00 - 10:15
Morning session 1VORTEX at M208
Chair(s): Giorgio Audrito Università di Torino
09:00
15m
Day opening
Opening
VORTEX

09:15
30m
Talk
Runtime Monitoring of Action Specifications for Replanning in Classical Planning
VORTEX
Angelo Ferrando University of Modena and Reggio Emilia, Rafael C. Cardoso University of Aberdeen
File Attached
09:45
30m
Talk
Bounded Compositional Runtime Enforcement
VORTEX
Saumya Shankar , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA, Prisha Srinidi Indian Institute of Technology Bhubaneswar
File Attached
09:00 - 10:15
KeynoteDEBT at M209
09:00
15m
Day opening
Welcome to the DEBT Workshop
DEBT

09:15
60m
Keynote
Keynote: Live feedback through incremental program analysis
DEBT
10:15 - 10:45
Coffee BreakCatering at M130/131
10:15
30m
Coffee break
Break
Catering

10:45 - 12:30
Morning session 2VORTEX at M208
Chair(s): Francesco Dagnino University of Genoa
10:45
30m
Talk
Aggregate Monitoring of Spatial Formulas beyond SLCS
VORTEX
Giorgio Audrito Università di Torino, Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, Mirko Viroli Alma Mater Studiorum - Università di Bologna
File Attached
11:15
30m
Talk
Bounded Time Monitoring in Aggregate Systems
VORTEX
Giorgio Audrito Università di Torino, Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy
File Attached
11:45
30m
Talk
Monitors for distributed deadlock detection
VORTEX
Radosław Rowicki Technical University of Denmark, Adrian Francalanza University of Malta, Alceste Scalas Technical University of Denmark
File Attached
10:45 - 12:30
Session 1DEBT at M209
10:45
30m
Talk
Automatic Data Structures Visualization in IntelliJ IDEA
DEBT
Grigorii Emdin JetBrains, EPFL, Dmitrii Kirkhmeier JetBrains, Nikita Koval JetBrains
11:15
30m
Talk
Countering Anti-Debugging Techniques: Enhancing Transparency in Nested Virtualization using HyperDbg
DEBT
Björn Ruytenberg Vrije Universiteit Amsterdam, Mohammad Sina Karvandi Vrije Universiteit Amsterdam
11:45
30m
Talk
Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
DEBT
Dmitrii Artiukhov JetBrains, Bob Brockbernd JetBrains, Evgeniia Fedotova JetBrains Research, Nikita Koval JetBrains, Ivan Kylchik JetBrains, Evgenii Moiseenko JetBrains Research, Lev Serebryakov JetBrains, Evgeniy Zhelenskiy JetBrains, Maksim Zuev JetBrains
12:15
15m
Day closing
Closing by the workshop organizers
DEBT
Burcu Kulahcioglu Ozkan Delft University of Technology, Tom Lauwaerts Universiteit Gent, Belgium
12:30 - 14:00
Lunch (cafeteria K1)Catering at Cafeteria (K1)
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:45
Afternoon sessionVORTEX at M208
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
14:00
60m
Keynote
Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions
VORTEX
K: Mohammed Aristide Foughali Université Paris Cité / IRIF
15:00
30m
Talk
Ain’t No Stopping Us Monitoring Now (extended abstract)
VORTEX
Luca Ciccone University of Turin, Francesco Dagnino , Angelo Ferrando University of Modena and Reggio Emilia
File Attached
15:45 - 16:15
Coffee BreakCatering at M130/131
15:45
30m
Coffee break
Break
Catering

16:15 - 18:00
P4, C++, Emacs LispPLSS at M207
16:15
30m
Talk
P4-SpecTec: Mechanized Language Definition for P4
PLSS
16:45
30m
Talk
C++ Standardization: Reflections and Lessons Learned
PLSS
Jaakko Järvi University of Turku
17:15
30m
Talk
Do Programming Languages Fulfill Requirements? Should They?Remote
PLSS
Michael Sperber Active Group GmbH
17:45
5m
Day closing
PLSS - Closing Session
PLSS
Yulia Startsev Mozilla, Mikhail Barash University of Bergen