We’re happy to announce that Petar Maksimovic will give a keynote at ECOOP’25!

Petar Maksimović is a Senior Verification Engineer at Nethermind and a Research Fellow at Imperial College London. He holds a PhD in theoretical computer science from the University of Nice Sophia Antipolis (France) and a PhD in applied mathematics from the University of Novi Sad (Serbia). The focus of his work is the development of program analysis tools and their application to real-world codebases, and his research has been published in top-tier conferences such as CAV, ECOOP, PLDI, and POPL. In particular, with José Fragoso Santos and Sacha-Élie Ayoun, he has led the development of the Gillian program analysis platform, which was used to formally verify and find bugs in real-world JavaScript, C, and Rust codebases, including the AWS codebase. More recently, he has worked at Runtime Verification on improving the Kontrol symbolic execution tool for the Ethereum Virtual Machine and applying it to codebases of major companies in the Ethereum ecosystem, such as Lido and Optimism. Currently, at Nethermind, he is working on the development of verification infrastructures for proving correctness and security of real-world zero-knowledge technologies in the Lean proof assistant.

The 2025 Test of Time Award for papers published at ECOOP 2005 goes to ‘Towards type inference for JavaScript’ by Christopher Anderson, Paola Giannini, and Sophia Drossopoulou. This paper is amongst the most cited papers of that edition and remains consistently cited since 2005, demonstrating that the contributions have lasting value. Another fact that bears witness to the generality and quality of the contributions in this paper is that it has been cited many times recently in papers about a different language than JavaScript, namely Python.

Also see: https://2025.ecoop.org/track/ecoop-2025-awards

Congratulations to Mira Mezini and Amir Shaikhha! Read the full praise: Awards.

Registration is now open – early-bird registration deadline is 28th May 2025.

If you are a student, also see Travel and Attendance Support Grants for travel support and/or free registrations.