ECOOP 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (415)

A Antonis AchilleosAchilleos, Antonis Reykjavik University Committee Member in Program Committee within the VORTEX-track
Sara AchourAchour, Sara MITUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mads AgerAger, Mads GoogleDenmark Keynote: Compiling for Android
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee within the VORTEX-track
Alex AikenAiken, Alex Stanford University Eventually Sound Points-To Analysis with Specifications
Elvira AlbertAlbert, Elvira Committee Member in Program Committee within the VORTEX-track
Eman AldakheelAldakheel, Eman University of Illinois at Chicago & Princess Nourah bint Abdulrahman UniversityUnited States Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
Karim AliAli, Karim University of Alberta Committee member in Organizing Committee within the Panathon-track Committee Member in Program Committee within the AORTA-track
Saswat AnandAnand, Saswat Stanford University Eventually Sound Points-To Analysis with Specifications
Davide AnconaAncona, Davide University of GenovaItaly Session Chair of Types (part of ECOOP Research Papers) Session Chair of Session 3 (part of VORTEX) Opening at 10:25 Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan TinyCORP: A Calculus for Context-Oriented Reactive Programming TinyCORP: A Calculus for Context-Oriented Reactive Programming
Alen ArslanagićArslanagić, Alen University of Groningen Session Types in the Real World: A Minimalistic Approach Minimal Session Types MISTY: Playing with Minimal Session Types
Ellen ArtecaArteca, Ellen Northeastern UniversityUnited States Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
Mohammadreza AshouriAshouri, Mohammadreza University of Potsdam, Germany TaintSpy: Runtime Vulnerability Analyzing Framework for Scala
Alexander Asp BockAsp Bock, Alexander IT University of CopenhagenDenmark A Parallel Spreadsheet Interpreter With Cycle Detection
Robert AtkeyAtkey, Robert University of Strathclyde Committee Member in Program Committee within the ECOOP Research Papers-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly A Field Calculus Implementation of Spatial Logic Committee Member in Program Committee within the VORTEX-track
B Johannes BaderBader, Johannes FacebookUnited States Getafix: Learning to fix bugs automatically
Lars BakBak, Lars Google The Making of a Secure and Robust IoT Development Platform
Thomas BallBall, Thomas Microsoft ResearchUnited States The Correct Cloud: Logic and Languages Committee Member in Program Committee within the BenchWork-track
Yuyan BaoBao, Yuyan Pennsylvania State University, USAUnited States Committee Member in Program Committee within the FTfJP-track
Celeste BarnabyBarnaby, Celeste Wesleyan University Using ML for Code Discovery at Facebook
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Publicity Chair in Organizing Committee for ECOOP 2019 Session Chair of Summer School M2 (part of ECOOP Summer School) Session Chair of Summer School W2 (part of ECOOP Summer School) Committee Member in Program Committee within the ICOOOLPS-track
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Eventually Sound Points-To Analysis with Specifications
Julia BelyakovaBelyakova, Julia Northeastern University, USARussia Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2019 Session Chair of DS Session 4 (part of ECOOP Doctoral Symposium) Session Chair of DS Session 3 (part of ECOOP Doctoral Symposium) Session Chair of DS Session 1 (part of ECOOP Doctoral Symposium) Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Elias BenussiBenussi, Elias Faculty Science Ltd Effpi: Verified Message-Passing Programs in Dotty
Suparna BhattacharyaBhattacharya, Suparna Hewlett-Packard EnterpriseIndia Committee Member in External Review Committee within the ECOOP Research Papers-track
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland Author in Steering Committee within the Scala-track Committee Member in Program Committee within the Scala-track
Gavin BiermanBierman, Gavin Oracle LabsUnited Kingdom The Future of Java
Walter BinderBinder, Walter University of Lugano, Switzerland Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Committee Member in Program Committee within the COP-track
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom How to design a programming language
Sebastian BlessingBlessing, Sebastian Imperial College LondonUnited Kingdom Run, actor, run
Christoph BockischBockisch, Christoph Philipps-Universität MarburgGermany Committee Member in Organizing Committee within the PASS-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs Committee member in Organizing Committee within the Panathon-track
Borzoo BonakdarpourBonakdarpour, Borzoo Iowa State University, USA Committee Member in Program Committee within the VORTEX-track
Daniele BonettaBonetta, Daniele Oracle Labs Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Viviana BonoBono, Viviana University of TorinoItaly Committee Member in External Review Committee within the ECOOP Research Papers-track
James BornholtBornholt, James University of Texas at AustinUnited States Committee Member in Program Committee within the FTfJP-track
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFL Towards Improved GADT Reasoning in Scala
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Author in Steering Committee within the Scala-track Sponsorship Chair in Organizing Committee within the Scala-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Idris 2: Type-driven Development of Idris Committee Member in Program Committee within the Scala-track
Igor BragaBraga, Igor IBM CanadaCanada Create your own Interpreter with a JIT under 30 minutes Create your own Interpreter with a JIT
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures
Ugo BuyBuy, Ugo Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs
Clément BéraBéra, Clément Google, AarhusDenmark Introduction General Chair in Organizing Committee within the ICOOOLPS-track
C Eric CampbellCampbell, Eric Cornell UniversityUnited States How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Type-Safe Data Plane Programming with SafeP4
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Distributed Context Petri Nets
Franck CassezCassez, Franck Macquarie University, Australia Committee Member in Program Committee within the Scala-track
Elias CastegrenCastegren, Elias Uppsala University Progress Report: Exploring API Design for Capabilities for Programming with Arrays
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the COP-track
Satish ChandraChandra, Satish FacebookUnited States Using ML for Code Discovery at Facebook Getafix: Learning to fix bugs automatically
Adelbert ChangChang, Adelbert Target, USAUnited States Microservice architecture, a programming languages perspective
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Lifestate: Event-Driven Protocols and Callback Control Flow Lifestate: Event-Driven Protocols and Callback Control Flow Lifestate: Event-Driven Protocols and Callback Control Flow
Guido ChariChari, Guido Czech Technical University, CzechiaCzech Republic Committee Member in Program Committee within the ICOOOLPS-track
Junjie ChenChen, Junjie Peking UniversityChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in External Review Committee within the ECOOP Research Papers-track
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the COP-track
Maria ChristakisChristakis, Maria MPI-SWSGermany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2019 ECOOP Awards Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Video Chair in Organizing Committee for ECOOP 2019 Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples
Benjamin ChungChung, Benjamin Northeastern University On Julia’s efficient algorithm for subtyping union types and covariant tuples
Lazaro ClappClapp, Lazaro Stanford University Eventually Sound Points-To Analysis with Specifications
Lin ClarkClark, Lin Mozilla Bringing WebAssembly outside the web with WASI
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures
James CoglanCoglan, James Conflict resolution
Henry CookCook, Henry SiFive Silicon at the Speed of Software: From Circuits to Systems
Andrew CraikCraik, Andrew IBM Canada Lightweight Software Profiling of Compiled Code Lightweight Software Profiling of Compiled Code
D Michael D. ShahD. Shah, Michael Northeastern University, USAUnited States Committee Member in Posters committee within the ECOOP Posters-track
Benoit DalozeDaloze, Benoit Oracle LabsSwitzerland Committee Member in Program Committee within the ICOOOLPS-track
Sadegh DalvandiDalvandi, Sadegh University of Surrey Towards Deductive Verification of C11 Programs with Event-B and ProB
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly A Field Calculus Implementation of Spatial Logic
Jose Daniel Fandiño de la HozDaniel Fandiño de la Hoz, Jose Universidad de los AndesColombia Distributed Context Petri Nets
Simon DanischDanisch, Simon Nextjournal Julia: A Compiler for the Future
David DaraisDarais, David University of VermontUnited States Committee Member in Posters committee within the ECOOP Posters-track
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Jonas De BleserDe Bleser, Jonas Sofware Languages Lab, Vrije Universiteit BrusselBelgium Resilience Testing of Akka Systems SoCRATES - Scala Radar for Test Smells Towards Resilience Testing of Actor Programs through Test Perturbations
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Committee Member in Program Committee within the Scala-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom A Typing Discipline for Hardware Interfaces A Typing Discipline for Hardware Interfaces
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium SoCRATES - Scala Radar for Test Smells Towards Resilience Testing of Actor Programs through Test Perturbations Garbage-free Abstract Interpretation through Abstract Reference Counting Garbage-free Abstract Interpretation through Abstract Reference Counting Garbage-free Abstract Interpretation through Abstract Reference Counting
Bronis de Supinskide Supinski, Bronis Lawrence Livermore National Laboratory Committee Member in Program Committee within the AORTA-track
Isabella DefilippisDefilippis, Isabella Universidad Privada Boliviana (UPB) Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Pantazis DeligiannisDeligiannis, Pantazis Microsoft ResearchUnited Kingdom Reliable State Machines: A Framework for Programming Reliable Cloud Services Reliable State Machines: A Framework for Programming Reliable Cloud Services
Marcus DenkerDenker, Marcus INRIA Lille Committee Member in Program Committee within the ICOOOLPS-track
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Committee Member in Program Committee within the ECOOP Research Papers-track
Dario Di NucciDi Nucci, Dario Vrije Universiteit BrusselBelgium SoCRATES - Scala Radar for Test Smells
Lukas DiekmannDiekmann, Lukas King's College LondonUnited Kingdom Awards Chair in Organizing Committee for ECOOP 2019
Bui Phi DiepDiep, Bui Phi Uppsala UniversitySweden Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Steering Committee Member in Steering Commitee within the FTfJP-track
Cynthia DisenfeldDisenfeld, Cynthia University of Toronto Committee Member in Program Committee within the COP-track
Dino DistefanoDistefano, Dino Facebook London Committee Member in Program Committee within the ECOOP Research Papers-track
Mike DoddsDodds, Mike Galois, Inc. Committee Member in External Review Committee within the ECOOP Research Papers-track
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the Scala-track
Julian DolbyDolby, Julian IBM ResearchUnited States Workshops Co-Chair in Organizing Committee for ECOOP 2019 MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors Workshops Co-Chair in Organizing Committee within the ECOOP Workshops-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Program Chair in Organizing Committee for ECOOP 2019 Session Chair of Closing Keynote (part of ECOOP Research Papers) GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers ECOOP Awards Chair in Program Committee within the ECOOP Research Papers-track
Brijesh DongolDongol, Brijesh University of Surrey Towards Deductive Verification of C11 Programs with Event-B and ProB
Derek DreyerDreyer, Derek MPI-SWSGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Session Chair of Keynote (part of ECOOP Research Papers) Run, actor, run Operational Semantics driving the Type System Design: Reference Capabilities in Pony Committee Member in Program Committee within the ECOOP Research Papers-track
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRSFrance Committee Member in Program Committee within the ECOOP Research Papers-track
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Implementation of a Feature-Based Context-Oriented Programming Language Committee Member in Program Committee within the COP-track
John DuimovichDuimovich, John KEYNOTE: The Democratization of Runtime Technology
Bruno DumasDumas, Bruno Université de NamurBelgium Implementation of a Feature-Based Context-Oriented Programming Language
E Michael EichbergEichberg, Michael TU Darmstadt, Germany Hermes: Towards Representative Benchmarks
Matthias EichholzEichholz, Matthias How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Type-Safe Data Plane Programming with SafeP4
Marco EilersEilers, Marco ETH ZurichSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Workshops Co-Chair in Organizing Committee for ECOOP 2019 Session Chair of Domain Specific Languages (part of ECOOP Research Papers) Workshops Co-Chair in Organizing Committee within the ECOOP Workshops-track Steering Committee Member in Steering Committee within the Scala-track
Gidon ErnstErnst, Gidon LMU MunichGermany Committee Member in Program Committee within the FTfJP-track Co-chair in Organizing Committee within the FTfJP-track
Michael D. ErnstErnst, Michael D. University of Washington, USA Committee Member in Program Committee within the BenchWork-track
F Marie FarrellFarrell, Marie University of Liverpool Committee Member in Program Committee within the FTfJP-track
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Rethinking Compositionality: Composing Proofs From Program Behaviours
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the ICOOOLPS-track
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures
Olivier FlückigerFlückiger, Olivier Northeastern University, USA Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Chris FordFord, Chris ThoughtWorks (UK) Ltd. Finite-State Machines: All models are wrong but this one is useful
Nate FosterFoster, Nate Cornell UniversityUnited States Formal Methods and Computer Networks: A Match Made in Heaven? How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Type-Safe Data Plane Programming with SafeP4
George FourtounisFourtounis, George University of AthensGreece Deep Static Modeling of invokedynamic Deep Static Modeling of invokedynamic Deep Static Modeling of invokedynamic
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Luca FranceschiniFranceschini, Luca DIBRIS, University of Genova, ItalyItaly RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification RML: Runtime Monitoring Language
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Björn FrankeFranke, Björn University of Edinburgh, UK Committee Member in Program Committee within the AORTA-track
Juan FumeroFumero, Juan University of Manchester, UKUnited Kingdom TornadoVM: Dynamic Optimisation of Heterogeneous Java Acceleration Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Carlo A. FuriaFuria, Carlo A. Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the FTfJP-track
G Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Gillian: A General Static Analysis Framework based on Separation Logic A Program Logic for First-Order Encapsulated WebAssembly
Isaac Oscar GarianoGariano, Isaac Oscar CallƐ: An Effect System for Method Calls
Paolo G. GiarrussoGiarrusso, Paolo G. TU Delft, The Netherlands Towards Improved GADT Reasoning in Scala
Paolo G. GiarrussoGiarrusso, Paolo G. TU Delft, The NetherlandsItaly Author in Steering Committee within the Scala-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Origami Programming for Fun and Profit
Yossi GilGil, Yossi Technion—Israel Institute of Technology Fling—A Fluent API Generator Fling---A Fluent API Generator Fling---A Fluent API Generator
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Committee Member in Program Committee within the ICOOOLPS-track
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of Utah Committee Member in External Review Committee within the ECOOP Research Papers-track
Alexey GotsmanGotsman, Alexey IMDEA Software InstituteSpain Committee Member in Program Committee within the ECOOP Research Papers-track
Krishnan GovindrajGovindraj, Krishnan Microsoft Research Reliable State Machines: A Framework for Programming Reliable Cloud Services Reliable State Machines: A Framework for Programming Reliable Cloud Services
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Session Chair of Session 2 (part of VORTEX) Invited talk: Fast Runtime Verification via Slow Program Analysis Committee Member in Program Committee within the VORTEX-track Steering Committee Member in Steering Commitee within the FTfJP-track
Sascha GroßGroß, Sascha University of Potsdam IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications
Dan GrossmanGrossman, Dan University of WashingtonUnited States Committee Member in Program Committee within the PASS-track
Tianxiao GuGu, Tianxiao Alibaba GroupUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Robbert Gurdeep SinghGurdeep Singh, Robbert Universiteit Gent, BelgiumBelgium State Explosion Considered Harmful Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs
Tudor GîrbaGîrba, Tudor feenk.comSwitzerland Remolding the development experience Moldable development
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany Committee Member in Program Committee within the PASS-track
H Christine H. FloodH. Flood, Christine Red Hat Checkpointing for Java
David H. LorenzH. Lorenz, David Technion—Israel Institute of Technology Committee Member in Program Committee within the COP-track
Philipp HallerHaller, Philipp KTH Royal Institute of Technology, SwedenGermany Asynchronous streams in direct style with and without macros Author in Steering Committee within the Scala-track
Jafar HaminHamin, Jafar imec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium Transferring Obligations Through Synchronizations Transferring Obligations Through Synchronizations
Christian HammerHammer, Christian University of PotsdamGermany Session Chair of Program Analysis 2 (part of ECOOP Research Papers) A Central and Evolving Benchmark IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications Committee Member in Program Committee within the ECOOP Research Papers-track
Tim HarrisHarris, Tim Amazon Committee Member in Program Committee within the ECOOP Research Papers-track
Matthias HauswirthHauswirth, Matthias Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the ECOOP Research Papers-track
Veit HellerHeller, Veit Port Zero Carp—A Language for the 21st Century
Johannes HenningHenning, Johannes Hasso Plattner Institute Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code
Ludovic HenrioHenrio, Ludovic CNRSFrance Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures
Ben HermannHermann, Ben Paderborn UniversityGermany A Word From the Chairs Discussion and Closing Keynote: Self-Marketing as a Researcher Organizing Committee in Organizing Committee within the BenchWork-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Felienne HermansHermans, Felienne Leiden UniversityNetherlands Committee Member in Organization Committee within the ECOOP Curry On-track
Kim HerzigHerzig, Kim Tools for Software Engineers, Microsoft A Word From the Chairs Discussion and Closing Organizing Committee in Organizing Committee within the BenchWork-track
Robert HirschfeldHirschfeld, Robert Hasso-Plattner-Institut (HPI), GermanyGermany Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Celeste HollenbeckHollenbeck, Celeste Northeastern Univeristy Compiler Inlining with Machine Learning
Michael HomerHomer, Michael Victoria University of Wellington Transient Typechecks are (Almost) Free
Jaemin HongHong, Jaemin KAIST, South KoreaSouth Korea Symmetric Multiple Dispatch for Path Dependent Types
Falk HowarHowar, Falk Clausthal University of Technology Committee Member in Program Committee within the VORTEX-track
Jacob HughesHughes, Jacob King's College London Student Volunteers Co-Chair in Organizing Committee for ECOOP 2019 Student Volunteer Co-Chair in Committee within the ECOOP Student Volunteers-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Hideya IwasakiIwasaki, Hideya University of Electro-Communications, Japan Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
J Bart JacobsJacobs, Bart KU LeuvenBelgium Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
Bart JacobsJacobs, Bart Radboud University Nijmegen Transferring Obligations Through Synchronizations
Bart JacobsJacobs, Bart KU LeuvenBelgium Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior Transferring Obligations Through Synchronizations Specifying I/O using Abstract Nested Hoare Triples in Separation Logic Committee Member in External Review Committee within the ECOOP Research Papers-track
Marie-Christine JakobsJakobs, Marie-Christine TU Darmstadt, Germany Committee Member in Program Committee within the FTfJP-track
Alex JefferyJeffery, Alex University of Sussex Dependent Object Types with Implicit Functions
Lingxiao JiangJiang, Lingxiao Singapore Management UniversitySingapore Semantic Patches for Java Program Transformation Coccinelle4J: Automated Program Transformations for Java Semantic Patches for Java Program Transformation
Timothy M. JonesJones, Timothy M. University of Cambridge, UK Janus: automatic binary analysis, instrumentation and optimisation using rewrite rules Committee Member in Program Committee within the AORTA-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands Session Chair of Session 1 (part of VORTEX) Invited talk: Monitoring Asynchronous Communications (in Clojure) Committee Member in Program Committee within the VORTEX-track
Alisa Joy MaasJoy Maas, Alisa University of Wisconsin-MadisonUnited States Student Volunteers Co-Chair in Organizing Committee for ECOOP 2019 Student Volunteer Co-Chair in Committee within the ECOOP Student Volunteers-track
Fahed JubairJubair, Fahed University of JordanJordan Committee Member in Program Committee within the PASS-track
Eric JulJul, Eric University of OsloNorway Interactive session Invited talk: How to get your Ph.D. DONE! General Co-Chair in Organizing Committee within the ICOOOLPS-track
K Gowtham KakiKaki, Gowtham Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Szymon KaliskiKaliski, Szymon Walking In The Garden Of Forking Paths
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan TinyCORP: A Calculus for Context-Oriented Reactive Programming
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan TinyCORP: A Calculus for Context-Oriented Reactive Programming Committee Member in Program Committee within the COP-track
Hong Jin KangKang, Hong Jin School of Information Systems, Singapore Management University Semantic Patches for Java Program Transformation Coccinelle4J: Automated Program Transformations for Java Semantic Patches for Java Program Transformation
Takafumi KataokaKataoka, Takafumi Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
Maria KechagiaKechagia, Maria University College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Stephen KellKell, Stephen University of Kent Session Chair of Concurrency and Parallelism (part of ECOOP Research Papers) Dragging Unix into the 1980s (and beyond?): liveness and source-level reflection
Jeroen KetemaKetema, Jeroen ESI (TNO)Netherlands Committee Member in External Review Committee within the ECOOP Research Papers-track
Edward KmettKmett, Edward Committee Member in Program Committee within the Scala-track
Christos KotselidisKotselidis, Christos University of Manchester, UKUnited Kingdom Tornado VM: A Java Virtual Machine for Exploiting High-Performance Heterogeneous Hardware TornadoVM: Dynamic Optimisation of Heterogeneous Java Acceleration
V Krishna NandivadaKrishna Nandivada, V IIT Madras Precise, Efficient and Secure Just-In-Time Analysis of Java Programs Precise, Efficient and Secure Just-In-Time Analysis of Java Programs
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge NumLin: Linear Types for Linear Algebra NumLin: Linear Types for Linear Algebra A Program Logic for First-Order Encapsulated WebAssembly NumLin: Linear Types for Linear Algebra Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Raja KrishnaswamyKrishnaswamy, Raja Microsoft Azure Reliable State Machines: A Framework for Programming Reliable Cloud Services Reliable State Machines: A Framework for Programming Reliable Cloud Services
Stefan KrügerKrüger, Stefan Paderborn UniversityGermany Session 1: Introduction to CogniCrypt Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway? Committee member in Organizing Committee within the Panathon-track Committee Member in Posters committee within the ECOOP Posters-track
Hillel KuglerKugler, Hillel MicrosoftUnited States Committee Member in Program Committee within the VORTEX-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu MPI-SWS, GermanyGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Filip KřikavaKřikava, Filip Czech Technical UniversityCzech Republic Committee Member in Organization Committee within the ECOOP Curry On-track
L Chris LaffraLaffra, Chris Uber AmsterdamNetherlands SM4E - Self-Marketing for Engineers Committee Member in Organization Committee within the ECOOP Curry On-track
Akash LalLal, Akash Microsoft Research IndiaIndia Reliable State Machines: A Framework for Programming Reliable Cloud Services Reliable State Machines: A Framework for Programming Reliable Cloud Services Committee Member in Program Committee within the ECOOP Research Papers-track
Julia LawallLawall, Julia Inria/LIP6 Semantic Patches for Java Program Transformation Coccinelle4J: Automated Program Transformations for Java Semantic Patches for Java Program Transformation
Torsten LaydaLayda, Torsten SIX, Switzerland Committee Member in Organization Committee within the ECOOP Curry On-track
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Program Committee within the Scala-track Committee Member in Program Committee within the ECOOP Research Papers-track
Stephen LeachLeach, Stephen United Kingdom POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago
Hugh LeatherLeather, Hugh University of Edinburgh Session Chair of Session #3 (part of AORTA) Organization Co-chair in Organizing Committee within the AORTA-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Committee Member in Program Committee within the COP-track Steering Committee Member in Steering Commitee within the FTfJP-track
David LeopoldsederLeopoldseder, David Johannes Kepler University LinzAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Maurizio LeottaLeotta, Maurizio DIBRIS, University of Genova, ItalyItaly Committee Member in Program Committee within the VORTEX-track
Martin LesterLester, Martin University of ReadingUnited Kingdom Analysis of MiniJava Programs via Translation to ML
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Author in Steering Committee within the Scala-track
Yue LiLi, Yue Aarhus University, DenmarkChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Xiaoli LiangLiang, Xiaoli IBM CanadaCanada Session Chair of Session #1 (part of AORTA) JIT as a Service: Compilation Paradigm for the Cloud JIT as a Service: Compilation Paradigm for the Cloud Organization Co-chair in Organizing Committee within the AORTA-track
Fangzhen LinLin, Fangzhen Translating Classes to First-Order Logic: An Example
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Organizing Committee within the PASS-track
Ben LivshitsLivshits, Ben Imperial College London, UK Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things? Static Analysis for Asynchronous JavaScript Programs
Benjamin LivshitsLivshits, Benjamin Imperial College London, UK Static Analysis for Asynchronous JavaScript Programs
David LoLo, David Singapore Management UniversitySingapore Semantic Patches for Java Program Transformation Coccinelle4J: Automated Program Transformations for Java Semantic Patches for Java Program Transformation
David H. LorenzLorenz, David H. Open University and Technion IIT Session Chair of Research Papers (part of COP) Session Chair of Research Papers (part of COP) Contact Organizer in Organizing Committee within the COP-track Chair in Program Committee within the COP-track
Sifei LuanLuan, Sifei Facebook Using ML for Code Discovery at Facebook
Linghui LuoLuo, Linghui Paderborn University Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDEs and Editors with MagpieBridge MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors Invited Speaker in Organizing Committee within the Panathon-track
Konstantin LäuferLäufer, Konstantin Loyola University ChicagoUnited States Tests as Maintainable Assets Via Auto-generated Spies
Gerald LüttgenLüttgen, Gerald University of BambergGermany Committee Member in Program Committee within the VORTEX-track
M Fernando MaciasMacias, Fernando Empowering Multilevel DSMLs with Integrated Runtime Verification
Daryl MaierMaier, Daryl IBM CanadaCanada Session Chair of Session #2 (part of AORTA) JIT as a Service: Compilation Paradigm for the Cloud JIT as a Service: Compilation Paradigm for the Cloud Organization Co-chair in Organizing Committee within the AORTA-track
Rupak MajumdarMajumdar, Rupak MPI-SWS, Germany Motion Session Types for Robotic Interactions
Petar MaksimovićMaksimović, Petar Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, SerbiaUnited Kingdom A Program Logic for First-Order Encapsulated WebAssembly
Dhruv MakwanaMakwana, Dhruv Goldman SachsUnited Kingdom One VM to Rule Them All? Lessons Learned with GraalVM
Dhruv MakwanaMakwana, Dhruv UnaffiliatedUnited Kingdom NumLin: Linear Types for Linear Algebra NumLin: Linear Types for Linear Algebra NumLin: Linear Types for Linear Algebra
Mariana MarasoiuMarasoiu, Mariana University of Cambridge Committee Member in Program Committee within the COP-track
Michaël MarcozziMarcozzi, Michaël Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Leonardo MarianiMariani, Leonardo University of Milano BicoccaItaly Committee Member in Program Committee within the VORTEX-track
Simon MarlowMarlow, Simon Facebook Glean: facts about code
Stefan MarrMarr, Stefan University of KentUnited Kingdom Web Chair in Organizing Committee for ECOOP 2019 Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching Dynamic Languages and Parallelism: How to Go from Broken or Slow to Safe and Efficient? Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Transient Typechecks are (Almost) Free
Guillaume MartresMartres, Guillaume EPFL, SwitzerlandSwitzerland A universal encoding for functions in Scala based on structural types
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access DynaSOAr: A Parallel Memory Allocator for OOP on GPUs DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access Committee Member in Organizing Committee within the PASS-track Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Toni MattisMattis, Toni University of Potsdam PotsdamGermany Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming
Remigius MeierMeier, Remigius ETH Zurich, SwitzerlandSwitzerland Committee Member in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Shawn MeierMeier, Shawn University of Colorado, BoulderUnited States Lifestate: Event-Driven Protocols and Callback Control Flow Lifestate: Event-Driven Protocols and Callback Control Flow Lifestate: Event-Driven Protocols and Callback Control Flow
Christopher MeiklejohnMeiklejohn, Christopher Carnegie Mellon UniversityUnited States Committee Member in Organization Committee within the ECOOP Curry On-track
Darya MelicherMelicher, Darya Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Charith MendisMendis, Charith MIT CSAILUnited States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Implementation of a Feature-Based Context-Oriented Programming Language Committee Member in Program Committee within the COP-track
Tim MenziesMenzies, Tim North Carolina State UniversityUnited States Committee Member in Program Committee within the BenchWork-track
Mira MeziniMezini, Mira TU Darmstadt, GermanyGermany Interactive Decentralised Software Made Easy How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Type-Safe Data Plane Programming with SafeP4
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee within the Scala-track Committee Member in External Review Committee within the ECOOP Research Papers-track
Heather MillerMiller, Heather Carnegie Mellon University Sponsorship Co-Chair in Organizing Committee for ECOOP 2019 Author in Steering Committee within the Scala-track Organization Co-chair in Organization Committee within the ECOOP Curry On-track Committee Member in Program Committee within the ECOOP Research Papers-track
Richard MillwoodMillwood, Richard Core Education UK & Trinity College DublinUnited Kingdom Mental models for critiquing design of interactive development environments
Aleksandr MisonizhnikMisonizhnik, Aleksandr Saint-Petersburg State UniversityRussia On Satisfiability of Nominal Subtyping with Variance
Rosemary MonahanMonahan, Rosemary National University of Ireland Chair in Steering Commitee within the FTfJP-track
Jordy MoosMoos, Jordy PB Web Media The Tricks of Game Programming in a Pure Functional Language
Dmitry MordvinovMordvinov, Dmitry Saint-Petersburg State University, JetBrains Research On Satisfiability of Nominal Subtyping with Variance
Robin MorissetMorisset, Robin WebkitUnited States Committee Member in Program Committee within the ICOOOLPS-track
Wojciech MostowskiMostowski, Wojciech Halmstad University Committee Member in Program Committee within the FTfJP-track
Kristýna MothejzíkováMothejzíková, Kristýna FreelancerCzech Republic Graphic Artist in Organizing Committee for ECOOP 2019
Sarah MountMount, Sarah Aston UniversityUnited Kingdom Diversity Chair in Organizing Committee for ECOOP 2019
Sergio MoverMover, Sergio Ecole Polytechnique Lifestate: Event-Driven Protocols and Callback Control Flow Lifestate: Event-Driven Protocols and Callback Control Flow Lifestate: Event-Driven Protocols and Callback Control Flow
Suvam MukherjeeMukherjee, Suvam Microsoft Research IndiaIndia Reliable State Machines: A Framework for Programming Reliable Cloud Services
Suvam MukherjeeMukherjee, Suvam Indian Institute of ScienceIndia Reliable State Machines: A Framework for Programming Reliable Cloud Services
Gilles MullerMuller, Gilles LIP6-INRIA/UPMC Semantic Patches for Java Program Transformation Coccinelle4J: Automated Program Transformations for Java Semantic Patches for Java Program Transformation
John MummMumm, John Vectrology Solutions Safely Sharing Data: Reference Capabilities in the Pony Programming Language
Toby MurrayMurray, Toby University of Melbourne, AustraliaAustralia Committee Member in Program Committee within the FTfJP-track Co-chair in Organizing Committee within the FTfJP-track
N Roberto NatellaNatella, Roberto Federico II University of NaplesItaly Dependability Benchmarking by Injecting Software Bugs
Kristen NewburyNewbury, Kristen University of AlbertaCanada Session 3: Dynamic CogniCrypt – Static Failures and Dynamic Successes Committee member in Organizing Committee within the Panathon-track
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Paderborn UniversityGermany Poster Chair in Organizing Committee for ECOOP 2019 Session Chair of DS Session 2 (part of ECOOP Doctoral Symposium) Creating and Managing Benchmark Suites with ABM Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Chair in Posters committee within the ECOOP Posters-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Khanh NguyenNguyen, Khanh University of California, Los AngelesUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code Committee Member in Program Committee within the ICOOOLPS-track
James NobleNoble, James Victoria University of Wellington Summer School Co-Chair in Organizing Committee for ECOOP 2019 CallƐ: An Effect System for Method Calls Transient Typechecks are (Almost) Free
Ulf NorellNorell, Ulf Gothenburg UniversitySweden Committee Member in Program Committee within the Scala-track
Nate NystromNystrom, Nate USI Lugano, Switzerland Program Chair in Program Committee within the Scala-track Program Chair in Organizing Committee within the Scala-track
O John O'SullivanO'Sullivan, John Loyola University Chicago Tests as Maintainable Assets Via Auto-generated Spies
Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Author in Steering Committee within the Scala-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong Committee Member in Steering Committee within the Scala-track Committee Member in Program Committee within the ECOOP Research Papers-track
Nathalie OostvogelsOostvogels, Nathalie Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Sergio OportoOporto, Sergio Universidad Privada Boliviana (UPB)Bolivia Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Invited Talk - Building Trustworthy Software with CakeML
P Michail PapadimitriouPapadimitriou, Michail University of Manchester, UK TornadoVM: Dynamic Optimisation of Heterogeneous Java Acceleration
Devin PapineauPapineau, Devin IBM Canada Lightweight Software Profiling of Compiled Code
Jessica PaquettePaquette, Jessica Apple Inc. Committee Member in External Review Committee within the ECOOP Research Papers-track
Matthew ParkinsonParkinson, Matthew Microsoft Research, UKUnited Kingdom Keynote: Project Snowflake: What we learnt.
Lionel ParreauxParreaux, Lionel EPFLSwitzerland Towards Improved GADT Reasoning in Scala Finally, a Polymorphic Linear Algebra Language Finally, a Polymorphic Linear Algebra Language
Felix PauckPauck, Felix Paderborn University, GermanyGermany Android Taint-Analysis Benchmarks: Past, Present and Future Android App Analysis Query Language
David J. PearcePearce, David J. Victoria University of Wellington, New ZealandUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Hila PelegPeleg, Hila Technion, IsraelIsrael Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands Towards Language-Parametric Semantic Editor Services Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Steven PembertonPemberton, Steven CWI, AmsterdamNetherlands Declarative - The paradigm that didn't get mentioned
Willem PenninckxPenninckx, Willem KU Leuven Specifying I/O using Abstract Nested Hoare Triples in Separation Logic Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
Roly PereraPerera, Roly Alan Turing InstituteUnited Kingdom Committee Member in Program Committee within the COP-track
Dmitry PetrashkoPetrashko, Dmitry Stripe Gradual typing for Ruby at Scale with Sorbet
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom The search for fundamental software engineering principles
Simon Peyton JonesPeyton Jones, Simon Microsoft, UK Automatic Differentiation for Dummies
Luís PinaPina, Luís George Mason UniversityUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Gustavo PintoPinto, Gustavo UFPABrazil Committee Member in Program Committee within the PASS-track
Marcus PirronPirron, Marcus MPI-SWS Motion Session Types for Robotic Interactions
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2019 Co-chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the ECOOP Research Papers-track
Jyoti PrakashPrakash, Jyoti University of Potsdam, GermanyGermany Pointer Analysis as reachability problem over Push Down System
Ron PresslerPressler, Ron Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland A Renaissance for Optimizing Compilers Challenges of Optimizing Scala Programs Committee Member in Program Committee within the PASS-track
Jorge A. PérezPérez, Jorge A. University of Groningen, The NetherlandsNetherlands Minimal Session Types MISTY: Playing with Minimal Session Types
Markus PüschelPüschel, Markus ETH ZürichSwitzerland Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
Corina S. PăsăreanuPăsăreanu, Corina S. NASA and Carnegie Mellon University Committee Member in Program Committee within the ECOOP Research Papers-track
R Azalea RaadRaad, Azalea MPI-SWSGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Nitin John RajRaj, Nitin John International Institute of Information Technology, Hyderabad Reliable State Machines: A Framework for Programming Reliable Cloud Services Reliable State Machines: A Framework for Programming Reliable Cloud Services
Ajitha RajanRajan, Ajitha University of Edinburgh, UK Committee Member in Program Committee within the ECOOP Research Papers-track
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States A Benchmark for Understanding Data Science Software Committee Member in Program Committee within the PASS-track
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Germany Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming
Aseem RastogiRastogi, Aseem Microsoft ResearchIndia Reliable State Machines: A Framework for Programming Reliable Cloud Services Reliable State Machines: A Framework for Programming Reliable Cloud Services
Chandramouleswaran RavichandranRavichandran, Chandramouleswaran Microsoft Azure Reliable State Machines: A Framework for Programming Reliable Cloud Services Reliable State Machines: A Framework for Programming Reliable Cloud Services
Giles RegerReger, Giles University of ManchesterUnited Kingdom Invited talk: Runtime Verification and Objects: Are we doing it wrong? Committee Member in Program Committee within the VORTEX-track
Christoph ReichenbachReichenbach, Christoph Lund University Committee Member in Program Committee within the BenchWork-track
Michael ReifReif, Michael TU Darmstadt, GermanyGermany Committee Member in Posters committee within the ECOOP Posters-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Patrick ReinRein, Patrick Hasso Plattner Institute, GermanyGermany Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming
Gregor RichardsRichards, Gregor University of WaterlooCanada Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language Committee Member in External Review Committee within the ECOOP Research Papers-track
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2019 ECOOP Awards Committee Member in Program Committee within the ICOOOLPS-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christine RizkallahRizkallah, Christine UNSW SydneyAustralia Committee Member in Program Committee within the FTfJP-track
Richard RobertsRoberts, Richard Victoria University of WellingtonNew Zealand Transient Typechecks are (Almost) Free
Tiark RompfRompf, Tiark Purdue UniversityUnited States Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
Eduardo RosalesRosales, Eduardo University of Lugano, Switzerland Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Ori RothRoth, Ori TechnionIsrael Fling—A Fluent API Generator Fling---A Fluent API Generator Fling---A Fluent API Generator
Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Invited Talk - JayHorn: A Java Model Checker Committee Member in External Review Committee within the ECOOP Research Papers-track
Adrian RutleRutle, Adrian Empowering Multilevel DSMLs with Integrated Runtime Verification
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Symmetric Multiple Dispatch for Path Dependent Types General Chair in Organizing Committee within the Scala-track
S Miles SabinSabin, Miles Underscore LLP Committee Member in Program Committee within the Scala-track
Baptiste SaleilSaleil, Baptiste Université de MontréalCanada Committee Member in Program Committee within the ICOOOLPS-track
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Multitier Modules How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 Distributed System Development with ScalaLoci Type-Safe Data Plane Programming with SafeP4 Keynote: A Roadmap to PhD: Impressions and Experiences Committee Member in Program Committee within the Scala-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Jennifer B. SartorSartor, Jennifer B. Ghent University and Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ICOOOLPS-track
Annabel SatinSatin, Annabel P.C.K. Finance Chair in Organizing Committee for ECOOP 2019
Raj SaxenaSaxena, Raj N26 Finite-State Machines: All models are wrong but this one is useful
Aidan Hobson SayersSayers, Aidan Hobson Hadean Supercomputing Ltd. A vision for debugging distributed applications
Alceste ScalasScalas, Alceste Aston University, Birmingham, UKUnited Kingdom Effpi: Verified Message-Passing Programs in Dotty
Torben ScheffelScheffel, Torben Empowering Multilevel DSMLs with Integrated Runtime Verification
Christian SchillingSchilling, Christian IST AustriaAustria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Malte SchmitzSchmitz, Malte Empowering Multilevel DSMLs with Integrated Runtime Verification
David SchmuddeSchmudde, David NextjournalGermany Say What You Mean: Exploring Declarative Computation in Art
Till SchneidereitSchneidereit, Till MozillaGermany Bringing WebAssembly outside the web with WASI
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Static Analysis in Real-World Operational Scenarios Improving the Efficiency, Scalability, and Applicability of Static Program Analysis in Real-World Operational Scenarios
Andreas SchulerSchuler, Andreas University of Applied Sciences Upper Austria Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Martin SchäfSchäf, Martin Amazon Web Services, USAUnited States Committee Member in Program Committee within the FTfJP-track
Andrew ScottScott, Andrew Facebook Getafix: Learning to fix bugs automatically
Juan Sebastián SosaSebastián Sosa, Juan Universidad de los AndesColombia Distributed Context Petri Nets
Koushik SenSen, Koushik University of California, BerkeleyUnited States Using ML for Code Discovery at Facebook
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote) Committee Member in Program Committee within the ECOOP Research Papers-track
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand CallƐ: An Effect System for Method Calls Committee Member in Program Committee within the Scala-track
Rahil ShahShah, Rahil IBM Canada Lightweight Software Profiling of Compiled Code
Amir ShaikhhaShaikhha, Amir University of Oxford Finally, a Polymorphic Linear Algebra Language Finally, a Polymorphic Linear Algebra Language
Gargi SharmaSharma, Gargi Recurse Center Write your own Container in Rust!
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Eventually Sound Points-To Analysis with Specifications
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in Program Committee within the BenchWork-track
Norbert SiegmundSiegmund, Norbert Bauhaus-University WeimarGermany Committee Member in Program Committee within the BenchWork-track
Julien SignolesSignoles, Julien CEA LISTFrance Committee Member in Program Committee within the VORTEX-track
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Committee Member in Program Committee within the AORTA-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Session Chair of Program Analysis 1 (part of ECOOP Research Papers) Deep Static Modeling of invokedynamic Deep Static Modeling of invokedynamic Static Analysis of Ethereum Smart Contracts Deep Static Modeling of invokedynamic
Justin SmithSmith, Justin North Carolina State UniversityUnited States Committee Member in Posters committee within the ECOOP Posters-track
Cynthia SolomonSolomon, Cynthia Logo, A Computer Language to Grow With
Thodoris SotiropoulosSotiropoulos, Thodoris Athens University of Economics and Business Static Analysis for Asynchronous JavaScript Programs Static Analysis for Asynchronous JavaScript Programs
Daniel SpiewakSpiewak, Daniel SlamData Committee Member in Program Committee within the Scala-track
Tom SpinkSpink, Tom University of EdinburghUnited Kingdom Full-system Cross-architecture Hardware Virtualisation
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access DynaSOAr: A Parallel Memory Allocator for OOP on GPUs DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access
Manu SridharanSridharan, Manu University of California, RiversideUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
David StanglStangl, David Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, BelgiumBelgium Garbage-free Abstract Interpretation through Abstract Reference Counting Garbage-free Abstract Interpretation through Abstract Reference Counting Garbage-free Abstract Interpretation through Abstract Reference Counting
Ilina StoilkovskaStoilkovska, Ilina Vienna University of Technology Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Alen StojanovStojanov, Alen Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Empowering Multilevel DSMLs with Integrated Runtime Verification A Field Calculus Implementation of Spatial Logic
Sandro StuckiStucki, Sandro Chalmers \| University of GothenburgSweden Author in Steering Committee within the Scala-track
Alexander J. SummersSummers, Alexander J. ETH Zurich Steering Committee Member in Steering Commitee within the FTfJP-track Committee Member in External Review Committee within the ECOOP Research Papers-track
Haiyang SunSun, Haiyang Università della Svizzera italianaSwitzerland Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Vijay SundaresanSundaresan, Vijay IBM CanadaCanada Committee Member in Program Committee within the AORTA-track
Don SymeSyme, Don Microsoft Fabulous - Functional programming for cross-platform mobile apps
César SánchezSánchez, César IMDEA Software InstituteSpain Committee Member in Program Committee within the VORTEX-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Committee Member in Program Committee within the ECOOP Research Papers-track
T Chengsong TanTan, Chengsong King's College London POSIX Regular Expression Matching and Lexing
Cameron TennyTenny, Cameron r2cUnited States Beyond the Paper: End-to-End Program Analysis
Manas ThakurThakur, Manas IIT MadrasIndia Precise, Efficient and Secure Just-In-Time Analysis of Java Programs Precise, Efficient and Secure Just-In-Time Analysis of Java Programs
George K. ThiruvathukalThiruvathukal, George K. Loyola University Chicago and Argonne National Laboratory Tests as Maintainable Assets Via Auto-generated Spies
Ben ThomasThomas, Ben IBM Canada Lightweight Software Profiling of Compiled Code
Gaël ThomasThomas, Gaël Telecom SudParisFrance Committee Member in Program Committee within the ICOOOLPS-track
Ferdian ThungThung, Ferdian Semantic Patches for Java Program Transformation Coccinelle4J: Automated Program Transformations for Java Semantic Patches for Java Program Transformation
Amin TimanyTimany, Amin imec-Distrinet KU-LeuvenBelgium Specifying I/O using Abstract Nested Hoare Triples in Separation Logic Specifying I/O using Abstract Nested Hoare Triples in Separation Logic
Abhishek TiwariTiwari, Abhishek University of PotsdamGermany A Central and Evolving Benchmark IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications
Andrew TolmachTolmach, Andrew Portland State University Scopes and Frames Improve Meta-Interpreter Specialization
Carmen Torres LopezTorres Lopez, Carmen Vrije Universiteit BrusselBelgium Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom General Chair in Organizing Committee for ECOOP 2019 Session Chair of Summer School M3 (part of ECOOP Summer School) Session Chair of Dahl-Nygaard Prize Keynote (part of ECOOP Research Papers)
emilio tuostotuosto, emilio University of LeicesterUnited Kingdom Committee Member in Program Committee within the VORTEX-track
Alexi TurcotteTurcotte, Alexi Northeastern UniversityUnited States Towards a Type System for R Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language
U Tomoharu UgawaUgawa, Tomoharu Kochi University of Technology, JapanJapan Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines
Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the VORTEX-track
V Hendrik van Antwerpenvan Antwerpen, Hendrik TU DelftNetherlands Towards Language-Parametric Semantic Editor Services Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Tijs van der Stormvan der Storm, Tijs Centrum Wiskunde & Informatica / University of GroningenNetherlands Committee Member in Program Committee within the ECOOP Research Papers-track
Noah Van EsVan Es, Noah Sofware Languages Lab, Vrije Universiteit BrusselBelgium Garbage-free Abstract Interpretation through Abstract Reference Counting Garbage-free Abstract Interpretation through Abstract Reference Counting Garbage-free Abstract Interpretation through Abstract Reference Counting
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow A Typing Discipline for Hardware Interfaces A Typing Discipline for Hardware Interfaces
Hans VandierendonckVandierendonck, Hans Queen's University Belfast Committee Member in Program Committee within the AORTA-track
Martin VechevVechev, Martin ETH Zürich Committee Member in External Review Committee within the ECOOP Research Papers-track
Vlad VerguVergu, Vlad TU Delft Scopes and Frames Improve Meta-Interpreter Specialization
Alex VillazónVillazón, Alex Universidad Privada Boliviana, BoliviaBolivia Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild Automated Large-scale Multi-language Dynamic Program Analysis in the Wild
Mirko ViroliViroli, Mirko University of Bologna A Field Calculus Implementation of Spatial Logic Committee Member in Program Committee within the Scala-track
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Scopes and Frames Improve Meta-Interpreter Specialization Towards Language-Parametric Semantic Editor Services Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Summer School Co-Chair in Organizing Committee for ECOOP 2019 Session Chair of Summer School M1 (part of ECOOP Summer School) Towards a Type System for R Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples A tribute to Laurie Hendren On Julia’s efficient algorithm for subtyping union types and covariant tuples Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data Committee Member in Organization Committee within the ECOOP Curry On-track
Erik VoogdVoogd, Erik University of OsloNorway Minimal Session Types MISTY: Playing with Minimal Session Types
Markus VölterVölter, Markus itemis/independent The future of DSLs: functions and formal methods
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Plutus and Marlowe
Yanlin WangWang, Yanlin University of Hong KongChina Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Zheng WangWang, Zheng Lancaster University Committee Member in Program Committee within the AORTA-track
Conrad WattWatt, Conrad University of Cambridge A Program Logic for First-Order Encapsulated WebAssembly
Pascal WeisenburgerWeisenburger, Pascal Technische Universität DarmstadtGermany Multitier Modules Distributed System Development with ScalaLoci
Adam WelcWelc, Adam Uber TechnologiesUnited States No Hands on Deck: Automation @Uber
Gebrehiwet Biyane WelearegaiWelearegai, Gebrehiwet Biyane University of Potsdam, Germany Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis
John WickersonWickerson, John Imperial College LondonUnited Kingdom Session Chair of Language Design and Implementation (part of ECOOP Research Papers) Committee Member in External Review Committee within the ECOOP Research Papers-track
Stefan WinterWinter, Stefan TU DarmstadtGermany Committee Member in Program Committee within the BenchWork-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Progress Report: Exploring API Design for Capabilities for Programming with Arrays Godot: All the Benefits of Implicit and Explicit Futures Godot: All the Benefits of Implicit and Explicit Futures Run, actor, run Godot: All the Benefits of Implicit and Explicit Futures
X Polychronis XekalakisXekalakis, Polychronis Esperanto TechnologiesUnited States Committee Member in Program Committee within the AORTA-track
Y Vanya YanevaYaneva, Vanya University of Edinburgh, UKUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin YlvisakerYlvisaker, Benjamin To Async or Not to Async: Better Cooperative Multithreading is the Answer
Nobuko YoshidaYoshida, Nobuko Imperial College London Effpi: Verified Message-Passing Programs in Dotty Motion Session Types for Robotic Interactions Committee Member in Program Committee within the PASS-track
Z Tadeu ZagalloZagallo, Tadeu Apple, Inc,Netherlands A compact bytecode format for JavaScriptCore
Francesco Zappa NardelliZappa Nardelli, Francesco InriaFrance Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples On Julia’s efficient algorithm for subtyping union types and covariant tuples
Olivier ZendraZendra, Olivier Steering Committee Member in Program Committee within the ICOOOLPS-track
Ruoyu ZhouZhou, Ruoyu University of Cambridge, UK Janus: automatic binary analysis, instrumentation and optimisation using rewrite rules
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Committee Member in Organizing Committee within the PASS-track
Damien ZuffereyZufferey, Damien MPI-SWS Motion Session Types for Robotic Interactions
Å Beatrice ÅkerblomÅkerblom, Beatrice Stockholm University Progress Report: Exploring API Design for Capabilities for Programming with Arrays