ECOOP 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (364)

A Dave AbrahamsAbrahams, Dave Google Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
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 Committee Member in Program Committee within the FTfJP-track Session Chair of Afternoon session 1 (part of VORTEX) 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 A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
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
Edward AndertAndert, Edward Arizona State University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Luthfan Anshar LubisAnshar Lubis, Luthfan [Student Talk] Object-Oriented Programming with Versions
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
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly RM for Users’ Safety and Security in the Built Environment Towards Aggregate Monitoring of Spatio-temporal Properties
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
Fabian Bauer-MarquartBauer-Marquart, Fabian Universität Konstanz Quantum Computing & Machine Learning: Towards Provable Guarantees (Senior Presentation)
Tom BeckmannBeckmann, Tom Hasso Plattner Institute [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
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 Dealing with Variability in API Misuse Specification Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis PC Member in Program Committee within the ECOOP Technical Papers-track Session Chair of Student Presentations Session 1 (part of ECOOP and ISSTA Doctoral Symposium) Doctoral Symposium Co-Chair in Doctoral Symposium Committee within the ECOOP and ISSTA Doctoral Symposium-track FanSASTic! The magic behind Static Application Security Testing
Eric BoddenBodden, Eric Automated Cell Header Generator for Jupyter Notebooks
CF Bolz-TereickBolz-Tereick, CF Germany Threaded Code Generation with a Meta-tracing JIT Compiler 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
David BremnerBremner, David University of New Brunswick An Eclipse OMR-based Garbage Collector for Python
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
Didier BuchsBuchs, Didier University of Geneva, Switzerland Fuel: A Compiler Framework for Safe Memory Management
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 Workshop Co-Chair in Workshop Committee within the ECOOP and ISSTA Workshops-track Foundations of Software Testing Session Chair of Fuzzing (part of ECOOP and ISSTA Discussions with Experts) Fuzzing
C Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom Organizer in Organizers within the ECOOP and ISSTA Discussions with Experts-track Opening Session
Christian A. Candela-UribeCandela-Uribe, Christian A. University of Quindío Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Rafael C. CardosoCardoso, Rafael C. RVPLAN: A General Purpose Framework for Replanning using Runtime Verification
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia [Invited Talk] Generating Adaptations in Context-Oriented Programming using Reinforcement Learning Options Committee Member in Program Committee within the COP-track
Elias CastegrenCastegren, Elias KTHSweden Committee Member in Organizing Committee within the IWACO-track
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Techniques for Evaluating Pragmatic Call Graph Builders
Manuel ChakravartyChakravarty, Manuel Tweag & IOHKNetherlands Session Chair of Session 4 (part of REBASE)
Satish ChandraChandra, Satish FacebookUnited States Machine Learning for Developer Productivity Session Chair of Testing/Analysis and ML/DL 1 (part of ECOOP and ISSTA Discussions with Experts) Testing/Analysis and ML/DL 1
Julio C. Chavarro-PorrasChavarro-Porras, Julio C. Technological University of Pereira Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Haibo ChenChen, Haibo Jiangsu University Probability Adaptive Random Testing by Particle Swarm Optimization (Junior Presentation)
Yuanhui ChengCheng, Yuanhui University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time
Camelia Chisalita-CretuChisalita-Cretu, Camelia Babes-Bolyai University Cluj-NapocaRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Amine ChouchaneChouchane, Amine Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
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
Cliff ClickClick, Cliff meUnited States AA - Yet Another New Language
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Fuel: A Compiler Framework for Safe Memory Management
David CokCok, David Safer Software Consulting, LLC JML and OpenJML for Java 16 Organizing Chair in Program Committee Chair within the FTfJP-track
Christian ColomboColombo, Christian Runtime Verification for Trustworthy Secure Shell Deployment Committee Member in Program Committee within the VORTEX-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Threaded Code Generation with a Meta-tracing JIT Compiler
Maxime CordyCordy, Maxime University of Luxembourg, Luxembourg Committee Member in Program Committee within the AISTA-track
Axel CurmiCurmi, Axel Runtime Verification for Trustworthy Secure Shell Deployment
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly RM for Users’ Safety and Security in the Built Environment 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
Gaël de Chalendarde Chalendar, Gaël Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
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
Giuseppe Di GiudaDi Giuda, Giuseppe RM for Users’ Safety and Security in the Built Environment
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 Ensuring correct cryptographic algorithm and provider usage at compile time 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
Laura DiosanDiosan, Laura Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
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
Isaac DunnDunn, Isaac University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks
Arpita DuttaDutta, Arpita National University of SingaporeSingapore KLEEMA: A DSE based Mutation Analyser Toward Optimal MC/DC Test Case Generation
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 EbertEbert, Sebastian Technische Universität DresdenGermany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
Sebastian ElbaumElbaum, Sebastian University of VirginiaUnited States Session Chair of Advances in Testing (part of ECOOP and ISSTA Discussions with Experts) Advances in Testing
Joshua EllulEllul, Joshua University of Malta Optional Monitoring for Long-Lived Transactions
Achiya ElyasafElyasaf, Achiya Ben-Gurion University of the NegevIsrael [Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
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) Specification and Implementation of Type Systems 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 University of Liverpool Using Dafny to Solve the VerifyThis 2021 Challenges
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 RVPLAN: A General Purpose Framework for Replanning using Runtime Verification Committee Member in Program Committee within the VORTEX-track
Michael FisherFisher, Michael University of Manchester, UKUnited Kingdom Increasing Confidence in Autonomous Systems
Olivier FlückigerFlückiger, Olivier Northeastern University The Strange and Wondrous Life of Functions in Ř 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 Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Multiparty Session Types for Safe Runtime Adaptation in an Actor Language Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) PL/SE for Concurrent / Distributed Systems
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta On the Monitorability of Session Types, in Theory and Practice On the Monitorability of Session Types, in Theory and Practice Session Chair of Afternoon session 2 (part of VORTEX) 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
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of Wellington Naïve Transient Cast Insertion Isn’t (That) Bad
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
Pierre-Yves GibelloGibello, Pierre-Yves Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Sangharatna GodboleyGodboley, Sangharatna National Institute of Technology WarangalIndia KLEEMA: A DSE based Mutation Analyser Toward Optimal MC/DC Test Case Generation
Aviral GoelGoel, Aviral Northeastern University Organizer in REBASE within the REBASE-track Non-Intrusive Migration from Lazy to Eager Evaluation
Iaroslav GolovanovGolovanov, Iaroslav Aalborg University Behavioural Separation with Parallel Usages
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 PC Member in Program Committee within the ECOOP Technical Papers-track Session Chair of Advances in Type Systems (part of ECOOP and ISSTA Discussions with Experts) Advances in Type Systems
Erin Greenwood-ThessmanGreenwood-Thessman, Erin Victoria University of WellingtonNew Zealand Naïve Transient Cast Insertion Isn’t (That) Bad
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Steering Committee within the FTfJP-track
Reese GrimsleyGrimsley, Reese CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
David GroveGrove, David IBM ResearchUnited States PC Member in Program Committee within the ECOOP Technical Papers-track
Maximilian GrübelGrübel, Maximilian Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
Xiaodong GuGu, Xiaodong Shanghai Jiao Tong University, ChinaChina Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Tudor GîrbaGîrba, Tudor feenk.com Molding Knowledge
Daniel Gómez BetancurGómez Betancur, Daniel Technological University of Pereira Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
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
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia Techniques for Evaluating Pragmatic Call Graph Builders
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 Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the AISTA-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 [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition Committee Member in Program Committee within the COP-track Committee Member in Organizing Committee within the COP-track
Kenji HisazumiHisazumi, Kenji Kyushu University [Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System Committee Member in Program Committee within the COP-track
Michael HomerHomer, Michael Victoria University of Wellington Naïve Transient Cast Insertion Isn’t (That) Bad
Eve HuHu, Eve CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Song HuangHuang, Song Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
Xuejing HuangHuang, Xuejing The University of Hong Kong Type-Directed Operational Semantics for Gradual Typing Type-Directed Operational Semantics for Gradual Typing
Marieke HuismanHuisman, Marieke University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Behavioural Separation with Parallel Usages
I Bob IannucciIannucci, Bob CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
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 Threaded Code Generation with a Meta-tracing JIT Compiler
J Foad JafarinejadJafarinejad, Foad Technical University of DarmstadtGermany NerdBug: Automated Bug Detection in Neural Networks
Joxan JaffarJaffar, Joxan National University of SingaporeSingapore Toward Optimal MC/DC Test Case Generation
Mathias Steen JakobsenJakobsen, Mathias Steen Department of Computer Science, Aalborg University, Denmark Behavioural Separation with Parallel Usages
Jan JečmenJečmen, Jan The Strange and Wondrous Life of Functions in Ř
Ranjit JhalaJhala, Ranjit University of California at San Diego Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types mist: Refinements of Futures Past
Zhouxian JianJian, Zhouxian Beijing Jiaotong University Robustness Evaluation of Deep Learning System Based on Dempster-Shafer Theory (Junior Presentation)
Carlee Joe-WongJoe-Wong, Carlee CMU A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Richard JonesJones, Richard University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting
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 Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting
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
Stephen KellKell, Stephen King's College LondonUnited Kingdom The Two Cultures of Language Implementation
Colette KerrKerr, Colette ČVUTCzechia Userfault Objects: Transparent Programmable Memory
Mikkel Klinke KettunenKettunen, Mikkel Klinke Department of Computer Science, Aalborg University, Denmark Behavioural Separation with Parallel Usages
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Florida Gulf Coast UniversityUnited States Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Mohammad KhayatianKhayatian, Mohammad Arizona State University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Gregor KiczalesKiczales, Gregor ECOOP Test of Time Award Session Chair of Session 3 (part of REBASE)
Sunghun KimKim, Sunghun Hong Kong University of Science and TechnologyHong Kong Do Bugs Propagate? An Empirical Analysis of Temporal Correlations among Software Bugs
Tim KlugeKluge, Tim TU Dresden, Germany [Regular Paper] Resolving Synchronization Conflicts in Role-based Multimodel-Synchronization Environments
Matthew KolosickKolosick, Matthew University of California, San Diego Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types mist: Refinements of Futures Past
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 PC Member in Program Committee within the ECOOP Technical Papers-track Session Chair of Practical Static Analysis and Bug Finding (part of ECOOP and ISSTA Discussions with Experts) Practical Static Analysis and Bug Finding
Daniel KroeningKroening, Daniel AmazonUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks
Sebastián KrynskiKrynski, Sebastián Czech Technical University in Prague The Strange and Wondrous Life of Functions in Ř
Stefan KrügerKrüger, Stefan Independent ResearcherGermany Dealing with Variability in API Misuse Specification
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands PC Member in Program Committee within the ECOOP Technical Papers-track Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) PL/SE for Concurrent / Distributed Systems
Shreyansh KulshreshthaKulshreshtha, Shreyansh Indian Institute of Technology MandiIndia Can we run in parallel? Automating Loop Parallelization for TornadoVM
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 Andrei LascuLascu, Andrei Imperial College London Accessible Metamorphic Testing for C++ Software Libraries (Senior Presentation)
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
Claire Le GouesLe Goues, Claire Carnegie Mellon University Let me fix that for you: An Overview of Automated Program Repair
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
Kyle LiangLiang, Kyle Carnegie Mellon University A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Tan LiangLiang, Tan Philipps-Universität Marburg Using refactoring features to solve the problem of nested refactoring (Junior Presentation)
Yun LinLin, Yun National University of SingaporeSingapore Towards Automated Debugging: A Trace Travelling Oriented and AI-based Approach 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) Testing/Analysis and ML/DL 1
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
Rasool MagharehMaghareh, Rasool HuaweiCanada Toward Optimal MC/DC Test Case Generation
Petr MajMaj, Petr Czech Technical University CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories
Namrata MalkaniMalkani, Namrata Indian Institute of Technology MandiIndia Refactoring Scala Programs to Promote Functional Design Patterns
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Sponsorship Co-Chair in Organizing Committee for ECOOP 2021
Stefan MarrMarr, Stefan University of KentUnited Kingdom Avoiding Monomorphisation Bottlenecks with Phase-based Splitting Naïve Transient Cast Insertion Isn’t (That) Bad
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
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 Threaded Code Generation with a Meta-tracing JIT Compiler
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition
Erik MeijerMeijer, Erik Variational Calculus for Dummies
Tom MelhamMelham, Tom University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks
Silvia MeschiniMeschini, Silvia RM for Users’ Safety and Security in the Built Environment
Mira MeziniMezini, Mira TU Darmstadt, GermanyGermany Session Chair of Multiparty Programming and Session Types (time band 1) (part of ECOOP Technical Papers) Dealing with Variability in API Misuse Specification PC Member in Program Committee within the ECOOP Technical Papers-track Session Chair of PL/SE for Concurrent / Distributed Systems (part of ECOOP and ISSTA Discussions with Experts) PL/SE for Concurrent / Distributed Systems NerdBug: Automated Bug Detection in Neural Networks Impact of Programming Languages on Machine Learning Bugs ECOOP 2022 Preview
Aleksandar MicicMicic, Aleksandar IBM, Canada An Eclipse OMR-based Garbage Collector for Python
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Using Dafny to Solve the VerifyThis 2021 Challenges 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
Golla Monika RaniMonika Rani, Golla National Institute of Technology, Warangal KLEEMA: A DSE based Mutation Analyser
Steven MonteiroMonteiro, Steven University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark Multiparty Languages: the Choreographic and Multitier Cases
Alan MycroftMycroft, Alan University of Cambridge, UK Refactoring traces to identify concurrency improvements Source code patches from dynamic analysis
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 Opening Session
N Sarah NadiNadi, Sarah University of AlbertaCanada Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Tsuneo NakanishiNakanishi, Tsuneo [Invited Talk] Application of Context-Oriented Programming Paradigm to Automobile Driving Assistance System
Joannah NanjekyeNanjekye, Joannah University of New BrunswickCanada An Eclipse OMR-based Garbage Collector for Python
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Dealing with Variability in API Misuse Specification Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track NerdBug: Automated Bug Detection in Neural Networks Impact of Programming Languages on Machine Learning Bugs
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 Naïve Transient Cast Insertion Isn’t (That) Bad
Natsuko NodaNoda, Natsuko Shibaura Institute of Technology [Invited Talk] Aspect-Oriented Modeling Mechanism for Ultra-Flexible Software Architecture 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 Ubiquitous Omniscient Debugging
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
Takeshi OhkawaOhkawa, Takeshi Tokai UniversityJapan [Invited Talk] A Method for Context-Oriented Management of ROS2-FPGA Module Reconfiguration
Renzo OlivaresOlivares, Renzo University of California, RiversideUnited States Techniques for Evaluating Pragmatic Call Graph Builders
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Compositional Programming Type-Directed Operational Semantics for Gradual Typing A Dependently Typed Calculus with Polymorphic Subtyping Compositional Programming Type-Directed Operational Semantics for Gradual Typing Session Chair of Advances in Type Systems (part of ECOOP and ISSTA Discussions with Experts) Advances in Type Systems
Indigo OrtonOrton, Indigo University of Cambridge, UK Refactoring traces to identify concurrency improvements Source code patches from dynamic analysis
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
Gordon PacePace, Gordon University of MaltaMalta Optional Monitoring for Long-Lived Transactions
Annibale PanichellaPanichella, Annibale Delft University of Technology; University of LuxembourgNetherlands Session Chair of Advances in Testing (part of ECOOP and ISSTA Discussions with Experts) Advances in Testing
Jihyeok ParkPark, Jihyeok KAISTSouth Korea JavaScript Static Analysis with Evolving Engines and Specification (Senior Presentation)
Mathias PayerPayer, Mathias EPFLSwitzerland Session Chair of Fuzzing (part of ECOOP and ISSTA Discussions with Experts) Fuzzing
Hila PelegPeleg, Hila TechnionIsrael PC Member in Program Committee within the ECOOP Technical Papers-track
Laura PellegriniPellegrini, Laura RM for Users’ Safety and Security in the Built Environment
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) Testing/Analysis and ML/DL 2
Wolfram PfeiferPfeifer, Wolfram Karlsruhe Institute of Technology (KIT)Germany Reconstructing Z3 Proofs in KeY: There and Back Again
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the IWACO-track
Hadrien PougetPouget, Hadrien University of OxfordUnited Kingdom Exposing Previously Undetectable Faults in Deep Neural Networks
Michael PradelPradel, Michael University of StuttgartGermany PC Member in Program Committee within the ECOOP Technical Papers-track Session Chair of Practical Static Analysis and Bug Finding (part of ECOOP and ISSTA Discussions with Experts) Practical Static Analysis and Bug Finding
Jyoti PrakashPrakash, Jyoti National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ashwin Prasad Shivarpatna VenkateshPrasad Shivarpatna Venkatesh, Ashwin Paderborn UniversityGermany Automated Cell Header Generator for Jupyter Notebooks
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Session Chair of Session 6 (part of REBASE)
Armand PuccettiPuccetti, Armand Combining Formal and Machine Learning Techniques for the Generation of JML Specifications
Violet Ka I PunPun, Violet Ka I Committee Member in Program Committee within the FTfJP-track
Q Shaz QadeerQadeer, Shaz FacebookUnited States The Move language for the Diem Blockchain
R Dimi RacordonRacordon, Dimi University of Geneva, SwitzerlandSwitzerland Native Implementation of Mutable Value Semantics Fuel: A Compiler Framework for Safe Memory Management Native Implementation of Mutable Value Semantics
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 [Regular Paper] First-class Concepts: Reifying Architectural Knowledge Beyond the Dominant Decomposition Committee Member in Program Committee within the COP-track
Conor ReynoldsReynolds, Conor Maynooth UniversityIreland Using Dafny to Solve the VerifyThis 2021 Challenges
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track
Filippo RiccaRicca, Filippo DIBRIS, University of Genova, Italy Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
David RichterRichter, David Technical University of DarmstadtGermany Multiparty Languages: the Choreographic and Multitier Cases
Richard RobertsRoberts, Richard Victoria University of WellingtonNew Zealand Naïve Transient Cast Insertion Isn’t (That) Bad
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Who is Afraid of the Turnstile? 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 ISSTA 2022 Preview
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, Skopje Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation
Brennan SaetaSaeta, Brennan Google Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
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
John A. Sanabria-OrdoñezSanabria-Ordoñez, John A. University of Valle Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
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
Jonas SchifflSchiffl, Jonas Reconstructing Z3 Proofs in KeY: There and Back Again
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
Ulrich SchöppSchöpp, Ulrich fortiss GmbHGermany A Generic Type System for Featherweight Java
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Co-chair in Organizing Committee within the ICOOOLPS-track
Elena SeghezziSeghezzi, Elena RM for Users’ Safety and Security in the Built Environment
Luis E. Sepúlveda-RodríguezSepúlveda-Rodríguez, Luis E. University of Quindío Problems And Causes In Testing Microservices Architecture: A Systematic Mapping Study
Camelia SerbanSerban, Camelia Department of Computer Science, Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Lambda-based object-oriented programming
Denys ShabalinShabalin, Denys EPFL, Switzerland Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
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
Rishi SharmaSharma, Rishi Indian Institute of Technology MandiIndia Can we run in parallel? Automating Loop Parallelization for TornadoVM
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
Aviral ShrivastavaShrivastava, Aviral Arizona State UniversityUnited States A Framework and DSL for Distributed, Energy-constrained, and Time-sensitive Applications
Konrad SiekSiek, Konrad Czech Technical University in PraguePoland CodeDJ: Reproducible Queries over Large-Scale Software Repositories CodeDJ: Reproducible Queries over Large-Scale Software Repositories Userfault Objects: Transparent Programmable Memory
Julien SignolesSignoles, Julien CEA LISTFrance The E-ACSL Perspective on Runtime Assertion Checking
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
Yannis SmaragdakisSmaragdakis, Yannis University of Athens ISSTA 2022 Preview
Mary Lou SoffaSoffa, Mary Lou University of Virginia Keynote
Erikas SokolovasSokolovas, Erikas University of Twente, The NetherlandsNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Daniel SokolowskiSokolowski, Daniel TU DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
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 Techniques for Evaluating Pragmatic Call Graph Builders Opening Session
Luigi Libero Lucio StaraceStarace, Luigi Libero Lucio Federico II University of Naples Detecting Near-duplicate States in Web Application Model Inference: a Tree Kernel-based Approach (Junior Presentation)
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
Arnon SturmSturm, Arnon Ben-Gurion University of the NegevIsrael [Regular Paper] Towards a Framework for Analyzing Context-Oriented Programming Languages
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) Symbolic Execution
Yaozhu SunSun, Yaozhu University of Hong KongChina Compositional Programming Compositional Programming
Joshua SunshineSunshine, Joshua Carnegie Mellon University Gradual Program Analysis for Null Pointers
Sebastian SztwiertniaSztwiertnia, Sebastian Technical University of DarmstadtGermany Impact of Programming Languages on Machine Learning Bugs
César SánchezSánchez, César IMDEA Software InstituteSpain Synchronous and Asynchronous Stream Runtime Verification
T Lavinia Chiara TagliabueTagliabue, Lavinia Chiara RM for Users’ Safety and Security in the Built Environment
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan [Student Talk] A Language to Safely Exploit Multi-Version Modules at the Expression-level
É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
Lorenzo TestaTesta, Lorenzo RM for Users’ Safety and Security in the Built Environment
Manas ThakurThakur, Manas Indian Institute of Technology Mandi Can we run in parallel? Automating Loop Parallelization for TornadoVM Refactoring Scala Programs to Promote Functional Design Patterns
Frank TipTip, Frank Northeastern UniversityUnited States Summer School Co-Chair in Organizing Committee for ECOOP 2021 Enabling Additional Parallelism in Asynchronous JavaScript Applications Enabling Additional Parallelism in Asynchronous JavaScript Applications 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) 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 Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types mist: Refinements of Futures Past
Gianluca TortaTorta, Gianluca RM for Users’ Safety and Security in the Built Environment Towards Aggregate Monitoring of Spatio-temporal Properties
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 Reconstructing Z3 Proofs in KeY: There and Back Again 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
Tom van Dijkvan Dijk, Tom University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
Mark VellaVella, Mark Runtime Verification for Trustworthy Secure Shell Deployment
Alessandro VerriVerri, Alessandro Test’n’Mo: A Collaborative Platform for Human Testers and Intelligent Monitoring Agents
Andreea VescanVescan, Andreea Babes-Bolyai UniversityRomania On the use of Evolutionary Algorithms for Test Case Prioritization in Regression Testing considering Requirements Dependencies
Eelco VisserVisser, Eelco Delft University of Technology Session Chair of Modular Programming / Types (time band 3) (part of ECOOP Technical Papers) Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers PC Member in Program Committee within the ECOOP Technical Papers-track Scope States Session Chair of Specification and Implementation of Type Systems (part of ECOOP and ISSTA Discussions with Experts) Specification and Implementation of Type Systems
Willem VisserVisser, Willem Stellenbosch University, South AfricaSouth Africa Session Chair of Symbolic Execution (part of ECOOP and ISSTA Discussions with Experts) Symbolic Execution
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 ECOOP 2022 Preview Non-Intrusive Migration from Lazy to Eager Evaluation The Strange and Wondrous Life of Functions in Ř
Caleb VossVoss, Caleb Georgia Institute of TechnologyUnited States Linear Promises: Towards Safer Concurrent Programming Linear Promises: Towards Safer Concurrent Programming
W Ben WangWang, Ben Hohai University AFS: Smart Contract Vulnerability Detection using Code Representation Fusion (Junior Presentation)
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
Ellen WittingenWittingen, Ellen University of TwenteNetherlands IntelliJML: A JML plugin for IntelliJ IDEA
John WrennWrenn, John Brown UniversityUnited States Students can't test. Or can they?
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) Testing/Analysis and ML/DL 2
Xiaofei XieXie, Xiaofei Kyushu UniversityJapan Committee Member in Program Committee within the ECOOP and ISSTA Doctoral Symposium-track Session Chair of Main Session (part of AISTA) Co-chair in Organizing Committee within the AISTA-track
Weitian XingXing, Weitian University of Waterloo Ensuring correct cryptographic algorithm and provider usage at compile time
Chuangjie XuXu, Chuangjie fortiss GmbHGermany A Generic Type System for Featherweight Java
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
Sen YangYang, Sen Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
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) Summer School Co-Chair in Summer School Committee within the ECOOP and ISSTA Summer School-track Session Chair of Session 1 (part of REBASE)
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 Opening Session
Changyou ZhengZheng, Changyou Army Engineering University of PLA Target Code-coverage in APP Automatic Compatibility Testing
Dan ZhengZheng, Dan Purdue University, Google Brain Native Implementation of Mutable Value Semantics Native Implementation of Mutable Value Semantics
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 (364)

Tracks

ECOOP and ISSTA 2021

Co-hosted Conferences

Workshops