ECOOP 2024 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (285)

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 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
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 Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
B Lorenzo BacchianiBacchiani, Lorenzo University of Bologna Behavioral up/down casting for statically typed languages
Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Defining Name Accessibility using Scope Graphs
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Information Flow Control in Cyclic Process Networks Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
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
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
Stefan BrunthalerBrunthaler, Stefan Bundeswehr University MunichGermany HOBBIT: Hashed Object Based InTegrity Cross Module Quickening - The Curious Case of C Extensions
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
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
Alvin CheungCheung, Alvin University of California at BerkeleyUnited States 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
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal 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
D 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 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
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 Information Flow Control in Cyclic Process Networks Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency
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 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 Serena Elisa PontaElisa Ponta, Serena SAP Security Research Java Bytecode Normalization for Code Similarity Analysis
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 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
Wolfram FischerFischer, Wolfram SAP Security Research Java Bytecode Normalization for Code Similarity Analysis
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
Stephen N. FreundFreund, Stephen N. Williams College Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning
G Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness 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 Committee Member in Program Committee within the ECOOP Technical Papers-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2024 Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track
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
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
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Inductive Predicate Synthesis Modulo Programs
H Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Fair join pattern matching for actors Failure Transparency in Stateful Dataflow Systems
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
Niranjan HasabnisHasabnis, Niranjan Intel LabsUnited 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 University 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
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 Johannes Kepler University, Linz, Austria 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 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
K David KaindlstorferKaindlstorfer, David Web Co-Chair in Organizing Committee for ECOOP 2024
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
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 Darmstadt, GermanyGermany 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 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
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 Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ISSTA/ECOOP Doctoral Symposium-track
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
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
Liyi LiLi, Liyi Iowa State University Qafny: A Quantum-Program Verifier
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
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 Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
M 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 Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness Reasoning
Daniel MarshallMarshall, Daniel 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
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 Université de Montréal Static Basic Block Versioning
Hernan MelgrattiMelgratti, Hernan University of Buenos Aires, Argentina Fair join pattern matching for actors
Mira MeziniMezini, Mira TU DarmstadtGermany Compiling with Arrays Committee Member in Program Committee within the ECOOP Technical Papers-track
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
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance 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 Matching Plans for Frame Inference in Compositional Reasoning Compositional Symbolic Execution for Correctness and Incorrectness 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
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
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States 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
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 The University of Melbourne 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
Dan PlyukhinPlyukhin, Dan University of Southern DenmarkUnited States Ozone: Fully Out-of-Order Choreographies
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
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
Yuxin QiuQiu, Yuxin University of California, 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
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 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 The 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
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
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
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland PC Co-Chair in Organizing Committee for ECOOP 2024 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
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; University of 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
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
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
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
Joshua SunshineSunshine, Joshua Carnegie Mellon University Rose: Composable Autodiff for the Interactive Web
T Jinhao TanTan, Jinhao University of Hong Kong Committee Member in Artifact Evaluation Committee within the ECOOP Artifact Evaluation-track
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan 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
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 A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson Committee Member in Program Committee within the ECOOP Technical Papers-track
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
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Fair join pattern matching for actors Committee Member in Program Committee within the ECOOP Technical Papers-track
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
Martin VassorVassor, Martin University of Oxford, UK 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 Technology 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
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
Meng WangWang, Meng University of BristolUnited Kingdom Formalizing, Mechanizing, and Verifying Class-based Refinement Types
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland ECOOP Publicity Chair in Organizing Committee for ECOOP 2024 Compiling with Arrays
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
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 Tetsuro YamazakiYamazaki, Tetsuro University of TokyoJapan InferType: A Compiler Toolkit for Implementing Efficient Constraint-Based Type Inference
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 Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation Fearless Asynchronous Communications with Timed Multiparty Session Protocols
David YoungYoung, David University of Kansas, USA Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
Z 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
Lingming ZhangZhang, Lingming University of Illinois Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP 2024
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign 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
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
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 (285)

Tracks

ISSTA/ECOOP 2024