SPLASH 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (616)

Rodin Aarssen CWI, Netherlands Netherlands Publicity Chair in Organizing Committee within the GPCE-track
Parosh Aziz Abdulla Uppsala University, Sweden Sweden Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Chike Abuah University of Vermont Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Sara Achour MIT United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael D. Adams University of Utah United States Author in Reviewers within the SPLASH SRC-track
Ulf Adams Google, Germany Author of Ryū Revisited: Printf Floating Point Conversion within the OOPSLA-track in SPLASH 2019
Sarita Adve Author of ApproxIR: A Portable Compiler IR for Accuracy-aware Optimizations within the OOPSLA-track in SPLASH 2019
Vikram Adve University of Illinois at Urbana-Champaign United States Author of ApproxIR: A Portable Compiler IR for Accuracy-aware Optimizations within the OOPSLA-track in SPLASH 2019
Shoaib Akram Ghent University Belgium Committee Member in Program Committee within the VMIL-track
Arash Alavi University of California, Riverside United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jonathan Aldrich Carnegie Mellon University United States Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Karim Ali University of Alberta Co-chair in Organizing Committee within the SPLASH PLMW-track
Miltiadis Allamanis Microsoft Research, Cambridge United Kingdom Invited speaker of Machine Learning for Program Analysis within the Rebase-track in SPLASH 2019
Juliana Alves Pereira University of Magdeburg Committee Member in Program Committee within the GPCE-track Committee Member in Artifact Evaluation Committee within the SLE-track
Saman Amarasinghe MIT United States Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019
Nada Amin University of Cambridge United Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track Author in Reviewers within the SPLASH SRC-track Committee Member in Program Committee within the META-track
Davide Ancona University of Genova Italy Committee Member in Steering Committee within the DLS-track
Craig Anslow Victoria University of Wellington New Zealand PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the STOKED-track
Tony Antoniadis University of Athens, Greece Greece Student Volunteer Chair in Organizing Committee for SPLASH 2019
Timos Antonopoulos Yale University Author of Specification and Inference of Trace Refinement Relations within the OOPSLA-track in SPLASH 2019
Tomoyuki Aotani Tokyo Institute of Technology Japan Committee Member in Program Committee within the REBLS-track
Vytautas Astrauskas ETH Zurich, Switzerland Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track in SPLASH 2019
Mohamed Faouzi Atig Uppsala University Sweden Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Ehsan Atoofian Lakehead University Canada Committee Member in Organizing Committee within the AI-SEPS-track
Casper Bach Poulsen Delft University of Technology Committee Member in Program Committee within the SLE-track
David F. Bacon Google United States Invited speaker of David Bacon's Talk within the Rebase-track in SPLASH 2019
Johannes Bader Facebook United States Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track in SPLASH 2019
Riyadh Baghdadi MIT United States Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019
Mehdi Bagherzadeh Oakland University United States Committee Member in Program Committee within the AGERE-track
Patrick Bahr IT University of Copenhagen Denmark Committee Member in Program Committee within the REBLS-track
Engineer Bainomugisha Makerere University Uganda Committee Member in Program Committee within the REBLS-track
Eytan Bakshy Facebook, Inc. Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019
Anindya Banerjee IMDEA Software Institute Author of Resource Morphisms for Specifying Concurrent Programs in Separation Logic within the OOPSLA-track in SPLASH 2019
Elisa Baniassad University of British Columbia Chair in Program Commitee within the SPLASH -E-track
Rajkishore Barik Intel Labs Author of Optimization of Swift Protocols within the OOPSLA-track in SPLASH 2019
Ankica Barisic NOVA-LINCS - Universidade Nova de Lisboa Portugal PC Member in Program Committee within the DSM-track
Celeste Barnaby Wesleyan University Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019
Cristina Baroglio Università degli Studi di Torino, Italy Committee Member in Program Committee within the AGERE-track
Edd Barrett King's College London United Kingdom Committee Member in Program Committee within the MPLR-track
Earl Barr University College London PC Member in Program Committee within the SPLASH Onward! Papers-track
Osbert Bastani University of Pennsylvania United States Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track in SPLASH 2019 Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019
Théophile Bastian ENS Author of Reliable and Fast DWARF-based Stack Unwinding within the OOPSLA-track in SPLASH 2019
Guillaume Baudart IBM Research United States Committee Member in Program Committee within the REBLS-track
Rohan Bavishi UC Berkeley United States Author of Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019
Jonathan Bell George Mason University United States Co-chair in Organizing Committee within the SPLASH PLMW-track
Zachary Benavides UC Riverside Author of DProf: Distributed Profiler with Strong Guarantees within the OOPSLA-track in SPLASH 2019
John Bender University of California, Los Angeles (UCLA) Author of A Formalization of Java’s Concurrent Access Modes within the OOPSLA-track in SPLASH 2019
Amine Benelallam Committee Member in Artifact Evaluation Committee within the SLE-track
Alexandre Bergel University of Chile Chile Committee Member in Program Committee within the DLS-track
Federico Bergenti Università degli Studi di Parma Italy Committee Member in Organizing Committee within the AGERE-track
Emery Berger University of Massachusetts, Amherst United States Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019
Bonnie Berger MIT Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019
Christian Berger Chalmers University of Technology, Sweden PC Member in Program Committee within the DSM-track
Maicon Bernardino PC Member in Program Committee within the DSM-track
Aggelos Biboudis EPFL, Switzerland Switzerland Web Chair in Organizing Committee for SPLASH 2019 Publicity Chair in Organizing Committee for SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the REBLS-track
Robert Biddle Carleton University Canada Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Gavin Bierman Oracle Labs United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gianfranco Bilardi University of Padova Author of Derivative Grammars: A Symbolic Approach to Parsing with Derivatives within the OOPSLA-track in SPLASH 2019
Walter Binder University of Lugano, Switzerland Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the VMIL-track Steering Committee Member in Steering Committee within the MPLR-track
Ranadeep Biswas IRIF, University Paris Diderot & CNRS Author of On the Complexity of Checking Transactional Consistency within the OOPSLA-track in SPLASH 2019
Xuan Bi Standard Chartered China Committee Member in Program Committee within the SLE-track
Steve Blackburn Australian National University Australia Committee Member in Program Committee within the MPLR-track
Carl Friedrich Bolz-Tereick Germany Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track
Daniele Bonetta Oracle Labs Committee Member in Organizing Committee within the VMIL-track
Erwan Bousse University of Nantes France PC Member in Program Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Edwin Brady University of St. Andrews, UK United Kingdom Committee Member in Program Committee within the META-track
Marco Brambilla Politecnico di Milano Italy PC Member in Program Committee within the DSM-track
Ruth Breu PC Member in Program Committee within the DSM-track
Einar Broch Johnsen University of Oslo Committee Member in Program Committee within the AGERE-track
Kim Bruce Pomona College United States Committee Member in Steering Committee within the SPLASH -E-track
Hugo Bruneliere IMT Atlantique & LS2N (CNRS) Committee Member in Artifact Evaluation Committee within the SLE-track
Yuriy Brun University of Massachusetts Amherst United States Author of Formal Foundations of Serverless Computing within the OOPSLA-track in SPLASH 2019
Lubomír Bulej Charles University Czech Republic Committee Member in Program Committee within the MPLR-track
Loli Burgueño Open University of Catalonia, Spain Committee Member in Program Committee within the SLE-track Committee Member in Artifact Evaluation Committee within the SLE-track
William E. Byrd University of Alabama at Birmingham, USA United States Committee Member in Program Committee within the IC-track
Cristian Cadar Imperial College London United Kingdom Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track in SPLASH 2019
Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa Portugal Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA-track in SPLASH 2019
Cheng Cai University of California, Los Angeles (UCLA) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anthony Canino SUNY Binghamton United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the VMIL-track
Qinxiang Cao Shanghai Jiao Tong University China Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track in SPLASH 2019
Michael Carbin Massachusetts Institute of Technology United States SPLASH-I Chair in Organizing Committee for SPLASH 2019
Jeffrey C. Carver University of Alabama United States Committee Member in Program Committee within the AI-SEPS-track
Elias Castegren Uppsala University Committee Member in Organizing Committee within the AGERE-track
Alejandro Catala Human Media Interaction - University of Twente Committee Member in Artifact Evaluation Committee within the SLE-track
Ahmet Celik University of Texas at Austin, USA Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA-track in SPLASH 2019
Milind Chabbi Uber Technologies United States Author of Optimization of Swift Protocols within the OOPSLA-track in SPLASH 2019
Satish Chandra Facebook United States Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019 Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track in SPLASH 2019
Bor-Yuh Evan Chang University of Colorado Boulder Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Arthur Charguéraud Inria France Committee Member in Review Committee within the SPLASH OOPSLA-track
Guido Chari Czech Technical University, Czechia Czech Republic Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Organizing Committee in Organizing Committee within the META-track Committee Member in Program Committee within the DLS-track
Krishnendu Chatterjee IST Austria Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track in SPLASH 2019 Author of Value-centric Dynamic Partial Order Reduction within the OOPSLA-track in SPLASH 2019
Marsha Chechik University of Toronto Canada Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Sheng Chen University of Louisiana at Lafayette United States Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Yuxuan Chen Author of Staged Abstract Interpreters within the OOPSLA-track in SPLASH 2019
Jia Chen University of Texas at Austin Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019
Shigeru Chiba University of Tokyo, Japan Japan Author of Generating a fluent API from an LR grammar for efficient syntax checking within the OOPSLA-track in SPLASH 2019 Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the MPLR-track
Joana Chicau Netherlands Committee Member in Program Committee within the LIVE-track
Bruce Childers Steering Committee Member in Steering Committee within the MPLR-track
David Chisnall University of Cambridge Committee Member in Program Committee within the DLS-track
Andrei Chis feenk gmbh Switzerland Committee Member in Program Committee within the META-track
Andrei Chiş feenk, Switzerland Publicity Chair in Organizing Committee within the SLE-track
David Thrane Christiansen Galois, USA United States Author in Reviewers within the SPLASH SRC-track Committee Member in Program Committee within the META-track
Yair Chuchem Lamdu Israel Committee Member in Program Committee within the LIVE-track
Ravi Chugh University of Chicago PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Benjamin Chung Northeastern University United States Video Chair in Organizing Committee for SPLASH 2019
Luke Church Committee Member in Organizing Committee within the LIVE-track Committee Member in Artifact Evaluation Committee within the SLE-track
Matteo Cimini University of Massachusetts Lowell United States Committee Member in Program Committee within the SLE-track
Colin Clark OCAD University Canada Committee Member in Program Committee within the SPLASH Onward! Essays-track
Keith Clark Imperial College Committee Member in Program Committee within the AGERE-track
Yvonne Coady University of Victoria Canada PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Commitee within the SPLASH -E-track Committee Member in Organizing Committee within the STOKED-track Committee Member in Organizing Committee within the STOKED-track
Nachshon Cohen EPFL, Switzerland Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Sylvain Collange INRIA Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track in SPLASH 2019
Youyou Cong Tokyo Institute of Technology Japan PC Member in Program Committee within the SPLASH Onward! Papers-track
William Cook University of Texas at Austin Committee Member in Program Committee within the DLS-track
Emilio Coppa Sapienza University of Rome, Italy Italy Publicity Chair in Organizing Committee within the MPLR-track
Ryan Culpepper Czech Technical University Czech Republic Committee Member in Program Committee within the META-track
Javier Luis Cánovas Izquierdo IN3 - UOC Spain PC Member in Program Committee within the DSM-track
Loris D'Antoni University of Wisconsin–Madison Author of Automatic Repair of Regular Expressions within the OOPSLA-track in SPLASH 2019
Daniele Cono D'Elia Sapienza University of Rome Italy Committee Member in Program Committee within the MPLR-track
Erin Dahlgren Accelerate Publishing United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
David Darais University of Vermont United States Student Research Competition Chair in Organizing Committee for SPLASH 2019 Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019 Author in Reviewers within the SPLASH SRC-track Co-chair in Organizers within the SPLASH SRC-track
Eva Darulova MPI-SWS Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joeri De Koster Vrije Universiteit Brussel, Belgium Belgium Committee Member in Organizing Committee within the AGERE-track Committee Member in Organizing Committee within the AGERE-track
Wolfgang De Meuter Vrije Universiteit Brussel PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Organizing Committee within the REBLS-track
Liesbeth De Mol Université de Lille Committee Member in Program Committee within the SPLASH Onward! Essays-track
Thomas Degueule CWI, Netherlands Netherlands Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Benjamin Delaware Purdue University Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Germán Andrés Delbianco IRIF, Université Paris Diderot France Author of Resource Morphisms for Specifying Concurrent Programs in Separation Logic within the OOPSLA-track in SPLASH 2019
Lukas Diekmann King's College London Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Werner Dietl University of Waterloo, Canada Canada Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jens Dietrich Victoria University of Wellington New Zealand Author of Understanding the Gaps in Static Program Analysis within the NJR 2019-track in NJR 2019
Isil Dillig UT Austin United States Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christos Dimoulas Northwestern University United States Author of Complete Monitors for Gradual Types within the OOPSLA-track in SPLASH 2019
Juergen Dingel Queen's University, Kingston, Ontario Committee Member in Program Committee within the SLE-track
Yufei Ding UCSB China Committee Member in Review Committee within the SPLASH OOPSLA-track
Verislav Djukic Djukic Software Germany PC Member in Program Committee within the DSM-track
Sébastien Doeraene EPFL, Switzerland Switzerland Committee Member in Program Committee within the DLS-track
Alastair Donaldson Google and Imperial College London United Kingdom Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Joscha Drechsler Technische Universität Darmstadt Germany Author of A Fault-tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track in SPLASH 2019
Sophia Drossopoulou Imperial College London United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joshua Dunfield Queen's University, Kingston, Ontario Canada Committee Member in Program Committee within the IC-track
Steve Easterbrook University of Toronto Canada Committee Member in Program Committee within the STOKED-track
Alan Edelman MIT Invited speaker of On Julia within the Rebase-track in SPLASH 2019
Jonathan Edwards United States Committee Member in Organizing Committee within the LIVE-track
Susan Eisenbach Imperial College London United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Constantin Enea Université Paris Diderot France Author of On the Complexity of Checking Transactional Consistency within the OOPSLA-track in SPLASH 2019
Romina Eramo University of L'Aquila Italy Committee Member in Program Committee within the SLE-track
Sebastian Erdweg JGU Mainz Germany Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track Committee Member in Organizing Committee within the IC-track
Michael D. Ernst University of Washington, USA Author of Modular Verification of Web Page Layout within the OOPSLA-track in SPLASH 2019
Erik Ernst Google Inc. Denmark Committee Member in Program Committee within the MPLR-track
Neil Ernst University of Victoria Canada Committee Member in Program Committee within the STOKED-track
Gregory Essertel Author of Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce within the OOPSLA-track in SPLASH 2019
Paulo Esteves-Veríssimo University of Luxembourg Author of Asphalion: Trustworthy Shielding Against Byzantine Faults within the OOPSLA-track in SPLASH 2019
Anthony Estey University of British Columbia Canada Committee Member in Program Committee within the STOKED-track
Patrick Eugster Universita della Svizzera Italiana, Switzerland Committee Member in Organizing Committee within the REBLS-track
Marc Feeley Université de Montréal Canada Committee Member in Program Committee within the DLS-track
Tim Felgentreff Oracle Labs, Potsdam Germany PC Member in Program Committee within the SPLASH Onward! Papers-track Steering Committee Chair in Steering Committee within the DLS-track Committee Member in Program Committee within the REBLS-track
Matthias Felleisen Northeastern University, USA Author of Complete Monitors for Gradual Types within the OOPSLA-track in SPLASH 2019
Yu Feng University of California, Santa Barbara, USA China Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019
Kiko Fernandez-Reyes Uppsala University Sweden Student Volunteer Co-Chair in Organizing Committee for SPLASH 2019 Committee Member in Program Committee within the AGERE-track
Vimuth Fernando University of Illinois at Urbana-Champaign Author of Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2019
John Feser MIT CSAIL Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Irene Finocchi Sapienza University of Rome, Italy Italy Program Chair in Program Committee within the MPLR-track Program Chair in Organizing Committee within the MPLR-track
Kathi Fisler Brown University Committee Member in Steering Committee within the SPLASH -E-track
Matthew Flatt University of Utah United States Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track
Niklas Fors Lund University Co-chair in Organising Committee within the SPLASH Posters-track
Jeffrey S. Foster Tufts University United States Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
George Fourtounis University of Athens Greece Local Arrangements Chair in Organizing Committee for SPLASH 2019
Simon Fowler The University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Roy Fox UC Berkeley Author of Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019
Juliana Franco Microsoft Research, Cambridge United Kingdom Student Volunteer Chair in Organizing Committee for SPLASH 2019 Committee Member in Organizing Committee within the AGERE-track Committee Member in Program Committee within the LIVE-track
Michal Friedman Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Juan Fumero University of Manchester, UK United Kingdom Committee Member in Program Committee within the DLS-track Program Co-Chair in Organizing Committee within the DLS-track
Hongfei Fu IST Austria Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track in SPLASH 2019
Ignacio Fábregas IMDEA Software Institute Author of Resource Morphisms for Specifying Concurrent Programs in Separation Logic within the OOPSLA-track in SPLASH 2019
Richard P. Gabriel Dream Songs, Inc. & HPI Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Pranav Gaddamadugu University of California, Berkeley Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Stéphane Galland Université de technologie Belfort-Montbéliard Committee Member in Program Committee within the AGERE-track
Antonio Garcia-Dominguez Aston University Committee Member in Artifact Evaluation Committee within the SLE-track
Ronald Garcia University of British Columbia Committee Member in Review Committee within the SPLASH OOPSLA-track
François Gauthier Oracle Labs Australia Committee Member in Program Committee within the VMIL-track
Sebastian Gerard CEA Saclay - NanoInnov France Committee Member in Program Committee within the SLE-track
Paolo G. Giarrusso TU Delft, The Netherlands Italy Committee Member in Program Committee within the SLE-track
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Elena Glassman UC Berkeley Committee Member in Program Committee within the LIVE-track
Milos Gligoric University of Texas at Austin United States Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA-track in SPLASH 2019
Robert Glück University of Copenhagen Denmark Committee Member in Program Committee within the GPCE-track
Aviral Goel Northeastern University United States Web Chair in Organizing Committee for SPLASH 2019 Author of On the Design, Implementation and Use of Laziness in R within the OOPSLA-track in SPLASH 2019
Hannah Gommerstadt Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Elisa Gonzalez Boix Vrije Universiteit Brussel, Belgium Belgium Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the VMIL-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the META-track Committee Member in Program Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Colin Gordon Drexel University United States Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jose Gracia HLRS Committee Member in Program Committee within the AI-SEPS-track
Jeff Gray University of Alabama Committee Member in Organizing Committee within the DSM-track PC co-chair in Organizing Committee within the SLE-track
Neville Grech University of Athens, University of Malta Greece Workshops Chair in Organizing Committee for SPLASH 2019 Workshops Co-Chair in Organizers within the SPLASH Workshops-track Committee Member in Program Committee within the IC-track
Ben Greenman Northeastern University, USA United States Author of Complete Monitors for Gradual Types within the OOPSLA-track in SPLASH 2019
David Grove IBM Research United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Esther Guerra Committee Member in Program Committee within the SLE-track
Arjun Guha University of Massachusetts Amherst United States Workshops Chair in Organizing Committee for SPLASH 2019 Author of Formal Foundations of Serverless Computing within the OOPSLA-track in SPLASH 2019 Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Workshops Co-Chair in Organizers within the SPLASH Workshops-track
Sumit Gulwani Microsoft Research Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019
Rajiv Gupta UC Riverside United States Author of DProf: Distributed Profiler with Strong Guarantees within the OOPSLA-track in SPLASH 2019
Sam Guyer Tufts University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Abel Gómez Universitat Oberta de Catalunya Spain Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Christine H. Flood Red Hat Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jennifer Hackett University of Nottingham, UK United Kingdom Committee Member in Program Committee within the META-track
Milica Hadzi-Tanovic University of Illinois at Urbana-Champaign Author of Reflection-aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Philipp Haller KTH Royal Institute of Technology, Sweden Germany Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019 Committee Member in Program Committee within the AGERE-track
Mary Hall University of Utah Committee Member in Program Committee within the AI-SEPS-track
Jad Hamza LIAFA, Université Paris Diderot Author of Type-Theoretic Foundation of an SMT-Based Verifier within the OOPSLA-track in SPLASH 2019
Ken Chan Guan Hao Zilliqa Research Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019
Matthias Hauswirth Università della Svizzera italiana (USI) Switzerland Author of Casting about in the Dark within the OOPSLA-track in SPLASH 2019
Akihiro Hayashi Rice University, USA United States Committee Member in Program Committee within the AI-SEPS-track
Gorel Hedin Lund University Sweden Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IC-track
Ian Henriksen Author of Derivative Grammars: A Symbolic Approach to Parsing with Derivatives within the OOPSLA-track in SPLASH 2019
Ludovic Henrio CNRS France Committee Member in Program Committee within the AGERE-track
Matthew Hertz University at Buffalo Committee Member in Program Committee within the MPLR-track
Michael Hicks University of Maryland, College Park United States Author of Coverage Guided, Property Based Testing within the OOPSLA-track in SPLASH 2019
Raphael Hiesgen HAW Hamburg Germany Committee Member in Program Committee within the AGERE-track
Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany Germany PC Member in Program Committee within the SPLASH Onward! Papers-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the META-track Committee Member in Program Committee within the LIVE-track Committee Member in Steering Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Martin Hirzel IBM Research United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Aquinas Hobor Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track in SPLASH 2019
Peter Hofer Christian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Michael Homer Victoria University of Wellington Committee Member in Program Commitee within the SPLASH -E-track
Tony Hosking Australian National University / Data61 Australia General Chair in Organizing Committee within the MPLR-track
Shan Shan Huang Facebook United States SPLASH-I Chair in Organizing Committee for SPLASH 2019
Mingzhang Huang Shanghai Jiao Tong University Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track in SPLASH 2019
Jeff Huang Texas A&M University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Marieke Huisman University of Twente Netherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Xu-Qiang Hu Tsinghua Univeraity Author of IVT: an Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019
Qinheping Hu University of Wisconsin-Madison United States Author of Automatic Repair of Regular Expressions within the OOPSLA-track in SPLASH 2019
Muhammad Huzaifa University of Illinois at Urbana-Champaign Author of ApproxIR: A Portable Compiler IR for Accuracy-aware Optimizations within the OOPSLA-track in SPLASH 2019
Kazuhiro Ichikawa University of Tokyo, Japan Author of Generating a fluent API from an LR grammar for efficient syntax checking within the OOPSLA-track in SPLASH 2019
Roberto Ierusalimschy PUC-Rio Brazil PC Member in Program Committee within the SPLASH Onward! Papers-track
Pablo Inostroza CWI Netherlands Committee Member in Program Committee within the SLE-track
Derek Jacoby QVirt Labs Canada Committee Member in Organizing Committee within the STOKED-track
Suresh Jagannathan Purdue University Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track in SPLASH 2019 Author of Relational Reasoning for Mergeable Replicated Data Types within the OOPSLA-track in SPLASH 2019
Abhinav Jangda University of Massachusetts Amherst India Author of Formal Foundations of Serverless Computing within the OOPSLA-track in SPLASH 2019
Ali Jannesari Iowa State University United States Steering Committee Member in Steering Committee within the AI-SEPS-track
Ciera Jaspan Google United States Invited speaker of Improving Engineering Productivity at Scale within the Rebase-track in SPLASH 2019
Jamie Jennings pc Programme Committee in Reviewers within the SPLASH SRC-track
David Jensen University of Massachusetts Amherst Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019
Sehun Jeong Korea University, South Korea Korea, South Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ranjit Jhala University of California, San Diego United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Limin Jia Carnegie Mellon University United States Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the OOPSLA-track in SPLASH 2019
Zhi Jin Peking University Author of IntelliMerge: A Refactoring-aware Software Merging Technique based on Program Element Graph within the OOPSLA-track in SPLASH 2019
Jacob Johannsen Zilliqa Research Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019
Bengt Jonsson Uppsala University Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Keyur Joshi University of Illinois at Urbana-Champaign United States Author of Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2019 Author of ApproxIR: A Portable Compiler IR for Accuracy-aware Optimizations within the OOPSLA-track in SPLASH 2019
Vojin Jovanovic Oracle Labs Switzerland Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Amir Kafshdar Goharshady IST Austria Austria Author of Modular Verification for Almost-Sure Termination of Probabilistic Programs within the OOPSLA-track in SPLASH 2019
Gail Kaiser Columbia University, New York United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Gowtham Kaki Purdue University United States Author of Relational Reasoning for Mergeable Replicated Data Types within the OOPSLA-track in SPLASH 2019
Shoaib Kamil Adobe Author of Modular Verification of Web Page Layout within the OOPSLA-track in SPLASH 2019
Tetsuo Kamina Oita University Japan Co-chair in Program Committee within the REBLS-track
Jun Kato National Institute of Advanced Industrial Science and Technology, Japan Japan Committee Member in Program Committee within the LIVE-track
Kiyokuni Kawachiya IBM Research - Tokyo PC Member in Program Committee within the SPLASH Onward! Papers-track
Sven Keidel JGU Mainz Germany Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track in SPLASH 2019 Committee Member in Artifact Evaluation Committee within the SLE-track
Stephen Kell University of Kent Committee Member in External Review Committee within the SPLASH OOPSLA-track
Steven Kelly MetaCase United Kingdom PC Member in Program Committee within the DSM-track
Peter Kessler Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Raffi Khatchadourian City University of New York (CUNY) Hunter College United States PC Member in Program Committee within the SPLASH Onward! Papers-track
Mirko Kohler Technical University of Darmstadt Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019
Wen Kokke University of Edinburgh United Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michalis Kokologiannakis MPI-SWS, Germany Greece Author of Effective Lock Handling in Stateless Model Checking within the OOPSLA-track in SPLASH 2019
Dimitris Kolovos University of York United Kingdom Committee Member in Program Committee within the SLE-track
Igor Konnov Inria Nancy France Author of TLA+ model checking made symbolic within the OOPSLA-track in SPLASH 2019
Eric Koskinen Stevens Institute of Technology Author of Specification and Inference of Trace Refinement Relations within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Maria Kotsifakou University of Illinois at Urbana-Champaign Author of ApproxIR: A Portable Compiler IR for Accuracy-aware Optimizations within the OOPSLA-track in SPLASH 2019
Filip Krikava Czech Technical University Czech Republic Author of Scala Implicits are Everywhere within the OOPSLA-track in SPLASH 2019
Murali Krishna Ramanathan Uber United States Author of Optimization of Swift Protocols within the OOPSLA-track in SPLASH 2019
Jure Kukovec TU Wien, Austria Author of TLA+ model checking made symbolic within the OOPSLA-track in SPLASH 2019
Amrit Kumar Zilliqa Research Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019
Vivek Kumar Committee Member in Program Committee within the MPLR-track
Viktor Kuncak EPFL, Switzerland Author of Type-Theoretic Foundation of an SMT-Based Verifier within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yonghwi Kwon University of Virginia United States Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Christian Kästner Carnegie Mellon University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Thomas LaToza George Mason University United States PC Member in Program Committee within the SPLASH Onward! Papers-track
Tania Lado Insua University of Tasmania Australia Committee Member in Program Committee within the STOKED-track
Sifis Lagouvardos University of Athens Greece Video Chair in Organizing Committee for SPLASH 2019
Leonidas Lampropoulos University of Pennsylvania Greece Author of Coverage Guided, Property Based Testing within the OOPSLA-track in SPLASH 2019
Doug Lea State University of New York (SUNY) Oswego United States Committee Member in Program Committee within the MPLR-track Committee Member in Steering Committee within the SPLASH -E-track
Richard Leblanc Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Manuel Leduc Univ Rennes, Inria, CNRS, IRISA France Committee Member in Artifact Evaluation Committee within the SLE-track
Sungho Lee KAIST, South Korea South Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Myungho Lee Korea University Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA-track in SPLASH 2019
Owolabi Legunsen University of Illinois at Urbana-Champaign United States Author of Reflection-aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Caroline Lemieux University of California, Berkeley United States Author of Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019
Benjamin Lerner Northeastern University, United States Committee Member in Program Commitee within the SPLASH -E-track
Alan Leung University of California, San Diego Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019
Ton Chanh Le Stevens Institute of Technology United States Author of Specification and Inference of Trace Refinement Relations within the OOPSLA-track in SPLASH 2019
Vu Le Microsoft Vietnam Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019
Thomas Lewis Microsoft United States Committee Member in Program Committee within the STOKED-track
Ondřej Lhoták University of Waterloo Canada Author of A Path To DOT: Formalizing Fully-Path-Dependent Types within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Guangtai Liang Huawei Technologies Author of IntelliMerge: A Refactoring-aware Software Merging Technique based on Program Element Graph within the OOPSLA-track in SPLASH 2019
Michael Lippautz Google Invited speaker of Untangling the web: Memory management in Chrome’s web platform implementation within the DLS 2019-track in DLS 2019
Yu David Liu State University of New York (SUNY) Binghamton United States Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the VMIL-track
Yi Li Author of Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks within the OOPSLA-track in SPLASH 2019
Yue Li Aarhus University, Denmark China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Crista Lopes Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the NJR-track
Sifei Luan Facebook Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019
Brandon Lucia Carnegie Mellon University United States Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Jingbo Lu UNSW Sydney Author of Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity within the OOPSLA-track in SPLASH 2019
Magnus Lång Uppsala University, Sweden Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Julian Mackay Victoria University of Wellington New Zealand Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Magnus Madsen Aarhus University Denmark Publications Chair in Organizing Committee for SPLASH 2019 Committee Member in Program Committee within the MPLR-track
Geoffrey Mainland Drexel University, USA Committee Member in Program Committee within the GPCE-track
Rupak Majumdar MPI-SWS, Germany Author of Trace Aware Random Testing for Distributed Systems within the OOPSLA-track in SPLASH 2019
Louis Mandel IBM Research United States Committee Member in Program Committee within the REBLS-track
Roman Manevich Mellanox Technologies Israel Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ali Manzak University of Detroit Mercy United States Committee Member in Program Committee within the AI-SEPS-track
Mariana Marasoiu University of Cambridge Committee Member in Program Committee within the LIVE-track
Michael Marcozzi Imperial College London United Kingdom Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track in SPLASH 2019
Benjamin Mariano University of Maryland, College Park Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Darko Marinov University of Illinois at Urbana-Champaign United States Author of Reflection-aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Mark Marron Microsoft Research United States Committee Member in Program Committee within the DLS-track
Stefan Marr University of Kent United Kingdom Committee Member in Program Committee within the AGERE-track Committee Member in Steering Committee within the META-track Committee Member in Steering Committee within the DLS-track Program Chair in Organizing Committee within the DLS-track
Chris Martens North Carolina State University United States Committee Member in Program Committee within the GPCE-track
Luis Mastrangelo Universita della Svizzera italiana (USI) Author of Casting about in the Dark within the OOPSLA-track in SPLASH 2019
Hidehiko Masuhara Tokyo Institute of Technology Japan Onward! Papers Chair in Organizing Committee for SPLASH 2019 Program Chair in Program Committee within the SPLASH Onward! Papers-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the LIVE-track Co-chair in Program Committee within the REBLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Jay McCarthy University of Massachusetts Lowell United States Student Research Competition Chair in Organizing Committee for SPLASH 2019 Author in Reviewers within the SPLASH SRC-track Co-chair in Organizers within the SPLASH SRC-track
Sean McDirmid United States Committee Member in Program Committee within the LIVE-track
Maryam Mehri Dehnavi University of Toronto Canada Committee Member in Program Committee within the GPCE-track
Na Meng Virginia Tech United States Committee Member in Program Committee within the DLS-track
Marjan Mernik University of Maribor Slovenia Committee Member in Program Committee within the SLE-track
Leo Meyerovich Graphistry PC Member in Program Committee within the SPLASH Onward! Papers-track
Johannes Mey Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the SLE-track
Mira Mezini TU Darmstadt, Germany Germany Author of A Fault-tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019 Keynote Speaker in Keynote Speaker within the GPCE-track
Matthew Might University of Alabama at Birmingham \| Harvard Medical School United States Invited speaker of Algorithms for Precision Medicine within the Rebase-track in SPLASH 2019
Ana Milanova Rensselaer Polytechnic Institute United States Committee Member in Program Committee within the MPLR-track
Heather Miller Carnegie Mellon University Author of Scala Implicits are Everywhere within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Anders Miltner Princeton University Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019
Sasa Misailovic University of Illinois at Urbana-Champaign United States Author of Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2019 Author of ApproxIR: A Portable Compiler IR for Accuracy-aware Optimizations within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ragnar Mogk Technische Universität Darmstadt Author of A Fault-tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track in SPLASH 2019
Anshuman Mohan National University of Singapore Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track in SPLASH 2019
Thierry Moreau University of Washington Invited speaker of Thierry Moreau's Talk within the Rebase-track in SPLASH 2019
Peter D. Mosses Swansea University and TU Delft Netherlands Committee Member in Program Committee within the GPCE-track
Eliot Moss University of Massachusetts Amherst Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019
Sarah Mount Aston University United Kingdom Committee Member in Program Committee within the DLS-track
Fabian Muehlboeck Cornell University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gail Murphy University of British Columbia Canada Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Andrew Myers Cornell University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Todd Mytkowicz Microsoft Research Committee Member in Review Committee within the SPLASH OOPSLA-track
Hanspeter Mössenböck JKU Linz, Austria Austria Steering Committee Member in Steering Committee within the MPLR-track
Anders Møller Aarhus University Denmark Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track in SPLASH 2019
Peter Müller ETH Zurich Switzerland Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track in SPLASH 2019 Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track in SPLASH 2019
Vaivaswatha Nagaraj Zilliqa Research India Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019
Kartik Nagar Purdue University Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track in SPLASH 2019
Tomoki Nakamaru The University of Tokyo Japan Author of Generating a fluent API from an LR grammar for efficient syntax checking within the OOPSLA-track in SPLASH 2019
Aleksandar Nanevski IMDEA Software Institute Spain Author of Resource Morphisms for Specifying Concurrent Programs in Separation Logic within the OOPSLA-track in SPLASH 2019
Krishna Narasimhan Goethe University India Committee Member in Artifact Evaluation Committee within the SLE-track
Iulian Neamtiu New Jersey Institute of Technology United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joseph P. Near University of Vermont Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
ThanhVu Nguyen University of Nebraska-Lincoln United States Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Tien Nguyen University of Texas at Dallas United States Author of Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks within the OOPSLA-track in SPLASH 2019
Son Nguyen The University of Texas at Dallas United States Author of Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks within the OOPSLA-track in SPLASH 2019
Benjamin Barslev Nielsen Aarhus University Denmark Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track in SPLASH 2019
Oscar Nierstrasz University of Bern, Switzerland Switzerland General Chair in Organizing Committee within the SLE-track
Pengyu Nie Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA-track in SPLASH 2019
James Noble Victoria University of Wellington New Zealand Committee Member in Program Committee within the META-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Ibrahim Numanagić Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019
Nate Nystrom USI Lugano, Switzerland Author of Casting about in the Dark within the OOPSLA-track in SPLASH 2019
Ileana Ober University of Toulouse PC Member in Program Committee within the DSM-track
Yoshiki Ohshima HARC / Y Combinator Research Japan Committee Member in Program Committee within the REBLS-track
Hakjoo Oh Korea University Korea, South Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA-track in SPLASH 2019
Bruno C. d. S. Oliveira The University of Hong Kong, Hong Kong Hong Kong Committee Member in Program Committee within the META-track PC co-chair in Organizing Committee within the SLE-track
Cyrus Omar University of Chicago United States PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the META-track Committee Member in Program Committee within the LIVE-track
Wytse Oortwijn University of Twente Netherlands Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jesper Oqvist Lund University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Artifact Evaluation Committee within the SLE-track
Simin Oraee Max Planck Institute for Software Systems (MPI-SWS) Author of Trace Aware Random Testing for Distributed Systems within the OOPSLA-track in SPLASH 2019
Burcu Kulahcioglu Ozkan MPI-SWS, Germany Germany Author of Trace Aware Random Testing for Distributed Systems within the OOPSLA-track in SPLASH 2019
Saswat Padhi University of California, Los Angeles United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Rohan Padhye University of California, Berkeley Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019
Jens Palsberg University of California, Los Angeles (UCLA) Author of A Formalization of Java’s Concurrent Access Modes within the OOPSLA-track in SPLASH 2019 Invited speaker of Quantum Programming within the Rebase-track in SPLASH 2019 Committee Member in Organizing Committee within the NJR-track
Pavel Panchekha University of Washington United States Author of Modular Verification of Web Page Layout within the OOPSLA-track in SPLASH 2019
Rong Pan University of Texas at Austin Author of Automatic Repair of Regular Expressions within the OOPSLA-track in SPLASH 2019
Nick Papoulias Université Grenoble Alpes, France France Committee Member in Program Committee within the DLS-track
Matthew Parkinson Microsoft Research, UK United Kingdom Committee Member in Program Committee within the MPLR-track
William Parkinson Urthecast Canada Committee Member in Program Committee within the STOKED-track
Jihyeok Park KAIST, South Korea South Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Andreas Pavlogiannis EPFL, Switzerland Author of Value-centric Dynamic Partial Order Reduction within the OOPSLA-track in SPLASH 2019
Hannes Payer Google Committee Member in Program Committee within the DLS-track
David Pearce Victoria University of Wellington, New Zealand United Kingdom Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track
Fernando Magno Quintão Pereira UFMG Brazil Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track in SPLASH 2019
Roly Perera The Alan Turing Institute United Kingdom Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Ivan Perez NIA / NASA Formal Methods Committee Member in Program Committee within the REBLS-track
John Peter Campora III University of Louisiana at Lafayette United States Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Erez Petrank Technion Israel Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Tomas Petricek University of Kent United Kingdom Onward! Essays Chair in Organizing Committee for SPLASH 2019 Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Program Chair in Program Committee within the SPLASH Onward! Essays-track
Tuan Phong Ngo Uppsala University Vietnam Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Jean Pichon-Pharabod University of Cambridge Author of Weakening WebAssembly within the OOPSLA-track in SPLASH 2019
Alfonso Pierantonio Committee Member in Program Committee within the SLE-track
Benjamin C. Pierce University of Pennsylvania United States Author of Coverage Guided, Property Based Testing within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Luís Pina George Mason University United States Author in Reviewers within the SPLASH SRC-track
Donald Pinckney University of Massachusetts Amherst United States Author of Formal Foundations of Serverless Computing within the OOPSLA-track in SPLASH 2019
Keshav Pingali University of Texas at Austin, USA Author of Derivative Grammars: A Symbolic Approach to Parsing with Derivatives within the OOPSLA-track in SPLASH 2019
Oleg Pliss Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Martin Pluemicke DHBW Baden-Wuerttemberg Cooperative State University Germany Steering Committee Member in Steering Committee within the MPLR-track
Guillermo Polito Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de Lille Argentina Committee Member in Program Committee within the META-track
Joe Gibbs Politz University of California San Diego, United States United States Committee Member in Program Committee within the DLS-track
Federico Poli ETH Zurich, Switzerland Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track in SPLASH 2019
Julien Ponge Red Hat, Inc. France Committee Member in Program Committee within the DLS-track
Jaroslav Porubän Technical University of Košice, Slovakia Committee Member in Program Committee within the SLE-track
Alex Potanin Victoria University of Wellington New Zealand Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track
Michael Pradel TU Darmstadt and Facebook Germany Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track in SPLASH 2019 Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Swarn Priya Author of Relational Reasoning for Mergeable Replicated Data Types within the OOPSLA-track in SPLASH 2019
Christian Probst Unitec Institute of Technology New Zealand Steering Committee Member in Steering Committee within the MPLR-track
Junqiao Qiu University of California, Riverside Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiaokang Qiu Purdue University United States Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Jenny Quillien Embodied Making Institute Committee Member in Program Committee within the SPLASH Onward! Essays-track
Azalea Raad MPI-SWS, Germany United Kingdom Author of Effective Lock Handling in Stateless Model Checking within the OOPSLA-track in SPLASH 2019 Author of Weak Persistency Semantics from the Ground Up within the OOPSLA-track in SPLASH 2019
Rodric Rabbah Invited speaker of The Dawn of the Cloud Computer within the Rebase-track in SPLASH 2019
Gabriel Radanne University of Freiburg, Germany France Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Arjun Radhakrishna Microsoft Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019
Vincent Rahli SnT Author of Asphalion: Trustworthy Shielding Against Byzantine Faults within the OOPSLA-track in SPLASH 2019
Kia Rahmani Purdue University, USA United States Author of CLOTHO: Directed Test Generation for Weakly Consistent Database Systems within the OOPSLA-track in SPLASH 2019
G. Ramalingam Microsoft Research India Committee Member in External Review Committee within the SPLASH OOPSLA-track
Marianna Rapoport University of Waterloo, Canada Canada Author of A Path To DOT: Formalizing Fully-Path-Dependent Types within the OOPSLA-track in SPLASH 2019 Co-chair in Organizing Committee within the SPLASH PLMW-track
Mohammad Javad Rashti Chamran University Committee Member in Program Committee within the AI-SEPS-track
Josh Reese University of Maryland, College Park Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Christoph Reichenbach Lund University Sweden Poster Chair in Organizing Committee for SPLASH 2019 Co-chair in Organising Committee within the SPLASH Posters-track PC co-chair in Organizing Committee within the GPCE-track
Patrick Rein Hasso Plattner Institute, Germany Germany Committee Member in Program Committee within the LIVE-track
Alessandro Ricci University of Bologna, Italy Committee Member in Program Committee within the AGERE-track
Gregor Richards University of Waterloo Canada Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the DLS-track
Manuel Rigger ETH Zurich Switzerland Committee Member in Program Committee within the MPLR-track
Martin Rinard Massachusetts Institute of Technology United States Author of AL: Autogenerating Supervised Learning Programs within the OOPSLA-track in SPLASH 2019
Michael Ringenburg Cray, Inc. United States Committee Member in Program Committee within the AI-SEPS-track
Richard Roberts Victoria University of Wellington New Zealand Committee Member in Program Committee within the DLS-track
Juri Di Rocco Università di L'Aquila Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Noemi Rodrigues PUC-Rio Committee Member in Program Committee within the REBLS-track
Tiark Rompf Purdue University United States Author of Staged Abstract Interpreters within the OOPSLA-track in SPLASH 2019 Author of Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Chris Rossbach UT Austin and VMware Research Group Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA-track in SPLASH 2019
Andreas Rossberg Dfinity Germany Author of Weakening WebAssembly within the OOPSLA-track in SPLASH 2019
Matti Rossi Aalto University School of Business Committee Member in Organizing Committee within the DSM-track
Grigore Rosu University of Illinois at Urbana-Champaign United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Andrea Rosà University of Lugano, Switzerland Switzerland Author of NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories within the NJR 2019-track in NJR 2019 Committee Member in Program Committee within the MPLR-track
Bernhard Rumpe RWTH Aachen Germany Committee Member in Program Committee within the SLE-track
Jake Runzer Prodo.AI United Kingdom Committee Member in Program Committee within the LIVE-track
Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2 France Committee Member in Program Committee within the SLE-track
Caitlin Sadowski Google United States Sponsorship Chair in Organizing Committee for SPLASH 2019
Konstantinos (Kostis) Sagonas Uppsala University Sweden Author of Optimal Stateless Model Checking for Read-from Equivalence under Sequential Consistency within the OOPSLA-track in SPLASH 2019
Kostas Saidis University of Athens Greece Accessibility Chair in Organizing Committee for SPLASH 2019
Guido Salvaneschi TU Darmstadt Author of A Fault-tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track in SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019 Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Organizing Committee within the IC-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Organizing Committee within the REBLS-track
Malavika Samak CSAIL, MIT United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yuyang Sang Yale University Author of DS: A Language for Certified System Software within the OOPSLA-track in SPLASH 2019
Francisco Sant'Anna Rio de Janeiro State University Brazil Committee Member in Organizing Committee within the REBLS-track
Vinícius Fernandes dos Santos UFMG Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track in SPLASH 2019
John Sarracino University of California, San Diego Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jennifer B. Sartor Ghent University and Vrije Universiteit Brussel Belgium Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yukinori Sato Toyohashi University of Technology Japan Steering Committee Member in Steering Committee within the AI-SEPS-track
Vibha Sazawal University of Maryland Committee Member in Program Commitee within the SPLASH -E-track
Ina Schaefer Technische Universität Braunschweig Germany General Chair in Organizing Committee within the GPCE-track
Alexander Schlecht University of Louisiana at Lafayette Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Christophe Scholliers Universiteit Gent, Belgium Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Organizing Committee in Organizing Committee within the META-track
Bernhard Scholz University of Sydney, Australia Committee Member in Program Committee within the IC-track
Markus Schordan Lawrence Livermore National Laboratory United States Committee Member in Program Committee within the SLE-track
Ulrik Schultz University of Southern Denmark Committee Member in Program Committee within the GPCE-track
Sandro Schulze University of Magdeburg, Germany Germany Committee Member in Program Committee within the GPCE-track
Christopher Schuster Google United States Committee Member in Program Committee within the LIVE-track
Andrew Scott Facebook Author of Getafix: Learning to Fix Bugs Automatically within the OOPSLA-track in SPLASH 2019
Elizabeth Scott Royal Holloway University of London Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Neil Sculthorpe Nottingham Trent University, UK Committee Member in Program Committee within the SLE-track
Chris Seaton Oracle Labs United Kingdom Committee Member in Program Committee within the DLS-track
Christoph Seidl Technische Universität Braunschweig Committee Member in Program Committee within the GPCE-track
Koushik Sen University of California, Berkeley United States Author of Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019 Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019 Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019
Ilya Sergey Yale-NUS College and National University of Singapore Singapore Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019
Manuel Serrano Inria, France Committee Member in Program Committee within the DLS-track
Marco Servetto Victoria University Wellington, New Zealand Committee Member in Program Committee within the SLE-track
Peter Sewell University of Cambridge Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ariya Shajii MIT Author of Seq: A High-Performance Language for Bioinformatics within the OOPSLA-track in SPLASH 2019
Alex Shan University of California, Berkeley Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Zhong Shao Yale University United States Author of DS: A Language for Certified System Software within the OOPSLA-track in SPLASH 2019
Hashim Sharif Author of ApproxIR: A Portable Compiler IR for Accuracy-aware Optimizations within the OOPSLA-track in SPLASH 2019
Nikhil Sharma University of California, Berkeley Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Bo Shen Peking University, China China Author of IntelliMerge: A Refactoring-aware Software Merging Technique based on Program Element Graph within the OOPSLA-track in SPLASH 2019
Xipeng Shen North Carolina State University United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
August Shi University of Illinois at Urbana-Champaign Author of Reflection-aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Laurent Simon Samsung Research America Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019
Jeremy Singer University of Glasgow United Kingdom Committee Member in Program Committee within the DLS-track
Marcos Yukio Siraichi UFMG Author of Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping within the OOPSLA-track in SPLASH 2019
KC Sivaramakrishnan Indian Institute of Technology, Madras India Author of Relational Reasoning for Mergeable Replicated Data Types within the OOPSLA-track in SPLASH 2019
Vilhelm Sjoberg Yale University Author of DS: A Language for Certified System Software within the OOPSLA-track in SPLASH 2019
Yannis Smaragdakis University of Athens General Chair in Organizing Committee for SPLASH 2019
Steven Smyth Kiel University Committee Member in Program Committee within the REBLS-track
Gustavo Soares Microsoft United States Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019
Larissa Soares Universidade Federal da Bahia Committee Member in Program Committee within the GPCE-track
Daniel Sokolowski Technische Universität Darmstadt Germany Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track in SPLASH 2019
Armando Solar-Lezama MIT CSAIL United States Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019 Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track in SPLASH 2019
Neel Somani University of California, Berkeley Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Dawn Song Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Dowon Song Korea University Author of Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments within the OOPSLA-track in SPLASH 2019
Diomidis Spinellis Athens University of Economics and Business Greece Invited speaker of Growing thousandfold over a half-century: Form and forces of Unix architectural evolution within the Rebase-track in SPLASH 2019
Jonathan Sprinkle University of Arizona Committee Member in Organizing Committee within the DSM-track
Manu Sridharan University of California, Riverside United States Author of Optimization of Swift Protocols within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Prakalp Srivastava Author of ApproxIR: A Portable Compiler IR for Accuracy-aware Optimizations within the OOPSLA-track in SPLASH 2019
Lukas Stadler Oracle Labs, Austria Austria Committee Member in Program Committee within the MPLR-track
Codrut Stancu University of California, Irvine & Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Phillip Stanley-Marbell Invited speaker of Physical Computing within the Rebase-track in SPLASH 2019
Guy L. Steele Jr. Oracle Labs United States PC Member in Program Committee within the SPLASH Onward! Papers-track
Friedrich Steimann Fernuniversität Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael Steindorfer Delft University of Technology, Netherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Benno Stein University of Colorado Boulder Author of Static Analysis with Demand-Driven Value Refinement within the OOPSLA-track in SPLASH 2019
Michel Steuwer University of Glasgow United Kingdom Committee Member in Program Committee within the GPCE-track
Tim Stevens University of Vermont Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ion Stoica UC Berkeley Author of Neural-Backed Generators for Program Synthesis within the OOPSLA-track in SPLASH 2019
Alexander J. Summers ETH Zurich Author of Leveraging Rust Types for Modular Specification and Verification within the OOPSLA-track in SPLASH 2019 Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track in SPLASH 2019
Milijana Surbatovich Carnegie Mellon University Author of I/O Dependent Idempotence Bugs in Intermittent Systems within the OOPSLA-track in SPLASH 2019
Zhendong Su ETH Zurich Switzerland Author of Detecting Heisenbugs in Ethereum Smart Contracts within the OOPSLA-track in SPLASH 2019
Janwillem Swalens Vrije Universiteit Brussel, Belgium Belgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the AGERE-track
Eugene Syriani University of Montreal Canada Committee Member in Program Committee within the SLE-track
Tamás Szabó itemis / JGU Mainz Germany Committee Member in Organizing Committee within the IC-track
Emma Söderberg Lund University Sweden Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Hiroyuki Takizawa Tohoku University Committee Member in Program Committee within the AI-SEPS-track Committee Member in Organizing Committee within the AI-SEPS-track
Carolyn Talcott SRI International Committee Member in Program Committee within the AGERE-track
Qiyi Tang Imperial College London United Kingdom Author of Compiler Fuzzing: How Much Does It Matter? within the OOPSLA-track in SPLASH 2019 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Éric Tanter University of Chile & Inria Paris Chile Doctoral Symposium Chair in Organizing Committee for SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the META-track
Wende Tan Tsinghua University Author of IVT: an Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019
Tian Tan Aarhus University, Denmark China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gang Tan Pennsylvania State University Author of IVT: an Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019
Guanhong Tao Purdue University Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Ross Tate Cornell University United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Zachary Tatlock University of Washington United States Author of Modular Verification of Web Page Layout within the OOPSLA-track in SPLASH 2019
Arshavir Ter-Gabrielyan ETH Zurich Switzerland Author of Modular Verification of Heap Reachability Properties in Separation Logic within the OOPSLA-track in SPLASH 2019
Peter Thiemann University of Freiburg, Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ulyana Tikhonova CWI Committee Member in Program Committee within the SLE-track
Eli Tilevich Virginia Tech United States Steering Committee Member in Steering Committee within the MPLR-track
Ben L. Titzer Google Germany Committee Member in Program Committee within the MPLR-track
Ashish Tiwari SRI International Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019
Sam Tobin-Hochstadt Indiana University United States Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the DLS-track
Juha-Pekka Tolvanen MetaCase Finland Committee Member in Organizing Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Viktor Toman IST Austria (Institute of Science and Technology Austria) Author of Value-centric Dynamic Partial Order Reduction within the OOPSLA-track in SPLASH 2019
Bernardo Toninho NOVA-LINCS, FCT/UNL Portugal Author of Refinement Kinds: Type-safe Programming with Practical Type-level Computation within the OOPSLA-track in SPLASH 2019
Emina Torlak University of Washington United States Committee Member in Review Committee within the SPLASH OOPSLA-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Matías Toro University of Chile Chile Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Emma Tosch University of Massachusetts, Amherst Author of PlanAlyzer: Assessing Threats to the Validity of Online Experiments within the OOPSLA-track in SPLASH 2019 Committee Member in Artifact Evaluation Committee within the SLE-track
Thanh-Hai Tran Author of TLA+ model checking made symbolic within the OOPSLA-track in SPLASH 2019
Laurence Tratt King's College London United Kingdom Committee Member in Steering Committee within the DLS-track
Anton Trunov Zilliqa Research Russia Author of Safer Smart Contract Programming with Scilla within the OOPSLA-track in SPLASH 2019
Kanae Tsushima National Institute of Informatics, Japan Japan Committee Member in Program Committee within the GPCE-track
Michele Tucci University of L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Petr Tuma Charles University Czech Republic Steering Committee Member in Steering Committee within the MPLR-track
Alexi Turcotte Northeastern University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Naoyasu Ubayashi Kyushu University Japan PC Member in Program Committee within the DSM-track
Abhishek Udupa Microsoft Author of On the Fly Synthesis of Edit Suggestions within the OOPSLA-track in SPLASH 2019
Viktor Vafeiadis MPI-SWS, Germany Greece Author of Effective Lock Handling in Stateless Model Checking within the OOPSLA-track in SPLASH 2019 Author of Weak Persistency Semantics from the Ground Up within the OOPSLA-track in SPLASH 2019 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mojtaba Valinataj Babol Noshirvani University of Technology Committee Member in Program Committee within the AI-SEPS-track
Antonio Vallecillo University of Málaga, Spain Spain Committee Member in Program Committee within the SLE-track
Tom Van Cutsem Nokia Bell Labs Belgium Committee Member in Program Committee within the META-track
David Van Horn University of Maryland, USA United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Eric Van Wyk University of Minnesota, USA United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Mandana Vaziri IBM Research PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the DLS-track
Niki Vazou IMDEA Software Institute Author in Reviewers within the SPLASH SRC-track
Jyothi Vedurada IIT Madras Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hayawardh Vijayakumar Samsung Research America Author of FuzzFactory: Domain-Specific Fuzzing with Waypoints within the OOPSLA-track in SPLASH 2019
Mirko Viroli University of Bologna Committee Member in Program Committee within the REBLS-track
Eelco Visser Delft University of Technology Netherlands OOPSLA PC Chair in Organizing Committee for SPLASH 2019 Chair in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IC-track
Jan Vitek Northeastern University United States Author of On the Design, Implementation and Use of Laziness in R within the OOPSLA-track in SPLASH 2019 Author of Scala Implicits are Everywhere within the OOPSLA-track in SPLASH 2019 Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the VMIL-track Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Nicolas Voirol EPFL, Switzerland Author of Type-Theoretic Foundation of an SMT-Based Verifier within the OOPSLA-track in SPLASH 2019
Keval Vora Simon Fraser University Author of DProf: Distributed Profiler with Strong Guarantees within the OOPSLA-track in SPLASH 2019
Ivana Vukotic Author of Asphalion: Trustworthy Shielding Against Byzantine Faults within the OOPSLA-track in SPLASH 2019
Philip Wadler University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the GPCE-track
Eric Walkingshaw Oregon State University United States Committee Member in Program Committee within the GPCE-track
Yu-Ping Wang Tsinghua University Author of IVT: an Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019
Shaohua Wang New Jersey Institute of Technology, USA United States Author of Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks within the OOPSLA-track in SPLASH 2019
Lun Wang Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Qianxiang Wang Author of IntelliMerge: A Refactoring-aware Software Merging Technique based on Program Element Graph within the OOPSLA-track in SPLASH 2019
Shuai Wang HKUST/ETH Zurich Author of Detecting Heisenbugs in Ethereum Smart Contracts within the OOPSLA-track in SPLASH 2019
Shengyi Wang Author of Certifying Graph-Manipulating C Programs via Localizations within Data Structures within the OOPSLA-track in SPLASH 2019
Harumi Watanabe Tokai University Japan Committee Member in Program Committee within the REBLS-track
Takuo Watanabe Tokyo Institute of Technology Japan Committee Member in Program Committee within the REBLS-track
Conrad Watt University of Cambridge Author of Weakening WebAssembly within the OOPSLA-track in SPLASH 2019
Jiayi Wei University of Texas at Austin United States Author of Relational Verification using Reinforcement Learning within the OOPSLA-track in SPLASH 2019
Guannan Wei Purdue University Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation within the OOPSLA-track in SPLASH 2019 Author of Staged Abstract Interpreters within the OOPSLA-track in SPLASH 2019 Author of Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce within the OOPSLA-track in SPLASH 2019
Adam Welc Uber Technologies United States Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track
Shu-Chun Weng Yale University Author of DS: A Language for Certified System Software within the OOPSLA-track in SPLASH 2019
John Wickerson Imperial College London United Kingdom Author of Weak Persistency Semantics from the Ground Up within the OOPSLA-track in SPLASH 2019
Christian Wimmer Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Tobias Wrigstad Uppsala University Sweden PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Commitee within the SPLASH -E-track
Thomas Wuerthinger Oracle Labs Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Baijun Wu University of Louisiana at Lafayette, USA Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Peng Wu Huawei America Research Lab United States Committee Member in Program Committee within the GPCE-track
Paul Wögerer Author of Initialize Once, Start Fast: Application Initialization at Build Time within the OOPSLA-track in SPLASH 2019
Thomas Würthinger Steering Committee Member in Steering Committee within the MPLR-track
Jingling Xue UNSW Sydney Australia Author of Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity within the OOPSLA-track in SPLASH 2019
Gaowei Xu University of Wisconsin Madison Author of Automatic Repair of Regular Expressions within the OOPSLA-track in SPLASH 2019
Harry Xu UCLA United States Committee Member in Review Committee within the SPLASH OOPSLA-track
Siyuan Xu Purdue University Author of Program Synthesis with Algebraic Library Specifications within the OOPSLA-track in SPLASH 2019
Tetsuro Yamazaki University of Tokyo, Japan Author of Generating a fluent API from an LR grammar for efficient syntax checking within the OOPSLA-track in SPLASH 2019
Di Yang University of California at Irvine, USA Author of Aroma: Code Recommendation via Structural Code Search within the OOPSLA-track in SPLASH 2019
Masahiro Yasugi Kyushu Institute of Technology Committee Member in Program Committee within the AI-SEPS-track
Jaeheon Yi Google United States Sponsorship Chair in Organizing Committee for SPLASH 2019
He Yi University of Louisiana at Lafayette Author of Generating Precise Error Specifications for C: A Zero Shot Learning Approach within the OOPSLA-track in SPLASH 2019
Nobuko Yoshida Imperial College London Committee Member in Review Committee within the SPLASH OOPSLA-track
Wei You Purdue University Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Francesco Zappa Nardelli Inria France Author of Reliable and Fast DWARF-based Stack Unwinding within the OOPSLA-track in SPLASH 2019 Committee Member in Review Committee within the SPLASH OOPSLA-track
Vadim Zaytsev Raincode Labs, Belgium Belgium Committee Member in Program Committee within the SLE-track
Xiangyu Zhang Purdue University Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Tian Zhang Nanjing University China Committee Member in Program Committee within the SLE-track
Zhuo Zhang Purdue University United States Author of BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-program Path Sampling and Per-path Abstract Interpretation within the OOPSLA-track in SPLASH 2019
Mu Zhang University of Utah United States Author of Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy within the OOPSLA-track in SPLASH 2019
Xin Zhang Massachusetts Institute of Technology, USA United States Author of Probabilistic Verification of Fairness Properties via Concentration within the OOPSLA-track in SPLASH 2019
Wei Zhang Peking University Author of IntelliMerge: A Refactoring-aware Software Merging Technique based on Program Element Graph within the OOPSLA-track in SPLASH 2019
Chengyu Zhang East China Normal University China Author of Detecting Heisenbugs in Ethereum Smart Contracts within the OOPSLA-track in SPLASH 2019
Lingming Zhang Author of Reflection-aware Static Regression Test Selection within the OOPSLA-track in SPLASH 2019
Haiyan Zhao Peking University Author of IntelliMerge: A Refactoring-aware Software Merging Technique based on Program Element Graph within the OOPSLA-track in SPLASH 2019
Xinghui Zhao University of Washington Committee Member in Program Committee within the AI-SEPS-track
YungYu Zhuang National Central University Taiwan Committee Member in Program Committee within the REBLS-track
Lukasz Ziarek SUNY Buffalo, USA United States Committee Member in Organizing Committee within the REBLS-track
Zi-Xin Zou Tsinghua University Author of IVT: an Efficient Method for Sharing Subtype Polymorphic Objects within the OOPSLA-track in SPLASH 2019
Yoav Zuriel Technion - Israel Israel Author of Efficient Lock-Free Durable Sets within the OOPSLA-track in SPLASH 2019
Juan de Lara PC Member in Program Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Ana Lúcia de Moura Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the REBLS-track
Pablo de Oliveira Castro University of Versailles, France Committee Member in Program Committee within the AI-SEPS-track
Mark van den Brand Committee Member in Program Committee within the SLE-track
Tijs van der Storm CWI, Netherlands Netherlands Publicity Chair in Organizing Committee for SPLASH 2019 PC co-chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the LIVE-track
Jose Pablo Cambronero Sanchez CSAIL, MIT Author of AL: Autogenerating Supervised Learning Programs within the OOPSLA-track in SPLASH 2019
Ezgi Çiçek Facebook London Committee Member in Program Committee within the IC-track

SPLASH 2019 Contributors

Results (616)

Tracks

Co-hosted Conferences

Co-hosted Workshops

Co-hosted Symposiums