ECOOP 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (353)

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
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
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
Guy AmirAmir, Guy Hebrew UniversityIsrael NEST: Network Enforced Session Types
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly 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
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Committee Member in Program Committee within the MPLR-track
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
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 TBD 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
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
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
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 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
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 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
Lucas CloriusClorius, Lucas DTU Compute Compositional Design, Implementation, and Verification of Swarms
Christian ColomboColombo, Christian University of MaltaMalta 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 PC Member in Program Committee within the MPLR-track
Lázaro CostaCosta, Lázaro Faculty of Engineering, University of Porto & INESC TECPortugal Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Steven CostiouCostiou, Steven INRIA LilleFrance Workshop Chair in Organizing Committee within the DEBT -track
Lorris CreantorCreantor, Lorris Beyond Type Erasure: On-demand Specialization for Java Generics
D Francesco DagninoDagnino, Francesco University of GenoaItaly PC Member in Programme Committee within the ECOOP Technical Papers-track
Aidan DakhamaDakhama, Aidan The University of Edinburgh, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium General Chair in Organizing Committee for ECOOP 2026
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
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
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
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Co-chair in Organizing Committee within the MPLR-track
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)
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 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 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 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 and Jane StreetUnited States NEST: Network Enforced Session Types
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 Francalanza Keynote
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
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
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) Steering Committee Member in Steering Committee within the DEBT -track DWasm: Portable Debugging for the Web
João GonçalvesGonçalves, João IST U. Lisboa & INESC-ID Vardalith: Hybrid Detection of Persistent Memory Concurrency Bugs
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
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 UNSW SydneyAustralia 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
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 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
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 Labs 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 Jules JacobsJacobs, Jules Cornell University NEST: Network Enforced Session Types
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany Committee Member in Program Committee within the FTfJP-track
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
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
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
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 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 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
Patrick LamLam, Patrick University of Waterloo Committee Member in Program Committee within the DEBT -track
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTUDenmark NEST: Network Enforced Session Types
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 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
Joshua MartinMartin, Joshua Virginia Tech Distributed-to-Centralized: Closing the Loop on Architecture Migration via Unification Refactoring
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
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 University, Japan 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 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
Provakar MondalMondal, Provakar Virginia TechUnited States Distributed-to-Centralized: Closing the Loop on Architecture Migration via Unification Refactoring
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark PC Member in Programme Committee within the ECOOP Technical Papers-track
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 Peter Müller - Title TBA
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 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
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 Title TBD
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 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
Siddhartha PrasadPrasad, Siddhartha Brown University Meaningful Human-in-the-Loop Checking of GenAI Synthesis for Restricted Languages
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
R 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
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 Brussel DWasm: Portable Debugging for the Web
Andrea RosàRosà, Andrea USI LuganoSwitzerland 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 Title TBD
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. Gallen PC Member in Programme Committee within the ECOOP Technical Papers-track
Mateo SanabriaSanabria, Mateo Universidad de los Andes 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
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 Scalas Keynote
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) 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 Committee Member in Program Committee within the GPCE-track
Zhong ShaoShao, Zhong Yale UniversityUnited States A Complete Program Logic for Compositional Linearizability
Marc ShapiroShapiro, Marc Sorbonne-Université (LIP6) & InriaFrance TBD
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
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 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 University of New South WalesAustralia 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
Eli TilevichTilevich, Eli Virginia TechUnited States Distributed-to-Centralized: Closing the Loop on Architecture Migration via Unification Refactoring 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
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
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
Bram VandenbogaerdeVandenbogaerde, Bram Software Languages Lab, Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Julien VanegueVanegue, Julien Imperial College London; BloombergUnited States PC Member in Programme Committee within the ECOOP Technical Papers-track
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
Chao WangWang, Chao University of Southern CaliforniaUnited States Efficient Symbolic Execution of Software under Fault Attacks
Jingbo WangWang, Jingbo Purdue University 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 PC Member in Program Committee within the MPLR-track
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 UNSW SydneyAustralia 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
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
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 Yizhou Zhang - Title TBA
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 (353)

Tracks

Co-hosted Conferences

Workshops