ECOOP 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (460)

A Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee within the VORTEX-track
Joshua AckermanAckerman, Joshua Dartmouth College, USA Large Language Models for Fuzzing Parsers
Rifqi Adlan ApriyadiAdlan Apriyadi, Rifqi Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion
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
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Quantitative Robustness Analysis of Neural Networks Planning your dissertation topic Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Fairness Testing For Recommender Systems
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 Shahid Beheshti UniversityIran 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 Runtime verification of hash code in mutable classes Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Luthfan Anshar LubisAnshar Lubis, Luthfan Tokyo Institute of TechnologyJapan Polymorphism for Programming With Versions
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
Jamshed AshurovAshurov, Jamshed UC San Diego Characterizing WebAssembly Performance in the Era of Serverless Computing
Syeda Mahnur AsifAsif, Syeda Mahnur CISPA Helmholtz Center for Information Security CrabSandwich: Fuzzing Rust with Rust
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 Combining Static and Runtime Verification with AC and Coq Runtime Monitoring of Human Behaviour with Aggregate Computing on Android 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
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Symbolic Debugging with Gillian
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
Casper BachBach, Casper Delft University of TechnologyNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
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
Davide BalzarottiBalzarotti, Davide EURECOM CrabSandwich: Fuzzing Rust with Rust
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
talank baralbaral, talank Optimizing Continuous Development and Predicting Test Information in Software Development
Nils BarsBars, Nils CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
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
Bachir BendrissouBendrissou, Bachir Imperial College LondonUnited Kingdom Grammar Mutation for Testing Input Parsers
Emery BergerBerger, Emery Reasoning About MLIR Semantics Through Algebraic Effects and Handlers How to conduct impactful research Quantitative Symbolic Similarity Analysis
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States Type Automata
Lukas BernhardBernhard, Lukas CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
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 Monitoring for resource-awareness
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 AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design
Viviana BonoBono, Viviana University of TorinoItaly Gradual Guarantee for FJ with lambda-expressions
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
Valentin BourcierBourcier, Valentin INRIAFrance Debugging Video Games: A Systematic Mapping
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
David BremnerBremner, David University of New Brunswick Towards Reliable Memory Management for Python Native Extensions
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
Yegor BugayenkoBugayenko, Yegor HuaweiRussia An Algorithm for Partial Elimination of Jumps in An Object-Oriented Dataflow Language
Tevfik BultanBultan, Tevfik University of California at Santa BarbaraUnited States Optimizing Continuous Development and Predicting Test Information in Software Development Sparse Symbolic Execution Understanding and Improving the Adoption of Large Language Models Automatic Testing and Benchmarking for Configurable Static Analysis Tools
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchUnited States External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Frank BusseBusse, Frank Imperial College LondonUnited Kingdom Sparse Symbolic Execution
Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany A Direct-Style Effect Notation for Sequential and Parallel Programs Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Marcel BöhmeBöhme, Marcel MPI-SP; Monash UniversityGermany Committee Member in Organizing Committee within the FUZZING-track
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Grammar Mutation for Testing Input Parsers Three Colours of Fuzzing: Reflections and Open Challenges
Huayang CaoCao, Huayang National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
Sergio CardenasCardenas, Sergio Universidad de los AndesColombia Points-to Analysis for Context-Oriented JavaScript Programs
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Points-to Analysis for Context-Oriented JavaScript Programs
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 Towards Virtual Machine Support for Contextual Role-Oriented Programming Languages
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
Satish ChandraChandra, Satish Meta PlatformsUnited States Machine Learning for Software Engineering
Mahin ChandramohanChandramohan, Mahin Oracle Labs On Leveraging Tests to Infer Nullable Annotations
Oliver ChangChang, Oliver Google Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
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
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
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) PC Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ICOOOLPS-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
Benjamin ChungChung, Benjamin Northeastern University A Retrospective on Julia
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
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion
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 Debugging Video Games: A Systematic Mapping 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
Addison CrumpCrump, Addison CISPA Helmholtz Center for Information Security CrabSandwich: Fuzzing Rust with Rust
Luís Cruz-FilipeCruz-Filipe, Luís University of Southern Denmark Modular Compilation for Higher-order Functional Choreographies
George CybenkoCybenko, George Dartmouth College, USA Large Language Models for Fuzzing Parsers
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
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly On Stream Runtime Verification and Aggregate Programming
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
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Gradual Guarantee for FJ with lambda-expressions
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 PC Member in Program Committee within the ECOOP Research Papers-track Grammar Mutation for Testing Input Parsers Committee Member in Program Committee within the ECOOP and ISSTA Student Research Competition-track
Mara DowningDowning, Mara University of California, Santa Barbara Quantitative Robustness Analysis of Neural Networks
Sophia DrossopoulouDrossopoulou, Sophia Imperial College London United Kingdom Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities 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 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Session Chair of ECOOP 5: Synthesis (part of ECOOP Research Papers) Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track Committee Member in Program Committee within the FUZZING-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
Chunrong FangFang, Chunrong Nanjing UniversityChina DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
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
Aleksandr FedchinFedchin, Aleksandr Tufts UniversityUnited States Object Synthesis for Automated Test Generation
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 Runtime verification of hash code in mutable classes
Angelo FerrandoFerrando, Angelo RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
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
Andrea FioraldiFioraldi, Andrea EURECOM CrabSandwich: Fuzzing Rust with Rust
Mário FloridoFlorido, Mário Universidade do PortoPortugal Gradual Guarantee for FJ with lambda-expressions
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
Hiroaki FukudaFukuda, Hiroaki Shibaura Institute of TechnologyJapan Points-to Analysis for Context-Oriented JavaScript Programs
G Wentao GaoGao, Wentao Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Exact Separation Logic Symbolic Debugging with Gillian
Andrea GattiGatti, Andrea University of Genoa, Italy RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
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) VeriFx: Correct Replicated Data Types for the Masses Nested Pure Operation-Based CRDTs Welcome Discussion Demo: Debugging Constraint Devices with EDWARD Co-chair in Organizing Committee within the DEBT-track
Léo GourdinGourdin, Léo Lazy Code Transformations in a Formally Verified Compiler
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
Taotao GuGu, Taotao Academy of Military SciencesChina Multi-phase Parallel Fuzzer
Arjun GuhaGuha, Arjun Northeastern University and Roblox ResearchUnited States Do Machine Learning Models Produce TypeScript Types that Type Check?
Robbert Gurdeep SinghGurdeep Singh, Robbert IMECBelgium 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 Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications Introduction and welcome to the Doctoral Symposium 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
Daniel HauresHaures, Daniel University of Turin, Italy Combining Static and Runtime Verification with AC and Coq
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 Reproduction Area Chair in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the FUZZING-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
Thorsten HolzHolz, Thorsten CISPA Helmholtz Center for Information SecurityGermany Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage CrabSandwich: Fuzzing Rust with Rust
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
Minhuan HuangHuang, Minhuan National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
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 Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Verifying C++ dynamic binding
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 Keynote How to get your Ph.D. DONE!
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 Temporal Layers: Reactive Activation Scope of First-class Layer Instances Committee Member in Program Committee within the COP-track
Nat KarmiosKarmios, Nat Imperial College LondonUnited Kingdom Symbolic Debugging with Gillian
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
Amy KoKo, Amy University of WashingtonUnited States Searching for Justice in Programming Language Design
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
wei kongkong, wei Context-adaptive Automated Testing for Deep Learning Model
Martin KrulišKruliš, Martin Charles UniversityCzechia 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
Xiaohui KuangKuang, Xiaohui Academy of Military SciencesChina Multi-phase Parallel Fuzzer
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 Wing LamLam, Wing George Mason UniversityUnited States Quantitative Robustness Analysis of Neural Networks
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
Wing LamLam, Wing George Mason UniversityUnited States Fairness Testing For Recommender Systems
Michele LanzaLanza, Michele Software Institute - USI, LuganoSwitzerland On the Rise of Modern Software Documentation
Tom LauwaertsLauwaerts, Tom Universiteit Gent, BelgiumBelgium Out-of-place Multiverse Debugging for Constraint Devices LATCH: Enabling Large-scale Tests on Constraint Systems Demo: Debugging Constraint Devices with EDWARD
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
Edward LeeLee, Edward University of WaterlooCanada Dependency-free Capture Tracking
Paul LegerLeger, Paul Universidad Católica del Norte, ChileChile Points-to Analysis for Context-Oriented JavaScript Programs
Owolabi LegunsenLegunsen, Owolabi Cornell University Optimizing Continuous Development and Predicting Test Information in Software Development
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Sparse Symbolic Execution
Owolabi LegunsenLegunsen, Owolabi Cornell University Understanding and Improving the Adoption of Large Language Models
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Automatic Testing and Benchmarking for Configurable Static Analysis Tools
Daniel LehmannLehmann, Daniel University of StuttgartGermany External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States State of state in Dafny
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 Dependency-free Capture Tracking
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
Siyuan LiLi, Siyuan LibAE: An Area Exploration Technology for Detecting Third-party Libraries in Binaries
Xiang LiLi, Xiang Academy of Military SciencesChina Multi-phase Parallel Fuzzer
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
Dongge LiuLiu, Dongge Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
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
Frederic LoulergueLoulergue, Frederic Université d'OrléansFrance Towards Verified Scalable Parallel Computing with Coq and Spark
Nikolaos LouloudakisLouloudakis, Nikolaos University of Edinburgh DeltaNN: Differential Testing to Evaluate Robustness of Image Recognition Models
Kenny Zhuo Ming LuLu, Kenny Zhuo Ming ISTD, Singapore University of Technology and DesignSingapore Constructing Structured SSA from FJ
Shuaibing LuLu, Shuaibing Academy of Military SciencesChina InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis Multi-phase Parallel Fuzzer
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 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 Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
Ole Lehrmann MadsenMadsen, Ole Lehrmann Aarhus UniversityDenmark Using Object-Sequence Diagrams for Debugging
Dominik MaierMaier, Dominik TU Berlin CrabSandwich: Fuzzing Rust with Rust
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
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, ItalyItaly Runtime verification of hash code in mutable classes RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Program State Visualizer with User-Defined Representation Conversion 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 A Direct-Style Effect Notation for Sequential and Parallel Programs LoRe: A Programming Model for Verifiably Safe Local-First Software Algebraic Replicated Data Types: Programming Secure Local-First Software Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Aleksandar MicicMicic, Aleksandar IBM, Canada Towards Reliable Memory Management for Python Native Extensions
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PC Member in Program Committee within the ECOOP Research Papers-track
Luka MiljakMiljak, Luka Delft University of TechnologyNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond! 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 LoRe: A Programming Model for Verifiably Safe Local-First Software Algebraic Replicated Data Types: Programming Secure Local-First Software External Reviewer in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Niels MommenMommen, Niels KU LeuvenBelgium Verifying C++ dynamic binding
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 An Exploration of Static Variability Bug Detection Through Desugaring Automatic Testing and Benchmarking for Configurable Static Analysis Tools
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
Toby MurrayMurray, Toby University of MelbourneAustralia Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
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
Joannah NanjekyeNanjekye, Joannah University of New BrunswickCanada Towards Reliable Memory Management for Python Native Extensions Towards Reliable Memory Management for Python Native Extensions
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
Yuanping NieNie, Yuanping Academy of Military SciencesChina Multi-phase Parallel Fuzzer
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 UniversityCzechia 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 Debugging Video Games: A Systematic Mapping Committee Member in Program Committee within the DEBT-track
Thuan PhamPham, Thuan The University of Melbourne Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
Van-Thuan PhamPham, Van-Thuan Monash UniversityAustralia Committee Member in Program Committee within the FUZZING-track
Jolan PhilippePhilippe, Jolan IMT AtlantiqueFrance Towards Verified Scalable Parallel Computing with Coq and Spark
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
Hannah PotterPotter, Hannah University of WashingtonUnited States ExplainThis: Teaching a New Programming Language and Paradigm Using Contextualized Explanations
Q Ruixiang QianQian, Ruixiang State Key Laboratory for Novel Software Technology, Nanjing UniversityChina DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
R Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Session Chair of Session 1 (part of ICOOOLPS) Welcome and Introduction Round table Co-chair in Organizing Committee within the ICOOOLPS-track
Suzzana RafiRafi, Suzzana Understanding and Improving the Adoption of Large Language Models
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 Specification-Driven Synthesis of Summaries for Symbolic Execution
António RavaraRavara, António 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 Towards Code-Aware Code Models
Baber RehmanRehman, Baber University of Hong Kong 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 Correctness-by-Construction meets Refinement Types Determinism with Intersection and Union Types
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 Using Rewrite Strategies for Efficient Functional Automatic Differentiation
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit BrusselBelgium Demo: Debugging Constraint Devices with EDWARD
Ori RothRoth, Ori TechnionIsrael Python Type Hints are Turing Complete Type Automata
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
Benjamin I.P. RubinsteinRubinstein, Benjamin I.P. University of Melbourne Beyond The Coverage Plateau - A Comprehensive Study of Fuzz Blockers
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
Laboni SarkerSarker, Laboni University of California at Santa BarbaraUnited States Quantitative Symbolic Similarity Analysis
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
Kavin SatheeskumarSatheeskumar, Kavin University of WaterlooCanada Dependency-free Capture Tracking
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark PC Member in Program Committee within the VORTEX-track
Nico SchillerSchiller, Nico CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Moritz SchloegelSchloegel, Moritz CISPA, Germany Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage Committee Member in Program Committee within the FUZZING-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, BelgiumBelgium Welcome Discussion Demo: Debugging Constraint Devices with EDWARD 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
Thomas SchweizerSchweizer, Thomas University of Washington, SeattleUnited States An empirical evaluation of commit-untangling tools
Lars SchützeSchütze, Lars Technische Universität DresdenGermany 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 Session Chair of Session 1 (part of COP) Towards Virtual Machine Support for Contextual Role-Oriented Programming Languages 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
Kostya SerebryanySerebryany, Kostya Google Rich coverage signal and the consequences for scaling
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
Sohil Lal ShresthaShrestha, Sohil Lal The University of Texas at ArlingtonUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Automata Learning with an Incomplete Teacher
Lucas SilverSilver, Lucas University of PennsylvaniaUnited States Semantics for Noninterference with Interaction Trees Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
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
Dakota SolesSoles, Dakota The University of Texas at Dallas An Empirical Study of Nondeterministic Behavior and Its Causes in Static Analysis Tools
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
Jonathan Lindegaard StarupStarup, Jonathan Lindegaard Aarhus UniversityDenmark Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints Restrictable Variants: A Simple and Practical Alternative to Extensible Variants
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 Runtime Monitoring of Human Behaviour with Aggregate Computing on Android 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 On Stream Runtime Verification and Aggregate Programming 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 UniversityCzechia 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
Flip van Spaendonckvan Spaendonck, Flip TU EindhovenNetherlands Verifying Well-Typedness Preservation of Refactorings using Scope Graphs
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow Wiring circuits is easy as {0, 1, ω}, or is it…
Adrien VanègueVanègue, Adrien InriaFrance Debugging Video Games: A Systematic Mapping
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
Tong WangWang, Tong National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Wenxi WangWang, Wenxi University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Session Chair of ECOOP 7: Verification and Testing (part of ECOOP Research Papers) 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 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track A Direct-Style Effect Notation for Sequential and Parallel Programs Committee Member in Extended Review Committee and External Reviewers within the ECOOP Research Papers-track
Zhongzhen WenWen, Zhongzhen Nanjing UniversityChina Enhancing Web Test Script Repair using Integrated UI Structural and Visual Information
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 Huizhong XiaoXiao, Huizhong Fairness Testing For Recommender Systems
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Quantitative Robustness Analysis of Neural Networks Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Quantitative Symbolic Similarity Analysis
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Type Automata
Xusheng XiaoXiao, Xusheng Arizona State UniversityUnited States General advice for your PhD career
Xusheng XiaoXiao, Xusheng Case Western Reserve UniversityUnited States Fairness Testing For Recommender Systems
Haoran XuXu, Haoran Stanford University Deegen: a meta-compiler approach for high performance VMs at low engineering cost
Jun XuXu, Jun The University of Utah Committee Member in Program Committee within the FUZZING-track
Xinyi XuXu, Xinyi CISPA Helmholtz Center for Information Security Novelty not Found: Adaptive Fuzzer Restarts to Improve Input Space Coverage
Y Matthew YacavoneYacavone, Matthew Galois, Inc. Interaction Tree Specifications: A Framework for Specifying Recursive, Effectful Computations that Supports Auto-active Verification
Qian YanYan, Qian National Key Laboratory of Science and Technology on Information System Security InFuzz: An Interactive Tool for Enhancing Efficiency in Fuzzing through Visual Bottleneck Analysis
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 Designing Asynchronous Multiparty Protocols with Crash-Stop Failures Dynamically Updatable Multiparty Session Protocols PC Member in Program Committee within the VORTEX-track
Daniel Yu Hian LowYu Hian Low, Daniel Singapore University of Technology and DesignSingapore Constructing Structured SSA from FJ
Lechen YuYu, Lechen Georgia Institute of Technology Dynamic Determinacy Race Detection for Task-Parallel Programs with Promises
Pingshi YuYu, Pingshi Imperial College London Reasoning About MLIR Semantics Through Algebraic Effects and Handlers
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 Language-Based Debugging Reasoning About MLIR Semantics Through Algebraic Effects and Handlers Quantitative Symbolic Similarity Analysis Type Automata
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Synthesizing Conjunctive Queries for Code Search
Chengyu ZhangZhang, Chengyu ETH ZurichSwitzerland PC Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the FUZZING-track
Dongjia ZhangZhang, Dongjia EURECOM CrabSandwich: Fuzzing Rust with Rust
Qian ZhangZhang, Qian University of California, RiversideUnited States Committee Member in Program Committee within the FUZZING-track
Quanjun ZhangZhang, Quanjun Nanjing University DiPri: Distance-based Seed Prioritization for Greybox Fuzzing
Zhaowei ZhangZhang, Zhaowei National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Gang ZhaoZhao, Gang National Key Laboratory of Science and Technology on Information System Security Multi-phase Parallel Fuzzer
Fangyi ZhouZhou, Fangyi Imperial College London Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
Elena ZuccaZucca, Elena University of GenoaItaly Multi-Graded Featherweight Java
Â Pedro ÂngeloÂngelo, Pedro University of PortoPortugal Gradual Guarantee for FJ with lambda-expressions

ECOOP 2023 Contributors

Results (460)

Tracks

ECOOP and ISSTA 2023

Workshops