ECOOP 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (400)

A Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee (to be finalized) within the VORTEX-track
Gianluca AguzziAguzzi, Gianluca Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Aggregate Monitoring of Spatial Formulas beyond SLCS
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Towards an Axiomitisation of Solidity Memory and Storage
Marat AkhinAkhin, Marat JetBrainsNetherlands Just-in-time Specification: Evolving Kotlin One Feature at a Time
Michele AlbanoAlbano, Michele Aalborg UniversityDenmark Teilen-SQL: A library for building local-first software with SQLite and version control
Elvira AlbertAlbert, Elvira Complutense University of MadridSpain Committee Member in Programme Committee within the ECOOP Technical Papers-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States PC Co-Chair in Organizing Committee for ECOOP 2025 Session Chair of Keynote 2 (part of ECOOP Technical Papers) Committee Member in Programme Committee within the ECOOP Technical Papers-track Gradual Verification: Assuring Software Incrementally
Muhammad Ali GulzarAli Gulzar, Muhammad Virginia Tech, USAUnited States Committee Member in Program Committee within the DEBT-track
Guillaume AllaisAllais, Guillaume University of StrathclydeUnited Kingdom Committee Member in Program Committee within the GPCE-track
Mouloud AmaraAmara, Mouloud IRIF, Université Paris Cité A theory of (linear-time) timed monitors
Nada AminAmin, Nada Harvard UniversityUnited States Program Chair in Organizing Committee within the GPCE-track Steering Committee Member in Steering Committee within the GPCE-track
Aditya AnandAnand, Aditya Indian Institute of Technology BombayIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Keynote 1 (part of ECOOP Technical Papers) Session Chair of Afternoon session (part of VORTEX) Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee (to be finalized) within the VORTEX-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Committee Member in Program Committee within the GPCE-track
Dmitrii ArtiukhovArtiukhov, Dmitrii JetBrains Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the GPCE-track
Parisa AtaeiAtaei, Parisa Oregon State University Committee Member in Program Committee within the GPCE-track
Clément AubertAubert, Clément Augusta UniversityUnited States Workshops/Tools Co-Chair in Organizing Committee for ECOOP 2025
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Publicity Chair in Organizing Committee for ECOOP 2025 Session Chair of Session 2 (part of FTfJP) Session Chair of Morning session 1 (part of VORTEX) Bounded Time Monitoring in Aggregate Systems Aggregate Monitoring of Spatial Formulas beyond SLCS Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee (to be finalized) within the VORTEX-track
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness
B Casper BachBach, Casper University of Southern DenmarkDenmark Committee Member in Program Committee within the GPCE-track
Martina BaiardiBaiardi, Martina University of BolognaItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Valter BalegasBalegas, Valter ElectricSQLPortugal PC Member in Program Committee within the PLF+PLAID-track
‪H M N Dilum BandaraBandara, ‪H M N Dilum Data61, CSIROAustralia Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Mikhail BarashBarash, Mikhail University of BergenNorway Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2025 Session Chair of Keynote (part of ECOOP Doctoral Symposium) Session Chair of Session 1 (part of ECOOP Doctoral Symposium) Doctoral Symposium - Opening Session Doctoral Symposium - Closing Session Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP Doctoral Symposium-track PLSS - Opening Session PLSS - Closing Session Committee Member in Organizers within the PLSS-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Soumik Kumar BasuBasu, Soumik Kumar IIT HyderabadIndia GSOHC: Global Synchronization Optimization in Heterogeneous Computing
Mark BattyBatty, Mark University of KentUnited Kingdom Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Guillaume BaudartBaudart, Guillaume InriaFrance PoTo: A Hybrid Andersen's Points-to Analysis for Python
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Optimizing CRDTs for Low Memory Environments
Aaron BembenekBembenek, Aaron University of MelbourneAustralia Committee Member in Programme Committee within the ECOOP Technical Papers-track
Jesper BengtsonBengtson, Jesper IT University of Copenhagen Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction
Diana Carolina Benjumea HernandezBenjumea Hernandez, Diana Carolina The University of Manchester, UKUnited Kingdom PC Member in Program Committee (to be finalized) within the VORTEX-track
Martin BergerBerger, Martin University of Sussex & Montanarius Ltd Pydrofoil: accelerating Sail-based instruction set simulators
Giovanni BernardiBernardi, Giovanni IRIF, Université Paris Cité A theory of (linear-time) timed monitors
Pan BianBian, Pan Huawei Technologies CO., LTD., China Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany PC Member in Program Committee within the PLF+PLAID-track
David BinderBinder, David University of Kent, UKUnited Kingdom The Algebra of Patterns
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in Program Committee within the GPCE-track
Jérôme BoillotBoillot, Jérôme École Normale Supérieure, PSL University & INRIAFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
CF Bolz-TereickBolz-Tereick, CF Heinrich-Heine-Universität DüsseldorfGermany Pydrofoil: accelerating Sail-based instruction set simulators A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
Silvia BonfantiBonfanti, Silvia University of BergamoItaly PC Member in Program Committee (to be finalized) within the VORTEX-track
Rodrigo BonifácioBonifácio, Rodrigo UNBBrazil Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Dina BorregoBorrego, Dina NOVA LINCS, FCT, Universidade NOVA de Lisboa Designing Correct and Available Replicated Systems through Coordination-Minimising Techniques Ensuring Convergence and Invariants Without Coordination
Valentin BourcierBourcier, Valentin INRIAFrance Committee Member in Program Committee within the DEBT-track
Matyáš BrabecBrabec, Matyáš Charles UniversityCzechia Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee (to be finalized) within the VORTEX-track
Einar Broch JohnsenBroch Johnsen, Einar University of OsloNorway Session Chair of Program Analysis and Verification (part of ECOOP Technical Papers) Declarative Dynamic Object Reclassification Committee Member in Programme Committee within the ECOOP Technical Papers-track Committee Member in Program Committee (to be finalized) within the VORTEX-track
Bob BrockberndBrockbernd, Bob JetBrains Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
Adám BrudzewskyBrudzewsky, Adám Dyalog Ltd.Denmark APL Array Notation
Rodrigo BrunoBruno, Rodrigo INESC-ID, Instituto Superior Técnico, Universidade de LisboaPortugal Committee Member in Program Committee within the ICOOOLPS-track
Richard BubelBubel, Richard Technische Universität DarmstadtGermany Towards an Axiomitisation of Solidity Memory and Storage PC Member in Program Committee within the FTfJP-track
Didier BuchsBuchs, Didier University of Geneva, Switzerland Revisiting Borrow Checking with Abstract Interpretation
Syed Ali Asadullah BukhariBukhari, Syed Ali Asadullah Maynooth UniversityIreland PC Member in Program Committee within the FTfJP-track
Andrew ButterfieldButterfield, Andrew Trinity College DublinIreland Session Chair of Keynote (part of FTfJP) Towards a Unifying Semantics Playground
David BühlerBühler, David Université Paris-Saclay, CEA, List, Palaiseau Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis
C Luís CairesCaires, Luís INESC-ID / Instituto Superior Tecnico, University of LisbonPortugal Committee Member in Programme Committee within the ECOOP Technical Papers-track
Yazhuo CaoCao, Yazhuo King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Marco CarboneCarbone, Marco IT University of CopenhagenDenmark Session Chair of Formal Methods, Logics, and Static Analysis Frameworks (part of ECOOP Technical Papers) Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction
Rafael C. CardosoCardoso, Rafael C. University of AberdeenUnited Kingdom Runtime Monitoring of Action Specifications for Replanning in Classical Planning
Carolina CarreiraCarreira, Carolina Carnegie Mellon University, IST University of Lisbon, INESC-ID Contract Usage and Evolution in Android Mobile Applications
Pedro CarrottCarrott, Pedro Imperial College LondonUnited Kingdom Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
Xiaoning ChangChang, Xiaoning Huawei Cloud Computing Technologies Co., Ltd. Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Sheng ChenChen, Sheng University of Louisiana at Lafayette Committee Member in Program Committee within the GPCE-track
Shiping ChenChen, Shiping Data61 at CSIRO, Australia / UNSW, AustraliaAustralia Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Tianyu ChenChen, Tianyu Microsoft Research Asia Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Yanju ChenChen, Yanju University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Xiao ChengCheng, Xiao Macquarie UniversityAustralia Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
Michele ChiariChiari, Michele TU WienAustria PC Member in Program Committee (to be finalized) within the VORTEX-track
Shigeru ChibaChiba, Shigeru University of TokyoJapan Committee Member in Program Committee within the GPCE-track Steering Committee Member in Steering Committee within the GPCE-track
Luca CicconeCiccone, Luca University of TurinItaly Ain’t No Stopping Us Monitoring Now (extended abstract)
Lucas CloriusClorius, Lucas Compositional Implementation and Verification of Swarms - A Tool Demo
João ClássioClássio, João Computer Science Department / University of Brasília Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Revisiting Borrow Checking with Abstract Interpretation
Christian ColomboColombo, Christian University of MaltaMalta Committee Member in Program Committee (to be finalized) within the VORTEX-track
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Session Chair of Concurrency and Types (part of ECOOP Technical Papers) Committee Member in Organizing Committee within the PLF+PLAID-track
Francisco CostaCosta, Francisco University of Brasília, BrazilBrazil Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Steven CostiouCostiou, Steven INRIA LilleFrance Committee Member in Program Committee within the DEBT-track
D Tomáš DacíkDacík, Tomáš Faculty of Information Technology, Brno University of Technology RacerF: Lightweight Static Data Race Detection for C Code
Francesco DagninoDagnino, Francesco University of GenoaItaly An Effectful Object Calculus Monadic type-and-effect soundness Session Chair of Morning session 2 (part of VORTEX)
Francesco DagninoDagnino, Francesco Ain’t No Stopping Us Monitoring Now (extended abstract)
Aidan DakhamaDakhama, Aidan King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Declarative Dynamic Object Reclassification Bounded Time Monitoring in Aggregate Systems
Tosin Daniel OyetoyanDaniel Oyetoyan, Tosin Western Norway University of Applied SciencesNorway Sponsorship Co-Chair in Organizing Committee for ECOOP 2025
Kanak DasDas, Kanak University of California, RiversideUnited States Practical Type-Based Taint Checking and Inference
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Steering Committee Chair in Steering Committee within the GPCE-track
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada Committee Member in Program Committee within the GPCE-track
Maxence DemougeotDemougeot, Maxence IRITFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States Committee Member in Programme Committee within the ECOOP Technical Papers-track
Adhitha DiasDias, Adhitha Purdue University, USAUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Werner DietlDietl, Werner University of WaterlooCanada Committee Member in Programme Committee within the ECOOP Technical Papers-track Steering Committee Member in Steering Committee within the FTfJP-track
Crystal Chang DinDin, Crystal Chang University of BergenNorway PC Chair in Program Committee within the FTfJP-track
Julian DolbyDolby, Julian IBM ResearchUnited States PoTo: A Hybrid Andersen's Points-to Analysis for Python
Davide DominiDomini, Davide Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom WebGlitch: A Randomised Testing Tool for the WebGPU API FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program Generation
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL
Alexandre DoyenDoyen, Alexandre Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Claire DrossDross, Claire AdaCoreFrance PC Member in Program Committee within the FTfJP-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Committee Member in Programme Committee within the ECOOP Technical Papers-track
Johannes DüsingDüsing, Johannes TU DortmundGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
E Sophie EbersoldEbersold, Sophie Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Grigorii EmdinEmdin, Grigorii JetBrains, EPFL Automatic Data Structures Visualization in IntelliJ IDEA
Andre Takeshi EndoEndo, Andre Takeshi Federal University of São CarlosBrazil Event Race Detection for Node.js Using Delay Injections
Ayse Irmak ErcevikErcevik, Ayse Irmak King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Session Chair of Object-Oriented and Dynamic Systems (part of ECOOP Technical Papers) Mono Types — First-Class Containers for Datalog Incremental Computing by Differential Execution Committee Member in Programme Committee within the ECOOP Technical Papers-track Retrofitting a Virtual Instrument DSL with Programming Abstractions General Co-Chair in Organizing Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track Keynote: Live feedback through incremental program analysis
Lean ErmantrautErmantraut, Lean Radboud University Nijmegen The Algebra of Patterns
Erik ErnstErnst, Erik Google Inc.Denmark PC Member in Program Committee within the FTfJP-track
Christopher EsterhuyseEsterhuyse, Christopher University of AmsterdamNetherlands A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2025 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal Contract Usage and Evolution in Android Mobile Applications Committee Member in Programme Committee within the ECOOP Technical Papers-track PC Member in Program Committee (to be finalized) within the VORTEX-track
Nicolas FarabegoliFarabegoli, Nicolas Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the FTfJP-track
Justus FasseFasse, Justus Université Grenoble-Alpes; KU Leuven An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model
Evgeniia FedotovaFedotova, Evgeniia JetBrains ResearchSerbia Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
Matthias FelleisenFelleisen, Matthias Northeastern UniversityUnited States Contract Systems Need Domain-Specific Notations
Kasra FerdowsiFerdowsi, Kasra University of California at San DiegoUnited States Bottom-up Synthesis of Memory Mutations with Separation Logic
Eduardo FernandesFernandes, Eduardo Institute of Technology and LeadershipBrazil Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Angelo FerrandoFerrando, Angelo University of Modena and Reggio EmiliaItaly Ain’t No Stopping Us Monitoring Now (extended abstract) Runtime Monitoring of Action Specifications for Replanning in Classical Planning PC Member in Program Committee (to be finalized) within the VORTEX-track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2025 Session Chair of Opening & Keynote (part of ECOOP Doctoral Symposium) Session Chair of Session 2 (part of ECOOP Doctoral Symposium) Doctoral Symposium - Opening Session Doctoral Symposium - Closing Session Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP Doctoral Symposium-track Session Chair of W3 (part of ECOOP Technical Papers) Ensuring Convergence and Invariants Without Coordination Committee Member in Programme Committee within the ECOOP Technical Papers-track PC Member in Program Committee within the PLF+PLAID-track PC Member in Program Committee (to be finalized) within the VORTEX-track
David R. FerreiraFerreira, David R. Faculty of Engineering, University of Porto Contract Usage and Evolution in Android Mobile Applications
Paulo FerreiraFerreira, Paulo University of OsloNorway Session Chair of ICOOOLPS Session 1 (part of ICOOOLPS) Closing Remarks Opening Remarks Co-chair in Program Committee within the ICOOOLPS-track
Michael FicarraFicarra, Michael F5United States The Software Supporting the JavaScript Language Specification
Mohammed Aristide FoughaliFoughali, Mohammed Aristide Université Paris Cité / IRIF A theory of (linear-time) timed monitors Tell Me The Future, Correctly: On The Monitorability of Timed Logics Over Infinite Executions
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the GPCE-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta A theory of (linear-time) timed monitors Monitors for distributed deadlock detection
Gordon FraserFraser, Gordon University of Passau Committee Member in Program Committee within the DEBT-track
Damian FrölichFrölich, Damian University of AmsterdamNetherlands P4DDG: data-dependent grammars for packet specification and parsing in P4
Kota FukudaFukuda, Kota Kyushu UniversityJapan Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Florian FurbachFurbach, Florian Technical University of DenmarkDenmark Compositional Implementation and Verification of Swarms - A Tool Demo
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland PC Member in Program Committee within the FTfJP-track
G Ali GhanbariGhanbari, Ali Auburn UniversityUnited States Automatic Goal Clone Detection in Rocq
Silvia GhilezanGhilezan, Silvia University of Novi Sad, Mathematical Institute SASASerbia Committee Member in Organizing Committee within the PLF+PLAID-track
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly An Effectful Object Calculus Monadic type-and-effect soundness
Marco GiuntiGiunti, Marco University of Oxford Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States In-memory Object Graph Stores
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE-track
Kirill GolubevGolubev, Kirill University of TurkuFinland Expressive Equivalence of React's and Signals' Reactivity
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee (to be finalized) within the VORTEX-track
Léon GondelmanGondelman, Léon Aalborg University, Denmark Teilen-SQL: A library for building local-first software with SQLite and version control
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of Compilation and Optimization (part of ECOOP Technical Papers) Ensuring Convergence and Invariants Without Coordination Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession Committee Member in Programme Committee within the ECOOP Technical Papers-track Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the DEBT-track Optimizing CRDTs for Low Memory Environments
Amber GorzynskiGorzynski, Amber Imperial College London FuzzFlesh: Randomised Testing of Decompilers Via Control Flow Graph-based Program Generation
Ben GreenmanGreenman, Ben University of UtahUnited States Lightweight Diagramming for Formal Methods: A Grounded Language Design
Matt GriffinGriffin, Matt Imperial College LondonUnited Kingdom IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Steering Committee within the FTfJP-track
Jonathan GueryGuery, Jonathan Local-First Extensions and Patterns: Designing Server-Free Systems with UML
Yujiang GuiGui, Yujiang UNSWAustralia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
H Julian HaasHaas, Julian Technische Universität Darmstadt PRDTs: Implementing Distributed Protocols with Replicated Data Types PC Member in Program Committee within the PLF+PLAID-track
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia Practical Type-Based Taint Checking and Inference
Dongjie HeHe, Dongjie UNSW SydneyAustralia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ningyu HeHe, Ningyu Hong Kong Polytechnic UniversityHong Kong SAR China Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Asmae Heydari TabarHeydari Tabar, Asmae Technical University of DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Martin HirzelHirzel, Martin IBM ResearchUnited States PoTo: A Hybrid Andersen's Points-to Analysis for Python
Peter HoferHofer, Peter Oracle Labs Profile-Guided Field Externalization in an Ahead-of-Time Compiler
Guilherme Horta Alvares Da SilvaHorta Alvares Da Silva, Guilherme Chalmers University of Technology and University of GothenburgSweden Towards an Axiomitisation of Solidity Memory and Storage
Ping HouHou, Ping University of OxfordUnited Kingdom Committee Member in Programme Committee within the ECOOP Technical Papers-track
Xuejing HuangHuang, Xuejing IRIFFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Zunchen HuangHuang, Zunchen Centrum Wiskunde & InformaticaNetherlands Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
seung-won hwanghwang, seung-won Seoul National University Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan PC Member in Program Committee within the FTfJP-track
Grant IraciIraci, Grant University at BuffaloUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Hideya IwasakiIwasaki, Hideya Meiji University Integrating Static Optimization and Dynamic Nature in JavaScript
Yusuke IzawaIzawa, Yusuke Tokyo Metropolitan UniversityJapan A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
J Bart JacobsJacobs, Bart DistriNet, Dept. CS, KU LeuvenBelgium An approach for modularly verifying the core of Rust's atomic reference counting algorithm against the (X)C20 memory consistency model VeriFast’s separation logic: a higher-order(ish) logic without laters for modular verification of fine-grained concurrent programs
Jules JacobsJacobs, Jules Cornell UniversityUnited States Committee Member in Programme Committee within the ECOOP Technical Papers-track
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the FTfJP-track
Arthur JametJamet, Arthur University of KentUnited Kingdom Type-safe and portable support for packed data
Juan C. JaramilloJaramillo, Juan C. University of Groningen Contrasting Deadlock-Free Session Processes
Taylor T JohnsonJohnson, Taylor T Vanderbilt UniversityUnited States PC Member in Program Committee within the FTfJP-track
Sung-Shik JongmansJongmans, Sung-Shik University of GroningenNetherlands Committee Member in Programme Committee within the ECOOP Technical Papers-track PC Member in Program Committee (to be finalized) within the VORTEX-track
Vojin JovanovicJovanovic, Vojin Oracle LabsSwitzerland Committee Member in Program Committee within the GPCE-track
Eric JulJul, Eric University of OsloNorway How to get your Ph.D. DONE! Invited Talk: Implementing Object Tracking in the Emerald Object-Oriented Language
Christoph JungJung, Christoph Low Overhead Allocation Sampling in a Garbage Collected Virtual Machine
Ryan JungJung, Ryan PLT @ Northeastern University Contract Systems Need Domain-Specific Notations
Jaakko JärviJärvi, Jaakko University of TurkuFinland AI and LLMs on PhDs — Administrator's Insights and Life-Long Musings C++ Standardization: Reflections and Lessons Learned
Thierry JéronJéron, Thierry INRIA Bounded Compositional Runtime Enforcement
K Md Mahir Asef KabirKabir, Md Mahir Asef Virginia TechUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Eduard KamburjanKamburjan, Eduard IT University of CopenhagenDenmark Declarative Dynamic Object Reclassification
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Session Chair of Contributed Talks (part of GPCE) Staged Gradual Typing Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Shoaib KamilKamil, Shoaib Adobe Research Committee Member in Program Committee within the GPCE-track
Ohad KammarKammar, Ohad University of EdinburghUnited Kingdom Metaprogramming and algebra
Nima KarimipourKarimipour, Nima University of California, Riverside Practical Type-Based Taint Checking and Inference
Mohammad Sina KarvandiKarvandi, Mohammad Sina Vrije Universiteit Amsterdam Countering Anti-Debugging Techniques: Enhancing Transparency in Nested Virtualization using HyperDbg
Joseph KenisKenis, Joseph The University of Texas at Austin In-memory Object Graph Stores
Dmitrii KirkhmeierKirkhmeier, Dmitrii JetBrainsNetherlands Automatic Data Structures Visualization in IntelliJ IDEA
Jiří KleplKlepl, Jiří Charles UniversityCzechia Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming
Martin KleppmannKleppmann, Martin University of CambridgeUnited Kingdom PC Member in Program Committee within the PLF+PLAID-track
Vasileios KlimisKlimis, Vasileios Queen Mary University of London Validating Persistency Semantics with Memory Hierarchy Timing Attack
Sebastian KloibhoferKloibhofer, Sebastian Johannes Kepler University Linz Profile-Guided Field Externalization in an Ahead-of-Time Compiler
David KloppKlopp, David JGU Mainz Mono Types — First-Class Containers for Datalog Session Chair of Contributed Talks & Closing (part of GPCE)
Karta KoonerKooner, Karta Dyalog Ltd.United Kingdom APL Standards
Nikita KovalKoval, Nikita JetBrainsNetherlands Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin Automatic Data Structures Visualization in IntelliJ IDEA
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in Programme Committee within the ECOOP Technical Papers-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Lightweight Diagramming for Formal Methods: A Grounded Language Design
Martin KrulišKruliš, Martin Charles UniversityCzechia Cellato: a DSL for Cellular Automata based on C++ Template Meta-programming
Roland KuhnKuhn, Roland Actyx AGGermany Compositional Implementation and Verification of Swarms - A Tool Demo PC Member in Program Committee within the PLF+PLAID-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Closing by the workshop organizers Committee Member in Organizing Committee within the DEBT-track
Prashant KumarKumar, Prashant Incremental Computing by Differential Execution
Ivan KylchikKylchik, Ivan JetBrains Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
L Songyan LaiLai, Songyan Department of Computer Science, Maynooth UniversityIreland From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST
Octave LaroseLarose, Octave University of KentUnited Kingdom AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs
Tom LauwaertsLauwaerts, Tom Universiteit Gent, BelgiumBelgium Closing by the workshop organizers Committee Member in Organizing Committee within the DEBT-track
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the GPCE-track
Torsten LaydaLayda, Torsten SIXSwitzerland Session Chair of Contributed Talks (part of GPCE)
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Steering Committee within the FTfJP-track
Thomas LedouxLedoux, Thomas Local-First Extensions and Patterns: Designing Server-Free Systems with UML
Jaehyun LeeLee, Jaehyun KAISTSouth Korea P4-SpecTec: Mechanized Language Definition for P4
Armand LegoLego, Armand Johannes Gutenberg University MainzGermany Compiling to an Intermediate Representation with Definitional Abstract Interpreters
João LeitãoLeitão, João NOVA LINCS & FCT, NOVA University of LisbonPortugal PC Member in Program Committee within the PLF+PLAID-track
Kwok Leong Matthew WongLeong Matthew Wong, Kwok WebGlitch: A Randomised Testing Tool for the WebGPU API
David LeopoldsederLeopoldseder, David Oracle LabsAustria Reusing Highly Optimized IR in Dynamic Compilation Profile-Guided Field Externalization in an Ahead-of-Time Compiler
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Committee Member in Program Committee within the GPCE-track
Ding LiLi, Ding Peking UniversityChina Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Lin LiLi, Lin Huawei Cloud Computing Technologies Co., Ltd. Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Zongyang LiLi, Zongyang Peking UniversityChina Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Guangtai LiangLiang, Guangtai Huawei Cloud Computing TechnologiesChina Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Oebele LijzengaLijzenga, Oebele Universiteit Twente Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation
Marian Lingsch-RosenfeldLingsch-Rosenfeld, Marian LMU Munich Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Teodors LisovenkoLisovenko, Teodors Ca' Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Chengwei LiuLiu, Chengwei Nanyang Technological UniversitySingapore Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jing LiuLiu, Jing Max Planck Institute for Security and Privacy Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Malte LochauLochau, Malte University of Siegen Committee Member in Program Committee within the GPCE-track
Xiapu LuoLuo, Xiapu Hong Kong Polytechnic UniversityChina Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
Matthew LutzeLutze, Matthew Aarhus University PC Member in Program Committee within the FTfJP-track
M Yu-Seung MaMa, Yu-Seung Electronics and Telecommunications Research InstituteSouth Korea Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation
Tarek MahmudMahmud, Tarek Texas State UniversityBangladesh Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the GPCE-track
Lukas MakorMakor, Lukas JKU LinzAustria Profile-Guided Field Externalization in an Ahead-of-Time Compiler
Petar MaksimovićMaksimović, Petar Nethermind; Imperial College LondonUnited Kingdom Towards scalable formal verification
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the DEBT-track AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs
Hidehiko MasuharaMasuhara, Hidehiko Institute of Science TokyoJapan A Lightweight Method for Generating Multi-Tier JIT Compilation Virtual Machine in a Meta-Tracing Compiler Framework
Ferdia McKeoghMcKeogh, Ferdia University of St Andrews Pydrofoil: accelerating Sail-based instruction set simulators
Ismael MedeirosMedeiros, Ismael Computer Science Department / University of BrasíliaBrazil Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Compositional Implementation and Verification of Swarms - A Tool Demo
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Contract Usage and Evolution in Android Mobile Applications
Mira MeziniMezini, Mira TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification "On the Power of Programming Language Design" (AITO Dahl-Nygaard Senior Prize) Committee Member in Programme Committee within the ECOOP Technical Papers-track Local Actions, Global Outcomes: A Decentralization-first Programming Paradigm for Next-Generation Distributed Applications
Judith MichaelMichael, Judith University of RegensburgGermany Committee Member in Program Committee within the GPCE-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PoTo: A Hybrid Andersen's Points-to Analysis for Python
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis Compositional Static Value Analysis for Higher-Order Numerical Programs
Jacqueline MitchellMitchell, Jacqueline University of California, Davis Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions
Iman Hemati MoghadamMoghadam, Iman Hemati Eindhoven University of Technology Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany PRDTs: Implementing Distributed Protocols with Replicated Data Types Committee Member in Organizing Committee within the PLF+PLAID-track
Evgenii MoiseenkoMoiseenko, Evgenii JetBrains Research Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
Rosemary MonahanMonahan, Rosemary Department of Computer Science & Hamilton Institute, Maynooth UniversityIreland Session Chair of Keynote (part of FTfJP) Session Chair of (part of FTfJP) Session Chair of Session 1 (part of FTfJP) From LTL to MLTL: Exploring translation between temporal logic representations using FRET and WEST Steering Committee Chair in Steering Committee within the FTfJP-track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2025 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Compositional Static Value Analysis for Higher-Order Numerical Programs
Austin MordahlMordahl, Austin University of Illinois ChicagoUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Wojciech MostowskiMostowski, Wojciech Halmstad University PC Member in Program Committee within the FTfJP-track
Cameron MoyMoy, Cameron Northeastern UniversityUnited States Contract Systems Need Domain-Specific Notations
Malte MuesMues, Malte Bergische Universität Wuppertal Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Aäron MunstersMunsters, Aäron Vrije Universiteit Brussel Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria Profile-Guided Field Externalization in an Ahead-of-Time Compiler
Anders MøllerMøller, Anders Aarhus UniversityDenmark Event Race Detection for Node.js Using Delay Injections
Tim MüllerMüller, Tim University of Amsterdam A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios
N Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele Imperial College LondonUnited Kingdom Committee Member in Programme Committee within the ECOOP Technical Papers-track
Krishna NarasimhanNarasimhan, Krishna F1RE Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Melane NavaratnarajahNavaratnarajah, Melane King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Tim NelsonNelson, Tim Brown UniversityUnited States Lightweight Diagramming for Formal Methods: A Grounded Language Design
Nhat Nhat University of Twente CoCoCoLa: Code Completion Control Language
Adel NoureddineNoureddine, Adel University of Pau and Pays de l'AdourFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
O Leandro OliveiraOliveira, Leandro Computer Science Department / University of Brasília Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Jack Oliver HughesOliver Hughes, Jack Spegion: Implicit and Non-Lexical Regions with Sized Allocations
Luca OlivieriOlivieri, Luca University Ca' Foscari, VeniceItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Federico OlmedoOlmedo, Federico University of ChileChile Committee Member in Programme Committee within the ECOOP Technical Papers-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States Committee Member in Program Committee within the GPCE-track
Wytse OortwijnOortwijn, Wytse TNO-ESINetherlands PC Member in Program Committee within the FTfJP-track
Klaus OstermannOstermann, Klaus University of TübingenGermany Committee Member in Program Committee within the GPCE-track
P André PacakPacak, André JGU MainzGermany Incremental Computing by Differential Execution
Tommaso PaccianiPacciani, Tommaso University of Amsterdam P4DDG: data-dependent grammars for packet specification and parsing in P4
Luca PadovaniPadovani, Luca Department of Computer Science and Engineering - Università di BolognaItaly Fair Termination of Asynchronous Binary Sessions
Luke PanayiPanayi, Luke Imperial College Pydrofoil: accelerating Sail-based instruction set simulators
Chrysa PapagianniPapagianni, Chrysa University of Amsterdam P4DDG: data-dependent grammars for packet specification and parsing in P4
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Trusted JavaScript Language Environments with ESMeta
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Committee Member in Program Committee within the GPCE-track
Yan PassenioukPasseniouk, Yan University of TurkuFinland Extensions to Container-Based Abstraction of Graphical User Interfaces
Renaud PawlakPawlak, Renaud Local-First Extensions and Patterns: Designing Server-Free Systems with UML
Doron PeledPeled, Doron Bar Ilan UniversityIsrael PC Member in Program Committee (to be finalized) within the VORTEX-track
Hila PelegPeleg, Hila TechnionIsrael Session Chair of W2 (part of ECOOP Technical Papers) Bottom-up Synthesis of Memory Mutations with Separation Logic
Valentin PerrellePerrelle, Valentin Université Paris-Saclay, CEA, List, Palaiseau Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis
Andrej PečimúthPečimúth, Andrej Oracle Labs; Charles UniversityCzechia Reusing Highly Optimized IR in Dynamic Compilation
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Bounded Compositional Runtime Enforcement PC Member in Program Committee (to be finalized) within the VORTEX-track
Serena Elisa PontaPonta, Serena Elisa SAP Labs Committee Member in Programme Committee within the ECOOP Technical Papers-track
Siddhartha PrasadPrasad, Siddhartha Brown University Lightweight Diagramming for Formal Methods: A Grounded Language Design
Nuno PreguicaPreguica, Nuno Universidade Nova de Lisboa Ensuring Convergence and Invariants Without Coordination PC Member in Program Committee within the PLF+PLAID-track
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway Local Organization Chair in Organizing Committee for ECOOP 2025 PC Member in Program Committee within the FTfJP-track
Angel Luis Scull PupoPupo, Angel Luis Scull Sofware Languages Lab, Vrije Universiteit Brussel Wastrumentation: Portable WebAssembly Dynamic Analysis with Support for Intercession
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands Contrasting Deadlock-Free Session Processes
Q Yuxin QiuQiu, Yuxin University of California at RiversideUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Weihao QuQu, Weihao Monmouth UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom IsaBIL: A Framework for Verifying (In)correctness of Binaries in Isabelle/HOL Compositional Bug Detection for Internally Unsafe Libraries: A Logical Approach to Type Unsoundness
Dimi RacordonRacordon, Dimi EPFL, LAMPSwitzerland Designing Hylo, a programming language for safe systems programming
Dimi RacordonRacordon, Dimi EPFLSwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Ingkarat Rak-amnouykitRak-amnouykit, Ingkarat Rensselaer Polytechnic Institute PoTo: A Hybrid Andersen's Points-to Analysis for Python
António RavaraRavara, António Nova University of LisbonPortugal A Global Specification Model for Data-Aware Coordination (with an application to smart contracts)
Mamy RazafintsialoninaRazafintsialonina, Mamy Université Paris-Saclay, CEA, List, Palaiseau / Sorbonne Université, CNRS, LIP6, Paris Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Hamza RemmalRemmal, Hamza EPFL, LAMPSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification
Chris RossbachRossbach, Chris University of Texas at Austin; Katana GraphUnited States In-memory Object Graph Stores
Andreas RossbergRossberg, Andreas IndependentGermany Engineering a Formal Language Specification
Andrea RosàRosà, Andrea USI LuganoSwitzerland Session Chair of ICOOOLPS Session 2 (part of ICOOOLPS) Closing Remarks Opening Remarks Co-chair in Program Committee within the ICOOOLPS-track
Radosław Jan RowickiRowicki, Radosław Jan Technical University of DenmarkDenmark Monitors for distributed deadlock detection
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University PC Member in Program Committee (to be finalized) within the VORTEX-track
Albert RubioRubio, Albert Complutense University of MadridSpain Committee Member in Programme Committee within the ECOOP Technical Papers-track
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany Committee Member in Program Committee within the GPCE-track
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Applied Implicit Computational Complexity
Björn RuytenbergRuytenberg, Björn Vrije Universiteit AmsterdamNetherlands Countering Anti-Debugging Techniques: Enhancing Transparency in Nested Virtualization using HyperDbg
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Session Chair of Type Systems and Program Semantics (part of ECOOP Technical Papers) P4-SpecTec: Mechanized Language Definition for P4
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, SkopjeNorth Macedonia Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations
Jakob SaadbyeSaadbye, Jakob Teilen-SQL: A library for building local-first software with SQLite and version control
Farhan SaifSaif, Farhan University of Illinois ChicagoUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Tadashi SaitoSaito, Tadashi The University of Electro-Communications Japan Integrating Static Optimization and Dynamic Nature in JavaScript
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Compositional Implementation and Verification of Swarms - A Tool Demo Committee Member in Organizing Committee within the PLF+PLAID-track Monitors for distributed deadlock detection PC Member in Program Committee (to be finalized) within the VORTEX-track
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden PC Member in Program Committee (to be finalized) within the VORTEX-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Committee Member in Steering Committee within the DEBT-track
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark Committee Member in Program Committee within the GPCE-track
Lev SerebryakovSerebryakov, Lev JetBrains Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Language and Compiler Design for Efficient Data Science (AITO Dahl-Nygaard Junior Prize) Session Chair of Intro & Keynote (part of GPCE) General Co-Chair in Organizing Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Saumya ShankarShankar, Saumya Bounded Compositional Runtime Enforcement
Iti ShreeShree, Iti King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Riccardo SieveSieve, Riccardo University of Oslo Declarative Dynamic Object Reclassification
Lylian SiffreSiffre, Lylian Impacts and Uses of Local-First Software Architecture for Energy Optimization of Digital Services Local-First Extensions and Patterns: Designing Server-Free Systems with UML
Julien SignolesSignoles, Julien Université Paris-Saclay, CEA, ListFrance Reusing Caches and Invariants for Efficient and Sound Incremental Static Analysis
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States PC Co-Chair in Organizing Committee for ECOOP 2025 Session Chair of Keynote 3 (part of ECOOP Technical Papers) Committee Member in Programme Committee within the ECOOP Technical Papers-track
Avaljot SinghSingh, Avaljot UIUCUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Rob SisonSison, Rob UNSW SydneyAustralia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ivan SpajićSpajić, Ivan Western Norway University of Applied SciencesNorway Web Chair in Organizing Committee for ECOOP 2025
Michael SperberSperber, Michael Active Group GmbHGermany Do Programming Languages Fulfill Requirements? Should They?
Tom SpinkSpink, Tom University of St AndrewsUnited Kingdom Pydrofoil: accelerating Sail-based instruction set simulators
Manu SridharanSridharan, Manu University of California at RiversideUnited States Practical Type-Based Taint Checking and Inference
Prisha SrinidiSrinidi, Prisha Indian Institute of Technology BhubaneswarIndia Bounded Compositional Runtime Enforcement
Yulia StartsevStartsev, Yulia Mozilla PLSS - Opening Session PLSS - Closing Session Committee Member in Organizers within the PLSS-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway General Chair in Organizing Committee for ECOOP 2025
Sandro StuckiStucki, Sandro Chalmers University of TechnologySweden Committee Member in Program Committee within the GPCE-track
Pavle SuboticSubotic, Pavle Microsoft AzureSerbia Formal model guided conformance testing for blockchains Formal model guided conformance testing for blockchains (joint keynote, location: M207)
Yulei SuiSui, Yulei University of New South WalesAustralia Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Steering Committee within the FTfJP-track
T Ruby TahboubTahboub, Ruby University of Illinois, Urbana-ChampainUnited States Committee Member in Program Committee within the GPCE-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Committee Member in Programme Committee within the ECOOP Technical Papers-track
Aditya ThimmaiahThimmaiah, Aditya The University of Texas at AustinUnited States In-memory Object Graph Stores
Thomas ThümThüm, Thomas Paderborn UniversityGermany Steering Committee Member in Steering Committee within the GPCE-track
Eli TilevichTilevich, Eli Virginia TechUnited States Committee Member in Program Committee within the GPCE-track
Dawit TiroreTirore, Dawit IT University of Copenhagen, Denmark Multiparty Asynchronous Session Types: A Mechanised Proof of Subject Reduction
Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy Bounded Time Monitoring in Aggregate Systems Committee Member in Program Committee (to be finalized) within the VORTEX-track
Mai TranTran, Mai InterBe ASNorway Diversity and Inclusion Chair in Organizing Committee for ECOOP 2025 What after Ph.D.?
Petr TumaTuma, Petr Charles UniversityCzechia Reusing Highly Optimized IR in Dynamic Compilation
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Compositional Implementation and Verification of Swarms - A Tool Demo
V Milla ValnetValnet, Milla Sorbonne UniversitéFrance Compositional Static Value Analysis for Higher-Order Numerical Programs
L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands A Stable Model Semantics for eFLINT Norm Specifications and Model Checking Scenarios P4DDG: data-dependent grammars for packet specification and parsing in P4 Committee Member in Program Committee within the GPCE-track
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the DEBT-track
Peter van Hardenbergvan Hardenberg, Peter Ink & SwitchCanada PC Member in Program Committee within the PLF+PLAID-track
Eric Van WykVan Wyk, Eric University of Minnesota, Twin CitiesUnited States Committee Member in Steering Committee within the GPCE-track
Thomas VandermottenVandermotten, Thomas Vrije Universiteit Brussel Optimizing CRDTs for Low Memory Environments
Mathias VatterVatter, Mathias JGU Mainz Retrofitting a Virtual Instrument DSL with Programming Abstractions
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Programme Committee within the ECOOP Technical Papers-track
Jyothi VeduradaVedurada, Jyothi IIT HyderabadIndia GSOHC: Global Synchronization Optimization in Heterogeneous Computing
German VidalVidal, German Universitat Politecnica de ValenciaSpain Committee Member in Program Committee within the DEBT-track
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Aggregate Monitoring of Spatial Formulas beyond SLCS
Vesal VojdaniVojdani, Vesal University of TartuEstonia Committee Member in Program Committee within the DEBT-track
Tomas VojnarVojnar, Tomas Masaryk University RacerF: Lightweight Static Data Race Detection for C Code
Michael VollmerVollmer, Michael University of KentUnited Kingdom Session Chair of T3 (part of ECOOP Technical Papers) Type-safe and portable support for packed data Spegion: Implicit and Non-Lexical Regions with Sized Allocations Committee Member in Programme Committee within the ECOOP Technical Papers-track AST, Bytecode, and the Space In Between: An Exploration of Interpreter Design Tradeoffs
W Philip WadlerWadler, Philip University of Edinburgh Committee Member in Program Committee within the GPCE-track
Chao WangWang, Chao University of Southern CaliforniaUnited States Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions
Di WangWang, Di Peking UniversityChina Committee Member in Programme Committee within the ECOOP Technical Papers-track
Qianxiang WangWang, Qianxiang Huawei Technologies Co., Ltd Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Zeyu WangWang, Zeyu Huawei Cloud Computing Technologies Co., Ltd. Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Committee Member in Programme Committee within the ECOOP Technical Papers-track
Adam WelcWelc, Adam Mysten LabsUnited States Committee Member in Program Committee within the ICOOOLPS-track
Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands PC Member in Program Committee within the FTfJP-track
Max WillseyWillsey, Max UC BerkeleyUnited States Committee Member in Programme Committee within the ECOOP Technical Papers-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Programme Committee within the ECOOP Technical Papers-track
X Tao XieXie, Tao Peking UniversityChina Detecting Functionality-Specific Vulnerabilities via Retrieving Individual Functionality-Equivalent APIs in Open-Source Repositories
Aosen XiongXiong, Aosen University of WaterlooCanada Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Runqing XuXu, Runqing JGU Mainz Mono Types — First-Class Containers for Datalog
Jifeng XuanXuan, Jifeng Wuhan UniversityChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jingling XueXue, Jingling University of New South WalesAustralia Committee Member in Programme Committee within the ECOOP Technical Papers-track
Y Hiroto YaguchiYaguchi, Hiroto University of Tsukuba Staged Gradual Typing
Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Publicity Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the GPCE-track
Jiawei YangYang, Jiawei Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
Wenjia YeYe, Wenjia National University of SingaporeSingapore Committee Member in Programme Committee within the ECOOP Technical Papers-track
Sangyeop YeoYeo, Sangyeop ETRI (Electronics and Telecommunications Research Institute) Chain of Grounded Objectives: Concise Goal-oriented Prompting for Code Generation
Zijian YiYi, Zijian The University of Texas at Austin In-memory Object Graph Stores
Nobuko YoshidaYoshida, Nobuko University of Oxford, UKUnited Kingdom PC Member in Program Committee within the PLF+PLAID-track
Z George ZakhourZakhour, George University of St. GallenSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yannick ZakowskiZakowski, Yannick InriaFrance Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2025 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Giacomo ZanattaZanatta, Giacomo Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Gennaro ZanfardinoZanfardino, Gennaro University of L'AquilaItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Gianluigi ZavattaroZavattaro, Gianluigi Department of Computer Science and Engineering - Università di Bologna Fair Termination of Asynchronous Binary Sessions
Vadim ZaytsevZaytsev, Vadim University of TwenteNetherlands CoCoCoLa: Code Completion Control Language Comparative Analysis of Pre-Trained Code Language Models for Automated Program Repair via Code Infill Generation Committee Member in Program Committee within the GPCE-track
Olivier ZendraZendra, Olivier InriaFrance Committee Member in Program Committee within the ICOOOLPS-track
Guanqin ZhangZhang, Guanqin University of New South Wales & CSIRO's Data61Australia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Committee Member in Programme Committee within the ECOOP Technical Papers-track
Zenong ZhangZhang, Zenong The University of Texas - Dallas Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Zhenya ZhangZhang, Zhenya Kyushu University, JapanJapan Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
Evgeniy ZhelenskiyZhelenskiy, Evgeniy JetBrains Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin
Yi ZhouZhou, Yi Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Elena ZuccaZucca, Elena University of GenoaItaly An Effectful Object Calculus Monadic type-and-effect soundness PC Member in Program Committee within the FTfJP-track
Maksim ZuevZuev, Maksim JetBrains Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin

ECOOP 2025 Contributors

Results (400)

Tracks

Co-hosted Conferences

Workshops