ECOOP 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (364)

A Luca AcetoAceto, Luca Reykjavik University Runtime Instrumentation for Reactive Components A Sound Type System for Secure Currency Flow
Tejaswi AgarwalAgarwal, Tejaswi Uber Technologies Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States PC Co-Chair in Organizing Committee for ECOOP 2024 Session Chair of (part of ECOOP Technical Papers) ECOOP Awards Opening and Welcome PC Co-Chair in Program Committee within the ECOOP Technical Papers-track
Nikolaos AlexopoulosAlexopoulos, Nikolaos Athens University of Economics and BusinessGreece Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Mehran Alidoost NiaAlidoost Nia, Mehran Shahid Beheshti UniversityIran Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track
Domenico AmalfitanoAmalfitano, Domenico University of Naples Federico IIItaly FRAFOL: FRAmework FOr Learning mutation testing
Aditya AnandAnand, Aditya Indian Institute of Technology BombayIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jason AnselAnsel, Jason MetaUnited States Generalizing Shape Analysis with Gradual Types
Sven ApelApel, Sven Saarland UniversityGermany Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Barnabas ArvayArvay, Barnabas University of Freiburg A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Steven ArztArzt, Steven Fraunhofer SIT; ATHENEGermany Dynamically Generating Callback Summaries for Enhancing Static Analysis
Vaggelis AtlidakisAtlidakis, Vaggelis LaceworkGreece Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Duncan Paul AttardAttard, Duncan Paul University of GlasgowUnited Kingdom Runtime Instrumentation for Reactive Components
Sacha-Élie AyounAyoun, Sacha-Élie Imperial College LondonUnited Kingdom Compositional Symbolic Execution for Correctness and Incorrectness Reasoning Matching Plans for Frame Inference in Compositional Reasoning
B Lorenzo BacchianiBacchiani, Lorenzo University of Bologna Behavioral up/down casting for statically typed languages
Casper BachBach, Casper Delft University of TechnologyNetherlands Defining Name Accessibility using Scope Graphs
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency Information Flow Control in Cyclic Process Networks
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Felix BerlakovichBerlakovich, Felix μCSRL, CODE Research Institute, University of the Bundeswehr Munich Cross Module Quickening - The Curious Case of C Extensions
Matthias BernadBernad, Matthias μCSRL, CODE Research Institute, University of the Bundeswehr Munich HOBBIT: Hashed Object Based InTegrity
Sahil BhatiaBhatia, Sahil University of California, Berkeley Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
David BobekBobek, David IMC University of Applied Sciences Krems The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Sponsorship Co-Chair in Organizing Committee for ECOOP 2024 Java Bytecode Normalization for Code Similarity Analysis
Eric BoddenBodden, Eric Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEMGermany Sponsorship Co-Chair in Sponsorship Committee within the ISSTA/ECOOP Sponsorship-track
Jérôme BoillotBoillot, Jérôme École Normale Supérieure, PSL University & INRIAFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Mario BravettiBravetti, Mario Università di BolognaItaly Behavioral up/down casting for statically typed languages
Bob BrockberndBrockbernd, Bob Delft University of Technology Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines
Henrik BrodinBrodin, Henrik Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Bruno Farias Bruno Farias University of Manchester ESBMC-Python: A Bounded Model Checker for Python Programs
Stefan BrunthalerBrunthaler, Stefan μCSRL, CODE Research Institute, University of the Bundeswehr MunichGermany Cross Module Quickening - The Curious Case of C Extensions HOBBIT: Hashed Object Based InTegrity Soft Verification for Actor Contract Systems From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems Integrating Mutation Techniques to Keep Specification and Source Code in Sync Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs Robustness against the C/C++11 memory model Automated Testing of Networked Systems Reliability
Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany Compiling with Arrays
C Colin CaiCai, Colin University of California, Berkeley Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Paris CarboneCarbone, Paris KTH Royal Institute of Technology Failure Transparency in Stateful Dataflow Systems
Luís CarvalhoCarvalho, Luís NOVA School of Science and Technology A Language-Based Version Control System for Python
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Indirection-Bounded Call Graph Analysis
Stefanos ChaliasosChaliasos, Stefanos Imperial College LondonUnited Kingdom Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Le ChangChang, Le University of Maryland, College Park Qafny: A Quantum-Program Verifier
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States Type Tailoring
Kevin CheangCheang, Kevin Amazon Web ServicesUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Sheng ChenChen, Sheng University of Louisiana at Lafayette Learning Gradual Typing Performance
Sheng ChenChen, Sheng UL Lafayette Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Xiangqun ChenChen, Xiangqun Peking UniversityChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Zhenpeng ChenChen, Zhenpeng Nanyang Technological UniversitySingapore Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Zaiyu ChengCheng, Zaiyu University of Manchester JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States Optimizing the Object-Relational Interface Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations Committee Member in Program Committee within the ECOOP Technical Papers-track
Shigeru ChibaChiba, Shigeru University of TokyoJapan InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Maria ChristakisChristakis, Maria TU WienAustria Inductive Predicate Synthesis Modulo Programs
Cheng-En ChuangChuang, Cheng-En University at BuffaloUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jürgen CitoCito, Jürgen TU WienAustria Local Arrangements Co-Chair in Organizing Committee for ECOOP 2024
Rance CleavelandCleaveland, Rance University of Maryland Qafny: A Quantum-Program Verifier
Juan Manuel CopiaCopia, Juan Manuel IMDEA Software Institute; Universidad Politécnica de MadridSpain FixCheck: A Tool for Improving Patch Correctness Analysis
Lucas C. CordeiroCordeiro, Lucas C. University of Manchester, UK and Federal University of Amazonas, BrazilUnited Kingdom JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking ESBMC-Python: A Bounded Model Checker for Python Programs
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Session Chair of Verification (part of ECOOP Technical Papers) A Language-Based Version Control System for Python
Caroline CronjägerCronjäger, Caroline Ruhr-Universität Bochum Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Baoquan CuiCui, Baoquan Institute of Software at Chinese Academy of Sciences, China DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates
Di CuiCui, Di Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
D Marcelo d'Amorimd'Amorim, Marcelo North Carolina State UniversityUnited States Graph Learning for Extract Class Refactoring With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Shaping Test Inputs in Grammar-Based Fuzzing Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins Collaboration to Repository-Level Vulnerability Detection Learning the Effects of Software Changes
Aidan DakhamaDakhama, Aidan King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Student Volunteer Co-Chair in Organizing Committee for ECOOP 2024 Session Chair of Analysis (part of ECOOP Technical Papers) Committee Member in Program Committee within the ECOOP Technical Papers-track Student Volunteers Co-Chair in Student Volunteers Committee within the ISSTA/ECOOP Student Volunteers-track
Alix DecropDecrop, Alix University of NamurBelgium Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs
Alain DelaëtDelaët, Alain INRIA, ENS Lyon Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Farzaneh DerakhshanDerakhshan, Farzaneh Illinois Institute of TechnologyUnited States Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency Information Flow Control in Cyclic Process Networks
Xavier DevroeyDevroey, Xavier University of NamurBelgium Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Luca Di GraziaDi Grazia, Luca University of Stuttgart The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Werner DietlDietl, Werner University of WaterlooCanada General Chair in Organizing Committee for ECOOP 2024 Closing and Invitation to ECOOP 2025 Opening and Welcome Committee Member in Program Committee within the ECOOP Technical Papers-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the ECOOP Technical Papers-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in Program Committee within the ECOOP Technical Papers-track
Thi Thu Ha DoanDoan, Thi Thu Ha University of Freiburg A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Greta DolcettiDolcetti, Greta Ca' Foscari University of Venice - Department of Environmental Sciences, Informatics and StatisticsItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Vlastimil DortDort, Vlastimil Charles UniversityCzechia Pure methods for roDOT
E Hasan Ferit EniserEniser, Hasan Ferit MPI-SWSGermany Web Co-Chair in Organizing Committee for ECOOP 2024
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Committee Member in Program Committee within the ECOOP Technical Papers-track
M. Anton ErtlErtl, M. Anton TU WienAustria The Performance Effects of Virtual-Machine Instruction Pointer Updates
Nafise EskandaniEskandani, Nafise ABB Corporate Research Center Diversity and Inclusion Chair in Organizing Committee for ECOOP 2024
Sam EstepEstep, Sam Carnegie Mellon University Rose: Composable Autodiff for the Interactive Web
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland Committee Member in Program Committee within the ECOOP Technical Papers-track
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom ECOOP Artifact Evaluation Chair in Organizing Committee for ECOOP 2024 Co-chair in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
F Aoyang FangFang, Aoyang Chinese University of Hong Kong, Shenzhen Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yuzhou FangFang, Yuzhou University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Marc FeeleyFeeley, Marc Université de MontréalCanada Static Basic Block Versioning
Matthias FelleisenFelleisen, Matthias Northeastern UniversityUnited States Type Tailoring
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal Committee Member in Program Committee within the ECOOP Technical Papers-track
Eddie B. de Lima FilhoFilho, Eddie B. de Lima TPV Technology JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking ESBMC-Python: A Bounded Model Checker for Python Programs
Wolfram FischerFischer, Wolfram SAP Security Research Java Bytecode Normalization for Code Similarity Analysis
Paul Fiterau-BrosteanFiterau-Brostean, Paul Uppsala UniversitySweden SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Cormac FlanaganFlanagan, Cormac University of California at Santa Cruz Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
Sophie FortzFortz, Sophie King's College LondonUnited Kingdom Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Runtime Instrumentation for Reactive Components
Leon FreudenthalerFreudenthaler, Leon FH Campus Wien Decentralized Near-Synchronous Local-First Programming Collaboration
Stephen N. FreundFreund, Stephen N. Williams College Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
G Alessio GambiGambi, Alessio Austrian Institute of Technology (AIT)Austria The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Compositional Symbolic Execution for Correctness and Incorrectness Reasoning Matching Plans for Frame Inference in Compositional Reasoning
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Committee Member in Program Committee within the ECOOP Technical Papers-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the ECOOP Technical Papers-track
Marco GIUNTIGIUNTI, Marco University of Oxford Behavioral up/down casting for statically typed languages
Aakash GnanakumarGnanakumar, Aakash University of California, Riverside Indirection-Bounded Call Graph Analysis
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of Design (part of ECOOP Technical Papers) Committee Member in Program Committee within the ECOOP Technical Papers-track Graph Learning for Extract Class Refactoring With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Shaping Test Inputs in Grammar-Based Fuzzing Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins Collaboration to Repository-Level Vulnerability Detection Learning the Effects of Software Changes
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2024 Session Chair of Welcome to the Doctoral Symposium (part of ISSTA/ECOOP Doctoral Symposium) Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track FixCheck: A Tool for Improving Patch Correctness Analysis
Daniele GorlaGorla, Daniele Department of Computer Science, Sapienza University of Rome A Sound Type System for Secure Currency Flow
Ben GreenmanGreenman, Ben University of UtahUnited States Type Tailoring
Hanqin GuanGuan, Hanqin Peking University SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Rachid GuerraouiGuerraoui, Rachid EPFL Dahl-Nygaard Senior Prize Keynote - Rachid Guerraoui
Arjun GuhaGuha, Arjun Northeastern University; RobloxUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Yujiang GuiGui, Yujiang UNSWAustralia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ege Berkay GulcanGulcan, Ege Berkay Delft University of TechnologyNetherlands Generalized Concurrency Testing Tool for Distributed Systems
Yao GuoGuo, Yao Peking UniversityChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Inductive Predicate Synthesis Modulo Programs
H Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Failure Transparency in Stateful Dataflow Systems Fair join pattern matching for actors
Dan HaoHao, Dan Peking UniversityChina Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Yu HaoHao, Yu University of California at Riverside, USAUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Carson HarmonHarmon, Carson Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Niranjan HasabnisHasabnis, Niranjan Code MetalUnited States Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Dongjie HeHe, Dongjie Chongqing University, ChinaChina A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ningyu HeHe, Ningyu Peking UniversityChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Yi HeHe, Yi Old Dominion University Learning Gradual Typing Performance
Christoph HochrainerHochrainer, Christoph TU WienAustria Local Arrangements Co-Chair in Organizing Committee for ECOOP 2024
Andre HoraHora, Andre UFMGBrazil Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Max HortHort, Max Simula Research LaboratoryNorway Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Ping HouHou, Ping University of Oxford Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Jingmei HuHu, Jingmei Amazon Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Xuejing HuangHuang, Xuejing University of Hong KongChina Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Florian HuemerHuemer, Florian JKU LinzAustria Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Ayman HusseinHussein, Ayman Technical University of DenmarkDenmark Fair join pattern matching for actors
I Anna IngolfsdottirIngolfsdottir, Anna Reykjavik University Runtime Instrumentation for Reactive Components
Grant IraciIraci, Grant University at BuffaloUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Constrictor: Immutability as a Design Concept
J Kerstin JacobJacob, Kerstin University of Bamberg Integrating Mutation Techniques to Keep Specification and Source Code in Sync
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Ranjit JhalaJhala, Ranjit University of California at San Diego; Amazon Web ServicesUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Bengt JonssonJonsson, Bengt Uppsala University, Sweden SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Eric JulJul, Eric University of OsloNorway How to get your Ph.D. DONE!
René JustJust, René University of WashingtonUnited States FRAFOL: FRAmework FOr Learning mutation testing
K David KaindlstorferKaindlstorfer, David Web Co-Chair in Organizing Committee for ECOOP 2024
Kelly KaoudisKaoudis, Kelly Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Gregory KapfhammerKapfhammer, Gregory Allegheny CollegeUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Kadiray KarakayaKarakaya, Kadiray Heinz Nixdorf Institut, Paderborn UniversityGermany Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Nimantha KariyakarawanaKariyakarawana, Nimantha DistriNet-KU Leuven Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Tool demonstrations co-chair in Organizing Committee for ECOOP 2024 Tool demonstrations co-chair in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Sven KeidelKeidel, Sven TU DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
David KellyKelly, David Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Mohammad Wahiduzzaman KhanKhan, Mohammad Wahiduzzaman UL Lafayette Learning Gradual Typing Performance
Elad KinsbrunerKinsbruner, Elad TechnionIsrael Constrictor: Immutability as a Design Concept Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jonas KlaukeKlauke, Jonas Heinz Nixdorf Institut, Paderborn UniversityGermany Java Bytecode Normalization for Code Similarity Analysis
Dimitri KokkonisKokkonis, Dimitri CEA LISTFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Nikita KovalKoval, Nikita JetBrainsNetherlands Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Rrezarta KrasniqiKrasniqi, Rrezarta University of North Carolina at CharlotteUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2024 Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines Session Chair of Welcome to the Doctoral Symposium (part of ISSTA/ECOOP Doctoral Symposium) Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track Generalized Concurrency Testing Tool for Distributed Systems
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
L Nicolas LagaillardieLagaillardie, Nicolas Imperial College London Fearless Asynchronous Communications with Timed Multiparty Session Protocols
Bradford LarsenLarsen, Bradford Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Van-Hoang LeLe, Van-Hoang The University of NewcastleVietnam Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Seongmin LeeLee, Seongmin Max Planck Institute for Security and Privacy (MPI-SP)Germany Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yi LeeLee, Yi University of Maryland, College Park Qafny: A Quantum-Program Verifier
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
David LeopoldsederLeopoldseder, David Oracle LabsAustria Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Pure methods for roDOT
Ding LiLi, Ding Peking UniversityChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Liyi LiLi, Liyi Iowa State University Qafny: A Quantum-Program Verifier
Qingshan LiLi, Qingshan Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
Senxi LiLi, Senxi The University of Tokyo InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Yufeng LiLi, Yufeng University of Waterloo Pure methods for roDOT
Chengwei LiuLiu, Chengwei Nanyang Technological UniversitySingapore Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Yunqi LiuLiu, Yunqi Nanjing University of Science and TechnologyChina FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
Zeyan LiuLiu, Zeyan University of Kansas, USAUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Jingbo LuLu, Jingbo University of New South Wales A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction
Stian LybechLybech, Stian Reykjavik University A Sound Type System for Secure Currency Flow
Andreas LööwLööw, Andreas Imperial College London Compositional Symbolic Execution for Correctness and Incorrectness Reasoning Matching Plans for Frame Inference in Compositional Reasoning
M Xutong MaMa, Xutong Institute of Software, Chinese Academy of Sciences, Beijing, China Panda: A Concurrent Scheduler for Compiler-Based Tools
Petr MajMaj, Petr Czech Technical University The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Petar MaksimovićMaksimović, Petar Imperial College London, UK Compositional Symbolic Execution for Correctness and Incorrectness Reasoning Matching Plans for Frame Inference in Compositional Reasoning
Roy MargalitMargalit, Roy Tel Aviv University, Israel Robustness against the C/C++11 memory model
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Compilation and Runtimes (part of ECOOP Technical Papers)
Danielle MarshallMarshall, Danielle University of Kent, UKUnited Kingdom Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Matias MartinezMartinez, Matias Universitat Politècnica de Catalunya (UPC)Spain Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Shreya MathewsMathews, Shreya IMC University of Applied Sciences Krems SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Shane McIntoshMcIntosh, Shane University of WaterlooCanada Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Olivier MelançonMelançon, Olivier DIRO, Université de MontréalCanada Static Basic Block Versioning
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Fair join pattern matching for actors
Rafael MenezesMenezes, Rafael University of ManchesterUnited Kingdom ESBMC-Python: A Bounded Model Checker for Python Programs
Mira MeziniMezini, Mira TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany Session Chair of Software Systems (part of ECOOP Technical Papers) Compiling with Arrays Committee Member in Program Committee within the ECOOP Technical Papers-track Graph Learning for Extract Class Refactoring With Biabduction towards Memory Safety across the Rust-C-FFI Decentralized Near-Synchronous Local-First Programming Collaboration Shaping Test Inputs in Grammar-Based Fuzzing Quality Assurance For Non-Trivial Systems: Use Case GCC Plugins Collaboration to Repository-Level Vulnerability Detection Learning the Effects of Software Changes
Zeina MigeedMigeed, Zeina University of California, Los Angeles Generalizing Shape Analysis with Gradual Types
Marco MilaneseMilanese, Marco Sorbonne UniversityFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma Committee Member in Program Committee within the ECOOP Technical Papers-track
Marc MiltenbergerMiltenberger, Marc Fraunhofer SIT \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt Dynamically Generating Callback Summaries for Enhancing Static Analysis
Ashish MishraMishra, Ashish Purdue UniversityUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany Committee Member in Program Committee within the ECOOP Technical Papers-track
Evgenii MoiseenkoMoiseenko, Evgenii JetBrains Research Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain FixCheck: A Tool for Improving Patch Correctness Analysis
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance ECOOP Artifact Evaluation Chair in Organizing Committee for ECOOP 2024 Co-chair in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Ozone: Fully Out-of-Order Choreographies
Austin MordahlMordahl, Austin University of Texas at DallasUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Raphael MosanerMosaner, Raphael JKU LinzAustria Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
João MotaMota, João NOVA School of Science and Technology Behavioral up/down casting for statically typed languages
Malte MuesMues, Malte TU Dortmund University Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Stefanie Muroya LeiMuroya Lei, Stefanie Institute of Science and Technology in AustriaPeru The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Anders MøllerMøller, Anders Aarhus UniversityDenmark Indirection-Bounded Call Graph Analysis
N Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele Imperial College LondonUnited Kingdom Compositional Symbolic Execution for Correctness and Incorrectness Reasoning Matching Plans for Frame Inference in Compositional Reasoning
Nuntipat NarkthongNarkthong, Nuntipat Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
David NaumannNaumann, David Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the ECOOP Technical Papers-track
Jorge A. NavasNavas, Jorge A. CertoraUnited States Inductive Predicate Synthesis Modulo Programs
João NetoNeto, João Delft University of TechnologyNetherlands Generalized Concurrency Testing Tool for Distributed Systems
Ryan R. NewtonNewton, Ryan R. Purdue UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Phuong T. NguyenNguyen, Phuong T. University of L’AquilaItaly Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Wode NiNi, Wode Carnegie Mellon University Rose: Composable Autodiff for the Interactive Web
Alexander NicolellisNicolellis, Alexander Iowa State University Qafny: A Quantum-Program Verifier
Yannic NollerNoller, Yannic Ruhr University BochumGermany Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Julius NäumannNäumann, Julius TU Darmstadt \| ATHENE - National Research Center for Applied Cybersecurity, Darmstadt Dynamically Generating Callback Summaries for Enhancing Static Analysis
O Luca OlivieriOlivieri, Luca University Ca' Foscari, VeniceItaly Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track
Luca OlivieriOlivieri, Luca Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Lisa OverallOverall, Lisa Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Tool demonstrations co-chair in Organizing Committee for ECOOP 2024 Session Chair of Tool demos 2 (part of ISSTA/ECOOP Tool Demonstrations) Session Chair of Tool Demos 1 (part of ISSTA/ECOOP Tool Demonstrations) Tool demonstrations co-chair in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Ana PaivaPaiva, Ana INESC TEC, Faculty of Engineering, University of PortoPortugal FRAFOL: FRAmework FOr Learning mutation testing
Abhinandan PalPal, Abhinandan University of BirminghamUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Vineeth PaleriPaleri, Vineeth National Institute of Technology, Calicut Partial Redundancy Elimination in Two Iterative Data Flow Analyses
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Generalizing Shape Analysis with Gradual Types
Pavel ParizekParizek, Pavel Charles University Pure methods for roDOT
Nisarg PatelPatel, Nisarg New York UniversityUnited States Verifying Lock-free Search Structure Templates
Bernd PaysanPaysan, Bernd net2o The Performance Effects of Virtual-Machine Instruction Pointer Updates
Hila PelegPeleg, Hila TechnionIsrael Constrictor: Immutability as a Design Concept
Artem PelenitsynPelenitsyn, Artem Purdue UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Ozone: Fully Out-of-Order Choreographies
Thuan PhamPham, Thuan University of MelbourneAustralia Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Samuel PilzPilz, Samuel Student Volunteer Co-Chair in Organizing Committee for ECOOP 2024 Student Volunteers Co-Chair in Student Volunteers Committee within the ISSTA/ECOOP Student Volunteers-track
Laura PleinPlein, Laura CISPA Helmholtz Center for Information Security Learning the Effects of Software Changes
Dan PlyukhinPlyukhin, Dan University of Southern DenmarkUnited States Ozone: Fully Out-of-Order Choreographies
Mykhailo PoienkoPoienko, Mykhailo IMC University of Applied Sciences Krems The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Serena Elisa PontaPonta, Serena Elisa SAP Security Research Java Bytecode Normalization for Code Similarity Analysis
Alex PotaninPotanin, Alex Australian National UniversityAustralia Pipit on the Post: proving pre- and post-conditions of reactive systems Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Alexander PotapovPotapov, Alexander JetBrains Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Taking a Closer Look: An Outlier-Driven Approach to Compilation-Time Optimization
Kai-Oliver ProttPrott, Kai-Oliver University of Kiel, GermanyGermany Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Q Jie QiuQiu, Jie Duolingo Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations Search-Based Translations for Tensor Operations
Yuxin QiuQiu, Yuxin University of California at RiversideUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Zhou QuanQuan, Zhou Xidian University HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
R Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Marianna RapoportRapoport, Marianna Amazon Web ServicesCanada Committee Member in Program Committee within the ECOOP Technical Papers-track
Divya RathoreRathore, Divya Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
António RavaraRavara, António Nova University of LisbonPortugal Session Chair of Types 2 (part of ECOOP Technical Papers) Behavioral up/down casting for statically typed languages Committee Member in Program Committee within the ECOOP Technical Papers-track
James ReedReed, James Fireworks AI Generalizing Shape Analysis with Gradual Types
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
David RichterRichter, David Technical University of DarmstadtGermany Compiling with Arrays Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Manuel RiggerRigger, Manuel National University of SingaporeSingapore Workshops Chair in Organizing Committee for ECOOP 2024 Workshops Chair in Workshops Committee within the ISSTA/ECOOP Workshops-track
Amos RobinsonRobinson, Amos Australian National University, AustraliaAustralia Pipit on the Post: proving pre- and post-conditions of reactive systems
Raven RothkopfRothkopf, Raven Barnard CollegeUnited States Rose: Composable Autodiff for the Interactive Web
Reshma RoyRoy, Reshma National Institute of Technology, Calicut Partial Redundancy Elimination in Two Iterative Data Flow Analyses
Michal RozsívalRozsíval, Michal Faculty of Information Technology, Brno University of Technology Automated Testing of Networked Systems Reliability
Neea RuschRusch, Neea Augusta UniversityUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
S Sreekala SS, Sreekala National Institute of Technology, Calicut Partial Redundancy Elimination in Two Iterative Data Flow Analyses
Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, SkopjeNorth Macedonia Mutation-based Lifted Repair of Software Product Lines
Simmo SaanSaan, Simmo University of Tartu, EstoniaEstonia Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Larisa SafinaSafina, Larisa INRIA Lillle - Nord EuropeFrance Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University and Nat. Tech. Univ. of AthensSweden SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland PC Co-Chair in Organizing Committee for ECOOP 2024 Session Chair of (part of ECOOP Technical Papers) ECOOP Awards Opening and Welcome PC Co-Chair in Program Committee within the ECOOP Technical Papers-track
Florian SattlerSattler, Florian Saarland Informatics Campus, Saarland UniversityGermany Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Fair join pattern matching for actors
Fabian SchiebelSchiebel, Fabian Fraunhofer IEM Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Stefan SchottSchott, Stefan Heinz Nixdorf Institut, Paderborn UniversityGermany Java Bytecode Normalization for Code Similarity Analysis
Peter SchrammelSchrammel, Peter University of Sussex and Diffblue LtdUnited Kingdom JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications
Ilya SergeySergey, Ilya National University of SingaporeSingapore Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Manuel SerranoSerrano, Manuel Inria; Université Côte d’AzurFrance Static Basic Block Versioning Committee Member in Program Committee within the ECOOP Technical Papers-track
Sanjit SeshiaSeshia, Sanjit UC Berkeley Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations
Florian SextlSextl, Florian TU Wien, AustriaAustria With Biabduction towards Memory Safety across the Rust-C-FFI
Arindam SharmaSharma, Arindam Imperial College London, UK Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Dennis ShashaShasha, Dennis New York UniversityUnited States Verifying Lock-free Search Structure Templates
Konrad SiekSiek, Konrad Czech Technical University in PraguePoland The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Optimizing Layout of Recursive Datatypes with Marmoset
Rob SisonSison, Rob UNSW SydneyAustralia Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Dang SixuanSixuan, Dang Duke University CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Wei SongSong, Wei Nanjing University of Science and TechnologyChina FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Jonas SpengerSpenger, Jonas KTH Royal Institute of TechnologySweden Failure Transparency in Stateful Dataflow Systems
Manu SridharanSridharan, Manu University of California at RiversideUnited States Indirection-Bounded Call Graph Analysis
Prashast SrivastavaSrivastava, Prashast Columbia University, USAUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Benedikt SteiningerSteininger, Benedikt IMC University of Applied Sciences Krems The Flexcrash Platform for Testing Autonomous Vehicles in Mixed-Traffic Scenarios
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Closing and Invitation to ECOOP 2025
Evan SultanikSultanik, Evan Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Ke SunSun, Ke Peking UniversityChina Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Xiaoyu SunSun, Xiaoyu Australian National University, AustraliaAustralia Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Yaozhu SunSun, Yaozhu University of Hong KongChina Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Youcheng SunSun, Youcheng University of ManchesterUnited Kingdom ESBMC-Python: A Bounded Model Checker for Python Programs
Joshua SunshineSunshine, Joshua Carnegie Mellon University Rose: Composable Autodiff for the Interactive Web
Marek SurovičSurovič, Marek Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Joseph SweeneySweeney, Joseph Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
T Jinhao TanTan, Jinhao University of Hong KongChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yudai TanabeTanabe, Yudai Institute of Science TokyoJapan Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Pedro TavaresTavares, Pedro Faculty of Engineering, University of Porto FRAFOL: FRAmework FOr Learning mutation testing
Michelle ThalakotturThalakottur, Michelle Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany Session Chair of Synthesis and verification (part of ECOOP Technical Papers) A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson Committee Member in Program Committee within the ECOOP Technical Papers-track
Norbert TihanyiTihanyi, Norbert Eotvos Lorand University JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Richard TreflerTrefler, Richard University of Waterloo Inductive Predicate Synthesis Modulo Programs
Facundo TuescaTuesca, Facundo Trail of Bits PolyTracker: Whole-Input Dynamic Information Flow Tracing
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Session Chair of Types 1 (part of ECOOP Technical Papers) Fair join pattern matching for actors Committee Member in Program Committee within the ECOOP Technical Papers-track
Fredrik TåquistTåquist, Fredrik Uppsala University SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs
V Milla ValnetValnet, Milla Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Bas van den Heuvelvan den Heuvel, Bas Karlsruhe University of Applied Sciences, University of FreiburgGermany Information Flow Control in Cyclic Process Networks
Arie van Deursenvan Deursen, Arie Delft University of TechnologyNetherlands Understanding Concurrency Bugs in Real-World Programs with Kotlin Coroutines
Bram VandenbogaerdeVandenbogaerde, Bram Vrije Universiteit Brussel Soft Verification for Actor Contract Systems
Martin VassorVassor, Martin Université de Lorraine; CNRS; Inria; LORIAFrance Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
Niki VazouVazou, Niki IMDEA Software Institute Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Aleksey VeresovVeresov, Aleksey KTH Royal Institute of TechnologySweden Failure Transparency in Stateful Dataflow Systems
Jan VitekVitek, Jan Northeastern UniversityUnited States The Fault in our Stars: Designing Reproducible Large-scale Code Analysis Experiments
Michael VollmerVollmer, Michael University of KentUnited Kingdom Optimizing Layout of Recursive Datatypes with Marmoset
W Di WangWang, Di Peking UniversityChina Formalizing, Mechanizing, and Verifying Class-based Refinement Types Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Guancheng WangWang, Guancheng University of OttawaCanada Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Jiaqi WangWang, Jiaqi Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
Jikai WangWang, Jikai Huazhong University of Science and TechnologyChina SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Jingbo WangWang, Jingbo University of Southern CaliforniaUnited States Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Jue WangWang, Jue Nanjing UniversityChina Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Luqiao WangWang, Luqiao Xidian UniversityChina Graph Learning for Extract Class Refactoring HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
Meng WangWang, Meng University of BristolUnited Kingdom Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Qiangqiang WangWang, Qiangqiang Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
Minjie WeiWei, Minjie Xidian UniversityChina HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland ECOOP Publicity Chair in Organizing Committee for ECOOP 2024 Compiling with Arrays
Xin-Cheng WenWen, Xin-Cheng Harbin Institute of TechnologyChina Collaboration to Repository-Level Vulnerability Detection
Shiwei WengWeng, Shiwei Johns Hopkins UniversityUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Scott WesleyWesley, Scott Dalhousie University Inductive Predicate Synthesis Modulo Programs
Ashton WiersdorfWiersdorf, Ashton University of UtahUnited States Type Tailoring
Thomas WiesWies, Thomas New York UniversityUnited States Verifying Lock-free Search Structure Templates
Stefan WinterWinter, Stefan Ulm University and LMU MunichGermany Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Tong WuWu, Tong University of Manchester JCWIT: A Correctness-Witness Validator for Java Programs based on Bounded Model Checking
Xiaodi WuWu, Xiaodi University of MarylandUnited States Qafny: A Quantum-Program Verifier
Valentin WüstholzWüstholz, Valentin ConsenSysAustria Inductive Predicate Synthesis Modulo Programs
X Jingling XueXue, Jingling UNSW SydneyAustralia A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-in On-the-Fly Call Graph Construction
Y Drishti YadavYadav, Drishti Technische Universität WienAustria From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems
Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
Jiwei YanYan, Jiwei Institute of Software at Chinese Academy of SciencesChina DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates Panda: A Concurrent Scheduler for Compiler-Based Tools
Jun YanYan, Jun Institute of Software, Chinese Academy of SciencesChina Panda: A Concurrent Scheduler for Compiler-Based Tools
Ming YanYan, Ming Tianjin University, ChinaChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Ziyi YangYang, Ziyi National University of SingaporeSingapore Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Elaine YaoYao, Elaine Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yue YaoYao, Yue Carnegie Mellon University Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Fearless Asynchronous Communications with Timed Multiparty Session Protocols Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation
David YoungYoung, David University of Kansas, USA Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Z José Antonio Zamudio AmayaZamudio Amaya, José Antonio CISPA Helmholtz Center for Information SecuritySpain Shaping Test Inputs in Grammar-Based Fuzzing
Andreas ZellerZeller, Andreas CISPA Helmholtz Center for Information SecurityGermany Soft Verification for Actor Contract Systems From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems Integrating Mutation Techniques to Keep Specification and Source Code in Sync The Devil's Guide to Doing your PhD – 10 tips for despair, dismay, and disappointment Leveraging Natural Language Processing and Data Mining to Augment and Validate APIs Robustness against the C/C++11 memory model Automated Testing of Networked Systems Reliability
Chengyu ZhangZhang, Chengyu ETH ZurichSwitzerland Committee Member in Tool Demonstrations Program Committee within the ISSTA/ECOOP Tool Demonstrations-track
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Jian ZhangZhang, Jian Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina DMMPP: Constructing Dummy Main Methods for Android Apps with Path-sensitive Predicates Panda: A Concurrent Scheduler for Compiler-Based Tools
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP 2024
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Software Quality Assurance in the Era of Large Language Models Sponsorship Co-Chair in Sponsorship Committee within the ISSTA/ECOOP Sponsorship-track
Zenong ZhangZhang, Zenong The University of Texas - Dallas Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yingquan ZhaoZhao, Yingquan Tianjin UniversityChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yutong ZhaoZhao, Yutong University of Central MissouriUnited States HECS: A Hypergraph Learning-based System for Detecting Extract Class Refactoring Opportunities
Zhehao ZhaoZhao, Zhehao Peking University SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
Quan ZhouZhou, Quan Penn State University CtChecker: a Precise, Sound and Efficient Static Analysis for Constant-Time Programming
Yi ZhouZhou, Yi Carnegie Mellon UniversityUnited States Committee Member in Extended Review Committee and External Reviewers within the ECOOP Technical Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Mingwei ZhuZhu, Mingwei University of Maryland, College Park Qafny: A Quantum-Program Verifier
Elena ZuccaZucca, Elena University of GenoaItaly Committee Member in Program Committee within the ECOOP Technical Papers-track
Maksim ZuevZuev, Maksim JetBrains Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
Joseph ZulloZullo, Joseph Purdue University Optimizing Layout of Recursive Datatypes with Marmoset
Aron ZwaanZwaan, Aron Delft University of TechnologyNetherlands Defining Name Accessibility using Scope Graphs

ECOOP 2024 Contributors

Results (364)

Tracks

ISSTA/ECOOP 2024