ECOOP 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (231)

A Yasemin AcarAcar, Yasemin Max Planck Institute for Security and Privacy Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the VORTEX-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Session Chair of Afternoon session 1 (part of VORTEX) Committee Member in Program Committee within the FTfJP-track Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Gradual Program Analysis for Null Pointers PC Member in Program Committee within the ECOOP Technical Papers-track
Karim AliAli, Karim University of Alberta Dahl-Nygaard Junior Prize: Scalable and Precise Static Analysis. For Real!
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Keynote - Dahl-Nygaard Senior Prize (time band 1) (part of ECOOP Keynotes) Session Chair of Keynote - Dahl-Nygaard Junior Prize (time band 1) (part of ECOOP Keynotes) Session Chair of Morning session (part of VORTEX) Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Tomoyuki AotaniAotani, Tomoyuki Mamezou Co.,Ltd. Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
Sven ApelApel, Sven Saarland UniversityGermany Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
Ellen ArtecaArteca, Ellen Northeastern UniversityUnited States Enabling Additional Parallelism in Asynchronous JavaScript Applications Enabling Additional Parallelism in Asynchronous JavaScript Applications
B Johannes BaderBader, Johannes Jane Street Gradual Program Analysis for Null Pointers
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Committee Member in Program Committee within the COP-track
Pietro BarbieriBarbieri, Pietro Università di GenovaItaly Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian Bartolo BurlòBartolo Burlò, Christian Gran Sasso Science InstituteItaly On the Monitorability of Session Types, in Theory and Practice On the Monitorability of Session Types, in Theory and Practice
Raef BassilyBassily, Raef Ohio State University Differential Privacy for Coverage Analysis of Software Traces Differential Privacy for Coverage Analysis of Software Traces
Alexandre BergelBergel, Alexandre University of ChileChile Session Chair of Session 2 (part of REBASE)
Jan BessaiBessai, Jan Technical University DortmundGermany Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
Walter BinderBinder, Walter University of Lugano, Switzerland PC Member in Program Committee within the ECOOP Technical Papers-track
Eric BoddenBodden, Eric University of Paderborn; Fraunhofer IEMGermany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2021 Session Chair of Student Presentations Session 1 (part of ECOOP and ISSTA Doctoral Symposium) Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis Dealing with Variability in API Misuse Specification PC Member in Program Committee within the ECOOP Technical Papers-track Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP and ISSTA Doctoral Symposium-track
CF Bolz-TereickBolz-Tereick, CF Germany Committee Member in Program Committee within the ICOOOLPS-track
Rodrigo BonifácioBonifácio, Rodrigo Computer Science Department - University of Brasília Dealing with Variability in API Misuse Specification
Utpal BoraBora, Utpal IIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Idris 2: Quantitative Type Theory in Practice Idris 2: Quantitative Type Theory in Practice
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly Committee Member in Program Committee within the VORTEX-track
Kim BruceBruce, Kim Pomona CollegeUnited States Dahl-Nygaard Senior Prize: Theory to Understanding
Maxime BuyseBuyse, Maxime Uber ATCPFrance ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
Clément BéraBéra, Clément Google, AarhusDenmark Committee Member in Program Committee within the ICOOOLPS-track
Marcel BöhmeBöhme, Marcel Monash UniversityAustralia Workshops Co-Chair in Organizing Committee for ECOOP 2021 Session Chair of Fuzzing (part of ECOOP and ISSTA Discussions with Experts) Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Committee Member in Program Committee within the COP-track
Elias CastegrenCastegren, Elias KTHSweden Committee Member in Organizing Committee within the IWACO-track
Manuel ChakravartyChakravarty, Manuel Tweag & IOHKNetherlands Session Chair of Session 4 (part of REBASE)
Satish ChandraChandra, Satish FacebookUnited States Session Chair of Testing/Analysis and ML/DL 1 (part of ECOOP and ISSTA Discussions with Experts)
Maria ChristakisChristakis, Maria MPI-SWSGermany Workshops Co-Chair in Organizing Committee for ECOOP 2021 Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track
Giovanni CiattoCiatto, Giovanni Alma Mater Studiorum---Università di Bologna Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David CokCok, David Safer Software Consulting, LLC Organizing Chair in Program Committee Chair within the FTfJP-track
Christian ColomboColombo, Christian Committee Member in Program Committee within the VORTEX-track
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Program Committee within the AISTA-track
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Committee Member in Program Committee within the VORTEX-track
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Session Chair of ECOOP Test of Time Award (time band 1) (part of ECOOP Keynotes) Session Chair of ECOOP Test of Time Award (time band 3) (part of ECOOP Keynotes)
Remi DelmasDelmas, Remi Uber ATCPFrance ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly PC Member in Program Committee within the ECOOP Technical Papers-track
Lukas DiekmannDiekmann, Lukas King's College LondonUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Werner DietlDietl, Werner University of Waterloo Session Chair of Types (time band 2) (part of ECOOP Technical Papers) Session Chair of Program Analysis / Runtimes (time band 2) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track Steering Committee Member in Steering Committee within the FTfJP-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Session Chair of Language Design (time band 2) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Aleksandar S. DimovskiDimovski, Aleksandar S. Mother Teresa University, Skopje Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
Crystal Chang DinDin, Crystal Chang University of BergenNorway Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Cynthia DisenfeldDisenfeld, Cynthia Foretellix and Open University of IsraelIsrael Committee Member in Program Committee within the COP-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Carnegie Mellon University Gradual Program Analysis for Null Pointers
Xiaoning DuDu, Xiaoning Monash University, Australia Committee Member in Program Committee within the AISTA-track
Boris DüdderDüdder, Boris University of CopenhagenDenmark Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
E Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States Session Chair of Advances in Testing (part of ECOOP and ISSTA Discussions with Experts)
Sebastian ErdwegErdweg, Sebastian JGU Mainz Posters Co-Chair in Organizing Committee for ECOOP 2021 Session Chair of Specification and Implementation of Type Systems (part of ECOOP and ISSTA Discussions with Experts) Posters Committee Co-Chair in Posters Committee within the ECOOP and ISSTA Posters-track
Sam EstepEstep, Sam Carnegie Mellon University Gradual Program Analysis for Null Pointers
F Yliès FalconeFalcone, Yliès Univ. Grenoble Alpes, InriaFrance Committee Member in Program Committee within the VORTEX-track
Marie FarrellFarrell, Marie Maynooth UniversityIreland Committee Member in Program Committee within the FTfJP-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the ICOOOLPS-track
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly Committee Member in Program Committee within the VORTEX-track
Olivier FlückigerFlückiger, Olivier Northeastern University Co-chair in Organizing Committee within the ICOOOLPS-track
George FourtounisFourtounis, George University of AthensGreece Session Chair of Types / Program Analysis (time band 3) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Chair of Afternoon session 2 (part of VORTEX) On the Monitorability of Session Types, in Theory and Practice On the Monitorability of Session Types, in Theory and Practice Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
G Yaoqing GaoGao, Yaoqing Huawei Canada Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Saverio GiallorenzoGiallorenzo, Saverio Alma Mater Studiorum - Università di BolognaItaly Multiparty Languages: the Choreographic and Multitier Cases
Aviral GoelGoel, Aviral Northeastern University Organizer in REBASE within the REBASE-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Program Committee within the IWACO-track
Colin GordonGordon, Colin Drexel UniversityUnited States Session Chair of Parallelism / Runtimes (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Michael GreenbergGreenberg, Michael Stevens Institute of Technology Session Chair of Advances in Type Systems (part of ECOOP and ISSTA Discussions with Experts) PC Member in Program Committee within the ECOOP Technical Papers-track
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Steering Committee within the FTfJP-track
David GroveGrove, David IBM ResearchUnited States PC Member in Program Committee within the ECOOP Technical Papers-track
Xiaodong GuGu, Xiaodong Shanghai Jiao Tong University, ChinaChina Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
H William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2021 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Philipp HallerHaller, Philipp KTHSweden Committee Member in Program Committee within the IWACO-track
Youssef HamadiHamadi, Youssef Uber Elevate ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety
Yo-Sub HanHan, Yo-Sub Yonsei University Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Yu HaoHao, Yu Ohio State University Differential Privacy for Coverage Analysis of Software Traces
Yu HaoHao, Yu University of California at Riverside, USAUnited States Differential Privacy for Coverage Analysis of Software Traces
Paul HarveyHarvey, Paul Rakuten Mobile Innovation StudioJapan Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Dongjie HeHe, Dongjie University of New South Wales Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
Pinjia HeHe, Pinjia ETH Zurich Committee Member in Program Committee within the AISTA-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
George HeinemanHeineman, George WPIUnited States Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
George HeinemanHeineman, George Worcester Polytechnic Institute Covariant Conversions (CoCo): A Design Pattern for Type-Safe Modular Software Evolution in Object-Oriented Systems
Paula HerberHerber, Paula University of Munster, GermanyGermany Committee Member in Program Committee within the FTfJP-track
Ben HermannHermann, Ben Technical University DortmundGermany Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Asmae Heydari TabarHeydari Tabar, Asmae Technical University of DarmstadtGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Kenji HisazumiHisazumi, Kenji Kyushu University Committee Member in Program Committee within the COP-track
Xuejing HuangHuang, Xuejing The University of Hong Kong Type-Directed Operational Semantics for Gradual Typing Type-Directed Operational Semantics for Gradual Typing
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
J Ranjit JhalaJhala, Ranjit University of California at San Diego mist: Refinements of Futures Past Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands Committee Member in Program Committee within the VORTEX-track
Ralf JungJung, Ralf MPI-SWSGermany Committee Member in Organizing Committee within the IWACO-track
K Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Florida Gulf Coast UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Gregor KiczalesKiczales, Gregor Session Chair of Session 3 (part of REBASE) ECOOP Test of Time Award
Sunghun KimKim, Sunghun Hong Kong University of Science and TechnologyHong Kong Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Matthew KolosickKolosick, Matthew University of California, San Diego mist: Refinements of Futures Past Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Committee Member in Program Committee within the FTfJP-track
Alexander KovalenkoKovalenko, Alexander Czech Technical University in Prague CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories
Anil KoyuncuKoyuncu, Anil SNT, University of Luxembourg Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States Session Chair of Practical Static Analysis and Bug Finding (part of ECOOP and ISSTA Discussions with Experts) PC Member in Program Committee within the ECOOP Technical Papers-track
Stefan KrügerKrüger, Stefan Independent ResearcherGermany Dealing with Variability in API Misuse Specification
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) PC Member in Program Committee within the ECOOP Technical Papers-track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Session Chair of Potpourri (time band 3) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Filip KřikavaKřikava, Filip Czech Technical University Organizer in REBASE within the REBASE-track
L Sufian LatifLatif, Sufian Ohio State University Differential Privacy for Coverage Analysis of Software Traces Differential Privacy for Coverage Analysis of Software Traces
Chris LattnerLattner, Chris SiFive Session Chair of Session 5 (part of REBASE)
Julia LawallLawall, Julia InriaFrance PC Member in Program Committee within the ECOOP Technical Papers-track
Wei LeLe, Wei Iowa State UniversityUnited States Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2021 Session Chair of Student presentations Session 2 (part of ECOOP and ISSTA Doctoral Symposium) Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP and ISSTA Doctoral Symposium-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Steering Committee Member in Steering Committee within the FTfJP-track
Karoliina LehtinenLehtinen, Karoliina University of LiverpoolUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Lucie LerchLerch, Lucie Czech Technical University in PragueCzechia Finance Chair in Organizing Committee for ECOOP 2021
Ding LiLi, Ding NEC LabsChina Committee Member in Program Committee within the AISTA-track
Yun LinLin, Yun National University of SingaporeSingapore Committee Member in Program Committee within the AISTA-track
Yang LiuLiu, Yang Nanyang Technological University Session Chair of Testing/Analysis and ML/DL 1 (part of ECOOP and ISSTA Discussions with Experts)
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Jingbo LuLu, Jingbo UNSW Sydney Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
M Lei MaMa, Lei University of AlbertaCanada Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Magnus MadsenMadsen, Magnus Aarhus University Committee Member in Program Committee within the ICOOOLPS-track
Petr MajMaj, Petr Czech Technical University CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP 2021
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Mira MeziniMezini, Mira TU Darmstadt, GermanyGermany Session Chair of Multiparty Programming and Session Types (time band 1) (part of ECOOP Technical Papers) Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) Dealing with Variability in API Misuse Specification PC Member in Program Committee within the ECOOP Technical Papers-track
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Steering Committee within the FTfJP-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Multiparty Languages: the Choreographic and Multitier Cases
Todd MytkowiczMytkowicz, Todd Microsoft ResearchUnited States PC Member in Program Committee within the ECOOP Technical Papers-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark General Chair in Organizing Committee for ECOOP 2021 Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track
N Sarah NadiNadi, Sarah University of AlbertaCanada Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Dealing with Variability in API Misuse Specification Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Laura NenziNenzi, Laura University of TriesteItaly Committee Member in Program Committee within the VORTEX-track
Lisa Nguyen Quang DoNguyen Quang Do, Lisa GoogleSwitzerland Publicity Chair in Organizing Committee for ECOOP 2021 Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Session Chair of Session 2 (part of REBASE)
Andrew NisbetNisbet, Andrew University of Manchester, UK Committee Member in Program Committee within the ICOOOLPS-track
James NobleNoble, James Victoria University of WellingtonNew Zealand Session Chair of Keynote - Dahl-Nygaard Senior Prize (time band 2) (part of ECOOP Keynotes) Committee Member in Program Committee within the FTfJP-track
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology Committee Member in Program Committee within the COP-track
O Robert O'CallahanO'Callahan, Robert PernoscoNew Zealand PC Member in Program Committee within the ECOOP Technical Papers-track
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Session Chair of Empirical Studies / Parallelism (time band 3) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Session Chair of Advances in Type Systems (part of ECOOP and ISSTA Discussions with Experts) Type-Directed Operational Semantics for Gradual Typing A Dependently Typed Calculus with Polymorphic Subtyping Type-Directed Operational Semantics for Gradual Typing Compositional Programming Compositional Programming
P Uday P. KhedkerP. Khedker, Uday Indian Institute of Technology (IIT) BombayIndia Session Chair of Program Analysis (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Annibale PanichellaPanichella, Annibale Delft University of Technology; University of LuxembourgNetherlands Session Chair of Advances in Testing (part of ECOOP and ISSTA Discussions with Experts)
Mathias PayerPayer, Mathias EPFLSwitzerland Session Chair of Fuzzing (part of ECOOP and ISSTA Discussions with Experts)
Hila PelegPeleg, Hila TechnionIsrael PC Member in Program Committee within the ECOOP Technical Papers-track
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil PC Member in Program Committee within the ECOOP Technical Papers-track
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Multiparty Languages: the Choreographic and Multitier Cases
Mauro PezzePezze, Mauro USI Lugano; Schaffhausen Institute of TechnologySwitzerland Session Chair of Testing/Analysis and ML/DL 2 (part of ECOOP and ISSTA Discussions with Experts)
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the IWACO-track
Michael PradelPradel, Michael University of StuttgartGermany Session Chair of Practical Static Analysis and Bug Finding (part of ECOOP and ISSTA Discussions with Experts) PC Member in Program Committee within the ECOOP Technical Papers-track
Jyoti PrakashPrakash, Jyoti National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Session Chair of Session 6 (part of REBASE)
Violet Ka I PunPun, Violet Ka I Committee Member in Program Committee within the FTfJP-track
R Ajitha RajanRajan, Ajitha University of EdinburghUnited Kingdom Posters Co-Chair in Organizing Committee for ECOOP 2021 Posters Committee Co-Chair in Posters Committee within the ECOOP and ISSTA Posters-track
Ohad RauRau, Ohad Georgia Institute of TechnologyUnited States Linear Promises: Towards Safer Concurrent Programming Linear Promises: Towards Safer Concurrent Programming
Giles RegerReger, Giles University of ManchesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany Committee Member in Program Committee within the COP-track
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
David RichterRichter, David Technical University of DarmstadtGermany Multiparty Languages: the Choreographic and Multitier Cases
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Session Chair of Session 4 (part of REBASE)
Atanas RountevRountev, Atanas Ohio State University Differential Privacy for Coverage Analysis of Software Traces Differential Privacy for Coverage Analysis of Software Traces
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea PC Member in Program Committee within the ECOOP Technical Papers-track
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, Skopje Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Multiparty Languages: the Choreographic and Multitier Cases
Jordan SamhiSamhi, Jordan University of Luxembourg Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Linear Promises: Towards Safer Concurrent Programming
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Linear Promises: Towards Safer Concurrent Programming
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark On the Monitorability of Session Types, in Theory and Practice On the Monitorability of Session Types, in Theory and Practice Committee Member in Program Committee within the VORTEX-track
Max SchaeferSchaefer, Max GitHub, Inc.United Kingdom Enabling Additional Parallelism in Asynchronous JavaScript Applications
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
Max SchäferSchäfer, Max IBMUnited States Enabling Additional Parallelism in Asynchronous JavaScript Applications
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Co-chair in Organizing Committee within the ICOOOLPS-track
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Lambda-based object-oriented programming
Narges ShadabShadab, Narges University of California at RiversideUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Arnab SharmaSharma, Arnab University of PaderbornGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Committee Member in Program Committee within the AISTA-track
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Best-Effort Lazy Evaluation for Python Software Built On APIs
Ali ShokriShokri, Ali Rochester Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Konrad SiekSiek, Konrad Czech Technical University in PraguePoland CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom PC Member in Program Committee within the ECOOP Technical Papers-track
Somesh SinghSingh, Somesh Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John L. SingletonSingleton, John L. GitHub, Inc.United States Committee Member in Program Committee within the FTfJP-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Program Committee Chair in Organizing Committee for ECOOP 2021 Program Committee Chair in Program Committee within the ECOOP Technical Papers-track Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2021 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Alexander J. SummersSummers, Alexander J. University of British Columbia (UBC)Canada Session Chair of Modular Programming / Types (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track Steering Committee Member in Steering Committee within the FTfJP-track
Jun SunSun, Jun Singapore Management UniversitySingapore Session Chair of Symbolic Execution (part of ECOOP and ISSTA Discussions with Experts)
Yaozhu SunSun, Yaozhu University of Hong KongChina Compositional Programming Compositional Programming
Joshua SunshineSunshine, Joshua Carnegie Mellon University Gradual Program Analysis for Null Pointers
T Éric TanterTanter, Éric University of Chile Gradual Program Analysis for Null Pointers
Lorenzo TestaTesta, Lorenzo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Frank TipTip, Frank Northeastern UniversityUnited States Summer School Co-Chair in Organizing Committee for ECOOP 2021 Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Enabling Additional Parallelism in Asynchronous JavaScript Applications Enabling Additional Parallelism in Asynchronous JavaScript Applications Summer School Co-Chair in Summer School Committee within the ECOOP and ISSTA Summer School-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Session Chair of Types (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Shukun TokasTokas, Shukun SINTEF Digital, Oslo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Anish TondwalkarTondwalkar, Anish University of California, San Diego mist: Refinements of Futures Past Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types
Omer TrippTripp, Omer AmazonUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP 2021 Session Chair of Potpourri (time band 1) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
U Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the FTfJP-track
Ganesha UpadhyayaUpadhyaya, Ganesha Harmony.oneUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
V Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of Technology Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers Scope States
Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands Committee Member in Program Committee within the FTfJP-track
Eelco VisserVisser, Eelco Delft University of Technology Session Chair of Modular Programming / Types (time band 3) (part of ECOOP Technical Papers) Session Chair of Specification and Implementation of Type Systems (part of ECOOP and ISSTA Discussions with Experts) Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers Scope States PC Member in Program Committee within the ECOOP Technical Papers-track
Willem VisserVisser, Willem Stellenbosch University, South AfricaSouth Africa Session Chair of Symbolic Execution (part of ECOOP and ISSTA Discussions with Experts)
Jan VitekVitek, Jan Northeastern University / Czech Technical UniversityCzechia CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories Organizer in REBASE within the REBASE-track
Caleb VossVoss, Caleb Georgia Institute of TechnologyUnited States Linear Promises: Towards Safer Concurrent Programming Linear Promises: Towards Safer Concurrent Programming
W Shuai WangWang, Shuai Hong Kong University of Science and Technology Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Pascal WeisenburgerWeisenburger, Pascal TU DarmstadtGermany Multiparty Languages: the Choreographic and Multitier Cases
Aaron WeissWeiss, Aaron Northeastern UniversityUnited States Committee Member in Program Committee within the IWACO-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom PC Member in Program Committee within the ECOOP Technical Papers-track
Tobias WrigstadWrigstad, Tobias Uppsala University, Sweden Session Chair of Keynote - Dahl-Nygaard Junior Prize (time band 3) (part of ECOOP Keynotes)
X Tao XieXie, Tao Peking UniversityChina Session Chair of Testing/Analysis and ML/DL 2 (part of ECOOP and ISSTA Discussions with Experts)
Xiaofei XieXie, Xiaofei Kyushu UniversityJapan Session Chair of Main Session (part of AISTA) Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track Co-chair in Organizing Committee within the AISTA-track
Jingling XueXue, Jingling UNSWAustralia Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability
Mingqi XueXue, Mingqi A Dependently Typed Calculus with Polymorphic Subtyping
Y Junwen YangYang, Junwen University of ChicagoChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Wenjia YeYe, Wenjia The University of Hong Kong Type-Directed Operational Semantics for Gradual Typing Type-Directed Operational Semantics for Gradual Typing
Tingting YuYu, Tingting Institute of software, Chinese academy of sciencesChina Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Z Andreas ZellerZeller, Andreas CISPAGermany Summer School Co-Chair in Organizing Committee for ECOOP 2021 Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Summer School (part of ECOOP and ISSTA Summer School) Session Chair of Session 1 (part of REBASE) Summer School Co-Chair in Summer School Committee within the ECOOP and ISSTA Summer School-track
Olivier ZendraZendra, Olivier Committee Member in Program Committee within the ICOOOLPS-track
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Guoqiang ZhangZhang, Guoqiang North Carolina State University Best-Effort Lazy Evaluation for Python Software Built On APIs
Hailong ZhangZhang, Hailong Fordham University Differential Privacy for Coverage Analysis of Software Traces Differential Privacy for Coverage Analysis of Software Traces
Hongyu ZhangZhang, Hongyu University of NewcastleAustralia Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Session Chair of Potpourri (time band 2) (part of ECOOP Technical Papers)
Lingming ZhangZhang, Lingming University of Illinois at Urbana-ChampaignUnited States PC Member in Program Committee within the ECOOP Technical Papers-track
Lingming ZhangZhang, Lingming University of Illinois at Urbana-Champaign Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Lu ZhangZhang, Lu Peking UniversityChina Session Chair of Multiparty Programming and Session Types (time band 3) (part of ECOOP Technical Papers) PC Member in Program Committee within the ECOOP Technical Papers-track
Weixin ZhangZhang, Weixin University of Bristol, UK Compositional Programming Compositional Programming
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track
Elena ZuccaZucca, Elena University of Genova Lambda-based object-oriented programming PC Member in Program Committee within the ECOOP Technical Papers-track Committee Member in Program Committee within the FTfJP-track

ECOOP 2021 Contributors

Results (231)

Tracks

ECOOP and ISSTA 2021

Co-hosted Conferences

Workshops