ECOOP 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (413)

Antonis Achilleos Reykjavik University Committee Member in Program Committee within the VORTEX-track
Sara Achour MIT United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mads Ager Google Denmark Keynote Speaker of Keynote: Compiling for Android within the ICOOOLPS 2019-track in ICOOOLPS 2019
Wolfgang Ahrendt Chalmers University of Technology Sweden Committee Member in Program Committee within the VORTEX-track
Alex Aiken Stanford University Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track in ECOOP 2019
Elvira Albert Committee Member in Program Committee within the VORTEX-track
Eman Aldakheel University of Illinois at Chicago & Princess Nourah bint Abdulrahman University United States Presenter of Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs within the VORTEX 2019-track in VORTEX 2019
Karim Ali University of Alberta Committee member in Organizing Committee within the Panathon-track Committee Member in Program Committee within the AORTA-track
Saswat Anand Stanford University Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track in ECOOP 2019
Davide Ancona University of Genova Italy Session Chair of Types (part of ECOOP Research Papers) Session Chair of Session 3 (part of VORTEX) Co-chair of Opening at 10:25 within the VORTEX 2019-track in VORTEX 2019 Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Tomoyuki Aotani Tokyo Institute of Technology Japan Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the COP 2019-track in COP 2019 Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the Posters-track in ECOOP 2019
Alen Arslanagić University of Groningen Author of Minimal Session Types within the Research Papers-track in ECOOP 2019 Author of Session Types in the Real World: A Minimalistic Approach within the Doctoral Symposium-track in ECOOP 2019 Author of MISTY: Playing with Minimal Session Types within the Artifacts-track in ECOOP 2019
Ellen Arteca Northeastern University United States Author of Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language within the Research Papers-track in ECOOP 2019 Author of Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language within the Artifacts-track in ECOOP 2019
Mohammadreza Ashouri University of Potsdam, Germany Author of TaintSpy: Runtime Vulnerability Analyzing Framework for Scala within the Scala 2019-track in Scala 2019
Alexander Asp Bock IT University of Copenhagen Denmark Author of A Parallel Spreadsheet Interpreter With Cycle Detection within the Posters-track in ECOOP 2019
Robert Atkey University of Strathclyde Committee Member in Program Committee within the ECOOP Research Papers-track
Giorgio Audrito Università di Torino Italy Presenter of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track in VORTEX 2019 Committee Member in Program Committee within the VORTEX-track
Johannes Bader Facebook United States Author of Getafix: Learning to fix bugs automatically within the Curry On-track in ECOOP 2019
Lars Bak Google Author of The Making of a Secure and Robust IoT Development Platform within the Curry On-track in ECOOP 2019
Thomas Ball Microsoft Research United States Author of The Correct Cloud: Logic and Languages within the Curry On-track in ECOOP 2019 Committee Member in Program Committee within the BenchWork-track
Yuyan Bao Pennsylvania State University, USA United States Committee Member in Program Committee within the FTfJP-track
Celeste Barnaby Wesleyan University Author of Using ML for Code Discovery at Facebook within the Curry On-track in ECOOP 2019
Edd Barrett King's College London United 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 Bastani University of Pennsylvania United States Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track in ECOOP 2019
Julia Belyakova Northeastern University, USA Russia 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) Author of Decidable, Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions within the FTfJP 2019-track in FTfJP 2019 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Co-chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Elias Benussi Faculty Science Ltd Author of Effpi: Verified Message-Passing Programs in Dotty within the Scala 2019-track in Scala 2019
Suparna Bhattacharya Hewlett-Packard Enterprise India Committee Member in External Review Committee within the ECOOP Research Papers-track
Aggelos Biboudis EPFL, Switzerland Switzerland Author in Steering Committee within the Scala-track Committee Member in Program Committee within the Scala-track
Gavin Bierman Oracle Labs United Kingdom Author of The Future of Java within the Summer School-track in ECOOP 2019
Walter Binder University of Lugano, Switzerland Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Posters-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Research Papers-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Artifacts-track in ECOOP 2019 Committee Member in Program Committee within the COP-track
Alan Blackwell University of Cambridge United Kingdom Author of How to design a programming language within the Summer School-track in ECOOP 2019
Sebastian Blessing Imperial College London United Kingdom Author of Run, actor, run within the Curry On-track in ECOOP 2019
Christoph Bockisch Philipps-Universität Marburg Germany Committee Member in Organizing Committee within the PASS-track
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Author of Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs within the Posters-track in ECOOP 2019 Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Posters-track in ECOOP 2019 Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Research Papers-track in ECOOP 2019 Committee member in Organizing Committee within the Panathon-track
Borzoo Bonakdarpour Iowa State University, USA Committee Member in Program Committee within the VORTEX-track
Daniele Bonetta Oracle Labs Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Posters-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Research Papers-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Artifacts-track in ECOOP 2019
Viviana Bono University of Torino Italy Committee Member in External Review Committee within the ECOOP Research Papers-track
James Bornholt University of Texas at Austin United States Committee Member in Program Committee within the FTfJP-track
Aleksander Boruch-Gruszecki EPFL Author of Towards Improved GADT Reasoning in Scala within the Scala 2019-track in Scala 2019
Jonathan Immanuel Brachthäuser University of Tübingen, Germany Author in Steering Committee within the Scala-track Sponsorship Chair in Organizing Committee within the Scala-track
Edwin Brady University of St. Andrews, UK United Kingdom Author of Idris 2: Type-driven Development of Idris within the Curry On-track in ECOOP 2019 Committee Member in Program Committee within the Scala-track
Einar Broch Johnsen University of Oslo Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Research Papers-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Artifacts-track in ECOOP 2019
Ugo Buy Author of Efficient Run-time Method for Detecting and Resolving Deadlocks in Java Programs within the VORTEX 2019-track in VORTEX 2019
Clément Béra Google, Aarhus Denmark Author of Introduction within the ICOOOLPS 2019-track in ICOOOLPS 2019 General Chair in Organizing Committee within the ICOOOLPS-track
Eric Campbell Cornell University United States Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track in ECOOP 2019 Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track in ECOOP 2019
Nicolás Cardozo Universidad de los Andes Colombia Author of Distributed Context Petri Nets within the COP 2019-track in COP 2019
Franck Cassez Macquarie University, Australia Committee Member in Program Committee within the Scala-track
Elias Castegren Uppsala University Author of Progress Report: Exploring API Design for Capabilities for Programming with Arrays within the ICOOOLPS 2019-track in ICOOOLPS 2019
Walter Cazzola Università degli Studi di Milano Italy Committee Member in Program Committee within the COP-track
Satish Chandra Facebook United States Author of Getafix: Learning to fix bugs automatically within the Curry On-track in ECOOP 2019 Author of Using ML for Code Discovery at Facebook within the Curry On-track in ECOOP 2019
Adelbert Chang Target, USA United States Author of Microservice architecture, a programming languages perspective within the Curry On-track in ECOOP 2019
Bor-Yuh Evan Chang University of Colorado Boulder Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Posters-track in ECOOP 2019 Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Artifacts-track in ECOOP 2019 Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Research Papers-track in ECOOP 2019
Guido Chari Czech Technical University, Czechia Czech Republic Committee Member in Program Committee within the ICOOOLPS-track
Junjie Chen Peking University China Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in External Review Committee within the ECOOP Research Papers-track
Shigeru Chiba University of Tokyo, Japan Japan Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the COP-track
Maria Christakis MPI-SWS Germany Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2019 Artifact Evaluation Co-Chair of ECOOP Awards within the Research Papers-track in ECOOP 2019 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin W Chung Northeastern University Author of On Julia’s efficient algorithm for subtyping union types and covariant tuples within the Artifacts-track in ECOOP 2019
Benjamin Chung Northeastern University United States Video Chair in Organizing Committee for ECOOP 2019 Author of Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples within the Research Papers-track in ECOOP 2019
Lazaro Clapp Stanford University Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track in ECOOP 2019
Dave Clarke Uppsala Univ. Sweden and KU Leuvern Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Research Papers-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Artifacts-track in ECOOP 2019
Lin Clark Mozilla Author of Bringing WebAssembly outside the web with WASI within the Curry On-track in ECOOP 2019
James Coglan Author of Conflict resolution within the Curry On-track in ECOOP 2019
Henry Cook SiFive Speaker of Silicon at the Speed of Software: From Circuits to Systems within the Scala 2019-track in Scala 2019
Andrew Craik IBM Canada Speaker of Lightweight Software Profiling of Compiled Code within the AORTA 2019-track in AORTA 2019 Author of Lightweight Software Profiling of Compiled Code within the Posters-track in ECOOP 2019
Michael D. Shah Northeastern University, USA United States Committee Member in Posters committee within the ECOOP Posters-track
Benoit Daloze Oracle Labs Switzerland Committee Member in Program Committee within the ICOOOLPS-track
Sadegh Dalvandi University of Surrey Author of Towards Deductive Verification of C11 Programs with Event-B and ProB within the FTfJP 2019-track in FTfJP 2019
Ferruccio Damiani University of Turin Italy Author of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track in VORTEX 2019
Jose Daniel Fandiño de la Hoz Universidad de los Andes Colombia Author of Distributed Context Petri Nets within the COP 2019-track in COP 2019
Simon Danisch Nextjournal Author of Julia: A Compiler for the Future within the Curry On-track in ECOOP 2019
David Darais University of Vermont United States Committee Member in Posters committee within the ECOOP Posters-track
Eva Darulova MPI-SWS Germany Committee Member in Program Committee within the ECOOP Research Papers-track
Jonas De Bleser Sofware Languages Lab, Vrije Universiteit Brussel Belgium Author of Resilience Testing of Akka Systems within the Scala 2019-track in Scala 2019 Author of SoCRATES - Scala Radar for Test Smells within the Scala 2019-track in Scala 2019 Author of Towards Resilience Testing of Actor Programs through Test Perturbations within the Posters-track in ECOOP 2019
Wolfgang De Meuter Vrije Universiteit Brussel Committee Member in Program Committee within the Scala-track
Coen De Roover Vrije Universiteit Brussel Belgium Author of SoCRATES - Scala Radar for Test Smells within the Scala 2019-track in Scala 2019 Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Posters-track in ECOOP 2019 Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Research Papers-track in ECOOP 2019 Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Artifacts-track in ECOOP 2019 Author of Towards Resilience Testing of Actor Programs through Test Perturbations within the Posters-track in ECOOP 2019
Isabella Defilippis Universidad Privada Boliviana (UPB) Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Posters-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Research Papers-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Artifacts-track in ECOOP 2019
Pantazis Deligiannis Microsoft Research United Kingdom Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track in ECOOP 2019 Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track in ECOOP 2019
Marcus Denker INRIA Lille Committee Member in Program Committee within the ICOOOLPS-track
Mariangiola Dezani Università di Torino Italy Committee Member in Program Committee within the ECOOP Research Papers-track
Dario Di Nucci Vrije Universiteit Brussel Belgium Author of SoCRATES - Scala Radar for Test Smells within the Scala 2019-track in Scala 2019
Lukas Diekmann King's College London United Kingdom Awards Chair in Organizing Committee for ECOOP 2019
Bui Phi Diep Uppsala University Sweden Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Werner Dietl University of Waterloo, Canada Canada Steering Committee Member in Steering Commitee within the FTfJP-track
Cynthia Disenfeld University of Toronto Committee Member in Program Committee within the COP-track
Dino Distefano Facebook London Committee Member in Program Committee within the ECOOP Research Papers-track
Mike Dodds Galois, Inc. Committee Member in External Review Committee within the ECOOP Research Papers-track
Sébastien Doeraene EPFL, Switzerland Switzerland Committee Member in Program Committee within the Scala-track
Julian Dolby IBM Research United States Workshops Co-Chair in Organizing Committee for ECOOP 2019 Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Posters-track in ECOOP 2019 Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Research Papers-track in ECOOP 2019 Workshops Co-Chair in Organizing Committee within the ECOOP Workshops-track
Philipp Dominik Schubert Heinz Nixdorf Institut, Paderborn University Germany Author of Improving the Efficiency, Scalability, and Applicability of Static Program Analysis in Real-World Operational Scenarios within the Doctoral Symposium-track in ECOOP 2019 Author of Static Analysis in Real-World Operational Scenarios within the Posters-track in ECOOP 2019
Alastair Donaldson Imperial College London United Kingdom Program Chair in Organizing Committee for ECOOP 2019 Session Chair of Closing Keynote (part of ECOOP Research Papers) Author of GraphicsFuzz: Metamorphic Testing for Graphics Shader Compilers within the Curry On-track in ECOOP 2019 Program Chair of ECOOP Awards within the Research Papers-track in ECOOP 2019 Chair in Program Committee within the ECOOP Research Papers-track
Brijesh Dongol University of Surrey Author of Towards Deductive Verification of C11 Programs with Event-B and ProB within the FTfJP 2019-track in FTfJP 2019
Derek Dreyer MPI-SWS Germany Committee Member in Program Committee within the ECOOP Research Papers-track
Sophia Drossopoulou Imperial College London United Kingdom Session Chair of Keynote (part of ECOOP Research Papers) Author of Operational Semantics driving the Type System Design: Reference Capabilities in Pony within the Summer School-track in ECOOP 2019 Author of Run, actor, run within the Curry On-track in ECOOP 2019 Committee Member in Program Committee within the ECOOP Research Papers-track
Cezara Drăgoi INRIA, ENS, CNRS France Committee Member in Program Committee within the ECOOP Research Papers-track
Benoît Duhoux Université catholique de Louvain, Belgium Belgium Author of Implementation of a Feature-Based Context-Oriented Programming Language within the COP 2019-track in COP 2019 Committee Member in Program Committee within the COP-track
John Duimovich Keynote Speaker of KEYNOTE: The Democratization of Runtime Technology within the AORTA 2019-track in AORTA 2019
Bruno Dumas Université de Namur Belgium Author of Implementation of a Feature-Based Context-Oriented Programming Language within the COP 2019-track in COP 2019
Michael Eichberg TU Darmstadt, Germany Invited Speaker of Hermes: Towards Representative Benchmarks within the BenchWork -track in BenchWork 2019
Matthias Eichholz Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track in ECOOP 2019 Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track in ECOOP 2019
Marco Eilers ETH Zurich Switzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Susan Eisenbach Imperial College London United Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track
Sebastian Erdweg JGU Mainz Germany 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 Ernst LMU Munich Germany Committee Member in Program Committee within the FTfJP-track Co-chair in Organizing Committee within the FTfJP-track
Michael D. Ernst University of Washington, USA Committee Member in Program Committee within the BenchWork-track
Marie Farrell University of Liverpool Committee Member in Program Committee within the FTfJP-track
Azadeh Farzan University of Toronto Canada Keynote Speaker of Rethinking Compositionality: Composing Proofs From Program Behaviours within the Research Papers-track in ECOOP 2019
Tim Felgentreff Oracle Labs, Potsdam Germany Committee Member in Program Committee within the ICOOOLPS-track
Kiko Fernandez-Reyes Uppsala University Sweden Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Research Papers-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Artifacts-track in ECOOP 2019
Olivier Flückiger Northeastern University, USA Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Chris Ford ThoughtWorks (UK) Ltd. Author of Finite-State Machines: All models are wrong but this one is useful within the Curry On-track in ECOOP 2019
Nate Foster Cornell University United States Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track in ECOOP 2019 Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track in ECOOP 2019 Author of Formal Methods and Computer Networks: A Match Made in Heaven? within the Curry On-track in ECOOP 2019
George Fourtounis University of Athens Greece Author of Deep Static Modeling of invokedynamic within the Posters-track in ECOOP 2019 Author of Deep Static Modeling of invokedynamic within the Research Papers-track in ECOOP 2019 Author of Deep Static Modeling of invokedynamic within the Artifacts-track in ECOOP 2019
Adrian Francalanza University of Malta Malta Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Luca Franceschini DIBRIS, University of Genova, Italy Italy Presenter of RML: Runtime Monitoring Language, a System-Agnostic DSL for Runtime Verification within the VORTEX 2019-track in VORTEX 2019 Author of RML: Runtime Monitoring Language within the Posters-track in ECOOP 2019
Juliana Franco Microsoft Research, Cambridge United Kingdom Committee Member in Program Committee within the ICOOOLPS-track
Björn Franke University of Edinburgh, UK Committee Member in Program Committee within the AORTA-track
Juan Fumero University of Manchester, UK United Kingdom Author of TornadoVM: Dynamic Optimisation of Heterogeneous Java Acceleration within the Posters-track in ECOOP 2019 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Carlo A. Furia Università della Svizzera italiana (USI) Switzerland Committee Member in Program Committee within the FTfJP-track
Philippa Gardner Imperial College London United Kingdom Author of Gillian: A General Static Analysis Framework based on Separation Logic within the Summer School-track in ECOOP 2019 Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track in ECOOP 2019
Isaac Oscar Gariano Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track in FTfJP 2019
Paolo G. Giarrusso TU Delft, The Netherlands Italy Author in Steering Committee within the Scala-track
Paolo G. Giarrusso TU Delft, The Netherlands Author of Towards Improved GADT Reasoning in Scala within the Scala 2019-track in Scala 2019
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Author of Origami Programming for Fun and Profit within the Summer School-track in ECOOP 2019
Yossi Gil Technion—Israel Institute of Technology Author of Fling—A Fluent API Generator within the Research Papers-track in ECOOP 2019 Author of Fling---A Fluent API Generator within the Posters-track in ECOOP 2019 Author of Fling---A Fluent API Generator within the Artifacts-track in ECOOP 2019
Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Belgium Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Artifacts-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Posters-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Research Papers-track in ECOOP 2019 Committee Member in Program Committee within the ICOOOLPS-track
Ganesh Gopalakrishnan University of Utah Committee Member in External Review Committee within the ECOOP Research Papers-track
Alexey Gotsman IMDEA Software Institute Spain Committee Member in Program Committee within the ECOOP Research Papers-track
Krishnan Govindraj Microsoft Research Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track in ECOOP 2019 Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track in ECOOP 2019
Radu Grigore University of Kent United Kingdom Session Chair of Session 2 (part of VORTEX) Invited Speaker of Invited talk: Fast Runtime Verification via Slow Program Analysis within the VORTEX 2019-track in VORTEX 2019 Committee Member in Program Committee within the VORTEX-track Steering Committee Member in Steering Commitee within the FTfJP-track
Dan Grossman University of Washington United States Committee Member in Program Committee within the PASS-track
Sascha Groß University of Potsdam Author of IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications within the Posters-track in ECOOP 2019
Robbert Gurdeep Singh Universiteit Gent, Belgium Belgium Author of State Explosion Considered Harmful within the Doctoral Symposium-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Artifacts-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Posters-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Research Papers-track in ECOOP 2019
Tianxiao Gu Alibaba Group United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Tudor Gîrba feenk.com Switzerland Author of Remolding the development experience within the Summer School-track in ECOOP 2019 Author of Moldable development within the Curry On-track in ECOOP 2019
Sebastian Götz Technische Universität Dresden Germany Committee Member in Program Committee within the PASS-track
Christine H. Flood Red Hat Author of Checkpointing for Java within the Curry On-track in ECOOP 2019
David H. Lorenz Technion—Israel Institute of Technology Committee Member in Program Committee within the COP-track
Philipp Haller KTH Royal Institute of Technology, Sweden Germany Author of Asynchronous streams in direct style with and without macros within the Curry On-track in ECOOP 2019 Author in Steering Committee within the Scala-track
Jafar Hamin imec-DistriNet, Depatrmant of Computer Science, KU Leuven, Belgium Author of Transferring Obligations Through Synchronizations within the Posters-track in ECOOP 2019 Author of Transferring Obligations Through Synchronizations within the Research Papers-track in ECOOP 2019
Christian Hammer University of Potsdam Germany Session Chair of Program Analysis 2 (part of ECOOP Research Papers) Author of A Central and Evolving Benchmark within the BenchWork -track in BenchWork 2019 Author of IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications within the Posters-track in ECOOP 2019 Committee Member in Program Committee within the ECOOP Research Papers-track
Tim Harris Amazon Committee Member in Program Committee within the ECOOP Research Papers-track
Matthias Hauswirth Università della Svizzera italiana (USI) Switzerland Committee Member in Program Committee within the ECOOP Research Papers-track
Veit Heller Port Zero Author of Carp—A Language for the 21st Century within the Curry On-track in ECOOP 2019
Johannes Henning Hasso Plattner Institute Author of Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code within the ICOOOLPS 2019-track in ICOOOLPS 2019
Ludovic Henrio CNRS France Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Research Papers-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Artifacts-track in ECOOP 2019
Igor Henrique Nicacio Braga IBM Canada Canada Speaker of Create your own Interpreter with a JIT under 30 minutes within the AORTA 2019-track in AORTA 2019 Author of Create your own Interpreter with a JIT within the Posters-track in ECOOP 2019
Ben Hermann Paderborn University Germany Author of Discussion and Closing within the BenchWork -track in BenchWork 2019 Chair of A Word From the Chairs within the BenchWork -track in BenchWork 2019 Author of Keynote: Self-Marketing as a Researcher within the Doctoral Symposium-track in ECOOP 2019 Organizing Committee in Organizing Committee within the BenchWork-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Felienne Hermans Leiden University Netherlands Committee Member in Organization Committee within the ECOOP Curry On-track
Kim Herzig Tools for Software Engineers, Microsoft Author of Discussion and Closing within the BenchWork -track in BenchWork 2019 Chair of A Word From the Chairs within the BenchWork -track in BenchWork 2019 Organizing Committee in Organizing Committee within the BenchWork-track
Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Germany Author of Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming within the COP 2019-track in COP 2019 Author of Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code within the ICOOOLPS 2019-track in ICOOOLPS 2019 Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Celeste Hollenbeck Northeastern Univeristy Author of Compiler Inlining with Machine Learning within the Doctoral Symposium-track in ECOOP 2019
Michael Homer Victoria University of Wellington Author of Transient Typechecks are (Almost) Free within the Research Papers-track in ECOOP 2019
Jaemin Hong KAIST, South Korea South Korea Author of Symmetric Multiple Dispatch for Path Dependent Types within the Scala 2019-track in Scala 2019
Falk Howar Clausthal University of Technology Committee Member in Program Committee within the VORTEX-track
Jacob Hughes 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
Atsushi Igarashi Kyoto University, Japan Japan Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Hideya Iwasaki University of Electro-Communications, Japan Author of Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines within the ICOOOLPS 2019-track in ICOOOLPS 2019
Bart Jacobs Radboud University Nijmegen Author of Transferring Obligations Through Synchronizations within the Posters-track in ECOOP 2019
Bart Jacobs KU Leuven Belgium Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track in FTfJP 2019 Author of Transferring Obligations Through Synchronizations within the Research Papers-track in ECOOP 2019 Author of Modular Verification of C and Java Programs with VeriFast - Including Their I/O Behavior within the Summer School-track in ECOOP 2019 Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the Posters-track in ECOOP 2019 Committee Member in External Review Committee within the ECOOP Research Papers-track
Marie-Christine Jakobs TU Darmstadt, Germany Committee Member in Program Committee within the FTfJP-track
Alex Jeffery University of Sussex Author of Dependent Object Types with Implicit Functions within the Scala 2019-track in Scala 2019
Lingxiao Jiang Singapore Management University Singapore Author of Coccinelle4J: Automated Program Transformations for Java within the Artifacts-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Research Papers-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Posters-track in ECOOP 2019
Kang Hong Jin School of Information Systems, Singapore Management University Author of Coccinelle4J: Automated Program Transformations for Java within the Artifacts-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Research Papers-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Posters-track in ECOOP 2019
Timothy M. Jones University of Cambridge, UK Speaker of Janus: automatic binary analysis, instrumentation and optimisation using rewrite rules within the AORTA 2019-track in AORTA 2019 Committee Member in Program Committee within the AORTA-track
Simon Peyton Jones Microsoft, UK Keynote Speaker of Automatic Differentiation for Dummies within the Research Papers-track in ECOOP 2019
Sung-Shik Jongmans Open University of the Netherlands Session Chair of Session 1 (part of VORTEX) Invited Speaker of Invited talk: Monitoring Asynchronous Communications (in Clojure) within the VORTEX 2019-track in VORTEX 2019 Committee Member in Program Committee within the VORTEX-track
Alisa Joy Maas University of Wisconsin-Madison United States Student Volunteers Co-Chair in Organizing Committee for ECOOP 2019 Student Volunteer Co-Chair in Committee within the ECOOP Student Volunteers-track
Fahed Jubair University of Jordan Jordan Committee Member in Program Committee within the PASS-track
Eric Jul University of Oslo Norway Author of Interactive session within the ICOOOLPS 2019-track in ICOOOLPS 2019 Author of Invited talk: How to get your Ph.D. DONE! within the Doctoral Symposium-track in ECOOP 2019 General Co-Chair in Organizing Committee within the ICOOOLPS-track
Gowtham Kaki Purdue University United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Szymon Kaliski Author of Walking In The Garden Of Forking Paths within the Curry On-track in ECOOP 2019
Tetsuo Kamina Oita University Japan Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the Posters-track in ECOOP 2019 Committee Member in Program Committee within the COP-track
Tetsuo Kamina Oita University Japan Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the COP 2019-track in COP 2019
Takafumi Kataoka Author of Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines within the ICOOOLPS 2019-track in ICOOOLPS 2019
Maria Kechagia University College London United Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Stephen Kell University of Kent Session Chair of Concurrency and Parallelism (part of ECOOP Research Papers) Author of Dragging Unix into the 1980s (and beyond?): liveness and source-level reflection within the Curry On-track in ECOOP 2019
Jeroen Ketema ESI (TNO) Netherlands Committee Member in External Review Committee within the ECOOP Research Papers-track
Edward Kmett Committee Member in Program Committee within the Scala-track
Christos Kotselidis University of Manchester, UK United Kingdom Speaker of Tornado VM: A Java Virtual Machine for Exploiting High-Performance Heterogeneous Hardware within the AORTA 2019-track in AORTA 2019 Author of TornadoVM: Dynamic Optimisation of Heterogeneous Java Acceleration within the Posters-track in ECOOP 2019
Filip Krikava Czech Technical University Czech Republic Committee Member in Organization Committee within the ECOOP Curry On-track
V Krishna Nandivada IIT Madras Speaker of Precise, Efficient and Secure Just-In-Time Analysis of Java Programs within the AORTA 2019-track in AORTA 2019 Author of Precise, Efficient and Secure Just-In-Time Analysis of Java Programs within the Posters-track in ECOOP 2019
Neel Krishnaswami Computer Laboratory, University of Cambridge Author of NumLin: Linear Types for Linear Algebra within the Posters-track in ECOOP 2019 Author of NumLin: Linear Types for Linear Algebra within the Artifacts-track in ECOOP 2019 Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track in ECOOP 2019 Author of NumLin: Linear Types for Linear Algebra within the Research Papers-track in ECOOP 2019 Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Raja Krishnaswamy Microsoft Azure Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track in ECOOP 2019 Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track in ECOOP 2019
Stefan Krüger Paderborn University Germany Presenter of Session 1: Introduction to CogniCrypt within the Panathon 2019-track in Panathon 2019 Presenter of Session 2: CrySL – How does CogniCrypt Know What is Right or Wrong, Anyway? within the Panathon 2019-track in Panathon 2019 Committee member in Organizing Committee within the Panathon-track Committee Member in Posters committee within the ECOOP Posters-track
Hillel Kugler Microsoft United States Committee Member in Program Committee within the VORTEX-track
Chris Laffra Uber Amsterdam Netherlands Author of SM4E - Self-Marketing for Engineers within the Summer School-track in ECOOP 2019 Committee Member in Organization Committee within the ECOOP Curry On-track
Akash Lal Microsoft Research India India Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track in ECOOP 2019 Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track in ECOOP 2019 Committee Member in Program Committee within the ECOOP Research Papers-track
Julia Lawall Inria/LIP6 Author of Coccinelle4J: Automated Program Transformations for Java within the Artifacts-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Research Papers-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Posters-track in ECOOP 2019
Torsten Layda SIX, Switzerland Committee Member in Organization Committee within the ECOOP Curry On-track
Stephen Leach United Kingdom Author of POPLOG -- a pioneering multi-language/multi-paradigm development toolkit born in the UK nearly four decades ago within the Summer School-track in ECOOP 2019
Hugh Leather University of Edinburgh Session Chair of Session #3 (part of AORTA) Organization Co-chair in Organizing Committee within the AORTA-track
Gary Leavens University of Central Florida United States Committee Member in Program Committee within the COP-track Steering Committee Member in Steering Commitee within the FTfJP-track
Doug Lea State University of New York (SUNY) Oswego United States Committee Member in Program Committee within the Scala-track Committee Member in Program Committee within the ECOOP Research Papers-track
David Leopoldseder Johannes Kepler University Linz Austria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Maurizio Leotta DIBRIS, University of Genova, Italy Italy Committee Member in Program Committee within the VORTEX-track
Martin Lester University of Reading United Kingdom Author of Analysis of MiniJava Programs via Translation to ML within the FTfJP 2019-track in FTfJP 2019
Ondřej Lhoták University of Waterloo Canada Author in Steering Committee within the Scala-track
Xiaoli Liang IBM Canada Canada Session Chair of Session #1 (part of AORTA) Speaker of JIT as a Service: Compilation Paradigm for the Cloud within the AORTA 2019-track in AORTA 2019 Author of JIT as a Service: Compilation Paradigm for the Cloud within the Posters-track in ECOOP 2019 Organization Co-chair in Organizing Committee within the AORTA-track
Jens Lincke Hasso Plattner Institute, University of Potsdam, Germany Germany Author of Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming within the COP 2019-track in COP 2019
Fangzhen Lin Author of Translating Classes to First-Order Logic: An Example within the FTfJP 2019-track in FTfJP 2019
Yu David Liu State University of New York (SUNY) Binghamton United States Committee Member in Organizing Committee within the PASS-track
Benjamin Livshits Imperial College London, UK Author of Static Analysis for Asynchronous JavaScript Programs within the Posters-track in ECOOP 2019
Ben Livshits Imperial College London, UK Author of Crypto Pump-and-dump Schemes: Why Can’t We Have Good Things? within the Summer School-track in ECOOP 2019 Author of Static Analysis for Asynchronous JavaScript Programs within the Research Papers-track in ECOOP 2019
Yue Li Aarhus University, Denmark China Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David H. Lorenz 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
David Lo Singapore Management University Singapore Author of Coccinelle4J: Automated Program Transformations for Java within the Artifacts-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Research Papers-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Posters-track in ECOOP 2019
Sifei Luan Facebook Author of Using ML for Code Discovery at Facebook within the Curry On-track in ECOOP 2019
Linghui Luo Paderborn University Presenter of Guest Talk: One Is Not Enough: Integrating CogniCrypt into Multiple IDEs and Editors with MagpieBridge within the Panathon 2019-track in Panathon 2019 Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Posters-track in ECOOP 2019 Author of MagpieBridge: A General Approach to Integrating Static Analyses into IDEs and Editors within the Research Papers-track in ECOOP 2019 Invited Speaker in Organizing Committee within the Panathon-track
Konstantin Läufer Loyola University Chicago United States Author of Tests as Maintainable Assets Via Auto-generated Spies within the Scala 2019-track in Scala 2019
Gerald Lüttgen University of Bamberg Germany Committee Member in Program Committee within the VORTEX-track
Fernando Macias Presenter of Empowering Multilevel DSMLs with Integrated Runtime Verification within the VORTEX 2019-track in VORTEX 2019
Daryl Maier IBM Canada Canada Session Chair of Session #2 (part of AORTA) Speaker of JIT as a Service: Compilation Paradigm for the Cloud within the AORTA 2019-track in AORTA 2019 Author of JIT as a Service: Compilation Paradigm for the Cloud within the Posters-track in ECOOP 2019 Organization Co-chair in Organizing Committee within the AORTA-track
Rupak Majumdar MPI-SWS, Germany Author of Motion Session Types for Robotic Interactions within the Research Papers-track in ECOOP 2019
Petar Maksimović Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia United Kingdom Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track in ECOOP 2019
Dhruv Makwana Unaffiliated United Kingdom Author of NumLin: Linear Types for Linear Algebra within the Posters-track in ECOOP 2019 Author of NumLin: Linear Types for Linear Algebra within the Artifacts-track in ECOOP 2019 Author of NumLin: Linear Types for Linear Algebra within the Research Papers-track in ECOOP 2019
Dhruv Makwana Goldman Sachs United Kingdom Author of One VM to Rule Them All? Lessons Learned with GraalVM within the Curry On-track in ECOOP 2019
Mariana Marasoiu University of Cambridge Committee Member in Program Committee within the COP-track
Michaël Marcozzi Imperial College London United Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Leonardo Mariani University of Milano Bicocca Italy Committee Member in Program Committee within the VORTEX-track
Simon Marlow Facebook Author of Glean: facts about code within the Curry On-track in ECOOP 2019
Stefan Marr University of Kent United Kingdom Web Chair in Organizing Committee for ECOOP 2019 Speaker of Another Decade of SOM Language Implementation: Virtual Machines for Research and Teaching within the AORTA 2019-track in AORTA 2019 Author of Dynamic Languages and Parallelism: How to Go from Broken or Slow to Safe and Efficient? within the Curry On-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Artifacts-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Posters-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Research Papers-track in ECOOP 2019 Author of Transient Typechecks are (Almost) Free within the Research Papers-track in ECOOP 2019
Guillaume Martres EPFL, Switzerland Switzerland Author of A universal encoding for functions in Scala based on structural types within the Scala 2019-track in Scala 2019
Hidehiko Masuhara Tokyo Institute of Technology Japan Author of DynaSOAr: A Parallel Memory Allocator for OOP on GPUs within the Posters-track in ECOOP 2019 Author of DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access within the Research Papers-track in ECOOP 2019 Author of DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access within the Artifacts-track in ECOOP 2019 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 Mattis University of Potsdam Potsdam Germany Author of Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming within the COP 2019-track in COP 2019
Remigius Meier ETH Zurich, Switzerland Switzerland Committee Member in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Shawn Meier University of Colorado, Boulder United States Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Posters-track in ECOOP 2019 Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Artifacts-track in ECOOP 2019 Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Research Papers-track in ECOOP 2019
Christopher Meiklejohn Carnegie Mellon University United States Committee Member in Organization Committee within the ECOOP Curry On-track
Darya Melicher Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Charith Mendis MIT CSAIL United States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Kim Mens Université Catholique de Louvain, Belgium Belgium Author of Implementation of a Feature-Based Context-Oriented Programming Language within the COP 2019-track in COP 2019 Committee Member in Program Committee within the COP-track
Tim Menzies North Carolina State University United States Committee Member in Program Committee within the BenchWork-track
Mira Mezini TU Darmstadt, Germany Germany Author of Interactive Decentralised Software Made Easy within the Summer School-track in ECOOP 2019 Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track in ECOOP 2019 Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track in ECOOP 2019
Ana Milanova Rensselaer Polytechnic Institute United States Committee Member in Program Committee within the Scala-track Committee Member in External Review Committee within the ECOOP Research Papers-track
Heather Miller 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 Millwood Core Education UK & Trinity College Dublin United Kingdom Author of Mental models for critiquing design of interactive development environments within the Curry On-track in ECOOP 2019
Aleksandr Misonizhnik Saint-Petersburg State University Russia Author of On Satisfiability of Nominal Subtyping with Variance within the Research Papers-track in ECOOP 2019
Rosemary Monahan National University of Ireland Chair in Steering Commitee within the FTfJP-track
Jordy Moos PB Web Media Author of The Tricks of Game Programming in a Pure Functional Language within the Curry On-track in ECOOP 2019
Dmitry Mordvinov Saint-Petersburg State University, JetBrains Research Author of On Satisfiability of Nominal Subtyping with Variance within the Research Papers-track in ECOOP 2019
Robin Morisset Webkit United States Committee Member in Program Committee within the ICOOOLPS-track
Wojciech Mostowski Halmstad University Committee Member in Program Committee within the FTfJP-track
Sarah Mount Aston University United Kingdom Diversity Chair in Organizing Committee for ECOOP 2019
Sergio Mover Ecole Polytechnique Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Posters-track in ECOOP 2019 Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Artifacts-track in ECOOP 2019 Author of Lifestate: Event-Driven Protocols and Callback Control Flow within the Research Papers-track in ECOOP 2019
Suvam Mukherjee Microsoft Research India India Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track in ECOOP 2019
Suvam Mukherjee Indian Institute of Science India Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track in ECOOP 2019
Gilles Muller LIP6-INRIA/UPMC Author of Coccinelle4J: Automated Program Transformations for Java within the Artifacts-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Research Papers-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Posters-track in ECOOP 2019
John Mumm Vectrology Solutions Author of Safely Sharing Data: Reference Capabilities in the Pony Programming Language within the Curry On-track in ECOOP 2019
Toby Murray University of Melbourne, Australia Australia Committee Member in Program Committee within the FTfJP-track Co-chair in Organizing Committee within the FTfJP-track
Roberto Natella Federico II University of Naples Italy Invited Speaker of Dependability Benchmarking by Injecting Software Bugs within the BenchWork -track in BenchWork 2019
Kristen Newbury University of Alberta Canada Presenter of Session 3: Dynamic CogniCrypt – Static Failures and Dynamic Successes within the Panathon 2019-track in Panathon 2019 Committee member in Organizing Committee within the Panathon-track
Lisa Nguyen Quang Do Paderborn University Germany Poster Chair in Organizing Committee for ECOOP 2019 Session Chair of DS Session 2 (part of ECOOP Doctoral Symposium) Invited Speaker of Creating and Managing Benchmark Suites with ABM within the BenchWork -track in BenchWork 2019 Author of Lifting the Burden of Static Analysis Tool Configuration with Rule Graphs within the Posters-track in ECOOP 2019 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 Nguyen University of California, Los Angeles United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Fabio Niephaus Hasso Plattner Institute, University of Potsdam Germany Author of Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming within the COP 2019-track in COP 2019 Author of Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code within the ICOOOLPS 2019-track in ICOOOLPS 2019 Committee Member in Program Committee within the ICOOOLPS-track
James Noble Victoria University of Wellington Summer School Co-Chair in Organizing Committee for ECOOP 2019 Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track in FTfJP 2019 Author of Transient Typechecks are (Almost) Free within the Research Papers-track in ECOOP 2019
Ulf Norell Gothenburg University Sweden Committee Member in Program Committee within the Scala-track
Nate Nystrom USI Lugano, Switzerland Program Chair in Program Committee within the Scala-track Program Chair in Organizing Committee within the Scala-track
John O'Sullivan Loyola University Chicago Author of Tests as Maintainable Assets Via Auto-generated Spies within the Scala 2019-track in Scala 2019
Martin Odersky EPFL, Switzerland Switzerland Author in Steering Committee within the Scala-track
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Committee Member in Steering Committee within the Scala-track Committee Member in Program Committee within the ECOOP Research Papers-track
Nathalie Oostvogels Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Sergio Oporto Universidad Privada Boliviana (UPB) Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Posters-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Research Papers-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Artifacts-track in ECOOP 2019
Scott Owens University of Kent, UK United Kingdom Invited Speaker of Invited Talk - Building Trustworthy Software with CakeML within the FTfJP 2019-track in FTfJP 2019
Burcu Kulahcioglu Ozkan MPI-SWS, Germany Germany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Michail Papadimitriou University of Manchester, UK Author of TornadoVM: Dynamic Optimisation of Heterogeneous Java Acceleration within the Posters-track in ECOOP 2019
Devin Papineau IBM Canada Author of Lightweight Software Profiling of Compiled Code within the Posters-track in ECOOP 2019
Jessica Paquette Apple Inc. Committee Member in External Review Committee within the ECOOP Research Papers-track
Matthew Parkinson Microsoft Research, UK United Kingdom Author of Keynote: Project Snowflake: What we learnt. within the ICOOOLPS 2019-track in ICOOOLPS 2019
Lionel Parreaux EPFL Switzerland Author of Towards Improved GADT Reasoning in Scala within the Scala 2019-track in Scala 2019 Author of Finally, a Polymorphic Linear Algebra Language within the Posters-track in ECOOP 2019 Author of Finally, a Polymorphic Linear Algebra Language within the Research Papers-track in ECOOP 2019
Corina S Pasareanu NASA and Carnegie Mellon University Committee Member in Program Committee within the ECOOP Research Papers-track
Felix Pauck Paderborn University, Germany Germany Invited Speaker of Android Taint-Analysis Benchmarks: Past, Present and Future within the BenchWork -track in BenchWork 2019 Author of Android App Analysis Query Language within the Posters-track in ECOOP 2019
David Pearce Victoria University of Wellington, New Zealand United Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Hila Peleg Technion, Israel Israel Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Daniel A. A. Pelsmaeker Delft University of Technology, Netherlands Netherlands Author of Towards Language-Parametric Semantic Editor Services within the Posters-track in ECOOP 2019 Author of Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Research Papers-track in ECOOP 2019
Steven Pemberton CWI, Amsterdam Netherlands Author of Declarative - The paradigm that didn't get mentioned within the Curry On-track in ECOOP 2019
Willem Penninckx KU Leuven Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track in FTfJP 2019 Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the Posters-track in ECOOP 2019
Roly Perera Alan Turing Institute United Kingdom Committee Member in Program Committee within the COP-track
Dmitry Petrashko Stripe Author of Gradual typing for Ruby at Scale with Sorbet within the Curry On-track in ECOOP 2019
Tomas Petricek University of Kent United Kingdom Author of The search for fundamental software engineering principles within the Curry On-track in ECOOP 2019
Luís Pina George Mason University United States Committee Member in Program Committee within the ECOOP Research Papers-track
Gustavo Pinto UFPA Brazil Committee Member in Program Committee within the PASS-track
Marcus Pirron MPI-SWS Author of Motion Session Types for Robotic Interactions within the Research Papers-track in ECOOP 2019
Goran Piskachev Fraunhofer IEM Germany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2019 Co-chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Alex Potanin Victoria University of Wellington New Zealand Committee Member in Program Committee within the ECOOP Research Papers-track
Jyoti Prakash University of Potsdam, Germany Germany Author of Pointer Analysis as reachability problem over Push Down System within the Doctoral Symposium-track in ECOOP 2019
Ron Pressler Author of Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM within the Curry On-track in ECOOP 2019
Aleksandar Prokopec Oracle Labs Switzerland Invited Speaker of A Renaissance for Optimizing Compilers within the BenchWork -track in BenchWork 2019 Author of Challenges of Optimizing Scala Programs within the Scala 2019-track in Scala 2019 Committee Member in Program Committee within the PASS-track
Jorge A. Pérez University of Groningen, The Netherlands Netherlands Author of Minimal Session Types within the Research Papers-track in ECOOP 2019 Author of MISTY: Playing with Minimal Session Types within the Artifacts-track in ECOOP 2019
Markus Püschel ETH Zürich Switzerland Author of Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS within the Scala 2019-track in Scala 2019
Azalea Raad MPI-SWS Germany Committee Member in Program Committee within the ECOOP Research Papers-track
Ajitha Rajan University of Edinburgh, UK Committee Member in Program Committee within the ECOOP Research Papers-track
Hridesh Rajan Iowa State University United States Author of A Benchmark for Understanding Data Science Software within the BenchWork -track in BenchWork 2019 Committee Member in Program Committee within the PASS-track
Nitin John Raj International Institute of Information Technology, Hyderabad Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track in ECOOP 2019 Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track in ECOOP 2019
Stefan Ramson Hasso Plattner Institute, Germany Author of Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming within the COP 2019-track in COP 2019
Aseem Rastogi Microsoft Research India Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track in ECOOP 2019 Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track in ECOOP 2019
Chandramouleswaran Ravichandran Microsoft Azure Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Posters-track in ECOOP 2019 Author of Reliable State Machines: A Framework for Programming Reliable Cloud Services within the Research Papers-track in ECOOP 2019
Giles Reger University of Manchester United Kingdom Keynote Speaker of Invited talk: Runtime Verification and Objects: Are we doing it wrong? within the VORTEX 2019-track in VORTEX 2019 Committee Member in Program Committee within the VORTEX-track
Christoph Reichenbach Lund University Committee Member in Program Committee within the BenchWork-track
Michael Reif TU Darmstadt, Germany Germany Committee Member in Posters committee within the ECOOP Posters-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Patrick Rein Hasso Plattner Institute, Germany Germany Author of Implementing Babylonian/S by Putting Examples into Contexts: Tracing Instrumentation for Example-based Live Programming as a Use Case for Context-oriented Programming within the COP 2019-track in COP 2019
Gregor Richards University of Waterloo Canada Author of Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language within the Research Papers-track in ECOOP 2019 Author of Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language within the Artifacts-track in ECOOP 2019 Committee Member in External Review Committee within the ECOOP Research Papers-track
Manuel Rigger ETH Zurich Switzerland Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2019 Artifact Evaluation Co-Chair of ECOOP Awards within the Research Papers-track in ECOOP 2019 Committee Member in Program Committee within the ICOOOLPS-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christine Rizkallah UNSW Sydney Australia Committee Member in Program Committee within the FTfJP-track
Richard Roberts Victoria University of Wellington New Zealand Author of Transient Typechecks are (Almost) Free within the Research Papers-track in ECOOP 2019
Tiark Rompf Purdue University United States Author of Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS within the Scala 2019-track in Scala 2019
Eduardo Rosales University of Lugano, Switzerland Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Posters-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Research Papers-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Artifacts-track in ECOOP 2019
Andrea Rosà University of Lugano, Switzerland Switzerland Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Posters-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Research Papers-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Artifacts-track in ECOOP 2019
Ori Roth Technion Israel Author of Fling—A Fluent API Generator within the Research Papers-track in ECOOP 2019 Author of Fling---A Fluent API Generator within the Posters-track in ECOOP 2019 Author of Fling---A Fluent API Generator within the Artifacts-track in ECOOP 2019
Philipp Ruemmer Uppsala University Sweden Invited Speaker of Invited Talk - JayHorn: A Java Model Checker within the FTfJP 2019-track in FTfJP 2019 Committee Member in External Review Committee within the ECOOP Research Papers-track
Adrian Rutle Author of Empowering Multilevel DSMLs with Integrated Runtime Verification within the VORTEX 2019-track in VORTEX 2019
Sukyoung Ryu KAIST, South Korea Korea, South Author of Symmetric Multiple Dispatch for Path Dependent Types within the Scala 2019-track in Scala 2019 General Chair in Organizing Committee within the Scala-track
Miles Sabin Underscore LLP Committee Member in Program Committee within the Scala-track
Baptiste Saleil Université de Montréal Canada Committee Member in Program Committee within the ICOOOLPS-track
Guido Salvaneschi TU Darmstadt Author of Multitier Modules within the Research Papers-track in ECOOP 2019 Author of Distributed System Development with ScalaLoci within the Posters-track in ECOOP 2019 Author of Keynote: A Roadmap to PhD: Impressions and Experiences within the Doctoral Symposium-track in ECOOP 2019 Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track in ECOOP 2019 Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track in ECOOP 2019 Committee Member in Program Committee within the Scala-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Jennifer B. Sartor Ghent University and Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the ICOOOLPS-track
Annabel Satin P.C.K. Finance Chair in Organizing Committee for ECOOP 2019
Raj Saxena N26 Author of Finite-State Machines: All models are wrong but this one is useful within the Curry On-track in ECOOP 2019
Aidan Hobson Sayers Hadean Supercomputing Ltd. Author of A vision for debugging distributed applications within the Curry On-track in ECOOP 2019
Alceste Scalas Aston University, Birmingham, UK United Kingdom Author of Effpi: Verified Message-Passing Programs in Dotty within the Scala 2019-track in Scala 2019
Torben Scheffel Author of Empowering Multilevel DSMLs with Integrated Runtime Verification within the VORTEX 2019-track in VORTEX 2019
Christian Schilling IST Austria Austria Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Malte Schmitz Author of Empowering Multilevel DSMLs with Integrated Runtime Verification within the VORTEX 2019-track in VORTEX 2019
David Schmudde Nextjournal Germany Author of Say What You Mean: Exploring Declarative Computation in Art within the Curry On-track in ECOOP 2019
Till Schneidereit Mozilla Germany Author of Bringing WebAssembly outside the web with WASI within the Curry On-track in ECOOP 2019
Christophe Scholliers Universiteit Gent, Belgium Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Artifacts-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Posters-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Research Papers-track in ECOOP 2019
Andreas Schuler University of Applied Sciences Upper Austria Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Martin Schäf Amazon Web Services, USA United States Committee Member in Program Committee within the FTfJP-track
Andrew Scott Facebook Author of Getafix: Learning to fix bugs automatically within the Curry On-track in ECOOP 2019
Juan Sebastián Sosa Universidad de los Andes Colombia Author of Distributed Context Petri Nets within the COP 2019-track in COP 2019
Koushik Sen University of California, Berkeley United States Author of Using ML for Code Discovery at Facebook within the Curry On-track in ECOOP 2019
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Keynote Speaker of Composing Distributed Systems that are Provably Correct (Dahl-Nygaard prize keynote) within the Research Papers-track in ECOOP 2019 Committee Member in Program Committee within the ECOOP Research Papers-track
Marco Servetto Victoria University Wellington, New Zealand Author of CallƐ: An Effect System for Method Calls within the FTfJP 2019-track in FTfJP 2019 Committee Member in Program Committee within the Scala-track
Rahil Shah IBM Canada Author of Lightweight Software Profiling of Compiled Code within the Posters-track in ECOOP 2019
Amir Shaikhha University of Oxford Author of Finally, a Polymorphic Linear Algebra Language within the Posters-track in ECOOP 2019 Author of Finally, a Polymorphic Linear Algebra Language within the Research Papers-track in ECOOP 2019
Rahul Sharma Microsoft Research India Author of Eventually Sound Points-To Analysis with Specifications within the Research Papers-track in ECOOP 2019
Gargi Sharma Recurse Center Author of Write your own Container in Rust! within the Curry On-track in ECOOP 2019
Elena Sherman Boise State University United States Committee Member in Program Committee within the BenchWork-track
Norbert Siegmund Bauhaus-University Weimar Germany Committee Member in Program Committee within the BenchWork-track
Julien Signoles CEA LIST France Committee Member in Program Committee within the VORTEX-track
Jeremy Singer University of Glasgow United Kingdom Committee Member in Program Committee within the AORTA-track
Yannis Smaragdakis University of Athens Session Chair of Program Analysis 1 (part of ECOOP Research Papers) Author of Deep Static Modeling of invokedynamic within the Posters-track in ECOOP 2019 Author of Deep Static Modeling of invokedynamic within the Research Papers-track in ECOOP 2019 Author of Static Analysis of Ethereum Smart Contracts within the Summer School-track in ECOOP 2019 Author of Deep Static Modeling of invokedynamic within the Artifacts-track in ECOOP 2019
Justin Smith North Carolina State University United States Committee Member in Posters committee within the ECOOP Posters-track
Cynthia Solomon Author of Logo, A Computer Language to Grow With within the Curry On-track in ECOOP 2019
Thodoris Sotiropoulos Athens University of Economics and Business Author of Static Analysis for Asynchronous JavaScript Programs within the Research Papers-track in ECOOP 2019 Author of Static Analysis for Asynchronous JavaScript Programs within the Posters-track in ECOOP 2019
Daniel Spiewak SlamData Committee Member in Program Committee within the Scala-track
Tom Spink University of Edinburgh United Kingdom Speaker of Full-system Cross-architecture Hardware Virtualisation within the AORTA 2019-track in AORTA 2019
Matthias Springer Tokyo Institute of Technology Germany Author of DynaSOAr: A Parallel Memory Allocator for OOP on GPUs within the Posters-track in ECOOP 2019 Author of DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access within the Research Papers-track in ECOOP 2019 Author of DynaSOAr: A Parallel Memory Allocator for Object-oriented Programming on GPUs with Efficient Memory Access within the Artifacts-track in ECOOP 2019
Manu Sridharan University of California, Riverside United States Committee Member in Program Committee within the ECOOP Research Papers-track
David Stangl Author of Hot Code Patching in CPython - Supporting Edit-and-Continue Debugging in CPython with Less Than 300 Lines of Code within the ICOOOLPS 2019-track in ICOOOLPS 2019
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Posters-track in ECOOP 2019 Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Research Papers-track in ECOOP 2019 Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Artifacts-track in ECOOP 2019
Ilina Stoilkovska Vienna University of Technology Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Alen Stojanov Author of Stage Polymorphism Based on Types for a Typeless Language: MATLAB in LMS within the Scala 2019-track in Scala 2019
Volker Stolz Høgskulen på Vestlandet Norway Author of Empowering Multilevel DSMLs with Integrated Runtime Verification within the VORTEX 2019-track in VORTEX 2019 Author of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track in VORTEX 2019
Sandro Stucki Chalmers \| University of Gothenburg Sweden Author in Steering Committee within the Scala-track
Alexander J. Summers ETH Zurich Steering Committee Member in Steering Commitee within the FTfJP-track Committee Member in External Review Committee within the ECOOP Research Papers-track
Kirshanthan Sundararajah Purdue University United States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Vijay Sundaresan IBM Canada Canada Committee Member in Program Committee within the AORTA-track
Haiyang Sun Università della Svizzera italiana Switzerland Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Posters-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Research Papers-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Artifacts-track in ECOOP 2019
Don Syme Microsoft Author of Fabulous - Functional programming for cross-platform mobile apps within the Curry On-track in ECOOP 2019
César Sánchez IMDEA Software Institute Spain Committee Member in Program Committee within the VORTEX-track
Emma Söderberg Lund University Sweden Committee Member in Program Committee within the ECOOP Research Papers-track
Chengsong Tan King's College London Author of POSIX Regular Expression Matching and Lexing within the Doctoral Symposium-track in ECOOP 2019
Cameron Tenny r2c United States Author of Beyond the Paper: End-to-End Program Analysis within the Curry On-track in ECOOP 2019
Manas Thakur IIT Madras India Speaker of Precise, Efficient and Secure Just-In-Time Analysis of Java Programs within the AORTA 2019-track in AORTA 2019 Author of Precise, Efficient and Secure Just-In-Time Analysis of Java Programs within the Posters-track in ECOOP 2019
George K. Thiruvathukal Loyola University Chicago and Argonne National Laboratory Author of Tests as Maintainable Assets Via Auto-generated Spies within the Scala 2019-track in Scala 2019
Gaël Thomas Telecom SudParis France Committee Member in Program Committee within the ICOOOLPS-track
Ben Thomas IBM Canada Author of Lightweight Software Profiling of Compiled Code within the Posters-track in ECOOP 2019
Ferdian Thung Author of Coccinelle4J: Automated Program Transformations for Java within the Artifacts-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Research Papers-track in ECOOP 2019 Author of Semantic Patches for Java Program Transformation within the Posters-track in ECOOP 2019
Amin Timany imec-Distrinet KU-Leuven Belgium Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the FTfJP 2019-track in FTfJP 2019 Author of Specifying I/O using Abstract Nested Hoare Triples in Separation Logic within the Posters-track in ECOOP 2019
Abhishek Tiwari University of Potsdam Germany Author of A Central and Evolving Benchmark within the BenchWork -track in BenchWork 2019 Author of IIFA: Modular Inter-app Intent Information Flow Analysis of Android Applications within the Posters-track in ECOOP 2019
Andrew Tolmach Portland State University Author of Scopes and Frames Improve Meta-Interpreter Specialization within the Research Papers-track in ECOOP 2019
Carmen Torres Lopez Vrije Universiteit Brussel Belgium Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Artifacts-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Posters-track in ECOOP 2019 Author of Multiverse Debugging: Non-deterministic Debugging for Non-deterministic Programs within the Research Papers-track in ECOOP 2019
Laurence Tratt King's College London United 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)
Alexi Turcotte Northeastern University United States Author of Towards a Type System for R within the ICOOOLPS 2019-track in ICOOOLPS 2019 Author of Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language within the Research Papers-track in ECOOP 2019 Author of Reasoning About Foreign Function Interfaces Without Modelling the Foreign Language within the Artifacts-track in ECOOP 2019
Tomoharu Ugawa Kochi University of Technology, Japan Japan Author of Collecting Type Information Using Unit Tests for Customization of JavaScript Virtual Machines within the ICOOOLPS 2019-track in ICOOOLPS 2019
Mattias Ulbrich Karlsruhe Institute of Technology Germany Committee Member in Program Committee within the VORTEX-track
Noah Van Es Sofware Languages Lab, Vrije Universiteit Brussel Belgium Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Posters-track in ECOOP 2019 Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Research Papers-track in ECOOP 2019 Author of Garbage-free Abstract Interpretation through Abstract Reference Counting within the Artifacts-track in ECOOP 2019
Wim Vanderbauwhede University of Glasgow Author of A Typing Discipline for Hardware Interfaces within the Research Papers-track in ECOOP 2019 Author of A Typing Discipline for Hardware Interfaces within the Artifacts-track in ECOOP 2019
Hans Vandierendonck Queen's University Belfast Committee Member in Program Committee within the AORTA-track
Martin Vechev ETH Zürich Committee Member in External Review Committee within the ECOOP Research Papers-track
Vlad Vergu TU Delft Author of Scopes and Frames Improve Meta-Interpreter Specialization within the Research Papers-track in ECOOP 2019
Alex Villazón Universidad Privada Boliviana, Bolivia Bolivia Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Posters-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Research Papers-track in ECOOP 2019 Author of Automated Large-scale Multi-language Dynamic Program Analysis in the Wild within the Artifacts-track in ECOOP 2019
Mirko Viroli University of Bologna Author of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track in VORTEX 2019 Committee Member in Program Committee within the Scala-track
Eelco Visser Delft University of Technology Netherlands Author of Scopes and Frames Improve Meta-Interpreter Specialization within the Research Papers-track in ECOOP 2019 Author of Towards Language-Parametric Semantic Editor Services within the Posters-track in ECOOP 2019 Author of Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Research Papers-track in ECOOP 2019 Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Jan Vitek Northeastern University United States Summer School Co-Chair in Organizing Committee for ECOOP 2019 Session Chair of Summer School M1 (part of ECOOP Summer School) Author of Towards a Type System for R within the ICOOOLPS 2019-track in ICOOOLPS 2019 Author of Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples within the Research Papers-track in ECOOP 2019 Contributor/Author of A tribute to Laurie Hendren within the Research Papers-track in ECOOP 2019 Author of On Julia’s efficient algorithm for subtyping union types and covariant tuples within the Artifacts-track in ECOOP 2019 Author of Getting everything wrong without doing anything right! On the perils of large-scale analysis of Github data within the Curry On-track in ECOOP 2019 Committee Member in Organization Committee within the ECOOP Curry On-track
Erik Voogd University of Groningen Author of Minimal Session Types within the Research Papers-track in ECOOP 2019 Author of MISTY: Playing with Minimal Session Types within the Artifacts-track in ECOOP 2019
Markus Völter itemis/independent Author of The future of DSLs: functions and formal methods within the Curry On-track in ECOOP 2019
Philip Wadler University of Edinburgh, UK United Kingdom Author of Plutus and Marlowe within the Curry On-track in ECOOP 2019
Yanlin Wang University of Hong Kong China Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Zheng Wang Lancaster University Committee Member in Program Committee within the AORTA-track
Conrad Watt University of Cambridge Author of A Program Logic for First-Order Encapsulated WebAssembly within the Research Papers-track in ECOOP 2019
Pascal Weisenburger Technische Universität Darmstadt Germany Author of Multitier Modules within the Research Papers-track in ECOOP 2019 Author of Distributed System Development with ScalaLoci within the Posters-track in ECOOP 2019
Adam Welc Uber Technologies United States Author of No Hands on Deck: Automation @Uber within the Curry On-track in ECOOP 2019
Gebrehiwet Biyane Welearegai University of Potsdam, Germany Author of Security Evaluation of Industrial Web ApplicationsUsing Taint Analysis within the Doctoral Symposium-track in ECOOP 2019
John Wickerson Imperial College London United 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 Winter TU Darmstadt Germany Committee Member in Program Committee within the BenchWork-track
Tobias Wrigstad Uppsala University Sweden Author of Progress Report: Exploring API Design for Capabilities for Programming with Arrays within the ICOOOLPS 2019-track in ICOOOLPS 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Posters-track in ECOOP 2019 Author of Run, actor, run within the Curry On-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Research Papers-track in ECOOP 2019 Author of Godot: All the Benefits of Implicit and Explicit Futures within the Artifacts-track in ECOOP 2019
Polychronis Xekalakis Esperanto Technologies United States Committee Member in Program Committee within the AORTA-track
Vanya Yaneva University of Edinburgh, UK United Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benjamin Ylvisaker Author of To Async or Not to Async: Better Cooperative Multithreading is the Answer within the Posters-track in ECOOP 2019
Nobuko Yoshida Imperial College London Author of Effpi: Verified Message-Passing Programs in Dotty within the Scala 2019-track in Scala 2019 Author of Motion Session Types for Robotic Interactions within the Research Papers-track in ECOOP 2019 Committee Member in Program Committee within the PASS-track
Tadeu Zagallo Apple, Inc, Netherlands Author of A compact bytecode format for JavaScriptCore within the Curry On-track in ECOOP 2019
Francesco Zappa Nardelli Inria France Author of Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples within the Research Papers-track in ECOOP 2019 Author of On Julia’s efficient algorithm for subtyping union types and covariant tuples within the Artifacts-track in ECOOP 2019
Olivier Zendra Steering Committee Member in Program Committee within the ICOOOLPS-track
Ruoyu Zhou University of Cambridge, UK Speaker of Janus: automatic binary analysis, instrumentation and optimisation using rewrite rules within the AORTA 2019-track in AORTA 2019
Lukasz Ziarek SUNY Buffalo, USA United States Committee Member in Organizing Committee within the PASS-track
Damien Zufferey MPI-SWS Author of Motion Session Types for Robotic Interactions within the Research Papers-track in ECOOP 2019
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Jan de Muijnck-Hughes University of Glasgow United Kingdom Author of A Typing Discipline for Hardware Interfaces within the Research Papers-track in ECOOP 2019 Author of A Typing Discipline for Hardware Interfaces within the Artifacts-track in ECOOP 2019
Bronis de Supinski Lawrence Livermore National Laboratory Committee Member in Program Committee within the AORTA-track
emilio tuosto University of Leicester United Kingdom Committee Member in Program Committee within the VORTEX-track
Hendrik van Antwerpen TU Delft Netherlands Author of Towards Language-Parametric Semantic Editor Services within the Posters-track in ECOOP 2019 Author of Towards Language-Parametric Semantic Editor Services based on Declarative Type System Specifications within the Research Papers-track in ECOOP 2019
Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen Netherlands Committee Member in Program Committee within the ECOOP Research Papers-track
Beatrice Åkerblom Stockholm University Author of Progress Report: Exploring API Design for Capabilities for Programming with Arrays within the ICOOOLPS 2019-track in ICOOOLPS 2019