ECOOP 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (345)

A Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee within the VORTEX-track
Pedro AdãoAdão, Pedro IST-ULisboa and Instituto de TelecomunicaçõesPortugal Toward Tool-Independent Summaries for Symbolic Execution
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA PC Member in Program Committee within the ECOOP Research Papers-track
Karim AliAli, Karim University of Alberta Program Co-Chair in Organizing Committee for ECOOP 2023 Program Co-Chair in Program Committee within the ECOOP Research Papers-track
Mehran Alidoost NiaAlidoost Nia, Mehran University of TehranIran Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Nada AminAmin, Nada Harvard UniversityUnited States The Dolorem Pattern: Growing a Language through Compile-Time Function Execution
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Tomoyuki AotaniAotani, Tomoyuki Sanyo-Onoda City UniversityJapan Committee Member in Program Committee within the COP-track
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Information Flow Analysis for Detecting Non-Determinism in Blockchain
Aslan AskarovAskarov, Aslan Aarhus University External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Student Research Competition Co-Chair in Organizing Committee for ECOOP 2023 Session Chair of ECOOP 4: Types (part of ECOOP Research Papers) Student Research Competition Co-Chair in Program Committee within the ECOOP and ISSTA Student Research Competition-track Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Marco AutiliAutili, Marco University of L'Aquila, ItalyItaly External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
B Jinsheng BaBa, Jinsheng National University of SingaporeSingapore Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the DEBT-track
Riyadh BaghdadiBaghdadi, Riyadh NYU Abu DhabiUnited Arab Emirates PC Member in Program Committee within the ECOOP Research Papers-track
Daniel BaierBaier, Daniel Ludwig Maximilian University of MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Abdul Ali BangashBangash, Abdul Ali University of Alberta, CanadaCanada Web Co-Chair in Organizing Committee for ECOOP 2023 Publicity Co-Chair in Organizing Committee for ECOOP 2023
Adam D. BarwellBarwell, Adam D. University of St Andrews and University of Oxford Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Mark BattyBatty, Mark University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Nested Pure Operation-Based CRDTs
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Sahil BhatiaBhatia, Sahil University of California, Berkeley Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Multi-Graded Featherweight Java
Annette BieniusaBieniusa, Annette Kaiserslautern LoRe: A Programming Model for Verifiably Safe Local-First Software
Walter BinderBinder, Walter USI LuganoSwitzerland Committee Member in Program Committee within the COP-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Andrew P. BlackBlack, Andrew P. AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design
Utpal BoraBora, Utpal University of CambridgeUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
James BornholtBornholt, James University of Texas at AustinUnited States Synthesis-Aided Crash Consistency for Storage Systems
Henrique Botelho GuerraBotelho Guerra, Henrique INESC-ID and IST, University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Katharina BrandlBrandl, Katharina JGU MainzGermany Modular Abstract Definitional Interpreters for WebAssembly
Oliver BračevacBračevac, Oliver Galois, Inc.United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee within the VORTEX-track
Richard BubelBubel, Richard Technische Universität DarmstadtGermany External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Alexandra BugariuBugariu, Alexandra Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany A Direct-Style Effect Notation for Sequential and Parallel Programs
Marcel BöhmeBöhme, Marcel MPI-SP; Monash UniversityGermany Committee Member in Organizing Committee within the FUZZING-track
C Roberto CasadeiCasadei, Roberto University of Bologna, ItalyItaly Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Program Committee within the ICOOOLPS-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom Dynamically Updatable Multiparty Session Protocols
Ethan CecchettiCecchetti, Ethan University of Maryland, College ParkUnited States Semantics for Noninterference with Interaction Trees
Sang Kil ChaCha, Sang Kil KAIST, South KoreaSouth Korea Committee Member in Program Committee within the FUZZING-track
Tej ChajedChajed, Tej VMware ResearchUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Mahin ChandramohanChandramohan, Mahin Oracle Labs On Leveraging Tests to Infer Nullable Annotations
Avik ChaudhuriChaudhuri, Avik Facebook, USA PC Member in Program Committee within the FTfJP-track
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Jianyi ChengCheng, Jianyi Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Michele ChiariChiari, Michele TU WienAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Session Chair of ECOOP 6: Design (part of ECOOP Research Papers) Committee Member in Program Committee within the ICOOOLPS-track PC Member in Program Committee within the ECOOP Research Papers-track
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Tiago CogumbreiroCogumbreiro, Tiago University of Massachusetts BostonUnited States Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Simon CookseyCooksey, Simon University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Information Flow Analysis for Detecting Non-Determinism in Blockchain
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Steven CostiouCostiou, Steven INRIA LilleFrance Committee Member in Program Committee within the DEBT-track
Andrew CraikCraik, Andrew ChronosoftAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Caroline CronjägerCronjäger, Caroline Ruhr-Universität Bochum Exact Separation Logic
Luís Cruz-FilipeCruz-Filipe, Luís University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
D Arnaud Daby-SeesaramDaby-Seesaram, Arnaud ENS Paris Saclay Modular Verification of State-Based CRDTs in Separation Logic
Francesco DagninoDagnino, Francesco University of GenoaItaly Multi-Graded Featherweight Java
Hoang-Hai DangDang, Hoang-Hai BedRock SystemsGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium PC Member in Program Committee within the ECOOP Research Papers-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom Wiring circuits is easy as {0, 1, ω}, or is it…
Kevin De PorreDe Porre, Kevin Vrije Universiteit BrusselBelgium VeriFx: Correct Replicated Data Types for the Masses
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand On Leveraging Tests to Infer Nullable Annotations
Laura DillonDillon, Laura Michigan State University Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Mike DoddsDodds, Mike Galois, Inc. PC Member in Program Committee within the FTfJP-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track PC Member in Program Committee within the ECOOP Research Papers-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College London United Kingdom Session Chair of ECOOP 1: Semantics (part of ECOOP Research Papers) Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Committee Member in Program Committee within the ICOOOLPS-track
Stefania DumbravaDumbrava, Stefania ENSIIE & Institut Polytechnique de Paris Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
E Maria EichlsederEichlseder, Maria TU Graz External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Workshops Co-Chair in Organizing Committee for ECOOP 2023 Modular Abstract Definitional Interpreters for WebAssembly Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Sponsors Co-Chair in Chairs within the ECOOP and ISSTA Sponsorships-track
Sebastian ErtelErtel, Sebastian Composable Operating Systems Group, Barkhausen Institute, Dresden ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Anne EtienEtien, Anne Université de Lille, CNRS, Inria, Centrale Lille, UMR 9189 –CRIStALFrance Committee Member in Program Committee within the DEBT-track
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Session Chair of ECOOP 5: Synthesis (part of ECOOP Research Papers) Committee Member in Program Committee within the FUZZING-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution
Andong FanFan, Andong The Hong Kong University of Science and TechnologyChina super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
Gang FanFan, Gang Ant Group Synthesizing Conjunctive Queries for Code Search
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the FTfJP-track PC Member in Program Committee within the VORTEX-track
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly PC Member in Program Committee within the VORTEX-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Information Flow Analysis for Detecting Non-Determinism in Blockchain
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal VeriFx: Correct Replicated Data Types for the Masses
Francisco FerreiraFerreira, Francisco Royal Holloway, University of London Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types
Nate FosterFoster, Nate Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Toward Tool-Independent Summaries for Symbolic Execution PC Member in Program Committee within the VORTEX-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta PC Member in Program Committee within the VORTEX-track
Bjorn Freeman-BensonFreeman-Benson, Bjorn New Relic Organization Co-chair in Organizing Committee for ECOOP 2023 General Co-Chair in Organizing Committee for ECOOP 2023
G Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Exact Separation Logic
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Lorenzo GheriGheri, Lorenzo University of OxfordUnited Kingdom External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Mahdi GhorbaniGhorbani, Mahdi University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Multi-Graded Featherweight Java
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Marco GiuntiGiunti, Marco NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa On using VeriFast, VerCors, Plural, and KeY to check object usage
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee within the VORTEX-track
Léon GondelmanGondelman, Léon Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of ECOOP 3: Distribution (part of ECOOP Research Papers) Nested Pure Operation-Based CRDTs VeriFx: Correct Replicated Data Types for the Masses Co-chair in Organizing Committee within the DEBT-track
Eva GraversenGraversen, Eva University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Organizing Committee within the FTfJP-track
Torsten GrustGrust, Torsten University of TübingenGermany Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the DEBT-track
Arjun GuhaGuha, Arjun Northeastern University and Roblox ResearchUnited States Do Machine Learning Models Produce TypeScript Types that Type Check?
Robbert Gurdeep SinghGurdeep Singh, Robbert Universiteit Gent, BelgiumBelgium Committee Member in Program Committee within the DEBT-track
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany Committee Member in Program Committee within the COP-track
H Julian HaasHaas, Julian Technische Universität Darmstadt LoRe: A Programming Model for Verifiably Safe Local-First Software
William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2023 Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
William HallahanHallahan, William Binghamton Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Nils HansenHansen, Nils JGU Mainz Modular Abstract Definitional Interpreters for WebAssembly
Sarah HarrisHarris, Sarah University of Kent Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the VORTEX-track
Paul HeHe, Paul University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees
Simon HennigerHenniger, Simon Technical University of Munich The Dolorem Pattern: Growing a Language through Compile-Time Function Execution
Paula HerberHerber, Paula University of Munster, GermanyGermany PC Member in Program Committee within the FTfJP-track
Yann HerklotzHerklotz, Yann Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Ben HermannHermann, Ben TU DortmundGermany Committee Member in Program Committee within the FUZZING-track Reproduction Area Chair in Program Committee within the ECOOP Research Papers-track
Andrew K. HirschHirsch, Andrew K. University at BuffaloUnited States Semantics for Noninterference with Interaction Trees
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the DEBT-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Renáta HodovánHodován, Renáta University of Szeged, HungaryHungary Committee Member in Program Committee within the FUZZING-track
Tony HoskingHosking, Tony Australian National UniversityAustralia PC Member in Program Committee within the ECOOP Research Papers-track
Ping HouHou, Ping University of Oxford Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Xiaowen HuHu, Xiaowen The University of Sydney Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan PC Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Maximilian Ignacio Willembrinck SantanderIgnacio Willembrinck Santander, Maximilian Committee Member in Program Committee within the DEBT-track
J Alex JafariJafari, Alex United States General Co-Chair in Organizing Committee for ECOOP 2023 Organization Co-chair in Organizing Committee for ECOOP 2023 Sponsors Co-Chair in Organizing Committee for ECOOP 2023 Sponsors Co-Chair in Chairs within the ECOOP and ISSTA Sponsorships-track
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Marie-Christine JakobsJakobs, Marie-Christine LMU Munich, GermanyGermany PC Member in Program Committee within the FTfJP-track
Feiyang JinJin, Feiyang Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Brittany JohnsonJohnson, Brittany George Mason UniversityUnited States Workshops Co-Chair in Organizing Committee for ECOOP 2023 Workshops Co-Chair in Chairs within the ECOOP and ISSTA Workshops-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Rajeev JoshiJoshi, Rajeev NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the FTfJP-track
Eric JulJul, Eric University of OsloNorway Session Chair of ECOOP 2: Replication (part of ECOOP Research Papers) Co-chair in Organizing Committee within the ICOOOLPS-track
René JustJust, René University of WashingtonUnited States Organization Co-chair in Organizing Committee for ECOOP 2023
David JustoJusto, David Microsoft AzureUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
K Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the COP-track
Sven KeidelKeidel, Sven TU Darmstadt, GermanyGermany Modular Abstract Definitional Interpreters for WebAssembly External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Student Volunteer Co-Chair in Organizing Committee for ECOOP 2023 Student Volunteer Co-Chair in Program Committee within the ECOOP and ISSTA Student Volunteers-track
Ellen KidaneKidane, Ellen University of Illinois - Chicago Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Caleb KochKoch, Caleb Stanford Automata Learning with an Incomplete Teacher
Sumer KohliKohli, Sumer UC BerkeleyUnited States Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Martin KrulišKruliš, Martin Charles UniversityCzech Republic Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Christian KuessnerKuessner, Christian Technische Universität DarmstadtGermany Algebraic Replicated Data Types: Programming Secure Local-First Software
Roland KuhnKuhn, Roland Actyx AGGermany Behavioural Types for Local-First Software
Thomas KühnKühn, Thomas Martin-Luther-University Halle-WittenbergGermany Committee Member in Program Committee within the COP-track
L Michele LanzaLanza, Michele Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Organizing Committee within the FTfJP-track
Byoungyoung LeeLee, Byoungyoung Seoul National University, South Korea Committee Member in Program Committee within the FUZZING-track
Daniel LehmannLehmann, Daniel University of StuttgartGermany External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Yannan LiLi, Yannan University of Southern CaliforniaUnited States Constraint Based Compiler Optimization for Energy Harvesting Applications
Yao LiLi, Yao Portland State UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Bin LinLin, Bin Radboud University On the Rise of Modern Software Documentation
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Program Committee within the COP-track
Jonathan Lindegaard StarupLindegaard Starup, Jonathan Aarhus UniversityDenmark Restrictable Variants: A Simple and Practical Alternative to Extensible Variants Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Zhengyang LiuLiu, Zhengyang University of Utah Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Calvin LoncaricLoncaric, Calvin OracleUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Lovro LugovićLugović, Lovro University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
Mikel LujánLuján, Mikel University of ManchesterUnited Kingdom PC Member in Program Committee within the ECOOP Research Papers-track
Matthew LutzeLutze, Matthew Aarhus University Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
Andreas LööwLööw, Andreas Imperial College London Exact Separation Logic
M Jean-Marie MadiotMadiot, Jean-Marie External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Restrictable Variants: A Simple and Practical Alternative to Extensible Variants Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints
Dominik MaierMaier, Dominik Google Committee Member in Program Committee within the FUZZING-track
Petar MaksimovićMaksimović, Petar Imperial College London, UK Exact Separation Logic
Alessandro MargaraMargara, Alessandro Politecnico di Milano External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Stefan MarrMarr, Stefan University of KentUnited Kingdom Committee Member in Program Committee within the DEBT-track Committee Member in Program Committee within the ICOOOLPS-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the DEBT-track
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Behavioural Types for Local-First Software
Kim MensMens, Kim Université catholique de Louvain, ICTEAM institute, BelgiumBelgium Committee Member in Program Committee within the COP-track
Johannes MeyMey, Johannes Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Mira MeziniMezini, Mira TU DarmstadtGermany Algebraic Replicated Data Types: Programming Secure Local-First Software A Direct-Style Effect Notation for Sequential and Parallel Programs LoRe: A Programming Model for Verifiably Safe Local-First Software
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PC Member in Program Committee within the ECOOP Research Papers-track
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond!
Changwoo MinMin, Changwoo Virginia Tech, USA External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Roberto MinelliMinelli, Roberto Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Ashish MishraMishra, Ashish Purdue UniversityUnited States Morpheus: Automated Safety Verification of Data-dependent Parser Combinator Programs
Mark MoellerMoeller, Mark Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany Algebraic Replicated Data Types: Programming Secure Local-First Software LoRe: A Programming Model for Verifiably Safe Local-First Software External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Organizing Committee within the FTfJP-track
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Modular Compilation for Higher-order Functional Choreographies
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
João MotaMota, João NOVA School of Science and Technology On using VeriFast, VerCors, Plural, and KeY to check object usage
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Emerson Murphy-HillMurphy-Hill, Emerson GoogleUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark PC Member in Program Committee within the ECOOP Research Papers-track
N Csaba NagyNagy, Csaba Software Institute - USI, Lugano On the Rise of Modern Software Documentation
Tomoki NakamaruNakamaru, Tomoki University of TokyoJapan Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Chandrakana NandiNandi, Chandrakana CertoraUnited States Student Research Competition Co-Chair in Organizing Committee for ECOOP 2023 Student Research Competition Co-Chair in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
David NaumannNaumann, David Stevens Institute of TechnologyUnited States Toward Tool-Independent Summaries for Symbolic Execution
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Information Flow Analysis for Detecting Non-Determinism in Blockchain
Laura NenziNenzi, Laura University of TriesteItaly PC Member in Program Committee within the VORTEX-track
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Committee Member in Program Committee within the DEBT-track
Abel NietoNieto, Abel Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
James NobleNoble, James Research & ProgrammingNew Zealand PC Member in Program Committee within the FTfJP-track
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology Committee Member in Program Committee within the COP-track
Yannic NollerNoller, Yannic National University of SingaporeSingapore Committee Member in Organizing Committee within the FUZZING-track
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom Committee Member in Program Committee within the FUZZING-track
O Arthur Oliveira ValeOliveira Vale, Arthur External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Dependent Merges and First-Class Environments
Luca OlivieriOlivieri, Luca Ca’ Foscari University of VeniceItaly Information Flow Analysis for Detecting Non-Determinism in Blockchain
Cyrus OmarOmar, Cyrus University of MichiganUnited States Pearls/Brave New Ideas Area Chair in Program Committee within the ECOOP Research Papers-track
Klaus OstermannOstermann, Klaus University of TübingenGermany PC Member in Program Committee within the ECOOP Research Papers-track
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the FUZZING-track
Adrian PalaciosPalacios, Adrian Amazon Web ServicesUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology) super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
Mathias PayerPayer, Mathias EPFLSwitzerland Committee Member in Program Committee within the FUZZING-track
David J. PearcePearce, David J. ConsenSysUnited States On Leveraging Tests to Infer Nullable Annotations
Mário PereiraPereira, Mário NOVA LINCS & DI -- Nova School of Science and TechnologyPortugal Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Modular Compilation for Higher-order Functional Choreographies
Tomas PetricekPetricek, Tomas Charles UniversityCzech Republic PC Member in Program Committee within the ECOOP Research Papers-track
Fabio PetrilloPetrillo, Fabio École de technologie supérieure (ÉTS), Montréal -- Université du QuébecCanada Committee Member in Program Committee within the DEBT-track
Van-Thuan PhamPham, Van-Thuan Monash UniversityAustralia Committee Member in Program Committee within the FUZZING-track
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar PC Member in Program Committee within the VORTEX-track
Hernán Ponce de LeónPonce de León, Hernán Huawei Dresden Research CenterGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2023 Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Alex PotaninPotanin, Alex Australian National UniversityAustralia PC Member in Program Committee within the ECOOP Research Papers-track
R Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Session Chair of Session 1 (part of ICOOOLPS) Co-chair in Organizing Committee within the ICOOOLPS-track
Marco RagliantiRaglianti, Marco Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Frederico RamosRamos, Frederico Instituto Superior Técnico Toward Tool-Independent Summaries for Symbolic Execution
Antonio RavaraRavara, Antonio NOVA LINCS & FCT, NOVA University of LisbonPortugal On using VeriFast, VerCors, Plural, and KeY to check object usage
Baishakhi RayRay, Baishakhi Columbia UniversityUnited States Committee Member in Organizing Committee within the FUZZING-track
Baber RehmanRehman, Baber The University of Hong KongChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Jose Ignacio RequenoRequeno, Jose Ignacio Complutense University of Madrid PC Member in Program Committee within the VORTEX-track
David RichterRichter, David Technical University of DarmstadtGermany A Direct-Style Effect Notation for Sequential and Parallel Programs External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Ori RothRoth, Ori TechnionIsrael Python Type Hints are Turing Complete
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Program Committee within the DEBT-track
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University PC Member in Program Committee within the VORTEX-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2023 Doctoral Symposium Co-Chair in Chairs within the ECOOP and ISSTA Doctoral Symposium-track
Ugnius RumseviciusRumsevicius, Ugnius University of Illinois - Chicago Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
S Nuno SabinoSabino, Nuno Instituto Superior Técnico, Carnegie Mellon UniversityPortugal Toward Tool-Independent Summaries for Symbolic Execution
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Program Co-Chair in Organizing Committee for ECOOP 2023 Program Co-Chair in Program Committee within the ECOOP Research Papers-track
Jordan SamhiSamhi, Jordan University of LuxembourgLuxembourg Publicity Co-Chair in Organizing Committee for ECOOP 2023 Web Co-Chair in Organizing Committee for ECOOP 2023
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
John SarracinoSarracino, John Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark PC Member in Program Committee within the VORTEX-track
Moritz SchloegelSchloegel, Moritz CISPA, Germany Committee Member in Program Committee within the FUZZING-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, BelgiumBelgium Co-chair in Organizing Committee within the DEBT-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium PC Member in Program Committee within the ECOOP Research Papers-track
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Philipp SchusterSchuster, Philipp University of TübingenGermany External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Lars SchützeSchütze, Lars Technische Universität DresdenGermany Session Chair of Session 1 (part of COP) Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Ryan ScottScott, Ryan Galois, Inc.United States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance PC Member in Program Committee within the ECOOP Research Papers-track
Sanjit SeshiaSeshia, Sanjit UC Berkeley Building Code Transpilers for Domain-Specific Languages Using Program Synthesis
Hesam ShahrokhiShahrokhi, Hesam University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps An Efficient Vectorized Hash Table for Batch Computations
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps An Efficient Vectorized Hash Table for Batch Computations
Marc ShapiroShapiro, Marc Sorbonne-Université (LIP6) & InriaFrance External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore Committee Member in Program Committee within the FUZZING-track
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Qingkai ShiShi, Qingkai Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Jun ShirakoShirako, Jun Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
Lucas SilverSilver, Lucas University of PennsylvaniaUnited States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification Semantics for Noninterference with Interaction Trees
Somesh SinghSingh, Somesh INRIA, ENS LyonFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC (Argentina) / CONICET (Argentina)Argentina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Alaia Solko-BreslinSolko-Breslin, Alaia University of Pennsylvania Automata Learning with an Incomplete Teacher
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZürichSwitzerland PC Member in Program Committee within the ECOOP Research Papers-track
Martin SpiesslSpiessl, Martin LMU MunichGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Fausto SpotoSpoto, Fausto U. Verona Information Flow Analysis for Detecting Non-Determinism in Blockchain
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway PC Member in Program Committee within the VORTEX-track
Felix StutzStutz, Felix MPI-SWS Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts
Felix SuchertSuchert, Felix Center for Advancing Electronics Dresden, TU DresdenGermany ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Steering Committee Member in Organizing Committee within the FTfJP-track
Julian SutherlandSutherland, Julian Imperial College London Exact Separation Logic
Amanda SwearnginSwearngin, Amanda Apple, USAUnited States Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Laszlo SzekeresSzekeres, Laszlo Google Committee Member in Organizing Committee within the FUZZING-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Experience Area Chair in Program Committee within the ECOOP Research Papers-track
T Fabio TagliaferroTagliaferro, Fabio CYS4 Srl Information Flow Analysis for Detecting Non-Determinism in Blockchain
Muhammad Taimoor KhanTaimoor Khan, Muhammad University of GreenwichUnited Kingdom PC Member in Program Committee within the FTfJP-track
Jinhao TanTan, Jinhao University of Hong Kong Dependent Merges and First-Class Environments
Yudai TanabeTanabe, Yudai Kyoto UniversityJapan Session Chair of Session 1 (part of COP) Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Wensheng TangTang, Wensheng Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search
April TeaTea, April University of Washington, SeattleUnited States Student Volunteer Co-Chair in Program Committee within the ECOOP and ISSTA Student Volunteers-track
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil PC Member in Program Committee within the FTfJP-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany PC Member in Program Committee within the ECOOP Research Papers-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Modular Verification of State-Based CRDTs in Separation Logic
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Oksana TkachukTkachuk, Oksana Amazon Web ServicesUnited States PC Member in Program Committee within the FTfJP-track
Aaron TombTomb, Aaron Amazon Web ServicesUnited States PC Chair in Program Committee within the FTfJP-track
Emina TorlakTorlak, Emina Amazon Web Services and University of WashingtonUnited States Synthesis-Aided Crash Consistency for Storage Systems
Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track PC Member in Program Committee within the VORTEX-track
Emma ToschTosch, Emma Northeastern University, USA PC Member in Program Committee within the ECOOP Research Papers-track
Alix TrieuTrieu, Alix ANSSIFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Michele TucciTucci, Michele Charles UniversityCzech Republic Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Behavioural Types for Local-First Software
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan Committee Member in Program Committee within the ICOOOLPS-track
V Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism
Jacob Van GeffenVan Geffen, Jacob Veridise Inc. Synthesis-Aided Crash Consistency for Storage Systems
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow Wiring circuits is easy as {0, 1, ω}, or is it…
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal PC Member in Program Committee within the ECOOP Research Papers-track
Siddhanth VenkateshwaranVenkateshwaran, Siddhanth University of Illinois - Chicago Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution
Luca VersariVersari, Luca Google, ZurichSwitzerland Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Michael VollmerVollmer, Michael University of KentUnited Kingdom Rust for Morello: Always-on Memory Safety, Even in Unsafe Code
W Chao WangWang, Chao University of Southern CaliforniaUnited States Constraint Based Compiler Optimization for Energy Harvesting Applications
Chengpeng WangWang, Chengpeng Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Session Chair of ECOOP 7: Verification and Testing (part of ECOOP Research Papers) Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Xi WangWang, Xi University of WashingtonUnited States Synthesis-Aided Crash Consistency for Storage Systems
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada PC Member in Program Committee within the ECOOP Research Papers-track
Yuke WangWang, Yuke University of California Santa Barbara Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Zheng WangWang, Zheng University of California, Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track
Stefan WehrWehr, Stefan Offenburg University of Applied SciencesGermany PC Member in Program Committee within the ECOOP Research Papers-track
Heike WehrheimWehrheim, Heike Carl von Ossietzky Universität Oldenburg / University of OldenburgGermany External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Publicity Co-Chair in Organizing Committee for ECOOP 2023 Web Co-Chair in Organizing Committee for ECOOP 2023 A Direct-Style Effect Notation for Sequential and Parallel Programs Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Edwin WestbrookWestbrook, Edwin GaloisUnited States Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Anna-Katharina WickertWickert, Anna-Katharina TU Darmstadt, GermanyGermany Algebraic Replicated Data Types: Programming Secure Local-First Software
Thomas WienerWiener, Thomas Cornell University Automata Learning with an Incomplete Teacher
Stefan WinterWinter, Stefan LMU MunichGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2023 Co-chair in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden PC Member in Program Committee within the ECOOP Research Papers-track
X Jun XuXu, Jun The University of Utah Committee Member in Program Committee within the FUZZING-track
Y Matthew YacavoneYacavone, Matthew Galois, Inc. Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Elena YanakievaYanakieva, Elena University of Kaiserslautern-Landau LoRe: A Programming Model for Verifiably Safe Local-First Software
Peisen YaoYao, Peisen Zhejing UniversityChina Synthesizing Conjunctive Queries for Code Search
Ming-Ho YeeYee, Ming-Ho Northeastern University Do Machine Learning Models Produce TypeScript Types that Type Check?
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Dynamically Updatable Multiparty Session Protocols Designing Asynchronous Multiparty Protocols with Crash-Stop Failures PC Member in Program Committee within the VORTEX-track
Lechen YuYu, Lechen Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees
Lisza ZeidlerZeidler, Lisza Composable Operating Systems Group, Barkhausen Institute, Dresden ConDRust: Scalable Deterministic Concurrency from Verifiable Rust Programs
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Committee Member in Program Committee within the FUZZING-track
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search
Chengyu ZhangZhang, Chengyu ETH ZurichSwitzerland Committee Member in Program Committee within the FUZZING-track PC Member in Program Committee within the ECOOP Research Papers-track
Qian ZhangZhang, Qian University of California, RiversideUnited States Committee Member in Program Committee within the FUZZING-track
Fangyi ZhouZhou, Fangyi Imperial College London Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Elena ZuccaZucca, Elena University of GenoaItaly Multi-Graded Featherweight Java

ECOOP 2023 Contributors

Results (345)

Tracks

ECOOP and ISSTA 2023

Workshops