ECOOP 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (417)

A Alexandre AbreuAbreu, Alexandre University of Porto & INESC TECPortugal Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Luca AcetoAceto, Luca Reykjavik University Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
Gianluca AguzziAguzzi, Gianluca Alma Mater Studiorum - Università di BolognaItaly Spatial Logic of Directed Graphs
Christoph AignerAigner, Christoph JKU LinzAustria Towards Ahead-of-Time Meta-Compilation of Dynamic Languages With an Extensible Type Analysis
Anastasia AilamakiAilamaki, Anastasia EPFL Language-Integrated Recursive Queries
Michele AlbertiAlberti, Michele Université Paris-Saclay, CEA, ListFrance On-the-fly Abstract Debugging for Frama-C/Eva
Andrei AldeaAldea, Andrei Alexandru Ioan Cuza University, IașiRomania A Native Debugger Protocol for Interpreters
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Committee Member in Awards committee within the ECOOP Awards-track
Karim AliAli, Karim NYU Abu DhabiUnited Arab Emirates Committee Member in Awards committee within the ECOOP Awards-track
Shaukat AliAli, Shaukat Simula Research Laboratory and Oslo Metropolitan UniversityNorway Getting Started with Quantum Software Engineering
Nada AminAmin, Nada Harvard UniversityUnited States Steering Committee Member in Steering Committee within the GPCE-track
Guy AmirAmir, Guy Hebrew UniversityIsrael NEST: Network Enforced Session Types Enforcing Session Protocols at the Network Level Using NEST
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Opening (part of ECOOP Technical Papers) A New Syntax and Semantics for Probabilistic Trace Expressions Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Spatial Logic of Directed Graphs Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Skyler AustenAusten, Skyler Brown University Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
B Casper BachBach, Casper University of Southern DenmarkDenmark Committee Member in Program Committee within the ICOOOLPS-track
Gina BanyardBanyard, Gina The PHP FoundationUnited Kingdom PHP: Type System in Distress
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Committee Member in Program Committee within the MPLR-track
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Hybrid consistency for smart contracts
Arshad BegBeg, Arshad Maynooth University, Ireland Evaluating LLM-Generated ACSL Annotations for Formal Verification
Diana Carolina Benjumea HernandezBenjumea Hernandez, Diana Carolina The University of Manchester, UKUnited Kingdom PC Member in Program Committee within the VORTEX-track
Tina BeranicBeranic, Tina University of Maribor, Faculty of Electrical Engineering and Computer ScienceSlovenia Committee Member in Demo Committee within the ECOOP Demos-track
Pietro BernabeiBernabei, Pietro Scuola IMT Alti Studi Lucca, University of FlorenceItaly Runtime Semantic Discovery for Evolving Action Alphabets
Giovanni BernardiBernardi, Giovanni IRIF, Université Paris Cité The rocky road to the MUST preorder for asynchrony
Jan BessaiBessai, Jan IndependentGermany Committee Member in Program Committee within the UNSOUND-track
Bettina Könighofer Bettina Könighofer Graz University of TechnologyAustria Safe Autonomous Agents via Shielding
Annette BieniusaBieniusa, Annette RPTU Kaiserslautern-LandauGermany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2026 Co-chair in Doctoral Symposium Committee within the ECOOP Doctoral Symposium-track
Walter BinderBinder, Walter University of Lugano Committee Member in Program Committee within the GPCE-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Verifying wait-freedom for concurrent higher-order programs
Sandrine BlazyBlazy, Sandrine University of RennesFrance Building trust: a journey from mechanized semantics to verified compilation and beyond
Eric BoddenBodden, Eric Scaling Bottom-up IFDS Taint Analysis with Optimized Data-flow Encoding
CF Bolz-TereickBolz-Tereick, CF Heinrich-Heine-Universität DüsseldorfGermany Pragmatic Approaches to Improving Compiler Correctness Committee Member in Program Committee within the ICOOOLPS-track Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers
Silvia BonfantiBonfanti, Silvia University of BergamoItaly PC Member in Program Committee within the VORTEX-track
Dina BorregoBorrego, Dina NOVA LINCS, FCT, Universidade NOVA de Lisboa Ensuring Convergence and Invariants Without Coordination
Sidonie BouthorsBouthors, Sidonie EPFLSwitzerland Lorikeet: Flexible code rewriting for Scala 3
Matt BovelBovel, Matt EPFLSwitzerland Refinement Types in Scala with Stainless Organizer in Organizing Committee within the The Scala Workshop-track
Edwin BradyBrady, Edwin University of St. AndrewsUnited Kingdom Committee Member in Program Committee within the GPCE-track Unsoundness in Idris
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland Securing AI Agents With Tracked Capabilities in TACIT Committee Member in Program Committee within the The Scala Workshop-track
Stefan BrunthalerBrunthaler, Stefan Munich Computer Systems Research Laboratory (uCSRL), CODE Research Institute, University of the Bundeswehr MunichGermany PC Member in Programme Committee within the ECOOP Technical Papers-track
Humphrey BurchellBurchell, Humphrey University of KentUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Ali R. ButtButt, Ali R. Virginia Tech Eliminate Branches by Melding IR Instructions
Daniel BîrleanuBîrleanu, Daniel Alexandru Ioan Cuza University, Iasi A Case Study in Proving the Soundness and Completeness of Natural Deduction for Propositional Logic in Dafny
David BühlerBühler, David Université Paris-Saclay, CEA, ListFrance On-the-fly Abstract Debugging for Frama-C/Eva
C Yazhuo CaoCao, Yazhuo King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Workshop Chair in Organizing Committee for ECOOP 2026 Chair in Workshop Committee within the ECOOP Workshops-track Session Chair of Session 1 (part of VeriLang) Committee Member in Program Committee within the VeriLang-track
Jacques CaretteCarette, Jacques McMaster UniversityCanada Committee Member in Program Committee within the GPCE-track
Maria Carpen-AmarieCarpen-Amarie, Maria Hitachi Energy Research, Switzerland Committee Member in Program Committee within the MPLR-track
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly PC Member in Programme Committee within the ECOOP Technical Papers-track
Jahrim Gabriele CesarioCesario, Jahrim Gabriele University of St. Gallen Proof Primitives for Equality Saturation-based Automated Provers
Nicolas ChappeChappe, Nicolas Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Samuel ChassotChassot, Samuel EPFL, LARASwitzerland Refinement Types in Scala with Stainless
Sheng ChenChen, Sheng University of Louisiana at Lafayette PC Member in Programme Committee within the ECOOP Technical Papers-track
Sheng ChenChen, Sheng UL Lafayette Committee Member in Program Committee within the GPCE-track
Wenyao ChenChen, Wenyao UNSW Sydney Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis
Yanju ChenChen, Yanju University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Luyu ChengCheng, Luyu Hong Kong University of Science and TechnologyHong Kong SAR China A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl)
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime ShopifyCanada PC Member in Program Committee within the MPLR-track
Michele ChiariChiari, Michele TU Wien and AIT Austrian Institute of TechnologyAustria PC Member in Program Committee within the VORTEX-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Steering Committee Member in Steering Committee within the GPCE-track Committee Member in Program Committee within the GPCE-track
Shardul ChiplunkarChiplunkar, Shardul EPFLSwitzerland Automatic layout of railroad diagrams Automatic railroad diagrams for lexers, parsers, and more! (demo)
Maurizio CimadamoreCimadamore, Maurizio Beyond Type Erasure: On-demand Specialization for Java Generics
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States A Typestate Approach to Purpose-aware Programming
Ștefan CiobâcăCiobâcă, Ștefan Alexandru Ioan Cuza University of IasiRomania A Case Study in Proving the Soundness and Completeness of Natural Deduction for Propositional Logic in Dafny
Lucas CloriusClorius, Lucas DTU Compute Compositional Design, Implementation, and Verification of Swarms
Christian ColomboColombo, Christian University of MaltaMalta RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment PC Member in Program Committee within the VORTEX-track
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal PC Member in Programme Committee within the ECOOP Technical Papers-track Committee Member in Organizing Committee within the PLF+PLAID-track PC Member in Program Committee within the MPLR-track
Lázaro CostaCosta, Lázaro Faculty of Engineering, University of Porto & HASLab/INESCPortugal Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Steven CostiouCostiou, Steven INRIA LilleFrance Closing by the workshop organizers How Developers Perceive Differential Debugging: an Exploratory Survey Workshop Chair in Organizing Committee within the DEBT -track
Lorris CreantorCreantor, Lorris Beyond Type Erasure: On-demand Specialization for Java Generics
D Adriano d'Alessandrod'Alessandro, Adriano Italy RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment
Francesco DagninoDagnino, Francesco University of GenoaItaly PC Member in Programme Committee within the ECOOP Technical Papers-track A monadic interpreter and type-and-effect checker
Aidan DakhamaDakhama, Aidan The University of Edinburgh, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Spatial Logic of Directed Graphs
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium General Chair in Organizing Committee for ECOOP 2026 Session Chair of Opening (part of ECOOP Technical Papers)
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of StrathclydeUnited Kingdom PC Member in Programme Committee within the ECOOP Technical Papers-track
Alessandro De PalmaDe Palma, Alessandro LSEUnited Kingdom Faster Verified Explanations for Neural Networks
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium ECOOP Academy Co-Chair in Organizing Committee for ECOOP 2026 Co-chair in Organizing committee within the ECOOP Academy-track Steering Committee Chair in Steering Committee within the GPCE-track
Harsh DesaiDesai, Harsh Carnegie Mellon University WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Program Committee within the GPCE-track
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Steering Committee within the FTfJP-track
Juergen DingelDingel, Juergen Queen's UniversityCanada Committee Member in Program Committee within the GPCE-track
Samuel DodsonDodson, Samuel University of Massachusetts, Lowell A Typestate Approach to Purpose-aware Programming
Greta DolcettiDolcetti, Greta Ca’ Foscari University of VeniceItaly Faster Verified Explanations for Neural Networks
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical University in PragueCzechia Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom PC Member in Programme Committee within the ECOOP Technical Papers-track
Daniel DrodtDrodt, Daniel Technical University of DarmstadtGermany A New Interaction Concept for Interactive and Autoactive Program Verification
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Taming the Object Graph: What Types Can Guarantee
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Co-chair in Organizing Committee within the MPLR-track
Rémi DufloerDufloer, Rémi Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, FranceFrance How Developers Perceive Differential Debugging: an Exploratory Survey
E 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 KITGermany The Virtual Recency Abstraction (Strong Updates for Abstract Interpreters with Shared State) Steering Committee Member in Steering Committee within the GPCE-track
Gidon ErnstErnst, Gidon LMU MunichGermany Steering Committee Member in Steering Committee within the FTfJP-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States Committee Member in Program Committee within the GPCE-track
Anne EtienEtien, Anne University of Lille, Lille, FranceFrance How Developers Perceive Differential Debugging: an Exploratory Survey Committee Member in Program Committee within the DEBT -track
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Falcone Keynote
Wang FangFang, Wang University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yuzhou FangFang, Yuzhou University of Southern CaliforniaUnited States Efficient Symbolic Execution of Software under Fault Attacks
Nicolas FarabegoliFarabegoli, Nicolas Alma Mater Studiorum - Università di BolognaItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Remi FaroxFarox, Remi Beyond Type Erasure: On-demand Specialization for Java Generics
Marie FarrellFarrell, Marie Maynooth UniversityIreland PC Member in Program Committee within the VORTEX-track
Marc FeeleyFeeley, Marc Université de MontréalCanada Committee Member in Program Committee within the MPLR-track
Kevin FeichtingerFeichtinger, Kevin Karlsruhe Institute of Technology (KIT) Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany PC Member in Program Committee within the MPLR-track
Yueyang FengFeng, Yueyang Yale University A Complete Program Logic for Compositional Linearizability
Eduardo FernandesFernandes, Eduardo Clever DevicesBrazil Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Laouen FernetFernet, Laouen University of Copenhagen Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Angelo FerrandoFerrando, Angelo RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment A New Syntax and Semantics for Probabilistic Trace Expressions PC Member in Program Committee within the VORTEX-track
Pietro FerraraFerrara, Pietro Ca’ Foscari University of VeniceItaly Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2026 Co-chair in Doctoral Symposium Committee within the ECOOP Doctoral Symposium-track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal Ensuring Convergence and Invariants Without Coordination Committee Member in Organizing Committee within the PLF+PLAID-track PC Member in Program Committee within the VORTEX-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
Matthew FlattFlatt, Matthew University of UtahUnited States PC Member in Programme Committee within the ECOOP Technical Papers-track PC Member in Program Committee within the MPLR-track
Sophie FortzFortz, Sophie Inria, Univ Rennes, CNRS, IRISAFrance Committee Member in Program Committee within the GPCE-track
Nate FosterFoster, Nate EPFL; Jane StreetSwitzerland NEST: Network Enforced Session Types Enforcing Session Protocols at the Network Level Using NEST
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the GPCE-track
José Fragoso SantosFragoso Santos, José INESC-ID; Instituto Superior Técnico - University of LisbonPortugal Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs PC Member in Programme Committee within the ECOOP Technical Papers-track
Adrian FrancalanzaFrancalanza, Adrian VELOCiTY Research Group, Department of Computer Science, University of MaltaMalta PC Member in Programme Committee within the ECOOP Technical Papers-track If At First You Don’t Succeed: Extended Monitorability through Multiple Executions
Mario FrankFrank, Mario University of PotsdamGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Björn FrankeFranke, Björn University of EdinburghUnited Kingdom TrueJIT - Learning and Prediction of Compilation Sequences in a Centralized JIT Compiler
Leon FreudenthalerFreudenthaler, Leon Hochschule Campus Wien/TU Wien A Stable Lossless Syntax Tree for Real-time Collaborative Programming
Yusuke FujiwaraFujiwara, Yusuke Kyoto University, Japan Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
Florian FurbachFurbach, Florian Technical University of DenmarkDenmark Compositional Design, Implementation, and Verification of Swarms
Florian Wayan Aaron FurbachFurbach, Florian Wayan Aaron Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
G Sankalp GambhirGambhir, Sankalp Ecole Polytechnique Federale de Lausanne (EPFL) Lisa: A Proof Assistant Embedded in Scala
Antonio Garcia-DominguezGarcia-Dominguez, Antonio University of YorkUnited Kingdom Committee Member in Program Committee within the GPCE-track
Marcel GarusGarus, Marcel Hasso Plattner Institute; University of PotsdamGermany From Static Code to Dynamic Values: Toward Live Programming Through Object-Oriented Fuzzing
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 A monadic interpreter and type-and-effect checker
Marco GiuntiGiunti, Marco University of AlgarvePortugal PC Member in Programme Committee within the ECOOP Technical Papers-track
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States Automated Inline-Test Generation without Relying on Method-Level Unit Tests
Tom GoalardGoalard, Tom University of Rennes Comparing Transparent Static Analyzers with Open Verification Dashboard
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States A Typestate Approach to Purpose-aware Programming
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee within the VORTEX-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium ECOOP Academy Co-Chair in Organizing Committee for ECOOP 2026 Committee Member in Programme Committee within the ECOOP Technical Papers-track Co-chair in Organizing committee within the ECOOP Academy-track Phoenix: Auto-Vectorisation Reborn (demo) Wasmito: A Lightweight Framework for Building Dynamic Tools on Microcontrollers Steering Committee Member in Steering Committee within the DEBT -track Ensuring Convergence and Invariants Without Coordination Hybrid consistency for smart contracts DWasm: Portable Debugging for the Web
João GonçalvesGonçalves, João IST U. Lisboa & INESC-IDPortugal Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs
Kiran GopinathanGopinathan, Kiran BasisUnited States Who Watches the Watchers? Fuzzing Lean 4's Trusted Computing Base
Colin GordonGordon, Colin Drexel UniversityUnited States PC Member in Programme Committee within the ECOOP Technical Papers-track Committee Member in Program Committee within the UNSOUND-track
Daniele GorlaGorla, Daniele Department of Computer Science, Sapienza University of Rome Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts Type Safe Smart Contracts in TinySol
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Chair in Steering Committee within the FTfJP-track
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Committee Member in Program Committee within the GPCE-track
Yujiang GuiGui, Yujiang UNSWAustralia Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability
Simon GuilloudGuilloud, Simon EPFLSwitzerland Orthologic-Based Subtyping Lisa: A Proof Assistant Embedded in Scala
Anna GuoGuo, Anna University of Texas at AustinUnited States Automated Inline-Test Generation without Relying on Method-Level Unit Tests
Srishti GuptaGupta, Srishti Indian Institute of Technology BhubaneswarIndia Property Grouping and Context-Aware Runtime Enforcement
Karl M. GöschkaGöschka, Karl M. TU WienAustria A Stable Lossless Syntax Tree for Real-time Collaborative Programming
H Ákos HajduHajdu, Ákos MetaUnited Kingdom Welcome Workshop Chair in Program Committee within the FTfJP-track
Christian HammerHammer, Christian University of PassauGermany PC Member in Programme Committee within the ECOOP Technical Papers-track
Eashan HattiHatti, Eashan Yale University A Complete Program Logic for Compositional Linearizability
Klaus HavelundHavelund, Klaus Jet Propulsion Laboratory, California Institute of TechnologyUnited States PC Member in Program Committee within the VORTEX-track
Dongjie HeHe, Dongjie Chongqing UniversityChina PC Member in Programme Committee within the ECOOP Technical Papers-track
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Awards committee within the ECOOP Awards-track
Anna HerlihyHerlihy, Anna EPFL Language-Integrated Recursive Queries A Denotational Interpretation of Embedded DSLs with Scala 3
Ben HermannHermann, Ben University of StuttgartGermany PC Member in Programme Committee within the ECOOP Technical Papers-track
Takato HideshimaHideshima, Takato The University of Tokyo, Japan Load-Site-Based Filtering of Transiently Hot Objects to Reduce the Effective Working Set
Guillaume HietHiet, Guillaume CentraleSupélec, Inria, CNRS, Univ. Rennes PC Member in Program Committee within the MPLR-track
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute; University of PotsdamGermany From Static Code to Dynamic Values: Toward Live Programming Through Object-Oriented Fuzzing
Karoliine HolterHolter, Karoliine University of Tartu, EstoniaEstonia Comparing Transparent Static Analyzers with Open Verification Dashboard
Jaemin HongHong, Jaemin KAISTSouth Korea PC Member in Programme Committee within the ECOOP Technical Papers-track
Tony HoskingHosking, Tony Australian National UniversityAustralia PC Member in Program Committee within the MPLR-track
Christian HäublHäubl, Christian Oracle A Unifying Approach to Supporting Multiple Garbage Collectors in AOT-compiled Binaries
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Co-chair in Awards committee within the ECOOP Awards-track Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types Ownership Refinement Types for Pointer Arithmetic and Nested Arrays Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the FTfJP-track
Atalay Mert IleriIleri, Atalay Mert University of OxfordUnited Kingdom PC Member in Programme Committee within the ECOOP Technical Papers-track
Yusuke IzawaIzawa, Yusuke Tokyo Metropolitan UniversityJapan Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers Annotation-Guided Edit-Aware JIT Compilation for Julia Computational Notebooks
J Bart JacobsJacobs, Bart DistriNet, Dept. CS, KU LeuvenBelgium Expressive Modular Verification of Termination of Busy-Waiting Programs and Deadlock-Freedom of Primitive Blocking Programs
Jules JacobsJacobs, Jules Cornell University NEST: Network Enforced Session Types Enforcing Session Protocols at the Network Level Using NEST
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany Committee Member in Program Committee within the FTfJP-track
Kristof JannesJannes, Kristof DistriNet, KU Leuven Decentralizing Infrastructure with a Lightweight Sovereign Cloud
Limin JiaJia, Limin Carnegie Mellon UniversityUnited States WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
Pengyue JiangJiang, Pengyue Cornell University Automated Inline-Test Generation without Relying on Method-Level Unit Tests
Alexandra JimboreanJimborean, Alexandra University of MurciaSpain Committee Member in Program Committee within the ICOOOLPS-track
Sung-Shik JongmansJongmans, Sung-Shik University of GroningenNetherlands PC Member in Program Committee within the VORTEX-track
Thierry JéronJéron, Thierry INRIA Property Grouping and Context-Aware Runtime Enforcement
K Md Mahir Asef KabirKabir, Md Mahir Asef Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Sophie KalebaKaleba, Sophie Raincode, BelgiumBelgium PC Member in Program Committee within the MPLR-track
Cezary KaliszykKaliszyk, Cezary University of MelbourneAustralia Committee Member in Program Committee within the GPCE-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Steering Committee Chair in Steering Committee within the GPCE-track
Byeongjee KangKang, Byeongjee Carnegie Mellon UniversityUnited States WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
Sven KeidelKeidel, Sven Fraunhofer SIT \| ATHENEGermany The Virtual Recency Abstraction (Strong Updates for Abstract Interpreters with Shared State)
Raffi KhatchadourianKhatchadourian, Raffi CUNY Hunter CollegeUnited States Committee Member in Program Committee within the GPCE-track
Amir KhordadiKhordadi, Amir University of EdinburghUnited Kingdom TrueJIT - Learning and Prediction of Compilation Sequences in a Centralized JIT Compiler
Maja H. KirkebyKirkeby, Maja H. Roskilde University Committee Member in Demo Committee within the ECOOP Demos-track
Matěj KocourekKocourek, Matěj Charles UniversityCzechia Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis
Philipp KolbeKolbe, Philipp Hasso Plattner Institute, University of PotsdamGermany From Static Code to Dynamic Values: Toward Live Programming Through Object-Oriented Fuzzing
Elvis Konjoh SelabiKonjoh Selabi, Elvis Gran Sasso Science Institute and University of CamerinoItaly Automatic Code and Test Generation of Smart Contracts from Coordination Models
Kacper F. KorbanKorban, Kacper F. EPFLSwitzerland Lorikeet: Flexible code rewriting for Scala 3
Vasileios KoutavasKoutavas, Vasileios Trinity College DublinIreland How and when Applicative Bisimulation can be unsound Committee Member in Program Committee within the UNSOUND-track
Nikita KovalKoval, Nikita JetBrainsNetherlands Committee Member in Program Committee within the DEBT -track
Anastasiya Kravchuk-KirilyukKravchuk-Kirilyuk, Anastasiya Harvard UniversityUnited States Committee Member in Program Committee within the The Scala Workshop-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands PC Co-Chair in Organizing Committee for ECOOP 2026 Session Chair of Keynote 1 (part of ECOOP Technical Papers) Co-chair in Programme Committee within the ECOOP Technical Papers-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
Sebastián KrynskiKrynski, Sebastián Czech Technical University in PragueCzechia Characterizing Type Feedback in Just-in-Time Compilation
Roland KuhnKuhn, Roland RKSW UG Compositional Design, Implementation, and Verification of Swarms
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Closing by the workshop organizers Workshop Chair in Organizing Committee within the DEBT -track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Orthologic-Based Subtyping
Filip KřikavaKřikava, Filip Czech Technical University in PragueCzechia Characterizing Type Feedback in Just-in-Time Compilation Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis PC Member in Program Committee within the MPLR-track
L Ralf LaemmelLaemmel, Ralf University of Koblenz Committee Member in Program Committee within the GPCE-track
Jagarlamudi LakshmiLakshmi, Jagarlamudi Indian Institute of Science, Bangalore,India Autonomous Runtime Management of Cloud Performance Anomalies Using End-to-End Service Topology
Patrick LamLam, Patrick University of Waterloo Committee Member in Program Committee within the DEBT -track
Julien LangeLange, Julien Royal Holloway, University of LondonUnited Kingdom Keynote TBD
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTUDenmark NEST: Network Enforced Session Types Enforcing Session Protocols at the Network Level Using NEST
Tom LauwaertsLauwaerts, Tom Vrije Universiteit Brussel, BelgiumBelgium Student Volunteer Chair in Organizing Committee for ECOOP 2026 Chair in Organizing committee within the ECOOP Student Volunteers-track Remote Concolic Multiverse Debugging Chair in Organizing Committee within the ICOOOLPS-track Chair in Program Committee within the ICOOOLPS-track PC Member in Program Committee within the MPLR-track
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Automated Inline-Test Generation without Relying on Method-Level Unit Tests
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Committee Member in Program Committee within the The Scala Workshop-track Committee Member in Program Committee within the GPCE-track
Liyi LiLi, Liyi Iowa State UniversityUnited States PC Member in Programme Committee within the ECOOP Technical Papers-track
Paley LiLi, Paley To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Binary Size of Hybrid Execution Systems
Wei LiLi, Wei UNSWAustralia Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis
Yuze LiLi, Yuze Virginia TechUnited States Eliminate Branches by Melding IR Instructions
Junrui LiuLiu, Junrui Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yu LiuLiu, Yu MetaUnited States Automated Inline-Test Generation without Relying on Method-Level Unit Tests
Kenny Zhuo Ming LuLu, Kenny Zhuo Ming ISTD, Singapore University of Technology and DesignSingapore Committee Member in Program Committee within the FTfJP-track
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States WAMI: Compilation to WebAssembly through MLIR without Losing Abstraction
Matthew LutzeLutze, Matthew Aarhus University Committee Member in Program Committee within the The Scala Workshop-track
Stian LybechLybech, Stian Reykjavik University Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts
Andreas LööwLööw, Andreas Royal Holloway, University of LondonUnited Kingdom PC Member in Programme Committee within the ECOOP Technical Papers-track
M Brahim MahmoudiMahmoudi, Brahim École de technologie supérieure 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
Petar MaksimovićMaksimović, Petar Nethermind; Imperial College LondonUnited Kingdom PC Member in Programme Committee within the ECOOP Technical Papers-track
Katarzyna MarekMarek, Katarzyna EPFL Refinement Types in Scala with Stainless
Stefan MarrMarr, Stefan Johannes Kepler University LinzAustria Benchmarking on Modern Hardware: Techniques for Performance Comparisons from Day-To-Day Experimenting to Paper Writing Towards Ahead-of-Time Meta-Compilation of Dynamic Languages With an Extensible Type Analysis A Unifying Approach to Supporting Multiple Garbage Collectors in AOT-compiled Binaries To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Binary Size of Hybrid Execution Systems
Matteo MarraMarra, Matteo Nokia Bell Labs, BelgiumBelgium Wasmito: A Lightweight Framework for Building Dynamic Tools on Microcontrollers Committee Member in Program Committee within the DEBT -track
Lina MarssoMarsso, Lina École Polytechnique de MontréalCanada Committee Member in Program Committee within the FTfJP-track
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy A New Syntax and Semantics for Probabilistic Trace Expressions
Maryam MasoudianMasoudian, Maryam Sharif University of Technology, Hong Kong University of Science and Technology (HKUST)Hong Kong SAR China Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jules MassartMassart, Jules Independent ResearcherFrance On-the-fly Abstract Debugging for Frama-C/Eva
Hidehiko MasuharaMasuhara, Hidehiko Institute of Science TokyoJapan PC Member in Programme Committee within the ECOOP Technical Papers-track Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers
Miguel MatosMatos, Miguel IST, INESC-ID, U. Lisboa Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs
Yusuke MatsushitaMatsushita, Yusuke Kyoto UniversityJapan Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
Anastasia MavridouMavridou, Anastasia KBR / NASA Ames Research CenterUnited States Committee Member in Program Committee within the FTfJP-track
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Compositional Design, Implementation, and Verification of Swarms PC Member in Programme Committee within the ECOOP Technical Papers-track
Sébastien MichellandMichelland, Sébastien Inria RennesFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PC Member in Program Committee within the MPLR-track
Dragana MilovancevicMilovancevic, Dragana Imperial College LondonUnited Kingdom Committee Member in Program Committee within the The Scala Workshop-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance DelExp: a Relational Container Abstraction with Applications to Compositional Analysis
Moritz MockMock, Moritz Free University of Bozen-BolzanoItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany Chair in Organizing Committee within the PLF+PLAID-track
Vince MolnárMolnár, Vince Budapest University of Technology and EconomicsHungary Committee Member in Program Committee within the FTfJP-track
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Evaluating LLM-Generated ACSL Annotations for Formal Verification Steering Committee Member in Steering Committee within the FTfJP-track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Comparing Transparent Static Analyzers with Open Verification Dashboard DelExp: a Relational Container Abstraction with Applications to Compositional Analysis The Virtual Recency Abstraction (Strong Updates for Abstract Interpreters with Shared State) Formal Methods Meet Legal Implementations
Joan MontasMontas, Joan University of Massachusetts, Lowell A Typestate Approach to Purpose-aware Programming
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark PC Member in Programme Committee within the ECOOP Technical Papers-track
Sosuke MoriguchiMoriguchi, Sosuke Institute of Science TokyoJapan Multi-Mode Debugging for FRP-Based Embedded Systems
Peter D. MossesMosses, Peter D. Delft University of Technology; Swansea UniversityNetherlands Committee Member in Program Committee within the GPCE-track
Aäron MunstersMunsters, Aäron Vrije Universiteit Brussel DWasm: Portable Debugging for the Web
Maurizio MurgiaMurgia, Maurizio Gran Sasso Science Institute Automatic Code and Test Generation of Smart Contracts from Coordination Models
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria A Unifying Approach to Supporting Multiple Garbage Collectors in AOT-compiled Binaries
Peter MüllerMüller, Peter ETH ZurichSwitzerland 15 Years of Viper: Building and Evolving a Verification Infrastructure
N Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan Annotation-Guided Edit-Aware JIT Compilation for Julia Computational Notebooks
Naoki NakanishiNakanishi, Naoki The University of Tokyo Load-Site-Based Filtering of Transiently Hot Objects to Reduce the Effective Working Set
Egor NamakonovNamakonov, Egor Verifying wait-freedom for concurrent higher-order programs
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
Duc-Than NguyenNguyen, Duc-Than University of Illinois at ChicagoUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yicheng NiNi, Yicheng Foundational and Compositional Verification of Layered Concurrent Objects
Jens NicolayNicolay, Jens Vrije Universiteit BrusselBelgium Student Research Competition Co-Chair in Organizing Committee for ECOOP 2026 Poster Chair in Organizing Committee for ECOOP 2026 Chair in Poster Committee within the ECOOP Posters-track Co-chair in Student Research Competition Committee within the ECOOP Student Research Competition-track
Oksana NikiforovaNikiforova, Oksana Riga Technical UniversityLatvia Committee Member in Demo Committee within the ECOOP Demos-track
O Diarmuid O'DonoghueO'Donoghue, Diarmuid Maynooth University, Ireland Evaluating LLM-Generated ACSL Annotations for Formal Verification
Martin OderskyOdersky, Martin EPFLSwitzerland Language-Integrated Recursive Queries Securing AI Agents With Tracked Capabilities in TACIT
Arthur Oliveira ValeOliveira Vale, Arthur Yale University A Complete Program Logic for Compositional Linearizability
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Dahl-Nygaard Prize Chair in Organizing Committee for ECOOP 2026 Dahl-Nygaard Prize Chair in Awards committee within the ECOOP Awards-track
Stoffel OostvogelsOostvogels, Stoffel Hybrid consistency for smart contracts
Yugo OtaniOtani, Yugo Institute of Science TokyoJapan Multi-Mode Debugging for FRP-Based Embedded Systems
Guilherme OttoniOttoni, Guilherme MetaUnited States PC Member in Program Committee within the MPLR-track
P Nahuel PalumboPalumbo, Nahuel DCyT - Universidad Nacional de QuilmesArgentina Committee Member in Demo Committee within the ECOOP Demos-track
Etienne ParentParent, Etienne Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China A Simple Recipe for Writing Decent Recursive Descent Parsers (Pearl) PC Co-Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the UNSOUND-track
Sven PeldszusPeldszus, Sven Chalmers \| University of GothenburgSweden Committee Member in Program Committee within the GPCE-track
Hila PelegPeleg, Hila TechnionIsrael PC Member in Programme Committee within the ECOOP Technical Papers-track
Tomas PetricekPetricek, Tomas Charles UniversityCzechia Programming Systems, or What Programming Language Research Cannot See Formal Semantics and Type System for Vega Data Transformations
Kristýna PetrlíkováPetrlíková, Kristýna Charles University Formal Semantics and Type System for Vega Data Transformations
Wolfram PfeiferPfeifer, Wolfram Karlsruhe Institute of Technology (KIT)Germany A New Interaction Concept for Interactive and Autoactive Program Verification
Nguyen PhamPham, Nguyen EPFL, LAMPSwitzerland Securing AI Agents With Tracked Capabilities in TACIT A Brief Critique of The Collection Library
Yangheran PiaoPiao, Yangheran University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Christoph PichlerPichler, Christoph Johannes Kepler University LinzAustria To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Binary Size of Hybrid Execution Systems
Luís PinaPina, Luís University of Illinois ChicagoUnited States Optimizing Record/Replay through Relaxed Total Ordering and Multi-Version eXecution
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Property Grouping and Context-Aware Runtime Enforcement PC Member in Program Committee within the VORTEX-track
Kevin PintePinte, Kevin Vrije Universiteit BrusselBelgium Web Chair in Organizing Committee for ECOOP 2026
Clement Pit-ClaudelPit-Claudel, Clement EPFL Automatic railroad diagrams for lexers, parsers, and more! (demo)
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Automatic layout of railroad diagrams Lorikeet: Flexible code rewriting for Scala 3
Martin PlümickePlümicke, Martin DHBW Stuttgart, Campus Horb, Germany A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference
Guillermo PolitoPolito, Guillermo Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStALFrance Committee Member in Demo Committee within the ECOOP Demos-track Keynote: Amazing Bugs and Where to Find Them
Siddhartha PrasadPrasad, Siddhartha Brown University Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
Nuno PreguicaPreguica, Nuno Ensuring Convergence and Invariants Without Coordination
Dumitru-Bogdan PrelipceanPrelipcean, Dumitru-Bogdan Alexandru Ioan Cuza University, IașiRomania A Native Debugger Protocol for Interpreters
Virgile PrevostoPrevosto, Virgile Université Paris-Saclay, CEA, ListFrance On-the-fly Abstract Debugging for Frama-C/Eva
Rosario PugliesePugliese, Rosario University of FlorenceItaly Runtime Semantic Discovery for Evolving Action Alphabets
Violet Ka I PunPun, Violet Ka I Western Norway University of Applied SciencesNorway PC Member in Programme Committee within the ECOOP Technical Papers-track
Angel Luis Scull PupoPupo, Angel Luis Scull Sofware Languages Lab, Vrije Universiteit Brussel DWasm: Portable Debugging for the Web
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
R Dhanya R MathewsR Mathews, Dhanya India Indian Institute of Science, BangaloreIndia Autonomous Runtime Management of Cloud Performance Anomalies Using End-to-End Service Topology
Dimi RacordonRacordon, Dimi HES-SO Valais/WallisSwitzerland A Brief Critique of The Collection Library Committee Member in Program Committee within the The Scala Workshop-track
Petar RajkovićRajković, Petar University of Niš Committee Member in Demo Committee within the ECOOP Demos-track
Gordana RakićRakić, Gordana University of Novi SadSerbia Demo Chair in Organizing Committee for ECOOP 2026 Chair in Demo Committee within the ECOOP Demos-track
Rupashree RangaiyengarRangaiyengar, Rupashree Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
António RavaraRavara, António Nova University of LisbonPortugal Automatic Code and Test Generation of Smart Contracts from Coordination Models PC Member in Programme Committee within the ECOOP Technical Papers-track
Stefano RaviolaRaviola, Stefano Universita' del Piemonte Orientale A monadic interpreter and type-and-effect checker
Björn RegnellRegnell, Björn Lund UniversitySweden Committee Member in Program Committee within the The Scala Workshop-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China PC Member in Programme Committee within the ECOOP Technical Papers-track
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden Committee Member in Program Committee within the GPCE-track
Hamza RemmalRemmal, Hamza EPFL, LAMPSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Filip RihaRiha, Filip Czech Technical University Characterizing Type Feedback in Just-in-Time Compilation
Nico RittinghausRittinghaus, Nico Heinrich-Heine-Universität Düsseldorf Generating Interpreter-Specific Tracers for Meta-Tracing JIT Compilers
Camilo RochaRocha, Camilo Pontificia Universidad JaverianaColombia Committee Member in Program Committee within the VeriLang-track Co-chair in Organizing Committee within the VeriLang-track
Rodrigo RodriguesRodrigues, Rodrigo Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit BrusselBelgium Wasmito: A Lightweight Framework for Building Dynamic Tools on Microcontrollers DWasm: Portable Debugging for the Web
Andrea RosàRosà, Andrea Università della Svizzera italianaSwitzerland PC Member in Program Committee within the MPLR-track
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany Committee Member in Program Committee within the GPCE-track
Alejandro RussoRusso, Alejandro Chalmers University of Technology; University of GothenburgSweden The challenge of data sharing while respecting privacy
István RáthRáth, István IncQuery Labs, PTCHungary Committee Member in Program Committee within the GPCE-track
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, SkopjeNorth Macedonia PC Member in Programme Committee within the ECOOP Technical Papers-track
Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Comparing Transparent Static Analyzers with Open Verification Dashboard
Claudio Sacerdoti CoenSacerdoti Coen, Claudio University of Bologna Committee Member in Program Committee within the VeriLang-track Committee Member in Organizing Committee within the VeriLang-track
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland PC Member in Programme Committee within the ECOOP Technical Papers-track Proof Primitives for Equality Saturation-based Automated Provers
Mateo SanabriaSanabria, Mateo Universidad de los Andes VeriLang welcome! Committee Member in Program Committee within the VeriLang-track Co-chair in Organizing Committee within the VeriLang-track
Charitha SaumyaSaumya, Charitha Intel Eliminate Branches by Melding IR Instructions
Imen SayarSayar, Imen Univ. Lille, CNRS, Inria, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, FranceFrance How Developers Perceive Differential Debugging: an Exploratory Survey
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Compositional Design, Implementation, and Verification of Swarms NEST: Network Enforced Session Types PC Member in Programme Committee within the ECOOP Technical Papers-track Enforcing Session Protocols at the Network Level Using NEST Committee Member in Organizing Committee within the PLF+PLAID-track Between static and run-time verification of message-passing systems with behavioural types
Roland SchatzSchatz, Roland Oracle Labs To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Binary Size of Hybrid Execution Systems
Fabian SchiebelSchiebel, Fabian Heinz Nixdorf Institute, Paderborn UniversityGermany Scaling Bottom-up IFDS Taint Analysis with Optimized Data-flow Encoding
Christophe ScholliersScholliers, Christophe Universiteit GentBelgium Student Research Competition Chair in Organizing Committee for ECOOP 2026 Co-chair in Student Research Competition Committee within the ECOOP Student Research Competition-track Remote Concolic Multiverse Debugging Phoenix: Auto-Vectorisation Reborn (demo) MuLLDB: Multiverse Debugging for Unmanaged Languages Steering Committee Member in Steering Committee within the DEBT -track Co-chair in Organizing Committee within the MPLR-track
Thomas SchrottSchrott, Thomas Johannes Kepler University Linz A Unifying Approach to Supporting Multiple Garbage Collectors in AOT-compiled Binaries
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark Committee Member in Program Committee within the GPCE-track
David SchwartzSchwartz, David University of Illinois at Chicago Optimizing Record/Replay through Relaxed Total Ordering and Multi-Version eXecution
Tanapoom SermchaiwongSermchaiwong, Tanapoom The Hong Kong University of Science and Technology Proof-of-Theft: Dynamic Graph-based Fingerprinting of In-browser Cryptomining
Nikita ServaisServais, Nikita Vrije Universiteit Brussel DWasm: Portable Debugging for the Web
Marco ServettoServetto, Marco Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the UNSOUND-track
Florian SextlSextl, Florian TU Wien, AustriaAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Hesam ShahrokhiShahrokhi, Hesam RelationalAIUnited Kingdom PC Member in Programme Committee within the ECOOP Technical Papers-track
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Committee Member in Awards committee within the ECOOP Awards-track Language-Integrated Recursive Queries PC Member in Programme Committee within the ECOOP Technical Papers-track Steering Committee Member in Steering Committee within the GPCE-track Committee Member in Program Committee within the GPCE-track
Saumya ShankarShankar, Saumya International Institute of Information Technology BangaloreIndia Property Grouping and Context-Aware Runtime Enforcement
Zhong ShaoShao, Zhong Yale UniversityUnited States A Complete Program Logic for Compositional Linearizability
Marc ShapiroShapiro, Marc Sorbonne-Université (LIP6) & InriaFrance Modelling, Verifying & Implementing database backends
Srinivasan Ramachandra SharmaSharma, Srinivasan Ramachandra Virginia Tech Eliminate Branches by Melding IR Instructions
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Proof-of-Theft: Dynamic Graph-based Fingerprinting of In-browser Cryptomining PC Member in Programme Committee within the ECOOP Technical Papers-track
John ShorttShortt, John University of Ottawa Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Florian SihlerSihler, Florian Ulm UniversityGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States PC Co-Chair in Organizing Committee for ECOOP 2026 Co-chair in Programme Committee within the ECOOP Technical Papers-track
Fabien SironSiron, Fabien CEA, ListFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
SoaibuzzamanSoaibuzzaman Bauhaus-University WeimarGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Leonardo SperanzonSperanzon, Leonardo Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Tom SpinkSpink, Tom University of St AndrewsUnited Kingdom TrueJIT - Learning and Prediction of Compilation Sequences in a Centralized JIT Compiler
Andreas StadelmeierStadelmeier, Andreas DHBW Baden-Wuerttemberg Cooperative State UniversityGermany A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference
Maarten SteevensSteevens, Maarten Ghent University, BelgiumBelgium Remote Concolic Multiverse Debugging MuLLDB: Multiverse Debugging for Unmanaged Languages
Friedrich SteimannSteimann, Friedrich Fernuniversität in HagenGermany Committee Member in Program Committee within the GPCE-track
Benno SteinStein, Benno SkipLabsUnited Kingdom Committee Member in Program Committee within the FTfJP-track
Quentin StiévenartStiévenart, Quentin Université du Québec à MontréalCanada Software Artifact Co-Chair in Organizing Committee for ECOOP 2026 Co-chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Spatial Logic of Directed Graphs PC Member in Program Committee within the VORTEX-track
Kim StonehouseStonehouse, Kim University of Edinburgh, United Kingdom TrueJIT - Learning and Prediction of Compilation Sequences in a Centralized JIT Compiler
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden PC Co-Chair in Organizing Committee within the GPCE-track
Sandro StuckiStucki, Sandro Chalmers University of TechnologySweden Committee Member in Program Committee within the GPCE-track
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Steering Committee within the FTfJP-track
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia Tech Eliminate Branches by Melding IR Instructions
Joshua SunshineSunshine, Joshua Carnegie Mellon University PC Member in Programme Committee within the ECOOP Technical Papers-track
Takashi SuwaSuwa, Takashi Kyoto University and ImironJapan Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
Jonas SysSys, Jonas Ghent University and Vrije Universiteit BrusselBelgium Phoenix: Auto-Vectorisation Reborn (demo)
César SánchezSánchez, César IMDEA Software InstituteSpain PC Member in Program Committee within the VORTEX-track
T Ruby TahboubTahboub, Ruby University of Illinois, Urbana-ChampainUnited States Committee Member in Program Committee within the GPCE-track
Yonggang TaoTao, Yonggang UNSWAustralia Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability
Pablo TesoneTesone, Pablo Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, Pharo Consortium PC Member in Program Committee within the MPLR-track
Manas ThakurThakur, Manas IIT BombayIndia PC Member in Program Committee within the MPLR-track
Peter ThiemannThiemann, Peter University of FreiburgGermany A Variation on Java Wildcards - Trading Expressiveness for Global Type Inference
Gaël ThomasThomas, Gaël Telecom SudParisFrance PC Member in Program Committee within the MPLR-track
Thomas ThümThüm, Thomas TU BraunschweigGermany 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
Amin TimanyTimany, Amin Aarhus UniversityDenmark Verifying wait-freedom for concurrent higher-order programs
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Can WebAssembly Be the Universal Software Substrate? Committee Member in Program Committee within the DEBT -track
Gianluca TortaTorta, Gianluca giatorta@gmail.com Spatial Logic of Directed Graphs
Petr TumaTuma, Petr Charles UniversityCzechia PC Member in Program Committee within the MPLR-track
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Compositional Design, Implementation, and Verification of Swarms Automatic Code and Test Generation of Smart Contracts from Coordination Models
Alexi TurcotteTurcotte, Alexi CISPAGermany Committee Member in Program Committee within the DEBT -track
Melinda TóthTóth, Melinda Eötvös Loránd UniversityHungary Committee Member in Demo Committee within the ECOOP Demos-track
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Load-Site-Based Filtering of Transiently Hot Objects to Reduce the Effective Working Set
Mattias UlbrichUlbrich, Mattias KITGermany A New Interaction Concept for Interactive and Autoactive Program Verification
Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance Faster Verified Explanations for Neural Networks
Bernhard Urban-ForsterUrban-Forster, Bernhard Oracle LabsAustria To Compile or Not To Compile: Evaluating Static Heuristics to Reduce Binary Size of Hybrid Execution Systems
V Milla ValnetValnet, Milla Sorbonne UniversitéFrance DelExp: a Relational Container Abstraction with Applications to Compositional Analysis
Isaac van Bakelvan Bakel, Isaac ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands General Chair in Organizing 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
Eric Van WykVan Wyk, Eric University of Minnesota, Twin CitiesUnited States Steering Committee Member in Steering Committee within the GPCE-track
Bram VandenbogaerdeVandenbogaerde, Bram Software Languages Lab, Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Dan VanderkamVanderkam, Dan Unsoundness in TypeScript
Thomas VandermottenVandermotten, Thomas Vrije Universiteit Brussel Hybrid consistency for smart contracts
Julien VanegueVanegue, Julien Imperial College London; BloombergUnited States PC Member in Programme Committee within the ECOOP Technical Papers-track
Matthias VanpoeckeVanpoecke, Matthias Ghent UniversityBelgium MuLLDB: Multiverse Debugging for Unmanaged Languages
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Program Committee within the VeriLang-track Committee Member in Organizing Committee within the VeriLang-track
Jyothi VeduradaVedurada, Jyothi IIT HyderabadIndia Committee Member in Program Committee within the ICOOOLPS-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Characterizing Type Feedback in Just-in-Time Compilation Committee Member in Program Committee within the ICOOOLPS-track Leveraging Copy-and-Patch JIT for Low-Overhead Dynamic Program Analysis
Vesal VojdaniVojdani, Vesal University of TartuEstonia Comparing Transparent Static Analyzers with Open Verification Dashboard
Tanja E. J. VosVos, Tanja E. J. Universitat Politècnica de València and Open Universiteit Committee Member in Program Committee within the DEBT -track
W Philip WadlerWadler, Philip IOG; University of EdinburghUnited Kingdom Committee Member in Program Committee within the GPCE-track
Jana WagemakerWagemaker, Jana Radboud University NEST: Network Enforced Session Types
Jana WagemakerWagemaker, Jana Enforcing Session Protocols at the Network Level Using NEST
Chao WangWang, Chao University of Southern CaliforniaUnited States Efficient Symbolic Execution of Software under Fault Attacks
Jingbo WangWang, Jingbo Purdue UniversityUnited States Efficient Symbolic Execution of Software under Fault Attacks
Yuting WangWang, Yuting Shanghai Jiao Tong UniversityChina Foundational and Compositional Verification of Layered Concurrent Objects
Zhongye WangWang, Zhongye Yale University A Complete Program Logic for Compositional Linearizability
Takuo WatanabeWatanabe, Takuo Institute of Science TokyoJapan Multi-Mode Debugging for FRP-Based Embedded Systems PC Member in Program Committee within the MPLR-track
Pascal WeisenburgerWeisenburger, Pascal University of St. Gallen Proof Primitives for Equality Saturation-based Automated Provers
Markus WeningerWeninger, Markus JKU LinzAustria Towards Guided Omniscient Debugging in Education using Pedagogical Execution Traces (PETs)
Freek WiedijkWiedijk, Freek Radboud University NijmegenNetherlands Vibe formalizing and AI slop: sound or unsound?
Christian WimmerWimmer, Christian Amazon Web ServicesUnited States PC Member in Program Committee within the MPLR-track
Manuel WimmerWimmer, Manuel JKU LinzAustria Committee Member in Program Committee within the GPCE-track
X Yichen XuXu, Yichen EPFL Securing AI Agents With Tracked Capabilities in TACIT
Jingling XueXue, Jingling UNSWAustralia Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability
Y Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan Annotation-Guided Edit-Aware JIT Compilation for Julia Computational Notebooks
Uğur Y. YavuzYavuz, Uğur Y. Boston UniversityUnited States Proving False in the TLA+ Proof System
Z Oleksandr ZaitsevZaitsev, Oleksandr Arolla, Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, F-59000 Lille, FranceFrance Committee Member in Demo Committee within the ECOOP Demos-track
George ZakhourZakhour, George Proof Primitives for Equality Saturation-based Automated Provers
Yannick ZakowskiZakowski, Yannick InriaFrance Software Artifact Co-Chair in Organizing Committee for ECOOP 2026 Co-chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Olivier ZendraZendra, Olivier InriaFrance Co-chair in Organizing Committee within the ICOOOLPS-track Co-chair in Program Committee within the ICOOOLPS-track
Hanliang ZhangZhang, Hanliang Automated Reasoning Group, Amazon Web ServicesCanada Committee Member in Program Committee within the FTfJP-track
Weixing ZhangZhang, Weixing Karlsruhe Institute of Technology (KIT)Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Program Committee within the GPCE-track
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Language Design and Implementation Where Paradigms Converge
Yaoyu ZhaoZhao, Yaoyu EPFL, LAMPSwitzerland Securing AI Agents With Tracked Capabilities in TACIT
Chenyu ZhouZhou, Chenyu University of Southern CaliforniaUnited States Efficient Symbolic Execution of Software under Fault Attacks
Elena ZuccaZucca, Elena University of GenoaItaly PC Member in Programme Committee within the ECOOP Technical Papers-track
Ü Asli ÜnlüerÜnlüer, Asli EPFL Off-Heap Memory Library in Scala 3

ECOOP 2026 Contributors

Results (417)

Tracks

Co-hosted Conferences

Workshops