ECOOP 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (435)

A Antonis AchilleosAchilleos, Antonis Reykjavik University To Monitorability and Beyond (online talk)
Pedro AdãoAdão, Pedro IST-ULisboa and Instituto de Telecomunicações Concolic Execution for WebAssembly
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Maximilian AlgehedAlgehed, Maximilian Chalmers University of Technology, SwedenSweden SecWasm: Information Flow Control for WebAssembly
Karim AliAli, Karim University of AlbertaCanada Program Committee Chair in Organizers for ECOOP 2022 Session Chair of Program Analysis 1 (part of ECOOP Research Papers) Awards, Outlooks, and Farewells Opening Program Committee Chair in Program Committee within the ECOOP Research Papers-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Committee Member in Program Committee within the ECOOP Research Papers-track
Bernardo AlmeidaAlmeida, Bernardo LASIGE, Faculty of Sciences, University of LisbonPortugal Context-free Session Types: Theory and Practice Elevator Pitches
Gianluca AmatoAmato, Gianluca University of Chieti-PescaraItaly On the need for a common API for abstract domains of object-oriented programs
Jie AnAn, Jie MPI-SWS Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of Morning session (part of VORTEX) Opening Closing Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track Workshop Organizer in VORTEX 2022 Workshop Organizers within the VORTEX-track
Luthfan Anshar LubisAnshar Lubis, Luthfan Tokyo Institute of TechnologyJapan A Step toward Programming with Versions in Real-World Functional Languages
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan A Step toward Programming with Versions in Real-World Functional Languages
Duncan Paul AttardAttard, Duncan Paul Reykjavik University and University of MaltaMalta PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Predictive Semantics for Past-CTL Runtime Monitors Functional programming for distributed systems with XC PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
B Bence BabatiBabati, Bence Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and CompilersHungary Memory Consumption of Objects in C++ Memory Consumption of Objects in C++
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Committee Member in Program Committee within the COP-track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Doctoral Symposium Co-Chair in Organizers for ECOOP 2022 Ferrite: A Judgmental Embedding of Session Types in Rust Committee Member in Organizing Committee within the ECOOP Doctoral Symposium-track
Boutheina BannourBannour, Boutheina HIBOU : Tooling Offline Runtime Verification against Interaction Models
Yuyan BaoBao, Yuyan University of WaterlooCanada Committee Member in Program Committee within the FTfJP-track
Saam BaratiBarati, Saam AppleUnited States Session Chair of ICOOOLPS Talks (part of ICOOOLPS) A design overview of JavaScriptCore's DFG IR A design overview of JavaScriptCore's DFG IR
Pietro BarbieriBarbieri, Pietro Università di GenovaItaly Enhancing regular corecursion Elevator Pitches
Iulia BastysBastys, Iulia Chalmers University of TechnologySweden SecWasm: Information Flow Control for WebAssembly
Benoit BaudryBaudry, Benoit KTHSweden MEWE: Multi-variant Execution for WebAssembly
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium A Programming Language Perspective on Replication
Nikola BebićBebić, Nikola EPFL/Oracle Labs Operation DSL: How We Learned to Stop Worrying and Love Bytecodes again
Heiko BeckerBecker, Heiko MPI-SWSGermany Verified Compilation and Optimization of Floating-Point Programs in CakeML
John BenderBender, John Sandia National Laboratories Compiling Volatile Correctly in Java
Maxwell BernsteinBernstein, Maxwell Northeastern UniversityUnited States Cinder: We didn't start the fire Cinder: We didn't start the fire
Jan BessaiBessai, Jan Technical University DortmundGermany Student Volunteer Chair in Organizers for ECOOP 2022 Student Volunteer Chair in Committee within the ECOOP Student Volunteers-track
Annette BieniusaBieniusa, Annette Technische Universität KaiserslauternGermany Concurrent and distributed programming Committee Member in Organizing Committee within the PLF-track Committee Member in Program Committee within the ECOOP Research Papers-track
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia Committee Member in Program Committee within the ECOOP Research Papers-track
Olivier BlanvillainBlanvillain, Olivier EPFLSwitzerland Type-Safe Regular Expressions
Sandrine BlazyBlazy, Sandrine Univ Rennes, IRISAFrance Committee Member in Program Committee within the ECOOP Research Papers-track
Eric BoddenBodden, Eric University of Paderborn; Fraunhofer IEMGermany Challenges in the field-sensitive analysis of LLVM IR
CF Bolz-TereickBolz-Tereick, CF Germany Committee Member in Organizing Committee within the ICOOOLPS-track
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Committee Member in Truffle 2022 Workshop Organizers within the Truffle-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the Scala-track
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Markus BrandBrand, Markus Hasso Plattner Institute (HPI), University of Potsdam, Germany Explicit Tool Support for Implicit Layer Activation
Katharina BrandlBrandl, Katharina JGU MainzGermany A Modular Static Analysis Platform for WebAssembly
Carolin BrandtBrandt, Carolin Delft University of TechnologyNetherlands Publicity Chair in Organizers for ECOOP 2022
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States What If We Don’t Pop the Stack? The Return of Second-Class Values Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Edouard BugnionBugnion, Edouard EPFL Benchmarking, analysis, and optimization of serverless function snapshots
Lubomír BulejBulej, Lubomír Charles UniversityCzechia Committee Member in Program Committee within the ECOOP Research Papers-track
Frank BusseBusse, Frank Imperial College LondonUnited Kingdom A Deterministic Memory Allocator for Dynamic Symbolic Execution
Julian BüningBüning, Julian RWTH Aachen UniversityGermany A Deterministic Memory Allocator for Dynamic Symbolic Execution
C Javier Cabrera ArteagaCabrera Arteaga, Javier KTH Royal Institute of TechnologySweden MEWE: Multi-variant Execution for WebAssembly Committee Member in Program Committee within the PAW-track
Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom A Deterministic Memory Allocator for Dynamic Symbolic Execution
Marco CampionCampion, Marco University of VeronaItaly Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis
Rafael C. CardosoCardoso, Rafael C. PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Layer Activation Mechanism for Asynchronous Executions in JavaScript Committee Member in Program Committee within the COP-track
Manuel CarrascoCarrasco, Manuel Imperial College LondonUnited Kingdom Portability Issues in C Programs Elevator Pitches
Roberto CasadeiCasadei, Roberto University of Bologna, ItalyItaly Functional programming for distributed systems with XC
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Guard the Cache: Dispatch Optimization in a Contextual Role-oriented Language
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs
Ruo Fei ChenChen, Ruo Fei Independent ResearcherGermany Ferrite: A Judgmental Embedding of Session Types in Rust
Yoonsik CheonCheon, Yoonsik AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime ShopifyCanada Committee Member in Program Committee within the ICOOOLPS-track
Maria Chiara MeoChiara Meo, Maria University “G. d’Annunzio” of Chieti-PescaraItaly On the need for a common API for abstract domains of object-oriented programs
Michele ChiariChiari, Michele Politecnico di MilanoItaly Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Program Committee within the ECOOP Research Papers-track
Ravi ChughChugh, Ravi University of Chicago Maniposynth: Bimodal Tangible Functional Programming
Luca CicconeCiccone, Luca University of TurinItaly Fair Termination of Multiparty Sessions
Guillermina CledouCledou, Guillermina HASLab, INESC TEC; University of Minho API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)
Aurélien CoetCoet, Aurélien University of Geneva, SwitzerlandSwitzerland Belief Programming with Map Family Decision Diagrams
Albert CohenCohen, Albert GoogleFrance Committee Member in Program Committee within the ECOOP Research Papers-track
David CokCok, David Safer Software Consulting, LLC Documentation and Educational Materials for a 2nd edition of the Java Modeling Language Automated Reasoning Repair Committee Member in Program Committee within the FTfJP-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Efficient Object Graph Recording with Truffle for Live Data-Structure Programming
D Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly Fair Termination of Multiparty Sessions
Luke DalessandroDalessandro, Luke Indiana University NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis
Benoit DalozeDaloze, Benoit Oracle LabsSwitzerland Designing an intuitive language-agnostic integration of foreign objects in Ruby
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Functional programming for distributed systems with XC
Hoang-Hai DangDang, Hoang-Hai MPI-SWSGermany Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Eva DarulovaDarulova, Eva Uppsala UniversitySweden REST: Integrating Term Rewriting with Program Verification Verified Compilation and Optimization of Floating-Point Programs in CakeML Committee Member in Program Committee within the ECOOP Research Papers-track
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium A Graph-Based Formal Semantics of Reactive Programming from First Principles
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium A Graph-Based Formal Semantics of Reactive Programming from First Principles Committee Member in Program Committee within the ECOOP Research Papers-track
Kevin De PorreDe Porre, Kevin Vrije Universiteit BrusselBelgium A Programming Language Perspective on Replication
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Workshops Co-Chair in Organizers for ECOOP 2022 Building Static Analyses for WebAssembly Binaries with Wassail Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track Co-chair in Chairs within the ECOOP Workshops-track Committee Member in Program Committee within the PAW-track Committee Member in Organizing Committee within the PAW-track
Luigi De SimoneDe Simone, Luigi Università degli Studi di Napoli Federico IIItaly Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Farzaneh DerakhshanDerakhshan, Farzaneh Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Kevin DeweeseDeweese, Kevin Cadence NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
Lukas DiekmannDiekmann, Lukas King's College LondonUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Werner DietlDietl, Werner University of WaterlooCanada Steering Committee Member in Steering Committee within the FTfJP-track
Julian DolbyDolby, Julian IBM Research, USA Session Chair of Session 3 (part of PRIDE) Workshop Organizer in PRIDE 2022 Workshop Organizers within the PRIDE-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Pearls/Brave New Ideas Area Chair in Program Committee within the ECOOP Research Papers-track
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical UniversityCzechia What we eval in the shadows: a large-scale study of eval in R programs
Vlastimil DortDort, Vlastimil Charles UniversityCzechia Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Derek DreyerDreyer, Derek MPI-SWSGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Sophia DrossopoulouDrossopoulou, Sophia Facebook and Imperial College LondonUnited Kingdom Session Chair of VCOOP 2 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Stéphane DucasseDucasse, Stéphane INRIA LilleFrance Committee Member in Program Committee within the ECOOP Research Papers-track
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study Committee Member in Program Committee within the COP-track
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
E Luc EdixhovenEdixhoven, Luc Open University of the Netherlands; CWI API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Doctoral Symposium Co-Chair in Organizers for ECOOP 2022 A Modular Static Analysis Platform for WebAssembly Software verification/program analysis Functional Programming with Datalog Committee Member in Organizing Committee within the ECOOP Doctoral Symposium-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the PAW-track Committee Member in Organizing Committee within the PAW-track
Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in Program Committee within the FTfJP-track
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Accumulation Analysis
F Andong FanFan, Andong Zhejiang UniversityChina Direct Foundations for Compositional Programming
Marie FarrellFarrell, Marie Maynooth UniversityIreland PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Sebastian FaustFaust, Sebastian Technical University of Darmstadt Prisma: A tierless language for enforcing contract-client protocols in decentralized apps
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany HPy: How To Design a C API For Optimizing Runtimes HPy: How To Design a C API For Optimizing Runtimes Committee Member in Program Committee within the ICOOOLPS-track Workshop Organizer in Truffle 2022 Workshop Organizers within the Truffle-track
Amy FeltyFelty, Amy University of OttawaCanada Static Execution Costs of WebAssembly Functions
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Jesun Sahariar FirozFiroz, Jesun Sahariar Pacific Northwest National Lab NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
Olivier FlückigerFlückiger, Olivier Northeastern UniversityUnited States Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Silvio FossatiFossati, Silvio University of GenevaSwitzerland Belief Programming with Map Family Decision Diagrams
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Session Chair of Language Design (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Anthony C. J. FoxFox, Anthony C. J. Arm Limited Verified Compilation and Optimization of Floating-Point Programs in CakeML
Paolo FragomeniFragomeni, Paolo A new open source framework for using the web stack to build offline/local-first, TCP/UDP enabled UIs on desktop and mobile
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal Concolic Execution for WebAssembly
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Opening Closing Workshop Organizer in VORTEX 2022 Workshop Organizers within the VORTEX-track
Franz FranchettiFranchetti, Franz Carnegie Mellon University, USA A Compiler for Sound Floating-Point Computations
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Teodoro FreundFreund, Teodoro University of Buenos AiresArgentina Union and intersection contracts are hard, actually
Hiroaki FukudaFukuda, Hiroaki Shibaura Institute of TechnologyJapan Layer Activation Mechanism for Asynchronous Executions in JavaScript Committee Member in Program Committee within the COP-track
G Deepak GargGarg, Deepak MPI-SWSGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Christophe GastonGaston, Christophe HIBOU : Tooling Offline Runtime Verification against Interaction Models
François GauthierGauthier, François Oracle LabsAustralia Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applications
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Lorenzo GheriGheri, Lorenzo Imperial College LondonUnited Kingdom Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming
Mahdi GhorbaniGhorbani, Mahdi University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Aviral GoelGoel, Aviral Northeastern UniversityUnited States What we eval in the shadows: a large-scale study of eval in R programs
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Committee within the ECOOP Doctoral Symposium-track PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Session Chair of VCOOP 4 (part of ECOOP Research Papers) Session Chair of VCOOP 6 (part of ECOOP Research Papers) A Programming Language Perspective on Replication Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Artifact Evaluation Co-Chair in Organizers for ECOOP 2022 Awards, Outlooks, and Farewells Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Zachary GrannanGrannan, Zachary University of British ColumbiaCanada REST: Integrating Term Rewriting with Program Verification
Radu GrigoreGrigore, Radu FacebookUnited Kingdom Steering Committee Member in Steering Committee within the FTfJP-track
Boris GrotGrot, Boris University of Edinburgh, UK Benchmarking, analysis, and optimization of serverless function snapshots
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology Committee Member in Program Committee within the Scala-track
Dawu GuGu, Dawu Shanghai Jiao Tong University PEDroid: Automatically Extracting Patches from Android App Updates
Gaurav GuptaGupta, Gaurav Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk)
H Julian HaasHaas, Julian Technische Universität Darmstadt Committee Member in Organizing Committee within the PLF-track
Steffen HaeslerHaesler, Steffen Technische Universität Darmstadt Resilient Self-Organized Neighborhoods
Philipp HallerHaller, Philipp KTHSweden VCOOP Co-Chair in Organizers for ECOOP 2022 Session Chair of VCOOP 3 (part of ECOOP Research Papers) Session Chair of VCOOP 10 (part of ECOOP Research Papers) Session Chair of VCOOP 5 (part of ECOOP Research Papers) Session Chair of VCOOP 7 (part of ECOOP Research Papers) Session Chair of VCOOP 12 (part of ECOOP Research Papers) Enhancing Closures in Scala with Blocks Committee Member in Program Committee within the ECOOP Research Papers-track
Yann HamdaouiHamdaoui, Yann TweagFrance Union and intersection contracts are hard, actually
Johannes HartmannHartmann, Johannes Oxford UniversityUnited Kingdom Committee Member in Program Committee within the Scala-track
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applications Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs
Dongjie HeHe, Dongjie UNSW SydneyAustralia Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Dongjie HeHe, Dongjie UNSWAustralia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Gorel HedinHedin, Gorel Lund UniversitySweden Programming languages and semantics
Görel HedinHedin, Görel Lund UniversitySweden Dahl-Nygaard Prize Ceremony
Brian HempelHempel, Brian University of Chicago Maniposynth: Bimodal Tangible Functional Programming
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Ben HermannHermann, Ben Technical University DortmundGermany General Co-Chair in Organizers for ECOOP 2022 Session Chair of Potpourri (part of ECOOP Research Papers) Awards, Outlooks, and Farewells Opening Reproduction Area Chair in Program Committee within the ECOOP Research Papers-track
Felienne HermansHermans, Felienne Leiden UniversityNetherlands Hedy: Creating a gradual programming language
Andrew K. HirschHirsch, Andrew K. MPI-SWSGermany Concurrent and distributed programming
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Explicit Tool Support for Implicit Layer Activation Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track Committee Member in Workshop Organizers within the COP-track
Kenji HisazumiHisazumi, Kenji Kyushu University Committee Member in Program Committee within the COP-track
Karoliine HolterHolter, Karoliine University of Tartu, Estonia GobPie: An IDE Integration for Goblint Using MagpieBridge
Lukáš HolíkHolík, Lukáš Brno University of Technology Low-Level Bi-Abduction
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Using Functional Reactive Programming to Define Safe Actor Systems
Vojtech HorkyHorky, Vojtech Charles UniversityCzechia Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the ECOOP Research Papers-track
Chiao HsiehHsieh, Chiao University of Illinois at Urbana-Champaign Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Xuejing HuangHuang, Xuejing The University of Hong Kong Union Types with Disjoint Switches Direct Foundations for Compositional Programming
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Program Committee within the FTfJP-track
Christian HumerHumer, Christian Oracle LabsSwitzerland Operation DSL: How We Learned to Stop Worrying and Love Bytecodes again
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Committee Member in Program Committee within the COP-track Committee Member in Workshop Organizers within the COP-track
Daniel IngallsIngalls, Daniel Independent Consultant Dahl-Nygaard Senior Prize: Dan Ingalls - A Fireside Chat
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Taming an Interpreter for Threaded Code Generation with a Tracing JIT Compiler Efficient Object Graph Recording with Truffle for Live Data-Structure Programming
J Daniel JacksonJackson, Daniel MIT Building data-centric apps with a reactive relational database
Jules JacobsJacobs, Jules Radboud University Nijmegen A Self-Dual Distillation of Session Types (Pearl)
Alex JafariJafari, Alex United States Finance Chair in Organizers for ECOOP 2022
Kevin JahnsJahns, Kevin Y CRDT ProjectGermany Programming Local-first Software: Where we are and where we go
Matthieu JimenezJimenez, Matthieu SnT, University of LuxembourgLuxembourg Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)
Eric JulJul, Eric University of OsloNorway How to get your Ph.D. DONE! Dahl-Nygaard Prize Ceremony
David JustoJusto, David Microsoft AzureUnited States Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
K Ifaz KabirKabir, Ifaz University of Alberta Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Truffle Interpreter Performance without the Holy Graal
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the COP-track
Sven KeidelKeidel, Sven TU Darmstadt, GermanyGermany A Modular Static Analysis Platform for WebAssembly Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Sven KeidelKeidel, Sven TU Darmstadt, GermanyGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Martin KelloggKellogg, Martin University of WashingtonUnited States Accumulation Analysis
Steven KeuchelKeuchel, Steven Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Steven KeuchelKeuchel, Steven Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christoph KirschKirsch, Christoph University of Salzburg; Czech Technical UniversityAustria What we eval in the shadows: a large-scale study of eval in R programs
Martin KleppmannKleppmann, Martin University of CambridgeUnited Kingdom Committee Member in Organizing Committee within the PLF-track
Tim KlugeKluge, Tim TU Dresden, GermanyGermany Modeling flexible Monitoring Systems with a Role-Based Control Loop A Meta-Model for Distributed Role-Based Systems based on the Actor Model of Computation
Marios KogiasKogias, Marios Microsoft ResearchUnited Kingdom Benchmarking, analysis, and optimization of serverless function snapshots
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Paulette KoronkevichKoronkevich, Paulette Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David KretzlerKretzler, David Technical University of Darmstadt Prisma: A tierless language for enforcing contract-client protocols in decentralized apps
Ranjith KrishnamurthyKrishnamurthy, Ranjith Fraunhofer IEMGermany Experience From Integrating Secucheck-Kotlin Into IDE
Martin KrulišKruliš, Martin Charles UniversityCzechia Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Nikolai KudasovKudasov, Nikolai Innopolis University, RussiaRussia Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects
Christian KuessnerKuessner, Christian Encrypted Replicated Data Types within REScala
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Expert Discussion Co-Chair in Organizers for ECOOP 2022 Committee Member in Expert Discussion Committee within the ECOOP Expert Discussion-track
Ramana KumarKumar, Ramana DeepMindUnited Kingdom Verified Compilation and Optimization of Floating-Point Programs in CakeML
Cornelius KummerKummer, Cornelius Technische Universität DresdenGermany Guard the Cache: Dispatch Optimization in a Contextual Role-oriented Language
Filip KřikavaKřikava, Filip Czech Technical UniversityCzechia What we eval in the shadows: a large-scale study of eval in R programs
L Nicolas LagaillardieLagaillardie, Nicolas Imperial College London Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Ivan LaneseLanese, Ivan University of Bologna/INRIA Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming
Arnault LapitreLapitre, Arnault HIBOU : Tooling Offline Runtime Verification against Interaction Models
Octave LaroseLarose, Octave University of KentUnited Kingdom Truffle Interpreter Performance without the Holy Graal
Pascale Le GallLe Gall, Pascale CentraleSupelecFrance HIBOU : Tooling Offline Runtime Verification against Interaction Models
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Session Chair of VCOOP 11 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Session Chair of First afternoon session (part of VORTEX) Session Chair of FTfJP 2022 A (part of FTfJP) Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs Automated Reasoning Repair AITO Test of Time Award: A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 Committee Member in Program Committee within the COP-track Steering Committee Member in Steering Committee within the FTfJP-track
Axel LegayLegay, Axel Université Catholique de Louvain, Belgium Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study
Paul LegerLeger, Paul Universidad Católica del Norte, ChileChile Layer Activation Mechanism for Asynchronous Executions in JavaScript Committee Member in Program Committee within the COP-track
Daniel LehmannLehmann, Daniel University of StuttgartGermany Dynamic Analysis for WebAssembly with Wasabi Wimpl: A Simple IR for Static Analysis of WebAssembly Binaries
Markus LepperLepper, Markus semantics GmbHGermany Compile the Gedackt! Experiments with a Methodology for Dynamic Compilation of Modular Embedded Domain-Specific Languages
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Explicit Nulls with Unsafe Nulls (Student Talk) Committee Member in Program Committee within the Scala-track
Hehao LiLi, Hehao Shanghai Jiao Tong University PEDroid: Automatically Extracting Patches from Android App Updates
Juanru LiLi, Juanru Shanghai Jiao Tong University PEDroid: Automatically Extracting Patches from Android App Updates
Ben LiblitLiblit, Ben AmazonUnited States Static Analysis for AWS Best Practices in Python Code
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Session Chair of COP 2022 A (part of COP) Explicit Tool Support for Implicit Layer Activation Committee Member in Program Committee within the COP-track Committee Member in Workshop Organizers within the COP-track
Richard LipkaLipka, Richard Runtime monitoring of Java duplicate memory allocations (online talk)
Geoffrey LittLitt, Geoffrey MIT Building data-centric apps with a reactive relational database
Fengyun LiuLiu, Fengyun Oracle Labs Committee Member in Program Committee within the Scala-track
Kenan LiuLiu, Kenan SUNY Binghamton Vincent: Green Hot Methods in the JVM
Shuyang LiuLiu, Shuyang UCLA Compiling Volatile Correctly in Java
Xu LiuLiu, Xu University of Washington NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
Yu David LiuLiu, Yu David SUNY Binghamton Vincent: Green Hot Methods in the JVM
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the COP-track
David H. LorenzLorenz, David H. Open University and Technion IIT Committee Member in Program Committee within the COP-track
Jingbo LuLu, Jingbo UNSW Sydney Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
Mikel LujánLuján, Mikel University of ManchesterUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Andrew LumsdaineLumsdaine, Andrew TileDB, Inc., University of Washington, Pacific Northwest National LaboratoryUnited States NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
Linghui LuoLuo, Linghui Amazon Web ServicesGermany Session Chair of Session 1 (part of PRIDE) Workshop Organizer in PRIDE 2022 Workshop Organizers within the PRIDE-track
M Julian MackayMackay, Julian Victoria University of Wellington Rusty Links in Local Chains
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Dahl-Nygaard Junior Prize: Magnus Madsen - An Introduction to the Flix Programming Language Committee Member in Program Committee within the ECOOP Research Papers-track
Erwan MaheMahe, Erwan HIBOU : Tooling Offline Runtime Verification against Interaction Models
Khaled MahmoudMahmoud, Khaled SUNY Binghamton, USA Vincent: Green Hot Methods in the JVM
Trong Nhan MaiMai, Trong Nhan Oracle Labs Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applications
Petr MajMaj, Petr Czech Technical University Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Petr MajMaj, Petr Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
MarcinMarcin Zalewski NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
Filipe MarquesMarques, Filipe INESC-ID / Instituto Superior Tecnico, University of LisbonPortugal Concolic Execution for WebAssembly
Stefan MarrMarr, Stefan University of KentUnited Kingdom Truffle Interpreter Performance without the Holy Graal
Danielle MarshallMarshall, Danielle University of Kent, UKUnited Kingdom How to Take the Inverse of a Type
Pierre MartouMartou, Pierre UCLouvain / ICTEAMBelgium Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Abu Naser MasudMasud, Abu Naser Malardalen University On the computation of interprocedural weak control closure
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Taming an Interpreter for Threaded Code Generation with a Tracing JIT Compiler Efficient Object Graph Recording with Truffle for Live Data-Structure Programming A Step toward Programming with Versions in Real-World Functional Languages Committee Member in Program Committee within the COP-track Committee Member in Workshop Organizers within the COP-track
Christoph MatthiesMatthies, Christoph Hasso Plattner Institute, University of PotsdamGermany Publicity Chair in Organizers for ECOOP 2022
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Daniel MatusekMatusek, Daniel TU DresdenGermany A Meta-Model for Distributed Role-Based Systems based on the Actor Model of Computation
Dylan McDermottMcDermott, Dylan Reykjavik UniversityIceland A Type System with Subtyping for WebAssembly's Stack Polymorphism
Scott McMillanMcMillan, Scott Carnegie Mellon University NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
Kevin MenardMenard, Kevin Shopify Embedding Truffle Languages
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Generating Virtual Scenarios for Cyber Ranges from Feature-Based Context-Oriented Models: A Case Study Committee Member in Program Committee within the COP-track
Massimo MerroMerro, Massimo University of VeronaItaly PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Mira MeziniMezini, Mira TU DarmstadtGermany General Co-Chair in Organizers for ECOOP 2022 Programming Local-first Software: Where we are and where we go Encrypted Replicated Data Types within REScala Awards, Outlooks, and Farewells Opening Prisma: A tierless language for enforcing contract-client protocols in decentralized apps
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Committee Member in Program Committee within the ICOOOLPS-track
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Hub Talk Chair in Organizers for ECOOP 2022 Encrypted Replicated Data Types within REScala Committee Member in Organizing Committee within the PLF-track Hub Talk Chair in Commitee within the ECOOP Hub Talks-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 Session Chair of Shared Session Truffle & ICOOOLPS (part of ICOOOLPS)
Martin MonperrusMonperrus, Martin KTH Royal Institute of TechnologySweden MEWE: Multi-variant Execution for WebAssembly
Andreia MordidoMordido, Andreia LASIGE, Faculty of Sciences, University of LisbonPortugal Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Yasuaki MoritaMorita, Yasuaki Reykjavik UniversityIceland A Type System with Subtyping for WebAssembly's Stack Polymorphism
Kristýna MothejzíkováMothejzíková, Kristýna FreelancerCzechia Graphic Artist in Organizers for ECOOP 2022
Rajdeep MukherjeeMukherjee, Rajdeep Amazon Web Services Static Analysis for AWS Best Practices in Python Code
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology Verified Compilation and Optimization of Floating-Point Programs in CakeML
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Program Committee within the ECOOP Research Papers-track
N Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Krishna NarasimhanNarasimhan, Krishna TU DarmstadtGermany Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Laura NenziNenzi, Laura University of TriesteItaly PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Max S. NewNew, Max S. Northeastern University Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Rumyana NeykovaNeykova, Rumyana Brunel University London Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany Session Chair of Shared Session Truffle & ICOOOLPS (part of ICOOOLPS)
Amirfarhad NilizadehNilizadeh, Amirfarhad University of Central FloridaUnited States Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs Automated Reasoning Repair
James NobleNoble, James Creative Research & ProgrammingNew Zealand Rusty Links in Local Chains Committee Member in Program Committee within the ECOOP Research Papers-track 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
Jonas NorlinderNorlinder, Jonas Uppsala UniversitySweden Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom A Deterministic Memory Allocator for Dynamic Symbolic Execution
David NowakNowak, David CRIStAL, CNRS & University of Lille Defining Corecursive Functions in Coq Using Approximations
Clemens Nylandsted KlokmoseNylandsted Klokmose, Clemens Aarhus UniversityDenmark Local-first Webstrates
O Martin OderskyOdersky, Martin EPFLSwitzerland Tracking Captures in Types Committee Member in Program Committee within the ECOOP Research Papers-track Keynote Speaker in Keynote within the Scala-track
Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium A Graph-Based Formal Semantics of Reactive Programming from First Principles
Renzo OlivaresOlivares, Renzo University of California, RiversideUnited States Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Elementary Type Inference Union Types with Disjoint Switches Direct Foundations for Compositional Programming Committee Member in Program Committee within the ECOOP Research Papers-track
Federico OlmedoOlmedo, Federico University of Chile & IMFD ChileChile Slicing of Probabilistic Programs based on Specifications
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Session Chair of Session Types 1 (part of ECOOP Research Papers) How to Take the Inverse of a Type
Klaus OstermannOstermann, Klaus University of TübingenGermany Committee Member in Program Committee within the ECOOP Research Papers-track
P André PacakPacak, André JGU MainzGermany Functional Programming with Datalog
Luca PadovaniPadovani, Luca University of TurinItaly Fair Termination of Multiparty Sessions
Jens PalsbergPalsberg, Jens University of California at Los AngelesUnited States Compiling Volatile Correctly in Java
Abhinandan PandaPanda, Abhinandan VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk)
Lionel ParreauxParreaux, Lionel Hong Kong University of Science and Technology Committee Member in Program Committee within the Scala-track
Norbert PatakiPataki, Norbert Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and CompilersHungary Memory Consumption of Objects in C++ Memory Consumption of Objects in C++
Rahul Bharadwaj PendyalaPendyala, Rahul Bharadwaj VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk)
Marco PeressottiPeressotti, Marco University of Southern DenmarkDenmark Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Petr PeringerPeringer, Petr Brno University of Technology Low-Level Bi-Abduction
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Plamen PetrovPetrov, Plamen Benchmarking, analysis, and optimization of serverless function snapshots
Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk) VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk) PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Secucheck: Building a Configurable Taint Analysis
Martin PlümickePlümicke, Martin DHBW Stuttgart, Campus Horb, Germany Global Type Inference for Featherweight Generic Java
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Program Committee within the ECOOP Research Papers-track
Michael PradelPradel, Michael University of StuttgartGermany Dynamic Analysis for WebAssembly with Wasabi Wimpl: A Simple IR for Static Analysis of WebAssembly Binaries Committee Member in Program Committee within the PAW-track
José ProençaProença, José ISEP P.PORTO & INESC TECPortugal API Generation for Multiparty Session Types, Revisited and Revised using Scala 3 (Pearl)
Violet Ka I PunPun, Violet Ka I Committee Member in Program Committee within the FTfJP-track
Markus PüschelPüschel, Markus ETH ZurichSwitzerland A Compiler for Sound Floating-Point Computations
R Markus RaabRaab, Markus Vienna University of Technology, Austria Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Robert RabeRabe, Robert TU Munich Verified Compilation and Optimization of Floating-Point Programs in CakeML
Dimi RacordonRacordon, Dimi University of Geneva, SwitzerlandSwitzerland Belief Programming with Map Family Decision Diagrams
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Germany Explicit Tool Support for Implicit Layer Activation
Marianna RapoportRapoport, Marianna AmazonCanada Committee Member in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Research Papers-track
Phil RatzloffRatzloff, Phil SAS NWGraph: A Library of Generic Graph Algorithms and Data Structures in C++20
Henrique RebeloRebelo, Henrique Universidade Federal de PernambucoBrazil Session Chair of FTfJP 2022 C (part of FTfJP) Session Chair of FTfJP 2022 D (part of FTfJP) Conference Chair in Program Committee Chair within the FTfJP-track
Baber RehmanRehman, Baber The University of Hong KongChina Union Types with Disjoint Switches Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David RichterRichter, David Technical University of DarmstadtGermany Prisma: A tierless language for enforcing contract-client protocols in decentralized apps
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland Committee Member in Program Committee within the ECOOP Research Papers-track
Idriss RiouakRiouak, Idriss Department of Computer Science, Lund University, SwedenSweden Source-Level Dataflow-Based Fixes: Experiences From Using Intraj and Magpiebridge
Anton Risberg AlakülaRisberg Alaküla, Anton Department of Computer Science, Lund University, SwedenSweden Property Probes: Source Code Based Exploration of Program Analysis Results
Joao RiveraRivera, Joao ETH ZurichSwitzerland A Compiler for Sound Floating-Point Computations
Adam RogalewiczRogalewicz, Adam Brno University of Technology, Faculty of Information Technology Low-Level Bi-Abduction
Tiark RompfRompf, Tiark Purdue UniversityUnited States What If We Don’t Pop the Stack? The Return of Second-Class Values
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Andreas Rossberg: WebAssembly 2.0 and Beyond
Vlad RusuRusu, Vlad Inria, Lille, France Defining Corecursive Functions in Coq Using Approximations
S Andrei SabelfeldSabelfeld, Andrei Chalmers University of TechnologySweden SecWasm: Information Flow Control for WebAssembly
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Workshops Co-Chair in Organizers for ECOOP 2022 Session Chair of Language Implementation (part of ECOOP Research Papers) Are Programming Languages the Key to Distributed Systems? Programming languages and semantics Functional programming for distributed systems with XC Awards, Outlooks, and Farewells Prisma: A tierless language for enforcing contract-client protocols in decentralized apps Co-chair in Chairs within the ECOOP Workshops-track Committee Member in Program Committee within the ECOOP Research Papers-track
Nuno SantosSantos, Nuno INESC-ID / Instituto Superior Tecnico, University of LisbonPortugal Concolic Execution for WebAssembly
Abhiroop SarkarSarkar, Abhiroop Chalmers University of Technology Synchron - An API and Runtime for Embedded Systems
Neil Anthony SayersSayers, Neil Anthony Imperial College London Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming
Daniel SchemmelSchemmel, Daniel Imperial College London A Deterministic Memory Allocator for Dynamic Symbolic Execution
Johannes SchicklingSchickling, Johannes Building data-centric apps with a reactive relational database
Nicholas SchieferSchiefer, Nicholas Building data-centric apps with a reactive relational database
Max SchlüterSchlüter, Max Oracle Labs Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applications
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Committee Member in Program Committee within the PAW-track
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in Program Committee within the ECOOP Research Papers-track
Michael SchröderSchröder, Michael TU WienAustria Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Lars SchützeSchütze, Lars Technische Universität DresdenGermany Modeling flexible Monitoring Systems with a Role-Based Control Loop Guard the Cache: Dispatch Optimization in a Contextual Role-oriented Language Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Francesca ScozzariScozzari, Francesca University of Chieti-PescaraItaly On the need for a common API for abstract domains of object-oriented programs
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Truffle Interpreter Performance without the Holy Graal
Benjamin Selwyn-SmithSelwyn-Smith, Benjamin Oracle Labs Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applications
Manuel SerranoSerrano, Manuel InriaFrance JavaScript Sealed Classes Committee Member in Program Committee within the ECOOP Research Papers-track
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Using Functional Reactive Programming to Define Safe Actor Systems
Denys ShabalinShabalin, Denys GoogleSwitzerland Committee Member in Program Committee within the Scala-track
Narges ShadabShadab, Narges University of California at RiversideUnited States Accumulation Analysis
Hesam ShahrokhiShahrokhi, Hesam University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Hinted Dictionaries: Efficient Functional Ordered Sets and Maps Program Committee Chair in Organizing Committee within the Scala-track
Saumya ShankarShankar, Saumya Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk)
Marc ShapiroShapiro, Marc LIP6 Shared state for local-first computing
Mary SheeranSheeran, Mary Chalmers Synchron - An API and Runtime for Embedded Systems
Ilja ShmelkinShmelkin, Ilja Technische Universität Dresden, GermanyGermany Modeling flexible Monitoring Systems with a Role-Based Control Loop A Meta-Model for Distributed Role-Based Systems based on the Actor Model of Computation
John ShorttShortt, John Carleton UniversityCanada Static Execution Costs of WebAssembly Functions
Julien SignolesSignoles, Julien CEA LIST, University Paris-Saclay, FranceFrance PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Violetta SimSim, Violetta Innopolis UniversityUzbekistan Formalizing $\varphi$-calculus: a purely object-oriented calculus of decorated objects
Somesh SinghSingh, Somesh INRIA, ENS LyonFrance Committee Member in Extended Review Committee within the ECOOP Research Papers-track 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
Alexander SjöstenSjösten, Alexander TU WienAustria SecWasm: Information Flow Control for WebAssembly
Anil SomayajiSomayaji, Anil Carleton University Static Execution Costs of WebAssembly Functions
Boris SpasojevicSpasojevic, Boris University of Bern, Switzerland Polybench - A polyglot benchmark harness
Arnaud SpiwackSpiwack, Arnaud TweagFrance Union and intersection contracts are hard, actually
Thomas SpringerSpringer, Thomas A Meta-Model for Distributed Role-Based Systems based on the Actor Model of Computation
Manu SridharanSridharan, Manu University of California at RiversideUnited States Expert Discussion Co-Chair in Organizers for ECOOP 2022 Accumulation Analysis Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs Experience Area Chair in Program Committee within the ECOOP Research Papers-track Committee Member in Expert Discussion Committee within the ECOOP Expert Discussion-track
Andreas StadelmeierStadelmeier, Andreas DHBW Stuttgart, Campus Horb, Germany Global Type Inference for Featherweight Generic Java
Maoni StephensStephens, Maoni MicrosoftUnited States Committee Member in Program Committee within the ICOOOLPS-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Session Chair of Program Analysis 2 (part of ECOOP Research Papers) Building Static Analyses for WebAssembly Binaries with Wassail Committee Member in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the PAW-track Committee Member in Organizing Committee within the PAW-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the Scala-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Session Chair of Second afternoon session (part of VORTEX) Hardware-assisted Runtime Monitoring Predictive Semantics for Past-CTL Runtime Monitors
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Session Chair of Verification and Compilation (part of ECOOP Research Papers) Session Chair of FTfJP 2022 B (part of FTfJP) REST: Integrating Term Rewriting with Program Verification Programming languages and semantics Steering Committee Member in Steering Committee within the FTfJP-track
Yaozhu SunSun, Yaozhu University of Hong KongChina Direct Foundations for Compositional Programming
Bo Joel SvenssonSvensson, Bo Joel Chalmers University of Technology, SwedenSweden Synchron - An API and Runtime for Embedded Systems
César SánchezSánchez, César IMDEA Software InstituteSpain PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
T Muhammad Taimoor KhanTaimoor Khan, Muhammad University of GreenwichUnited Kingdom Committee Member in Program Committee within the FTfJP-track
Shusuke TakahashiTakahashi, Shusuke Tokyo Institute of TechnologyJapan Efficient Object Graph Recording with Truffle for Live Data-Structure Programming
Yong Kiam TanTan, Yong Kiam Carnegie Mellon University Verified Compilation and Optimization of Floating-Point Programs in CakeML
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan Session Chair of COP 2022 A (part of COP) A Step toward Programming with Versions in Real-World Functional Languages Committee Member in Program Committee within the COP-track Committee Member in Workshop Organizers within the COP-track
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Verified Compilation and Optimization of Floating-Point Programs in CakeML
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Committee Member in Program Committee within the FTfJP-track
Michelle ThalakotturThalakottur, Michelle Northeastern UniversityUnited States Wimpl: A Simple IR for Static Analysis of WebAssembly Binaries
Peter ThiemannThiemann, Peter University of Freiburg, Germany Global Type Inference for Featherweight Generic Java Type systems
Julian ThomeThome, Julian GitLab Inc.Luxembourg Session Chair of Session 2 (part of PRIDE) A GitLab IDE Integration Based on MagpieBridge Organizer in PRIDE 2022 Workshop Organizers within the PRIDE-track
Sarah TilscherTilscher, Sarah GobPie: An IDE Integration for Goblint Using MagpieBridge
Frank TipTip, Frank Northeastern UniversityUnited States Wimpl: A Simple IR for Static Analysis of WebAssembly Binaries
Anish TondwalkarTondwalkar, Anish Google Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Anish TondwalkarTondwalkar, Anish Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Bernardo ToninhoToninho, Bernardo Nova University of Lisbon / NOVA-LINCS Ferrite: A Judgmental Embedding of Session Types in Rust
Gianluca TortaTorta, Gianluca Predictive Semantics for Past-CTL Runtime Monitors
Emma ToschTosch, Emma University of VermontUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Baltasar Trancón y WidemannTrancón y Widemann, Baltasar NordakademieGermany Compile the Gedackt! Experiments with a Methodology for Dynamic Compilation of Modular Embedded Domain-Specific Languages
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Omer TrippTripp, Omer AmazonUnited States Static Analysis for AWS Best Practices in Python Code Software verification/program analysis
Emilio TuostoTuosto, Emilio Gran Sasso Science Institute, L'Aquila, ItalyItaly Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming
U Mattias UlbrichUlbrich, Mattias KITGermany Committee Member in Program Committee within the FTfJP-track
Dmitrii UstiugovUstiugov, Dmitrii ETH Zurich, SwitzerlandSwitzerland Benchmarking, analysis, and optimization of serverless function snapshots
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland A Type System with Subtyping for WebAssembly's Stack Polymorphism
V Jens Van der PlasVan der Plas, Jens Software Languages Lab, Vrije Universiteit BrusselBelgium Incremental Static Program Analysis through Computational Dependency Reification Elevator Pitches
Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands VCOOP Co-Chair in Organizers for ECOOP 2022 Session Chair of VCOOP 8 (part of ECOOP Research Papers) Session Chair of VCOOP 1 (part of ECOOP Research Papers) Session Chair of VCOOP 9 (part of ECOOP Research Papers)
Peter van Hardenbergvan Hardenberg, Peter Ink & Switch The path to local-first software.
Mahsa VarshosazVarshosaz, Mahsa IT University of Copenhagen, DenmarkDenmark Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, Faculty of Sciences, University of LisbonPortugal Session Chair of Session Types 2 (part of ECOOP Research Papers) Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Research Papers-track
Niki VazouVazou, Niki IMDEA Software Institute Session Chair of Types (part of ECOOP Research Papers) Type systems REST: Integrating Term Rewriting with Program Verification
Mark VellaVella, Mark University of MaltaMalta PC Member in VORTEX 2022 Workshop Organizers within the VORTEX-track
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Functional programming for distributed systems with XC
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Committee Member in Program Committee within the ECOOP Research Papers-track
Jan VitekVitek, Jan Northeastern University; Czech Technical UniversityUnited States Program Committee Chair in Organizers for ECOOP 2022 What we eval in the shadows: a large-scale study of eval in R programs Awards, Outlooks, and Farewells Opening Program Committee Chair in Program Committee within the ECOOP Research Papers-track
Tomáš VojnarVojnar, Tomáš Brno University of Technology Low-Level Bi-Abduction
W Weihang WangWang, Weihang University at Buffalo, SUNY Committee Member in Program Committee within the PAW-track
Yanlin WangWang, Yanlin Microsoft ResearchChina Committee Member in Program Committee within the Scala-track
Yizhuo WangWang, Yizhuo Shanghai Jiao Tong University PEDroid: Automatically Extracting Patches from Android App Updates
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the COP-track
Conrad WattWatt, Conrad University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAW-track
Nick WebsterWebster, Nick Victoria University of Wellington Using Functional Reactive Programming to Define Safe Actor Systems
Guannan WeiWei, Guannan Purdue UniversityUnited States What If We Don’t Pop the Stack? The Return of Second-Class Values
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Prisma: A tierless language for enforcing contract-client protocols in decentralized apps Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Anna-Katharina WickertWickert, Anna-Katharina TU Darmstadt, GermanyGermany Encrypted Replicated Data Types within REScala
Adam WigginsWiggins, Adam Ink & SwitchGermany Programming Local-first Software: Where we are and where we go
Micah WilliamsWilliams, Micah Oracle Experience: Model-Based Feedback-Driven Greybox Fuzzing for Web Applications
Jamie WillisWillis, Jamie Imperial College London Design Patterns for Parser Combinators in Scala
Michael WilsonWilson, Michael Amazon Web Services Static Analysis for AWS Best Practices in Python Code
Stefan WinterWinter, Stefan LMU MunichGermany Artifact Evaluation Co-Chair in Organizers for ECOOP 2022 Awards, Outlooks, and Farewells Committee Member in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Extended Review Committee within the ECOOP Research Papers-track
Tobias WrigstadWrigstad, Tobias Uppsala University Sweden Rusty Links in Local Chains Committee Member in Program Committee within the ECOOP Research Papers-track
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Design Patterns for Parser Combinators in Scala Committee Member in Program Committee within the Scala-track
Adam WulfWulf, Adam Local-first in commercial software: Muse
X Anxhelo XhebrajXhebraj, Anxhelo Purdue University What If We Don’t Pop the Stack? The Return of Second-Class Values
Ningning XieXie, Ningning University of TorontoCanada Union Types with Disjoint Switches Committee Member in Program Committee within the Scala-track
Tao XieXie, Tao Peking UniversityChina Committee Member in Program Committee within the ECOOP Research Papers-track
Han XuXu, Han Peking University Direct Foundations for Compositional Programming
Jingling XueXue, Jingling UNSW SydneyAustralia Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis Committee Member in Program Committee within the ECOOP Research Papers-track
Y Junwen YangYang, Junwen University of ChicagoChina Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Wenjia YeYe, Wenjia The University of Hong Kong Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Joonhwan YooYoo, Joonhwan SUNY Binghamton Vincent: Green Hot Methods in the JVM
Nobuko YoshidaYoshida, Nobuko Imperial College LondonUnited Kingdom Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk) Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Z Albert ZakZak, Albert UAS Technikum WienAustria Elevator Pitches Interactive Programming as an "Operating System" for Resilience in Distributed Systems
Olivier ZendraZendra, Olivier InriaFrance Committee Member in Program Committee within the ICOOOLPS-track
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Committee Member in Extended Review Committee within the ECOOP Research Papers-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Weixin ZhangZhang, Weixin University of Bristol, UK General Chair in Organizing Committee within the Scala-track
Yiwei ZhangZhang, Yiwei Shanghai Jiao Tong University PEDroid: Automatically Extracting Patches from Android App Updates
Jinxu ZhaoZhao, Jinxu University of Hong Kong Elementary Type Inference
Yaoyu ZhaoZhao, Yaoyu University of Waterloo Explicit Nulls with Unsafe Nulls (Student Talk)
Albert ZieglerZiegler, Albert GitHub From AI for Code to AI for Coding
Elena ZuccaZucca, Elena University of GenovaItaly Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the FTfJP-track
Florian ZulegerZuleger, Florian TU ViennaAustria Low-Level Bi-Abduction
Š Štěpán ŠindelářŠindelář, Štěpán Oracle LabsCzechia Committee Member in Truffle 2022 Workshop Organizers within the Truffle-track
Veronika ŠokováŠoková, Veronika Brno University of Technology Low-Level Bi-Abduction

ECOOP 2022 Contributors

Results (435)

Tracks

Workshops

Co-hosted Symposia