SPLASH 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (928)

A Rodin AarssenAarssen, Rodin CWI, NetherlandsNetherlands Publicity Chair in Organizing Committee within the GPCE-track
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency
Tatsuya AbeAbe, Tatsuya Chiba Institute of Technology, Japan A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language
Chike AbuahAbuah, Chike University of Vermont Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Rohan AcharAchar, Rohan UC Irvine 50K-C: A Dataset of Compilable, and Compiled, Java Projects GoTcha: An Interactive Debugger for GoT-Based Distributed Systems
Sara AchourAchour, Sara MITUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Michael D. AdamsAdams, Michael D. University of MichiganUnited States Author in Reviewers within the SPLASH SRC-track
Ulf AdamsAdams, Ulf GoogleGermany Ryū Revisited: Printf Floating Point Conversion Ryū Revisited: Printf Floating Point Conversion
Sarita AdveAdve, Sarita University of Illinois at Urbana-Champaign ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-ChampaignUnited States ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Yuka AkinobuAkinobu, Yuka Japan Women’s University Puppy: An Educational Simplification of Python with a Live Playground Puppy: An Educational Simplification of Python with a Live Playground
Shoaib AkramAkram, Shoaib Ghent UniversityBelgium Committee Member in Program Committee within the VMIL-track
Musa Al-hassyAl-hassy, Musa McMaster University A Language Feature to Unbundle Data at Will (Short Paper)
Omar AlamAlam, Omar Trent UniversityCanada Domain-specific model differencing in visual concrete syntax
Arash AlaviAlavi, Arash University of California, RiversideUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Steering Committee Chair in Steering Committee for SPLASH 2019 Session Chair of Corpus Studies (part of SPLASH OOPSLA) Obsidian: Typestate and Assets for Safer Smart Contracts Gradual Program Analysis Gradual Program Analysis 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 AliAli, Karim University of Alberta Session Chair of What do we do with PL? (part of SPLASH PLMW) Introduction Icebreaker and Networking Activity Co-chair in Organizing Committee within the SPLASH PLMW-track
Miltiadis AllamanisAllamanis, Miltiadis Microsoft Research, CambridgeUnited Kingdom Machine Learning for Program Analysis The Adverse Effects of Code Duplication in Machine Learning Models of Code
Meghan AllenAllen, Meghan University of British Columbia Learning to Listen for Design
Uri AlonAlon, Uri TechnionIsrael Deep Structural Learning of Code
Muna AltherwiAltherwi, Muna Southampton University An Empirical Study of Programming Language Effect on OSS Development Effort An Empirical Study of Programming Language Effect on OSS Development Effort
Juliana Alves PereiraAlves Pereira, Juliana University of Magdeburg Committee Member in Program Committee within the GPCE-track Committee Member in Artifact Evaluation Committee within the SLE-track
Saman AmarasingheAmarasinghe, Saman MITUnited States Seq: A High-Performance Language for Bioinformatics Seq: A High-Performance Language for Bioinformatics
Nada AminAmin, Nada Harvard UniversityUnited States 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 AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Committee Member in Steering Committee within the DLS-track
Erik AndersenAndersen, Erik Cornell University Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis
Artur AndrzejakAndrzejak, Artur Heidelberg UniversityGermany Agile Construction of Data Science DSLs (Tool Demo) Agile Construction of Data Science DSLs (Tool Demo)
Anthony AnjorinAnjorin, Anthony Paderborn University Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the STOKED-track
Anastasios AntoniadisAntoniadis, Anastasios University of Athens, GreeceGreece Student Volunteer Chair in Organizing Committee for SPLASH 2019 Co-chair in Organizers within the SPLASH Student Volunteers-track
Timos AntonopoulosAntonopoulos, Timos Yale UniversityUnited States Specification and Inference of Trace Refinement Relations Specification and Inference of Trace Refinement Relations
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan An Approach for Persistent Time-Varying Values Committee Member in Program Committee within the REBLS-track
Vincent AranegaAranega, Vincent Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL Sindarin: a Versatile Scripting API for the Pharo Debugger
Maryam ArchieArchie, Maryam MIT Declarative Assembly of Web Applications from Predefined Concepts
Mohammadreza AshouriAshouri, Mohammadreza University of Potsdam, GermanyGermany Etherolic: A Concolic Execution System for Security Analysis of Smart Contracts
Vytautas AstrauskasAstrauskas, Vytautas ETH Zurich, Switzerland Leveraging Rust Types for Modular Specification and Verification Leveraging Rust Types for Modular Specification and Verification
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, SwedenSweden Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency
Ehsan AtoofianAtoofian, Ehsan Lakehead UniversityCanada Committee Member in Organizing Committee within the AI-SEPS-track
Dominik AumayrAumayr, Dominik Johannes Kepler University Linz, AustriaAustria Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications Debugging Support for Multi-paradigm Concurrent Programs Debugging Support for Multi-paradigm Concurrent Programs Debugging Support for Multi-paradigm Concurrent Programs
B Casper BachBach, Casper Delft University of Technology Session Chair of Model Checking (part of SPLASH OOPSLA) Session Chair of Session 3: Languages (part of SLE) From Definitional Interpreter To Symbolic Executor Committee Member in Program Committee within the SLE-track
David F. BaconBacon, David F. GoogleUnited States Growing Databases to Exabyte Scale
Johannes BaderBader, Johannes FacebookUnited States Gradual Program Analysis Gradual Program Analysis Getafix: Learning to Fix Bugs Automatically Getafix: Learning to Fix Bugs Automatically
Riyadh BaghdadiBaghdadi, Riyadh MITUnited States Seq: A High-Performance Language for Bioinformatics Seq: A High-Performance Language for Bioinformatics
Mehdi BagherzadehBagherzadeh, Mehdi Oakland UniversityUnited States Committee Member in Program Committee within the AGERE-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Committee Member in Program Committee within the REBLS-track
Engineer BainomugishaBainomugisha, Engineer Makerere UniversityUganda Committee Member in Program Committee within the REBLS-track
Eytan BakshyBakshy, Eytan Facebook, Inc. PlanAlyzer: Assessing Threats to the Validity of Online Experiments
Thomas BallBall, Thomas Microsoft ResearchUnited States Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Hampus BalldinBalldin, Hampus Lund University MetaDL : Declarative Program Analysis for the Masses
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Elisa BaniassadBaniassad, Elisa University of British Columbia SPLASH-E Chair in Organizing Committee for SPLASH 2019 Panel & Group Discussion Learning to Listen for Design Welcome Chair in Program Commitee within the SPLASH -E-track
Olivier BaraisBarais, Olivier Univ. Rennes, Inria, CNRS, IRISA From DSL specification to interactive computer programming environment
Raj BarikBarik, Raj Uber Technologies Inc. Optimization of Swift Protocols Optimization of Swift Protocols
Ankica BarisicBarisic, Ankica NOVA-LINCS - Universidade Nova de LisboaPortugal PC Member in Program Committee within the DSM-track
Celeste BarnabyBarnaby, Celeste Facebook, Inc. Aroma: Code Recommendation via Structural Code Search Aroma: Code Recommendation via Structural Code Search
Cristina BaroglioBaroglio, Cristina Università degli Studi di Torino, Italy Committee Member in Program Committee within the AGERE-track
Dan BarowyBarowy, Dan Williams CollegeUnited States Evaluating ProDirect Manipulation in Hour of Code Panel: Jobs After the PhD Panelist in Speakers & Panelists within the SPLASH PLMW-track
Earl T. BarrBarr, Earl T. University College London PC Member in Program Committee within the SPLASH Onward! Papers-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Committee Member in Program Committee within the MPLR-track
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Relational Verification using Reinforcement Learning Probabilistic Verification of Fairness Properties via Concentration
Théophile BastianBastian, Théophile ENSFrance Reliable and Fast DWARF-based Unwinding Reliable and Fast DWARF-Based Stack Unwinding
Shrutarshi BasuBasu, Shrutarshi Cornell UniversityUnited States Property Conveyances as a Programming Language
Guillaume BaudartBaudart, Guillaume IBM ResearchUnited States Committee Member in Program Committee within the REBLS-track
Benoit BaudryBaudry, Benoit KTH Royal Institute of Technology, SwedenSweden Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium Memory efficient CRDTs in dynamic environments Memory efficient CRDTs in dynamic environments
Rohan BavishiBavishi, Rohan UC BerkeleyUnited States AutoPandas: Neural-Backed Generators for Program Synthesis
Tom BeckmannBeckmann, Tom Hasso Plattner Institute An Exploratory Literature Study on Live-Tooling in the Game Industry
Jonathan BellBell, Jonathan George Mason UniversityUnited States Session Chair of Why are we here? (part of SPLASH PLMW) Session Chair of Practical Bits (Undergrads) (part of SPLASH PLMW) Introduction Icebreaker and Networking Activity Co-chair in Organizing Committee within the SPLASH PLMW-track
Zachary BenavidesBenavides, Zachary UC Riverside DProf: Distributed Profiler with Strong Guarantees
John BenderBender, John University of California, Los Angeles A Formalization of Java's Concurrent Access Modes A Formalization of Java’s Concurrent Access Modes
Alexander Rønning BendixenBendixen, Alexander Rønning Department of Computer Science, Aalborg University, Denmark Locations and Session Types in a Language with Higher-Order Reflection
Celina BergBerg, Celina UBC, Computer ScienceCanada Session Chair of Platforms, Plumbing and System Infrastructure (part of STOKED)
Alexandre BergelBergel, Alexandre University of ChileChile Committee Member in Program Committee within the DLS-track
Federico BergentiBergenti, Federico Università degli Studi di ParmaItaly Committee Member in Organizing Committee within the AGERE-track
Adam BergerBerger, Adam University of Wisconsin -- Milwaukee Concurrency Control of JavaScript with Arrows
Bonnie BergerBerger, Bonnie MIT Seq: A High-Performance Language for Bioinformatics Seq: A High-Performance Language for Bioinformatics
Christian BergerBerger, Christian Chalmers University of Technology, Sweden PC Member in Program Committee within the DSM-track
Emery D. BergerBerger, Emery D. University of Massachusetts AmherstUnited States PlanAlyzer: Assessing Threats to the Validity of Online Experiments On the Impact of Programming Languages on Code Quality
Thorsten BergerBerger, Thorsten Chalmers \| University of GothenburgSweden Higher-Level Mission Specification for Multiple Robots
Gábor BergmannBergmann, Gábor Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, HungaryHungary Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog
Maicon BernardinoBernardino, Maicon Federal University of Pampa, Brazil Brazil PC Member in Program Committee within the DSM-track
Guillaume BertholonBertholon, Guillaume École Normale Supérieure Towards seamless interfacing between dynamic languages and native code
Ivan BeschastnikhBeschastnikh, Ivan Computer Science, University of British ColumbiaCanada Learning to Listen for Design
Jeff BezansonBezanson, Jeff Unreasonable Effectiveness of Multiple Dispatch
Xuan BiBi, Xuan Standard CharteredChina Committee Member in Program Committee within the SLE-track
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland 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 BiddleBiddle, Robert Carleton UniversityCanada Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Gavin BiermanBierman, Gavin Oracle LabsUnited Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Paul BiggarBiggar, Paul Dark: a holistic programming language
Gianfranco BilardiBilardi, Gianfranco University of Padova, Italy Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
Walter BinderBinder, Walter University of Lugano, Switzerland NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM 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
Klaus BirkenBirken, Klaus itemis AG Shadow Models [Tool Demo] -- Incremental Transformations for MPS
Christian BischofBischof, Christian Scientific Computing, TU Darmstadt Automatic Identification of Standard Template Algorithms in Raw Loops
Ranadeep BiswasBiswas, Ranadeep IRIF, University Paris Diderot & CNRS On the Complexity of Checking Transactional Consistency On the Complexity of Checking Transactional Consistency
Steve BlackburnBlackburn, Steve Australian National University Australia Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages Committee Member in Program Committee within the MPLR-track
Sebastian BlessingBlessing, Sebastian Imperial College LondonUnited Kingdom Run, Actor, Run - Towards Cross-Actor Language Benchmarking
Marcel BlöcherBlöcher, Marcel TU Darmstadt GRASS: Generic Reactive Application-Specific Scheduling
Bjarke Bredow BojesenBojesen, Bjarke Bredow Department of Computer Science, Aalborg University, Denmark Locations and Session Types in a Language with Higher-Order Reflection
CF Bolz-TereickBolz-Tereick, CF Germany Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track
Michael D. BondBond, Michael D. Ohio State University Dependence-Aware, Unbounded Sound Predictive Race Detection Dependence-Aware, Unbounded Sound Predictive Race Detection
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Towards Efficient, Multi-Language Dynamic Taint Analysis Towards Efficient, Multi-Language Dynamic Taint Analysis NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories Committee Member in Organizing Committee within the VMIL-track
Erwan BousseBousse, Erwan University of NantesFrance PC Member in Program Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Program Committee within the META-track
Marco BrambillaBrambilla, Marco Politecnico di MilanoItaly PC Member in Program Committee within the DSM-track
Ruth BreuBreu, Ruth PC Member in Program Committee within the DSM-track
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Committee Member in Program Committee within the AGERE-track
David BromanBroman, David KTH Royal Institute of TechnologySweden A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation
Kim BruceBruce, Kim Pomona CollegeUnited States Committee Member in Steering Committee within the SPLASH -E-track
Yuriy BrunBrun, Yuriy University of Massachusetts AmherstUnited States Formal Foundations of Serverless Computing
Hugo BruneliereBruneliere, Hugo IMT Atlantique & LS2N (CNRS) Committee Member in Artifact Evaluation Committee within the SLE-track
Didier BuchsBuchs, Didier University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland Implementing a Language with Explicit Assignment Semantics
Lubomír BulejBulej, Lubomír Charles UniversityCzechia Renaissance: Benchmarking Suite for Parallel Applications on the JVM Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM Committee Member in Program Committee within the MPLR-track
Tomas BuresBures, Tomas Charles UniversityCzechia Higher-Level Mission Specification for Multiple Robots
Lola BurgueñoBurgueño, Lola Open University of Catalonia, Spain Committee Member in Program Committee within the SLE-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis Committee Member in Program Committee within the IC-track
Martin BättigBättig, Martin Department of Computer Science, ETH Zurich Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References
Clément BéraBéra, Clément Google, AarhusDenmark Lazy Pointer Update for Low Heap Compaction Pause Times
C Jordi CabotCabot, Jordi ICREA - UOC Analysis and Modeling of the Governance in General Programming Languages
Javier Cabrera ArteagaCabrera Arteaga, Javier KTH Royal Institute of Technology Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Compiler Fuzzing: How Much Does It Matter? Compiler Fuzzing: How Much Does It Matter?
Cheng CaiCai, Cheng University of California, Los Angeles (UCLA) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Luís CairesCaires, Luís Universidade Nova de Lisboa and NOVA LINCSPortugal Refinement Kinds: Type-safe Programming with Practical Type-level Computation Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation
José Pablo CambroneroCambronero, José Pablo MIT Active Learning for Software Engineering AL: Autogenerating Supervised Learning Programs
Kiersten CampbellCampbell, Kiersten Williams College Evaluating ProDirect Manipulation in Hour of Code
John Peter CamporaCampora, John Peter University of Louisiana at LafayetteUnited States Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Anthony CaninoCanino, Anthony SUNY BinghamtonUnited States Session Chair of Session #2 (part of VMIL) Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the VMIL-track
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Qinxiang CaoCao, Qinxiang Shanghai Jiao Tong UniversityChina Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Rebase Chair in Organizing Committee for SPLASH 2019 Session Chair of Rebase Keynote (Might) (part of SPLASH Rebase) Session Chair of Keynote (part of SPLASH Rebase) Welcome, Introduction Co-chair in Organizing Committee within the SPLASH Rebase-track
Jacques CaretteCarette, Jacques McMaster UniversityCanada A Language Feature to Unbundle Data at Will (Short Paper)
Jeffrey C. CarverCarver, Jeffrey C. University of AlabamaUnited States Committee Member in Program Committee within the AI-SEPS-track
Roberto Castañeda LozanoCastañeda Lozano, Roberto University of Edinburgh “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant
Elias CastegrenCastegren, Elias KTH Royal Institute of Technology Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) Committee Member in Organizing Committee within the AGERE-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Efficient Late Binding of Dynamic Function Compositions
Alejandro CatalaCatala, Alejandro Human Media Interaction - University of Twente Committee Member in Artifact Evaluation Committee within the SLE-track
Ahmet CelikCelik, Ahmet The University of Texas at Austin Design, Implementation, and Application of GPU-based Java Bytecode Interpreters Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
Milind ChabbiChabbi, Milind Uber Technologies Inc.United States Optimization of Swift Protocols Optimization of Swift Protocols
Ken ChanChan, Ken Zilliqa Research Safer Smart Contract Programming with Scilla Safer Smart Contract Programming with Scilla
Satish ChandraChandra, Satish FacebookUnited States Aroma: Code Recommendation via Structural Code Search Aroma: Code Recommendation via Structural Code Search Getafix: Learning to Fix Bugs Automatically Getafix: Learning to Fix Bugs Automatically
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder \| Amazon Session Chair of Repair & Transformation (part of SPLASH OOPSLA) Static Analysis with Demand-Driven Value Refinement Static Analysis with Demand-Driven Value Refinement Committee Member in Review Committee within the SPLASH OOPSLA-track
Arthur CharguéraudCharguéraud, Arthur InriaFrance Committee Member in Review Committee within the SPLASH OOPSLA-track
Guido ChariChari, Guido Czech Technical UniversityCzechia Session Chair of Model and Theory (part of META) R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments 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
Abhijith ChatraChatra, Abhijith Microsoft Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Krishnendu ChatterjeeChatterjee, Krishnendu IST Austria Value-Centric Dynamic Partial Order Reduction Modular Verification for Almost-Sure Termination of Probabilistic Programs Modular Verification for Almost-Sure Termination of Probabilistic Programs
Avik ChaudhuriChaudhuri, Avik Facebook, USA Optimizing and Evaluating Transient Gradual Typing
Marsha ChechikChechik, Marsha University of TorontoCanada Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Jia ChenChen, Jia University of Texas at Austin Relational Verification using Reinforcement Learning
Sheng ChenChen, Sheng University of Louisiana at LafayetteUnited States Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Yuxuan ChenChen, Yuxuan Purdue University Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming Staged Abstract Interpreters
Alvin CheungCheung, Alvin University of California, Berkeley Improving Performance and Quality of Database-Backed Software
Shigeru ChibaChiba, Shigeru Graduate School of Information Science and Technology, The University of TokyoJapan Session Chair of Meta (part of GPCE) Session Chair of Compilation and code manipulation (part of MPLR) Foreign language interfaces by code migration Generating a Fluent API with Syntax Checking from an LR Grammar Generating a fluent API with syntax checking from an LR grammar Generating a Fluent API with Syntax Checking from an LR Grammar 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 ChicauChicau, Joana Netherlands Committee Member in Program Committee within the LIVE-track
Bruce ChildersChilders, Bruce Steering Committee Member in Steering Committee within the MPLR-track
David ChisnallChisnall, David University of Cambridge Committee Member in Program Committee within the DLS-track
Andrei ChişChiş, Andrei feenk, Switzerland Committee Member in Program Committee within the META-track Publicity Chair in Organizing Committee within the SLE-track
David Thrane ChristiansenChristiansen, David Thrane Galois, USAUnited States Author in Reviewers within the SPLASH SRC-track Committee Member in Program Committee within the META-track
Yair ChuchemChuchem, Yair LamduIsrael Steady Typing Committee Member in Program Committee within the LIVE-track
Ravi ChughChugh, Ravi University of Chicago PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the LIVE-track
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Video Chair in Organizing Committee for SPLASH 2019
Luke ChurchChurch, Luke Committee Member in Organizing Committee within the LIVE-track Committee Member in Artifact Evaluation Committee within the SLE-track
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Committee Member in Program Committee within the SLE-track
Colin ClarkClark, Colin OCAD UniversityCanada Committee Member in Program Committee within the SPLASH Onward! Essays-track
Keith ClarkClark, Keith Imperial College Committee Member in Program Committee within the AGERE-track
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Session Chair of Demanding Interfaces! (part of STOKED) Session Chair of Data Data Data! (part of STOKED) 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
Michael CoblenzCoblenz, Michael Carnegie Mellon UniversityUnited States Obsidian: Typestate and Assets for Safer Smart Contracts
Nachshon CohenCohen, Nachshon Amazon Efficient Lock-Free Durable Sets
Murray ColeCole, Murray University of Edinburgh “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant
Caroline CollangeCollange, Caroline INRIA Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
Benoit CombemaleCombemale, Benoit University of ToulouseFrance From DSL specification to interactive computer programming environment
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan PC Member in Program Committee within the SPLASH Onward! Papers-track
William CookCook, William University of Texas at Austin Committee Member in Program Committee within the DLS-track
Emilio CoppaCoppa, Emilio Sapienza University of Rome, ItalyItaly Publicity Chair in Organizing Committee within the MPLR-track
Diego Elias CostaCosta, Diego Elias Heidelberg University Agile Construction of Data Science DSLs (Tool Demo) Agile Construction of Data Science DSLs (Tool Demo)
Steven CostiouCostiou, Steven INRIA Lille Sindarin: a Versatile Scripting API for the Pharo Debugger
Karl CronburgCronburg, Karl Tufts UniversityUnited States Floorplan: Spatial Layout in Memory Management Systems
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzechia Committee Member in Program Committee within the META-track
Charlie CurtsingerCurtsinger, Charlie Grinnell College Parallelism in Practice: Experiences Teaching Concurrency and Parallelism in an Undergraduate OS Course
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain Analysis and Modeling of the Governance in General Programming Languages PC Member in Program Committee within the DSM-track
D Loris D'AntoniD'Antoni, Loris University of Wisconsin Madison Automatic Repair of Regular Expressions Automatic Repair of Regular Expressions
Daniele Cono D'EliaD'Elia, Daniele Cono Sapienza University of RomeItaly Committee Member in Program Committee within the MPLR-track
Erin DahlgrenDahlgren, Erin Accelerate PublishingUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thurston HY DangDang, Thurston HY MIT Active Learning for Software Engineering
David DaraisDarais, David University of VermontUnited States Student Research Competition Chair in Organizing Committee for SPLASH 2019 Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Author in Reviewers within the SPLASH SRC-track Committee Member in Judges within the SPLASH SRC-track Co-chair in Organizers within the SPLASH SRC-track
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Pritha DawnDawn, Pritha UC Irvine GoTcha: An Interactive Debugger for GoT-Based Distributed Systems
Peli de Halleuxde Halleux, Peli Microsoft Research Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Organizing Committee within the AGERE-track Committee Member in Organizing Committee within the AGERE-track
Juan de Larade Lara, Juan Universidad Autonoma de Madrid Domain-specific model differencing in visual concrete syntax PC Member in Program Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Session Chair of Onward! Papers 1 (part of SPLASH Onward! Papers) PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Organizing Committee within the REBLS-track
Liesbeth De MolDe Mol, Liesbeth Université de Lille Committee Member in Program Committee within the SPLASH Onward! Essays-track
Ana Lúcia de Mourade Moura, Ana Lúcia Pontifical Catholic University of Rio de Janeiro (PUC-Rio) Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the REBLS-track
Pablo de Oliveira Castrode Oliveira Castro, Pablo University of Versailles, France Committee Member in Program Committee within the AI-SEPS-track
Kevin De PorreDe Porre, Kevin Squirrel: An Extensible Distributed Key-Value Store Squirrel: An Extensible Distributed KV Store
Isabella DefilippisDefilippis, Isabella Universidad Privada Boliviana (UPB) NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
Thomas DegueuleDegueule, Thomas CWI, NetherlandsNetherlands Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Maryam Mehri DehnaviDehnavi, Maryam Mehri University of TorontoCanada Committee Member in Program Committee within the GPCE-track
Benjamin DelawareDelaware, Benjamin Purdue University CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Germán Andrés DelbiancoDelbianco, Germán Andrés IRIF - Université de ParisFrance Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Frank DellaertDellaert, Frank Georgia Institute of Technology A Graphical Language for Flexible Inference in Robotics and Vision
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Linear capabilities for CHERI Linear capabilities for CHERI
Philip DexterDexter, Philip SUNY Binghamton Toward Lazy Evaluation in a Graph Database
Lukas DiekmannDiekmann, Lukas King's College LondonUnited Kingdom Default disambiguation for online parsers Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Understanding the Gaps in Static Program Analysis
Işıl DilligDillig, Işıl University of Texas AustinUnited States Relational Verification using Reinforcement Learning Programming Support for Evolving Database Applications Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Complete Monitors for Gradual Types Committee Member in Judges within the SPLASH SRC-track
Yufei DingDing, Yufei UCSBChina Committee Member in Review Committee within the SPLASH OOPSLA-track
Juergen DingelDingel, Juergen Queen's University, Kingston, Ontario Committee Member in Program Committee within the SLE-track
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Carnegie Mellon UniversityUnited States Gradual Program Analysis Gradual Program Analysis
Verislav DjukicDjukic, Verislav Djukic SoftwareGermany PC Member in Program Committee within the DSM-track
Quan DoDo, Quan Williams College Evaluating ProDirect Manipulation in Hour of Code
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the DLS-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Compiler Fuzzing: How Much Does It Matter? Compiler Fuzzing: How Much Does It Matter? Committee Member in Review Committee within the SPLASH OOPSLA-track
Joscha DrechslerDrechsler, Joscha Technische Universität DarmstadtGermany A Fault-Tolerant Programming Model for Distributed Interactive Applications A Fault-Tolerant Programming Model for Distributed Interactive Applications
Derek DreyerDreyer, Derek MPI-SWSGermany How To Write Papers So People Can Read Them Speaker in Speakers & Panelists within the SPLASH PLMW-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Session Chair of Concurrency (part of SPLASH OOPSLA) Pony: Semantics and Type System Co-Design Run, Actor, Run - Towards Cross-Actor Language Benchmarking Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Stéphane DucasseDucasse, Stéphane INRIA Lille Sindarin: a Versatile Scripting API for the Pharo Debugger
Jana DunfieldDunfield, Jana Queen's University, Kingston, OntarioCanada Committee Member in Program Committee within the IC-track
Thomas DupriezDupriez, Thomas Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL Sindarin: a Versatile Scripting API for the Pharo Debugger
Alexandru DuraDura, Alexandru Lund University MetaDL : Declarative Program Analysis for the Masses
E Steve EasterbrookEasterbrook, Steve University of TorontoCanada Committee Member in Program Committee within the STOKED-track
Javad Ebrahimian AmiriEbrahimian Amiri, Javad Australian National University / Data61Australia Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
Alan EdelmanEdelman, Alan MIT Climate Change and Software 2.0
Jonathan EdwardsEdwards, Jonathan United States Committee Member in Organizing Committee within the LIVE-track
Alexander EgyedEgyed, Alexander JOHANNES KEPLER UNIVERSITY LINZ Detecting and Exploring Side Effects when Repairing Model Inconsistencies
Matthias EichholzEichholz, Matthias TU Darmstadt GRASS: Generic Reactive Application-Specific Scheduling
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Constantin EneaEnea, Constantin IRIF, University Paris Diderot & CNRSFrance On the Complexity of Checking Transactional Consistency On the Complexity of Checking Transactional Consistency
Romina EramoEramo, Romina University of L'AquilaItaly Committee Member in Program Committee within the SLE-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Generating Incremental Type Services Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog Precise, Efficient, and Expressive Incremental Build Scripts with PIE Vision Paper: Generating Incremental Type Services Vision Paper: Generating Incremental Type Services Sound and Reusable Components for Abstract Interpretation Sound and Reusable Components for Abstract Interpretation Language-Integrated Privacy-Aware Distributed Queries Sound and Reusable Components for Abstract Interpretation Language-Integrated Privacy-Aware Distributed Queries 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
Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in Program Committee within the MPLR-track
Michael D. ErnstErnst, Michael D. University of Washington, USA Modular Verification of Web Page Layout
Neil ErnstErnst, Neil University of VictoriaCanada Committee Member in Program Committee within the STOKED-track
Nafise EskandaniEskandani, Nafise Technische Universität Darmstadt Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT
Gregory EssertelEssertel, Gregory Purdue University Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations
Samuel EstepEstep, Samuel Liberty University Gradual Program Analysis Gradual Program Analysis
Paulo Esteves-VeríssimoEsteves-Veríssimo, Paulo SnT, University of Luxembourg Asphalion: Trustworthy Shielding Against Byzantine Faults Asphalion: Trustworthy Shielding against Byzantine Faults Asphalion: Trustworthy Shielding against Byzantine Faults
Anthony EsteyEstey, Anthony University of British ColumbiaCanada Committee Member in Program Committee within the STOKED-track
Patrick EugsterEugster, Patrick Universita della Svizzera Italiana, Switzerland GRASS: Generic Reactive Application-Specific Scheduling Committee Member in Organizing Committee within the REBLS-track
Jeffrey EymerEymer, Jeffrey SUNY Binghamton Toward Lazy Evaluation in a Graph Database
F Khady FallFall, Khady Université de Montréal Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors
Marc FeeleyFeeley, Marc Université de MontréalCanada Session Chair of Optimizing Computations (part of DLS) Committee Member in Program Committee within the DLS-track
Kevin FeichtingerFeichtinger, Kevin Johannes Kepler University Linz Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses
Molly Q FeldmanFeldman, Molly Q Cornell UniversityUnited States Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Language-independent Development Environment Support For Dynamic Runtimes GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming 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 FelleisenFelleisen, Matthias PLT @ Northeastern University Complete Monitors for Gradual Types
Yu FengFeng, Yu University of California, Santa BarbaraChina Relational Verification using Reinforcement Learning
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Student Volunteer Co-Chair in Organizing Committee for SPLASH 2019 Run, Actor, Run - Towards Cross-Actor Language Benchmarking Towards Gradual Checking of Reference Capabilities Developing a Monadic Type Checker for an Object-Oriented Language (Experience Report) Committee Member in Program Committee within the AGERE-track Co-chair in Organizers within the SPLASH Student Volunteers-track
Vimuth FernandoFernando, Vimuth University of Illinois at Urbana-Champaign Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
Jack FeserFeser, Jack MIT CSAIL Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Irene FinocchiFinocchi, Irene Sapienza University of Rome, ItalyItaly Program Chair in Program Committee within the MPLR-track Program Chair in Organizing Committee within the MPLR-track
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Spectrum-Based Fault Localization for Context-Free Grammars Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax Errors
Yannic FischlerFischler, Yannic TU Darmstadt Automatic Identification of Standard Template Algorithms in Raw Loops
Kathi FislerFisler, Kathi Brown University Committee Member in Steering Committee within the SPLASH -E-track
Christian FlachFlach, Christian Hasso Plattner Institute, University of Potsdam, GermanyGermany An Exploratory Literature Study on Live-Tooling in the Game Industry
Matthew FlattFlatt, Matthew University of UtahUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track
Olivier FlückigerFlückiger, Olivier Northeastern UniversityUnited States R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments Adversarial Compilation
Kenny FonerFoner, Kenny Galois How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond Panel: Jobs After the PhD Speaker in Speakers & Panelists within the SPLASH PLMW-track
Niklas ForsFors, Niklas Lund University Co-chair in Organising Committee within the SPLASH Posters-track
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Program Synthesis with Algebraic Library Specifications Program Synthesis with Algebraic Library Specifications
Nate FosterFoster, Nate Cornell UniversityUnited States Property Conveyances as a Programming Language
George FourtounisFourtounis, George University of AthensGreece Local Arrangements Chair in Organizing Committee for SPLASH 2019
Simon FowlerFowler, Simon The University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Roy FoxFox, Roy UC Berkeley AutoPandas: Neural-Backed Generators for Program Synthesis
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Student Volunteer Chair in Organizing Committee for SPLASH 2019 Committee Member in Organizing Committee within the AGERE-track Co-chair in Organizers within the SPLASH Student Volunteers-track
Björn FrankeFranke, Björn University of Edinburgh, UK “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant
Michal FriedmanFriedman, Michal Technion - Israel Efficient Lock-Free Durable Sets
Hongfei FuFu, Hongfei Shanghai Jiao Tong University Modular Verification for Almost-Sure Termination of Probabilistic Programs Modular Verification for Almost-Sure Termination of Probabilistic Programs
Akira FukudaFukuda, Akira Kyushu University Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Juan FumeroFumero, Juan University of Manchester, UKUnited Kingdom Committee Member in Program Committee within the DLS-track Program Co-Chair in Organizing Committee within the DLS-track
Ignacio FábregasFábregas, Ignacio IMDEA Software Institute Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
G Richard P. GabrielGabriel, Richard P. 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 GaddamaduguGaddamadugu, Pranav University of California, Berkeley Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Swapnil Laxman GaikwadGaikwad, Swapnil Laxman The University of ManchesterUnited Kingdom Hosting OpenMP Programs on Java Virtual Machines
Stéphane GallandGalland, Stéphane Université de technologie Belfort-Montbéliard Committee Member in Program Committee within the AGERE-track
Elias GanderGander, Elias Christian Doppler Lab. MEVSS, Johannes Kepler University Linz Detection of Suspicious Time Windows in Memory Monitoring
Ronald GarciaGarcia, Ronald University of British Columbia Committee Member in Review Committee within the SPLASH OOPSLA-track
Sergio GarciaGarcia, Sergio Chalmers \| University of Gothenburg Higher-Level Mission Specification for Multiple Robots
Antonio Garcia-DominguezGarcia-Dominguez, Antonio Aston University Committee Member in Artifact Evaluation Committee within the SLE-track
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of Wellington Mμl: The Power of Dynamic Multi-Methods Towards Gradual Checking of Reference Capabilities Which of my Transient Type Checks are not (Almost) Free? CallƐ: An Effect System for Method Calls
François GauthierGauthier, François Oracle LabsAustralia Committee Member in Program Committee within the VMIL-track
Kaan GençGenç, Kaan Ohio State UniversityUnited States Dependence-Aware, Unbounded Sound Predictive Race Detection Dependence-Aware, Unbounded Sound Predictive Race Detection
Sebastian GerardGerard, Sebastian CEA Saclay - NanoInnovFrance Committee Member in Program Committee within the SLE-track
Paolo G. GiarrussoGiarrusso, Paolo G. TU Delft, The NetherlandsItaly Committee Member in Program Committee within the SLE-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Elena GlassmanGlassman, Elena UC Berkeley Committee Member in Program Committee within the LIVE-track
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States Design, Implementation, and Application of GPU-based Java Bytecode Interpreters Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE-track
Aviral GoelGoel, Aviral Northeastern UniversityUnited States Web Chair in Organizing Committee for SPLASH 2019 Session Chair of Emerging Domains (part of SPLASH Rebase) Meta-programming in Data Science On the Design, Implementation, and Use of Laziness in R On The Design, Implementation and Use of Laziness in R
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar IST AustriaAustria Modular Verification for Almost-Sure Termination of Probabilistic Programs Modular Verification for Almost-Sure Termination of Probabilistic Programs
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Steering Committee Member in Steering Committee for SPLASH 2019 Session Chair of Machine Learning (part of SPLASH OOPSLA) Squirrel: An Extensible Distributed Key-Value Store Lazy Pointer Update for Low Heap Compaction Pause Times Memory efficient CRDTs in dynamic environments Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications Memory efficient CRDTs in dynamic environments Squirrel: An Extensible Distributed KV Store 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 GordonGordon, Colin Drexel UniversityUnited States OOPSLA Artifact Evaluation Chair in Organizing Committee for SPLASH 2019 Session Chair of Specification and Certification (part of SPLASH OOPSLA) Modal Assertions for Actor Correctness Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Finding Mentors and Building Networks Panel: Jobs After the PhD Speaker in Speakers & Panelists within the SPLASH PLMW-track
Sergei GorlatchGorlatch, Sergei Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
Jose GraciaGracia, Jose HLRS Committee Member in Program Committee within the AI-SEPS-track
Jeff GrayGray, Jeff University of Alabama Session Chair of Group work and reporting (part of DSM) Session Chair of Introduction and keynote (part of DSM) Committee Member in Organizing Committee within the DSM-track PC Co-Chair in Organizing Committee within the SLE-track
Neville GrechGrech, Neville University of AthensGreece Workshops Chair in Organizing Committee for SPLASH 2019 Session Chair of New Trends in Software Development (part of SPLASH Rebase) Session Chair of Incremental Datalog (part of IC) MadMax and Friends: Program Analysis for Smart Contracts Workshops Co-Chair in Organizers within the SPLASH Workshops-track Committee Member in Program Committee within the IC-track
Ben GreenmanGreenman, Ben PLT @ Northeastern UniversityUnited States Complete Monitors for Gradual Types
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Component-Based Computation-Energy Modeling for Embedded Systems
James GrimmelmannGrimmelmann, James Cornell University Property Conveyances as a Programming Language
Thomas GrossGross, Thomas ETH Zurich, Switzerland Reflections on the Compatibility, Performance, and Scalability of Parallel Python Dynamic One-To-One Mapping of Ownership Records for STM using Versioned Weak References
David GroveGrove, David IBM ResearchUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Paul GrünbacherGrünbacher, Paul Johannes Kepler University Linz, AustriaAustria Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses
Esther GuerraGuerra, Esther Universidad Autonoma de Madrid Domain-specific model differencing in visual concrete syntax Committee Member in Program Committee within the SLE-track
Arjun GuhaGuha, Arjun University of Massachusetts, AmherstUnited States Workshops Chair in Organizing Committee for SPLASH 2019 Session Chair of Distributed Systems (part of SPLASH OOPSLA) Formal Foundations of Serverless Computing Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Workshops Co-Chair in Organizers within the SPLASH Workshops-track
François GuimbretièreGuimbretière, François Cornell University Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis
Sumit GulwaniGulwani, Sumit Microsoft On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions
Rajiv GuptaGupta, Rajiv UC RiversideUnited States DProf: Distributed Profiler with Strong Guarantees
Robbert Gurdeep SinghGurdeep Singh, Robbert Universiteit Gent, BelgiumBelgium WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers
Sam GuyerGuyer, Sam Tufts UniversityUnited States Floorplan: Spatial Layout in Memory Management Systems Committee Member in External Review Committee within the SPLASH OOPSLA-track
Abel GómezGómez, Abel Universitat Oberta de CatalunyaSpain Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
H Christine H. FloodH. Flood, Christine Red Hat Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jennifer HackettHackett, Jennifer University of Nottingham, UKUnited Kingdom Committee Member in Program Committee within the META-track
Milica Hadzi-TanovicHadzi-Tanovic, Milica Technische Universitat Munchen Reflection-Aware Static Regression Test Selection
Jakob HainHain, Jakob Northeastern UniversityUnited States R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
Mary HallHall, Mary University of Utah Committee Member in Program Committee within the AI-SEPS-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Language-Integrated Privacy-Aware Distributed Queries Language-Integrated Privacy-Aware Distributed Queries Committee Member in Program Committee within the AGERE-track
Jad HamzaHamza, Jad EPFL, Switzerland System FR: Formalized Foundations for the Stainless Verifier System FR: Formalized Foundations for the Stainless Verifier
Tim HartleyHartley, Tim The University of Manchester An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code
Matthias HauswirthHauswirth, Matthias Università della Svizzera italianaSwitzerland Casting about in the Dark Experiences in Bridging from Functional to Object-Oriented Programming Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
Akihiro HayashiHayashi, Akihiro Rice University, USAUnited States Committee Member in Program Committee within the AI-SEPS-track
Jonathan HealyHealy, Jonathan Graduate Student intern with the Earth Data Store Data Provenance and the STAC specification
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IC-track
Ian HenriksenHenriksen, Ian The University of Texas at Austin Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
Ludovic HenrioHenrio, Ludovic CNRSFrance Committee Member in Program Committee within the AGERE-track
Martin HenzHenz, Martin Singapore Scalability of Experiential Programming Courses
Matthew HertzHertz, Matthew University at Buffalo Committee Member in Program Committee within the MPLR-track
Michael HicksHicks, Michael University of MarylandUnited States Coverage Guided, Property Based Testing
Raphael HiesgenHiesgen, Raphael HAW HamburgGermany Committee Member in Program Committee within the AGERE-track
Paul N. HilfingerHilfinger, Paul N. University of California, Berkeley ChocoPy: A Programming Language for Compilers Courses
Emmie HineHine, Emmie Williams College Evaluating ProDirect Manipulation in Hour of Code
Daniel HinterreiterHinterreiter, Daniel Johannes Kepler University LinzAustria Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses
Robert HirschfeldHirschfeld, Robert Hasso-Plattner-Institut (HPI), GermanyGermany Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness An Exploratory Literature Study on Live-Tooling in the Game Industry Standard Object Out: Streaming Objects with Polymorphic Write Streams Language-independent Development Environment Support For Dynamic Runtimes GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming Storage Combinators 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 HirzelHirzel, Martin IBM ResearchUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Kenji HisazumiHisazumi, Kenji Kyushu University Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Aquinas HoborHobor, Aquinas National University of Singapore Certifying Graph-Manipulating C Programs via Localizations within Data Structures Certifying Graph-Manipulating C Programs via Localizations within Data Structures Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Steve HodgesHodges, Steve Microsoft Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Peter HoferHofer, Peter Oracle Labs Initialize Once, Start Fast: Application Initialization at Build Time
Adrian HoffHoff, Adrian TU Braunschweig Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning
Celeste HollenbeckHollenbeck, Celeste Northeastern UniversityUnited States On the Impact of Programming Languages on Code Quality
Reid HolmesHolmes, Reid University of British ColumbiaCanada Learning to Listen for Design
Michael HomerHomer, Michael Victoria University of Wellington First-class Dynamic Types Which of my Transient Type Checks are not (Almost) Free? Committee Member in Program Commitee within the SPLASH -E-track
Seongjoon HongHong, Seongjoon Korea UniversitySouth Korea Automatically Fixing Memory-Leaks
Gábor HorváthHorváth, Gábor Eötvös Loránd UniversityHungary Retaining Semantic Information in the Static Analysis of Real-World Software
Tony HoskingHosking, Tony Australian National University / Data61Australia Corpus Distillation Techniques for Effective Fuzzing: A Comprehensive Evaluation Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages General Chair in Organizing Committee within the MPLR-track
Lode HosteHoste, Lode FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization
Iris HowleyHowley, Iris Williams College Evaluating ProDirect Manipulation in Hour of Code
Qinheping HuHu, Qinheping University of Wisconsin, MadisonUnited States Automatic Repair of Regular Expressions Automatic Repair of Regular Expressions
Xu-Qiang HuHu, Xu-Qiang Tsinghua Univeraity, China IVT: An Efficient Method for Sharing Subtype Polymorphic Objects IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Jeff HuangHuang, Jeff Texas A&M University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mingzhang HuangHuang, Mingzhang Shanghai Jiao Tong University Modular Verification for Almost-Sure Termination of Probabilistic Programs Modular Verification for Almost-Sure Termination of Probabilistic Programs
Shan Shan HuangHuang, Shan Shan Relational.aiUnited States Rebase Chair in Organizing Committee for SPLASH 2019 Session Chair of Rebase Keynote (Might) (part of SPLASH Rebase) Session Chair of Programming at Scale (part of SPLASH Rebase) Welcome, Introduction Co-chair in Organizing Committee within the SPLASH Rebase-track
John HughesHughes, John Chalmers University of Technology, SwedenSweden Session Chair of Abstract Interpretation (part of SPLASH OOPSLA) Unaccustomed As I Am to Public Speaking Speaker in Speakers & Panelists within the SPLASH PLMW-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in Review Committee within the SPLASH OOPSLA-track
Christian HumerHumer, Christian Oracle Labs, SwitzerlandSwitzerland Language-independent Development Environment Support For Dynamic Runtimes
Muhammad HuzaifaHuzaifa, Muhammad University of Illinois at Urbana-Champaign ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Johannes HärtelHärtel, Johannes University of Koblenz-Landau, Germany Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark Locations and Session Types in a Language with Higher-Order Reflection
I Kazuhiro IchikawaIchikawa, Kazuhiro Graduate School of Information Science and Technology, The University of Tokyo Generating a Fluent API with Syntax Checking from an LR Grammar Generating a fluent API with syntax checking from an LR grammar Generating a Fluent API with Syntax Checking from an LR Grammar
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil PC Member in Program Committee within the SPLASH Onward! Papers-track
Pablo InostrozaInostroza, Pablo CWINetherlands Committee Member in Program Committee within the SLE-track
J Daniel JacksonJackson, Daniel MIT Declarative Assembly of Web Applications from Predefined Concepts
Dejice JacobJacob, Dejice University of Glasgow Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis
Derek JacobyJacoby, Derek QVirt LabsCanada Session Chair of Getting Real with Augmented and Virtual Realities! (part of STOKED) Committee Member in Organizing Committee within the STOKED-track
Suresh JagannathanJagannathan, Suresh Purdue University Mergeable Replicated Data Types CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Abhinav JangdaJangda, Abhinav University of Massachusetts Amherst Formal Foundations of Serverless Computing
Ali JannesariJannesari, Ali Iowa State UniversityUnited States Steering Committee Member in Steering Committee within the AI-SEPS-track
Ciera JaspanJaspan, Ciera GoogleUnited States How to Apply to Grad School? Improving Engineering Productivity at Scale Panel: Jobs After the PhD Speaker in Speakers & Panelists within the SPLASH PLMW-track
Pierre JeanjeanJeanjean, Pierre Inria, Univ Rennes, CNRS, IRISA From DSL specification to interactive computer programming environment
Jamie JenningsJennings, Jamie pcUnited States Programme Committee in Reviewers within the SPLASH SRC-track
David JensenJensen, David University of Massachusetts Amherst PlanAlyzer: Assessing Threats to the Validity of Online Experiments
Minseok JeonJeon, Minseok Korea University, South KoreaKorea, South Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction
Sehun JeongJeong, Sehun Korea University, South KoreaKorea, South Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jan JečmenJečmen, Jan Czech Technical UniversityCzechia R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Li JiJi, Li LlamaZOO Immersive Visual Analytics for Large Industrial Data
Limin JiaJia, Limin Carnegie Mellon UniversityUnited States I/O Dependent Idempotence Bugs in Intermittent Systems I/O Dependent Idempotence Bugs in Intermittent Systems
Zhi JinJin, Zhi Peking University IntelliMerge: A Refactoring-Aware Software Merging Technique
Jacob JohannsenJohannsen, Jacob Zilliqa Research Safer Smart Contract Programming with Scilla Safer Smart Contract Programming with Scilla
Adrian JohnstoneJohnstone, Adrian Royal Holloway, University of London Session Chair of Session 4: Parsing (part of SLE) Multiple Lexicalisation - A Java Based Study
Timothy JonesJones, Timothy MontouxUnited States First-class Dynamic Types
Bengt JonssonJonsson, Bengt Uppsala University, Sweden Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency
Keyur JoshiJoshi, Keyur University of Illinois at Urbana-ChampaignUnited States Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Vojin JovanovicJovanovic, Vojin Oracle LabsSwitzerland Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) Initialize Once, Start Fast: Application Initialization at Build Time
K Ifaz KabirKabir, Ifaz University of Alberta, CanadaCanada Panel: Current PhD Students and Postdocs Panelist in Speakers & Panelists within the SPLASH PLMW-track
Wolfram KahlKahl, Wolfram McMaster UniversityCanada A Language Feature to Unbundle Data at Will (Short Paper)
Gail KaiserKaiser, Gail Columbia University, New YorkUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Gowtham KakiKaki, Gowtham Purdue UniversityUnited States Mergeable Replicated Data Types
Shoaib KamilKamil, Shoaib Adobe Modular Verification of Web Page Layout
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Session Chair of Language design and implementation (part of REBLS) An Approach for Persistent Time-Varying Values Co-chair in Program Committee within the REBLS-track
Ted KaminskiKaminski, Ted University of MinnesotaUnited States Reflection in Attribute Grammars Reflection in Attribute Grammars
Stefan KarpinskiKarpinski, Stefan Julia Computing / NYU Unreasonable Effectiveness of Multiple Dispatch
Kiyokuni KawachiyaKawachiya, Kiyokuni IBM Research - Tokyo PC Member in Program Committee within the SPLASH Onward! Papers-track
Sven KeidelKeidel, Sven JGU MainzGermany Sound and Reusable Components for Abstract Interpretation Sound and Reusable Components for Abstract Interpretation Sound and Reusable Components for Abstract Interpretation Committee Member in Artifact Evaluation Committee within the SLE-track
Stephen KellKell, Stephen University of Kent Session Chair of Testing (part of SPLASH OOPSLA) Towards seamless interfacing between dynamic languages and native code Reliable and Fast DWARF-based Unwinding Reliable and Fast DWARF-Based Stack Unwinding Committee Member in External Review Committee within the SPLASH OOPSLA-track
Steven KellyKelly, Steven MetaCaseUnited Kingdom PC Member in Program Committee within the DSM-track
Peter B. KesslerKessler, Peter B. Oracle Labs Initialize Once, Start Fast: Application Initialization at Build Time
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States PC Member in Program Committee within the SPLASH Onward! Papers-track
Djamel Eddine KhelladiKhelladi, Djamel Eddine CNRS, IRISA Detecting and Exploring Side Effects when Repairing Model Inconsistencies
Gregor KiczalesKiczales, Gregor University of British Columbia Learning to Listen for Design
Kevin KieferKiefer, Kevin Agile Construction of Data Science DSLs (Tool Demo) Agile Construction of Data Science DSLs (Tool Demo)
Matthäus Magnus KiehnKiehn, Matthäus Magnus TU Darmstadt Automatic Identification of Standard Template Algorithms in Raw Loops
Martin KleppmannKleppmann, Martin University of CambridgeUnited Kingdom Local-first software: You own your data, in spite of the cloud
Christoph E. KochKoch, Christoph E. EPFL Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper)
Michalis KokologiannakisKokologiannakis, Michalis MPI-SWS, GermanyGreece Effective Lock Handling In Stateless Model Checking Effective Lock Handling in Stateless Model Checking Effective Lock Handling in Stateless Model Checking
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program Committee within the SLE-track
Gabriël KonatKonat, Gabriël Delft University of TechnologyNetherlands From Whole Program Compilation to Incremental Compilation: A Critical Case Precise, Efficient, and Expressive Incremental Build Scripts with PIE
Igor KonnovKonnov, Igor Inria Nancy - Grand Est, FranceFrance TLA+ model checking made symbolic TLA+ Model Checking Made Symbolic TLA+ model checking made symbolic
Eric KoskinenKoskinen, Eric Stevens Institute of Technology Session Chair of Formalization (part of SPLASH OOPSLA) Specification and Inference of Trace Refinement Relations Specification and Inference of Trace Refinement Relations Committee Member in Review Committee within the SPLASH OOPSLA-track
Christos KotselidisKotselidis, Christos University of Manchester, UKUnited Kingdom An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code
Maria KotsifakouKotsifakou, Maria University of Illinois at Urbana-Champaign ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Lucas KramerKramer, Lucas University of Minnesota Parallel Nondeterministic Programming as a Language Extension to C (Short Paper) Reflection in Attribute Grammars Reflection in Attribute Grammars
Eva KrebsKrebs, Eva Hasso Plattner Institute An Exploratory Literature Study on Live-Tooling in the Game Industry
Jacob KreindlKreindl, Jacob Johannes Kepler University LinzAustria Towards Efficient, Multi-Language Dynamic Taint Analysis Towards Efficient, Multi-Language Dynamic Taint Analysis
Roland KretschmerKretschmer, Roland JOHANNES KEPLER UNIVERSITY LINZ Detecting and Exploring Side Effects when Repairing Model Inconsistencies
V Krishna NandivadaKrishna Nandivada, V IIT Madras PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States Optimization of Swift Protocols Optimization of Swift Protocols
Jure KukovecKukovec, Jure TU Wien, Austria TLA+ model checking made symbolic TLA+ Model Checking Made Symbolic TLA+ model checking made symbolic
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Max Planck Institute for Software Systems (MPI-SWS)Germany Trace Aware Random Testing for Distributed Systems
Amrit KumarKumar, Amrit Zilliqa Research Safer Smart Contract Programming with Scilla Safer Smart Contract Programming with Scilla
Vivek KumarKumar, Vivek Committee Member in Program Committee within the MPLR-track
Viktor KunčakKunčak, Viktor EPFL, Switzerland System FR: Formalized Foundations for the Stainless Verifier System FR: Formalized Foundations for the Stainless Verifier Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kimio KuramitsuKuramitsu, Kimio Japan Women’s UniversityJapan Puppy: An Educational Simplification of Python with a Live Playground Puppy: An Educational Simplification of Python with a Live Playground
Nils KurowskyKurowsky, Nils Fernuni Hagen An Incremental Locking Scheme for Transactional Editing Transactional Editing: Giving ACID to Programmers
Yonghwi KwonKwon, Yonghwi University of VirginiaUnited States BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Malin KällénKällén, Malin Uppsala University Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications
Christian KästnerKästner, Christian Carnegie Mellon UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mirko KöhlerKöhler, Mirko Technische Universität Darmstadt Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT Language-Integrated Privacy-Aware Distributed Queries Language-Integrated Privacy-Aware Distributed Queries
Filip KřikavaKřikava, Filip Czech Technical UniversityCzechia Scala Implicits are Everywhere Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild
L Tania Lado InsuaLado Insua, Tania University of TasmaniaAustralia Committee Member in Program Committee within the STOKED-track
Ralf LaemmelLaemmel, Ralf Facebook London Software Language Engineering -- 42 Frequently Asked Questions Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Video Chair in Organizing Committee for SPLASH 2019
Leonidas LampropoulosLampropoulos, Leonidas University of Pennsylvania, University of MarylandGreece Panel: Current PhD Students and Postdocs Coverage Guided, Property Based Testing Committee Member in Judges within the SPLASH SRC-track Panelist in Speakers & Panelists within the SPLASH PLMW-track
Andreas LanitisLanitis, Andreas Cyprus University of Technology Designing immersive virtual training environments for experiential learning
Czarina LaoLao, Czarina MIT Declarative Assembly of Web Applications from Predefined Concepts
Florian LatifiLatifi, Florian Johannes Kepler University LinzAustria Practical Second Futamura Projection Practical Second Futamura Projection Practical Second Futamura Projection
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States PC Member in Program Committee within the SPLASH Onward! Papers-track
Ton Chanh LeLe, Ton Chanh Stevens Institute of TechnologyUnited States Specification and Inference of Trace Refinement Relations Specification and Inference of Trace Refinement Relations
Vu LeLe, Vu MicrosoftUnited States On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Program Committee within the MPLR-track Committee Member in Steering Committee within the SPLASH -E-track
Richard LeblancLeblanc, Richard Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Erhan LeblebiciLeblebici, Erhan Technische Universität Darmstadt Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
Manuel LeducLeduc, Manuel Univ Rennes, Inria, CNRS, IRISAFrance Committee Member in Artifact Evaluation Committee within the SLE-track
Jeongsoo LeeLee, Jeongsoo Korea University Automatically Fixing Memory-Leaks
Junhee LeeLee, Junhee Korea University, South KoreaSouth Korea Automatically Fixing Memory-Leaks
Myungho LeeLee, Myungho Korea University Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Precise Safety Verification of Smart Contracts Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Sungho LeeLee, Sungho KAIST, South KoreaSouth Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Owolabi LegunsenLegunsen, Owolabi University of Illinois at Urbana-ChampaignUnited States Reflection-Aware Static Regression Test Selection
Jan-Patrick LehrLehr, Jan-Patrick Graduate School of Computational Engineering, TU Darmstadt Automatic Identification of Standard Template Algorithms in Raw Loops
Martin LeinbergerLeinberger, Martin University of Koblenz-Landau, Germany Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
Caroline LemieuxLemieux, Caroline University of California, BerkeleyUnited States AutoPandas: Neural-Backed Generators for Program Synthesis FuzzFactory: Domain-Specific Fuzzing with Waypoints FuzzFactory: Domain-Specific Fuzzing with Waypoints
David LeopoldsederLeopoldseder, David Johannes Kepler University LinzAustria Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Benjamin LernerLerner, Benjamin Northeastern University, United States Committee Member in Program Commitee within the SPLASH -E-track
Alan LeungLeung, Alan Microsoft On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions
Thomas LewisLewis, Thomas MicrosoftUnited States Committee Member in Program Committee within the STOKED-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada A Path to DOT: Formalizing Fully Path-Dependent Types A Path to DOT: Formalizing Fully Path-Dependent Types Committee Member in Review Committee within the SPLASH OOPSLA-track
Yi LiLi, Yi New Jersey Institute of Technology, USA Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
Yonglun LiLi, Yonglun University of Wisconsin -- Milwaukee Concurrency Control of JavaScript with Arrows
Yue LiLi, Yue Aarhus University, DenmarkChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Guangtai LiangLiang, Guangtai Huawei Technologies Co. Ltd IntelliMerge: A Refactoring-Aware Software Merging Technique
Lukas LinsbauerLinsbauer, Lukas Austria Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses
Michael LippautzLippautz, Michael Google Untangling the web: Memory management in Chrome’s web platform implementation
Aaron LippeveldtsLippeveldts, Aaron Vrije Universiteit Brussel Linear capabilities for CHERI Linear capabilities for CHERI
Sascha LissonLisson, Sascha itemis AG Shadow Models [Tool Demo] -- Incremental Transformations for MPS
Yu David LiuLiu, Yu David Toward Lazy Evaluation in a Graph Database
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the VMIL-track
Crista LopesLopes, Crista UC Irvine GoTcha: An Interactive Debugger for GoT-Based Distributed Systems Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the NJR-track
Eyal LotemLotem, Eyal Lamdu Steady Typing
Jingbo LuLu, Jingbo UNSW Sydney Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity
Shan LuLu, Shan University of Chicago Improving Performance and Quality of Database-Backed Software
Sifei LuanLuan, Sifei Facebook, Inc. Aroma: Code Recommendation via Structural Code Search Aroma: Code Recommendation via Structural Code Search
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States I/O Dependent Idempotence Bugs in Intermittent Systems I/O Dependent Idempotence Bugs in Intermittent Systems Committee Member in Review Committee within the SPLASH OOPSLA-track
Mikel LujánLuján, Mikel University of Manchester Hosting OpenMP Programs on Java Virtual Machines An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code Towards a WebAssembly Standalone Runtime on GraalVM
Stian Lasse LybechLybech, Stian Lasse Department of Computer Science, Aalborg University, Denmark Locations and Session Types in a Language with Higher-Order Reflection
Magnus LångLång, Magnus Uppsala University, Sweden Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency
M Michael M. VitousekM. Vitousek, Michael Indiana University Optimizing and Evaluating Transient Gradual Typing
Julian MackayMackay, Julian Victoria University of WellingtonNew Zealand Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Publications Chair in Organizing Committee for SPLASH 2019 Committee Member in Program Committee within the MPLR-track
Geoffrey MainlandMainland, Geoffrey Drexel University, USA Committee Member in Program Committee within the GPCE-track
Petr MajMaj, Petr Czech Technical UniversityCzechia Lambdulus: Teaching Lambda Calculus Practically On the Impact of Programming Languages on Code Quality
Rupak MajumdarMajumdar, Rupak Max Planck Institute for Software Systems (MPI-SWS) Trace Aware Random Testing for Distributed Systems
Louis MandelMandel, Louis IBM ResearchUnited States Committee Member in Program Committee within the REBLS-track
Ali ManzakManzak, Ali University of Detroit MercyUnited States Committee Member in Program Committee within the AI-SEPS-track
Aleksandr MaramzinMaramzin, Aleksandr University of Edinburgh “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant
Mariana MarasoiuMarasoiu, Mariana University of Cambridge Committee Member in Program Committee within the LIVE-track
Michaël MarcozziMarcozzi, Michaël Imperial College LondonUnited Kingdom Compiler Fuzzing: How Much Does It Matter? Compiler Fuzzing: How Much Does It Matter?
Benjamin MarianoMariano, Benjamin University of Maryland, College Park Program Synthesis with Algebraic Library Specifications Program Synthesis with Algebraic Library Specifications
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Reflection-Aware Static Regression Test Selection
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Beyond the Language (part of DLS) Session Chair of Keynote (part of DLS) Metaprogramming, Metaobject Protocols, Gradual Type Checks: Optimizing the "Unoptimizable" Using Old Ideas Welcome Which of my Transient Type Checks are not (Almost) Free? Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications 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
Mark MarronMarron, Mark Microsoft ResearchUnited States Committee Member in Program Committee within the DLS-track
Chris MartensMartens, Chris North Carolina State UniversityUnited States Committee Member in Program Committee within the GPCE-track
Philipp MartensMartens, Philipp Technische Universität Darmstadt Multitier Reactive Programming in High Performance Computing Multitier Reactive Programming in High Performance Computing
Luis MastrangeloMastrangelo, Luis Università della Svizzera italiana Casting about in the Dark Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Onward! Papers Chair in Organizing Committee for SPLASH 2019 Session Chair of Sack keynote (part of SPLASH Keynotes) Session Chair of Onward! Papers 2 (part of SPLASH Onward! Papers) Session Chair of Onward! Papers 4 (part of SPLASH Onward! Papers) Session Chair of Domain specific applications (part of REBLS) 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
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness
Jay McCarthyMcCarthy, Jay University of Massachusetts LowellUnited States Student Research Competition Chair in Organizing Committee for SPLASH 2019 Author in Reviewers within the SPLASH SRC-track Committee Member in Judges within the SPLASH SRC-track Co-chair in Organizers within the SPLASH SRC-track
Sean McDirmidMcDirmid, Sean United States Committee Member in Program Committee within the LIVE-track
Mark McGranaghanMcGranaghan, Mark Ink & Switch Local-first software: You own your data, in spite of the cloud
Barry A. McNamara IIIMcNamara III, Barry A. MIT Declarative Assembly of Web Applications from Predefined Concepts
Frank McSherryMcSherry, Frank Materialize, Inc Differential dataflow: a model and implementation
Remigius MeierMeier, Remigius ETH Zurich, SwitzerlandSwitzerland Reflections on the Compatibility, Performance, and Scalability of Parallel Python
Na MengMeng, Na Virginia TechUnited States Committee Member in Program Committee within the DLS-track
Claudio MenghiMenghi, Claudio University of Luxembourg, Luxembourg Higher-Level Mission Specification for Multiple Robots
Adrian MensingMensing, Adrian From Definitional Interpreter To Symbolic Executor
Marjan MernikMernik, Marjan University of MariborSlovenia Committee Member in Program Committee within the SLE-track
Johannes MeyMey, Johannes Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the SLE-track
Leo MeyerovichMeyerovich, Leo Graphistry PC Member in Program Committee within the SPLASH Onward! Papers-track
Mira MeziniMezini, Mira Technische Universität DarmstadtGermany GRASS: Generic Reactive Application-Specific Scheduling From analysing programs to testing program analyses: How research relies on and enriches SE knowledge Let it Flow: Dataflow abstractions for interactive distributed applications A Fault-Tolerant Programming Model for Distributed Interactive Applications A Fault-Tolerant Programming Model for Distributed Interactive Applications Language-Integrated Privacy-Aware Distributed Queries Language-Integrated Privacy-Aware Distributed Queries Keynote Speaker in Keynote Speaker within the GPCE-track
Arthur Michener PetersMichener Peters, Arthur The University of Texas at Austin, Texas, USAUnited States PorcE: A Deparallelizing Compiler
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States The Algorithm for Precision Medicine
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in Program Committee within the MPLR-track
Heather MillerMiller, Heather Carnegie Mellon University The Times They Are a-Changin’: A Data-Driven Portrait of New Trends in How We Build Software, Open Source, & What Even is "Entry-Level" Now Scala Implicits are Everywhere Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Anders MiltnerMiltner, Anders Princeton University On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions
Eliot MirandaMiranda, Eliot Cadence Design Systems Lazy Pointer Update for Low Heap Compaction Pause Times
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Session Chair of Test Generation (part of SPLASH OOPSLA) Session Chair of Systems at Scale (part of SPLASH Rebase) Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks A Fault-Tolerant Programming Model for Distributed Interactive Applications A Fault-Tolerant Programming Model for Distributed Interactive Applications
Anshuman MohanMohan, Anshuman National University of SingaporeSingapore Certifying Graph-Manipulating C Programs via Localizations within Data Structures Certifying Graph-Manipulating C Programs via Localizations within Data Structures Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Martin MonperrusMonperrus, Martin KTH Royal Institute of TechnologySweden Scalable Comparison of JavaScript V8 Bytecode Traces (Room 1 -- Joint with MPLR)
Corey MontellaMontella, Corey Lehigh University Mech - A Programming Language for Data Driven, Reactive Systems
Thierry MoreauMoreau, Thierry University of Washington An Open Source Hardware-Software Blueprint for Flexible Deep Learning Specialization
Igor Moreno SantosMoreno Santos, Igor Università della Svizzera italiana Experiences in Bridging from Functional to Object-Oriented Programming
Raphael MosanerMosaner, Raphael Johannes Kepler University Linz Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
Michał MoskalMoskal, Michał Microsoft Research Static TypeScript: An Implementation of a Static Compiler for the TypeScript Language Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Eliot MossMoss, Eliot University of Massachusetts Amherst PlanAlyzer: Assessing Threats to the Validity of Online Experiments
Peter D. MossesMosses, Peter D. Swansea University and TU DelftNetherlands Committee Member in Program Committee within the GPCE-track
Sarah MountMount, Sarah Aston UniversityUnited Kingdom Committee Member in Program Committee within the DLS-track
Fabian MuehlboeckMuehlboeck, Fabian IST AustriaAustria Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hisham MuhammadMuhammad, Hisham Brazil Userland: creating an integrated dataflow environment for end-users
Daniel-Jesus MunozMunoz, Daniel-Jesus Universidad de Málaga, SpainSpain Committee Member in Artifact Evaluation Committee within the SLE-track
Gail MurphyMurphy, Gail University of British ColumbiaCanada Steering Committee Member in Steering Committee for SPLASH 2019 Author in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Emerson Murphy-HillMurphy-Hill, Emerson Google Steering Committee Member in Steering Committee for SPLASH 2019
Andrew MyersMyers, Andrew Cornell UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Brad A. MyersMyers, Brad A. Carnegie Mellon UniversityUnited States Obsidian: Typestate and Assets for Safer Smart Contracts
Todd MytkowiczMytkowicz, Todd Microsoft Research Committee Member in Review Committee within the SPLASH OOPSLA-track
Hanspeter MössenböckMössenböck, Hanspeter JKU Linz, AustriaAustria Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Towards Efficient, Multi-Language Dynamic Taint Analysis Detection of Suspicious Time Windows in Memory Monitoring Asynchronous Snapshots of Actor Systems for Latency-Sensitive Applications Towards Efficient, Multi-Language Dynamic Taint Analysis Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Steering Committee Member in Steering Committee within the MPLR-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Static Analysis with Demand-Driven Value Refinement Static Analysis with Demand-Driven Value Refinement
Peter MüllerMüller, Peter ETH ZurichSwitzerland Modular Verification of Heap Reachability Properties in Separation Logic Modular Verification of Heap Reachability Properties in Separation Logic Leveraging Rust Types for Modular Specification and Verification Leveraging Rust Types for Modular Specification and Verification
N Kartik NagarNagar, Kartik Purdue University CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
Vaivaswatha NagarajNagaraj, Vaivaswatha Zilliqa ResearchIndia Safer Smart Contract Programming with Scilla Safer Smart Contract Programming with Scilla
Tomoki NakamaruNakamaru, Tomoki Graduate School of Information Science and Technology, The University of TokyoJapan Generating a Fluent API with Syntax Checking from an LR Grammar Generating a fluent API with syntax checking from an LR grammar Generating a Fluent API with Syntax Checking from an LR Grammar
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Krishna NarasimhanNarasimhan, Krishna Goethe UniversityIndia Committee Member in Artifact Evaluation Committee within the SLE-track
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of TechnologyUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joseph P. NearNear, Joseph P. University of Vermont Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Son NguyenNguyen, Son The University of Texas at DallasUnited States Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
ThanhVu NguyenNguyen, ThanhVu University of Nebraska, LincolnUnited States Program Synthesis with Algebraic Library Specifications Program Synthesis with Algebraic Library Specifications
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
Pengyu NieNie, Pengyu The University of Texas at Austin Design, Implementation, and Application of GPU-based Java Bytecode Interpreters Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
Michael NiekeNieke, Michael TU Braunschweig, Germany Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution
Benjamin Barslev NielsenNielsen, Benjamin Barslev Aarhus UniversityDenmark Static Analysis with Demand-Driven Value Refinement Static Analysis with Demand-Driven Value Refinement
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany Language-independent Development Environment Support For Dynamic Runtimes GraalSqueak: Toward a Smalltalk-based Tooling Platform for Polyglot Programming
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland General Chair in Organizing Committee within the SLE-track
Andrew NisbetNisbet, Andrew The University of Manchester Hosting OpenMP Programs on Java Virtual Machines Towards a WebAssembly Standalone Runtime on GraalVM
James NobleNoble, James Victoria University of WellingtonNew Zealand The Act of Computer Programming First-class Dynamic Types Towards Gradual Checking of Reference Capabilities Which of my Transient Type Checks are not (Almost) Free? CallƐ: An Effect System for Method Calls 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
Michael NorrishNorrish, Michael Data61 at CSIRO, Australia / Australian National University, AustraliaAustralia Designing a Low-Level Virtual Machine for Implementing Real-Time Managed Languages
Ibrahim NumanagićNumanagić, Ibrahim MIT Seq: A High-Performance Language for Bioinformatics Seq: A High-Performance Language for Bioinformatics
Nate NystromNystrom, Nate Università della Svizzera italiana Casting about in the Dark Experiences in Bridging from Functional to Object-Oriented Programming Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs
O Ileana OberOber, Ileana University of Toulouse PC Member in Program Committee within the DSM-track
Tomohiro OdaOda, Tomohiro Software Research Associates, Inc. External Reviewer in Organising Committee within the SPLASH Posters-track
Nobuhiko OguraOgura, Nobuhiko Tokyo City University Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Hakjoo OhOh, Hakjoo Korea UniversityKorea, South Automatically Fixing Memory-Leaks Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Precise Safety Verification of Smart Contracts Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Comparison Between Object-Sensitivity and Call-Site-Sensitivity in Generalized k-Limited Context Abstraction
Nobuhiro OheOhe, Nobuhiro Tokai Univ. Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Takeshi OhkawaOhkawa, Takeshi Tokai Univ. Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Yoshiki OhshimaOhshima, Yoshiki Croquet StudiosJapan Committee Member in Program Committee within the REBLS-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong Kong, Hong KongHong Kong Committee Member in Program Committee within the META-track PC Co-Chair in Organizing Committee within the SLE-track
Cyrus OmarOmar, Cyrus University of ChicagoUnited 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 OortwijnOortwijn, Wytse University of TwenteNetherlands Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sergio OportoOporto, Sergio Universidad Privada Boliviana (UPB) NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
Robin OppermannOppermann, Robin Independent A Feature-Based Classification of Triple Graph Grammar Variants
Jesper OqvistOqvist, Jesper 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 OraeeOraee, Simin Max Planck Institute for Software Systems (MPI-SWS) Trace Aware Random Testing for Distributed Systems
P André PacakPacak, André JGU MainzGermany Generating Incremental Type Services Vision Paper: Generating Incremental Type Services Vision Paper: Generating Incremental Type Services
Saswat PadhiPadhi, Saswat University of California, Los AngelesUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Rohan PadhyePadhye, Rohan University of California, Berkeley Efficient Fail-Fast Dynamic Subtype Checking FuzzFactory: Domain-Specific Fuzzing with Waypoints FuzzFactory: Domain-Specific Fuzzing with Waypoints ChocoPy: A Programming Language for Compilers Courses
Jens PalsbergPalsberg, Jens University of California, Los Angeles Steering Committee Member in Steering Committee for SPLASH 2019 Session Chair of Awards / SIGPLAN Town Hall Meeting (part of SPLASH OOPSLA) Session Chair of Implementation (part of SPLASH OOPSLA) NJR: Executable, Scriptable, and Searchable Java Programs A Formalization of Java's Concurrent Access Modes A Formalization of Java’s Concurrent Access Modes Quantum Programming Committee Member in Organizing Committee within the NJR-track
Rong PanPan, Rong University of Texas at Austin Automatic Repair of Regular Expressions Automatic Repair of Regular Expressions
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Modular Verification of Web Page Layout
Nick PapouliasPapoulias, Nick Université Grenoble Alpes, FranceFrance Session Chair of Types and Tools (part of DLS) The Lands Platform: Lan.guages and D.omain S.yntax, Tool Demo Committee Member in Program Committee within the DLS-track
Jihyeok ParkPark, Jihyeok KAIST, South KoreaSouth Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Research, UKUnited Kingdom Committee Member in Program Committee within the MPLR-track
William ParkinsonParkinson, William UrthecastCanada Remote Sensing and Data Dilemmas Committee Member in Program Committee within the STOKED-track
Andreas PavlogiannisPavlogiannis, Andreas EPFL Value-Centric Dynamic Partial Order Reduction
Hannes PayerPayer, Hannes Google Committee Member in Program Committee within the DLS-track
David J. PearcePearce, David J. Victoria University of Wellington, New ZealandUnited Kingdom Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track
Patrizio PelliccionePelliccione, Patrizio Chalmers \| University of GothenburgItaly Higher-Level Mission Specification for Multiple Robots
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão UFMGBrazil Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
Roly PereraPerera, Roly The Alan Turing InstituteUnited Kingdom The meaning of a program change is a change to the program’s meaning Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Santiago Perez De RossoPerez De Rosso, Santiago MIT CSAIL Declarative Assembly of Web Applications from Predefined Concepts
Ivan PerezPerez, Ivan NIA / NASA Formal Methods Streams, Reactivity and FRP: where we are, where to go Committee Member in Program Committee within the REBLS-track
Erez PetrankPetrank, Erez Technion - IsraelIsrael Efficient Lock-Free Durable Sets
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Onward! Essays Chair in Organizing Committee for SPLASH 2019 Session Chair of Sack keynote (part of SPLASH Keynotes) Histogram: You have to know the past to understand the present 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
Dzung PhamPham, Dzung Williams College Evaluating ProDirect Manipulation in Hour of Code
Tuan Phong NgoPhong Ngo, Tuan Uppsala University, SwedenSweden Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency
Jean Pichon-PharabodPichon-Pharabod, Jean University of Cambridge Weakening WebAssembly
Alfonso PierantonioPierantonio, Alfonso Committee Member in Program Committee within the SLE-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Steering Committee Member in Steering Committee for SPLASH 2019 Coverage Guided, Property Based Testing 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 PinaPina, Luís George Mason UniversityUnited States Author in Reviewers within the SPLASH SRC-track
Donald PinckneyPinckney, Donald University of Massachusetts AmherstUnited States Formal Foundations of Serverless Computing
Keshav PingaliPingali, Keshav The University of Texas at Austin Derivative Grammars: A Symbolic Approach to Parsing with Derivatives
Matthew PlaudisPlaudis, Matthew Graduate Student intern at Esri, Canada Storming Charrettes! Urban Planning Using Touch Surface Technology
Oleg PlissPliss, Oleg Oracle Labs Initialize Once, Start Fast: Application Initialization at Build Time
Martin PluemickePluemicke, Martin DHBW Baden-Wuerttemberg Cooperative State UniversityGermany Steering Committee Member in Steering Committee within the MPLR-track
Federico PoliPoli, Federico ETH Zurich, Switzerland Leveraging Rust Types for Modular Specification and Verification Leveraging Rust Types for Modular Specification and Verification
Guillermo PolitoPolito, Guillermo Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de LilleArgentina Sindarin: a Versatile Scripting API for the Pharo Debugger Committee Member in Program Committee within the META-track
Joe Gibbs PolitzPolitz, Joe Gibbs University of California San Diego, United StatesUnited States Committee Member in Program Committee within the DLS-track
Josh PollockPollock, Josh University of WashingtonUnited States Theia: Automatically Generating Correct Program State Visualizations
Julien PongePonge, Julien Red Hat, Inc.France Committee Member in Program Committee within the DLS-track
Jaroslav PorubänPorubän, Jaroslav Technical University of Košice, Slovakia Committee Member in Program Committee within the SLE-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track
Michael PradelPradel, Michael University of StuttgartGermany Getafix: Learning to Fix Bugs Automatically Getafix: Learning to Fix Bugs Automatically Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Swarn PriyaPriya, Swarn Purdue University Mergeable Replicated Data Types
Christian ProbstProbst, Christian Unitec Institute of TechnologyNew Zealand Steering Committee Member in Steering Committee within the MPLR-track
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Herbert PrähoferPrähofer, Herbert Johannes Kepler University Linz Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution Supporting Feature Model Evolution by Suggesting Constraints from Code-Level Dependency Analyses
Markus PüschelPüschel, Markus ETH ZürichSwitzerland A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions
Q Junqiao QiuQiu, Junqiao University of California, Riverside Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Program Synthesis with Algebraic Library Specifications Program Synthesis with Algebraic Library Specifications
Jenny QuillienQuillien, Jenny Embodied Making Institute Committee Member in Program Committee within the SPLASH Onward! Essays-track
R Azalea RaadRaad, Azalea MPI-SWS, GermanyUnited Kingdom Effective Lock Handling In Stateless Model Checking Panel: Current PhD Students and Postdocs Effective Lock Handling in Stateless Model Checking Effective Lock Handling in Stateless Model Checking Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models Panelist in Speakers & Panelists within the SPLASH PLMW-track
Rodric RabbahRabbah, Rodric The Dawn of the Cloud Computer
Dimi RacordonRacordon, Dimi University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland Implementing a Language with Explicit Assignment Semantics
Gabriel RadanneRadanne, Gabriel University of Freiburg, GermanyFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Arjun RadhakrishnaRadhakrishna, Arjun Microsoft On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions
Vincent RahliRahli, Vincent University of Birmingham Asphalion: Trustworthy Shielding Against Byzantine Faults Asphalion: Trustworthy Shielding against Byzantine Faults Asphalion: Trustworthy Shielding against Byzantine Faults
Kia RahmaniRahmani, Kia Purdue UniversityUnited States CLOTHO: Directed Test Generation for Weakly Consistent Database Systems
G. RamalingamRamalingam, G. Microsoft ResearchIndia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Germany An Exploratory Literature Study on Live-Tooling in the Game Industry
Marianna RapoportRapoport, Marianna University of WaterlooCanada Session Chair of Being a PhD Student (part of SPLASH PLMW) Session Chair of Practical Bits (Grads) (part of SPLASH PLMW) A Path to DOT: Formalizing Fully Path-Dependent Types A Path to DOT: Formalizing Fully Path-Dependent Types Introduction Icebreaker and Networking Activity Co-chair in Organizing Committee within the SPLASH PLMW-track
Ari RaschRasch, Ari University of Münster Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
Moeketsi RaselimoRaselimo, Moeketsi Stellenbosch University Spectrum-Based Fault Localization for Context-Free Grammars Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax Errors
Mohammad Javad RashtiRashti, Mohammad Javad Chamran University Committee Member in Program Committee within the AI-SEPS-track
Veselin RaychevRaychev, Veselin DeepCode AG Beyond Neural Networks for Programming: How to Learn from Programs
Josh ReeseReese, Josh University of Maryland, College Park Program Synthesis with Algebraic Library Specifications Program Synthesis with Algebraic Library Specifications
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden Poster Chair in Organizing Committee for SPLASH 2019 Session Chair of Synthesis (part of SPLASH OOPSLA) Session Chair of GPCE Keynote (part of GPCE) Co-chair in Organising Committee within the SPLASH Posters-track PC Co-Chair in Organizing Committee within the GPCE-track
Patrick ReinRein, Patrick Hasso Plattner Institute, GermanyGermany Ambiguous, Informal, and Unsound: Metaprogramming for Naturalness An Exploratory Literature Study on Live-Tooling in the Game Industry Committee Member in Program Committee within the LIVE-track
Alessandro RicciRicci, Alessandro University of Bologna, Italy Committee Member in Program Committee within the AGERE-track
Gregor RichardsRichards, Gregor University of WaterlooCanada Committee Member in Program Committee within the MPLR-track Committee Member in Program Committee within the DLS-track
David RichterRichter, David Technical University of Darmstadt Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks Turning Unobservable into Unreachable: Dynamic Reactive Programming without Leaks
Karina RigbyRigby, Karina Greg Marshall Design Challenges and Considerations in 3D Interactive Interfaces
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Committee Member in Program Committee within the MPLR-track
Alexander RimerRimer, Alexander itemis AG Shadow Models [Tool Demo] -- Incremental Transformations for MPS
Martin C. RinardRinard, Martin C. MITUnited States Active Learning for Software Engineering AL: Autogenerating Supervised Learning Programs
Michael RingenburgRingenburg, Michael Cray, Inc.United States Committee Member in Program Committee within the AI-SEPS-track
Richard RobertsRoberts, Richard Victoria University of WellingtonNew Zealand Which of my Transient Type Checks are not (Almost) Free? Committee Member in Program Committee within the DLS-track
Patrick RobrechtRobrecht, Patrick Independent A Feature-Based Classification of Triple Graph Grammar Variants
Juri Di RoccoRocco, Juri Di Università di L'AquilaItaly Committee Member in Artifact Evaluation Committee within the SLE-track
Larissa RochaRocha, Larissa Universidade Federal da Bahia Committee Member in Program Committee within the GPCE-track
Noemi RodriguezRodriguez, Noemi PUC-Rio Committee Member in Program Committee within the REBLS-track
Julius RoedeRoede, Julius University of Amsterdam Component-Based Computation-Energy Modeling for Embedded Systems
Jake RoemerRoemer, Jake Ohio State University Dependence-Aware, Unbounded Sound Predictive Race Detection Dependence-Aware, Unbounded Sound Predictive Race Detection
Jared RoeschRoesch, Jared University of Washington, USAUnited States Theia: Automatically Generating Correct Program State Visualizations
Tiark RompfRompf, Tiark Purdue UniversityUnited States Session Chair of Language Design (part of SPLASH OOPSLA) A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming Staged Abstract Interpreters Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations Committee Member in Review Committee within the SPLASH OOPSLA-track
Eduardo RosalesRosales, Eduardo University of Lugano, Switzerland NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
Chris RossbachRossbach, Chris The University of Texas at Austin and VMware Research Group PorcE: A Deparallelizing Compiler Design, Implementation, and Application of GPU-based Java Bytecode Interpreters Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Keynote 2: Who is afraid of the Turnstile? Keynote: Bridging the Gap (or Falling into It) Weakening WebAssembly
Matti RossiRossi, Matti Aalto University School of Business Session Chair of Experience reports and demo (part of DSM) Session Chair of Introduction and keynote (part of DSM) Committee Member in Organizing Committee within the DSM-track
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Session Chair of Session #4 (part of VMIL) Session Chair of Applications (part of MPLR) NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM Committee Member in Program Committee within the MPLR-track
Benjamin RouxelRouxel, Benjamin University of Amsterdam Component-Based Computation-Energy Modeling for Embedded Systems
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Bernhard RumpeRumpe, Bernhard RWTH AachenGermany Committee Member in Program Committee within the SLE-track
Jake RunzerRunzer, Jake ProdoUnited Kingdom Committee Member in Program Committee within the LIVE-track
Jacqueline RussellRussell, Jacqueline Microsoft Microsoft MakeCode: Embedded Programming for Education, in Blocks and TypeScript
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France Committee Member in Program Committee within the SLE-track
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Lifted Static Analysis using a Binary Decision Diagram Abstract Domain
Warren SackSack, Warren University of California, Santa CruzUnited States The Software Arts
Caitlin SadowskiSadowski, Caitlin GoogleUnited States Sponsorship Chair in Organizing Committee for SPLASH 2019
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University, SwedenSweden Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Optimal Stateless Model Checking for Reads-from Equivalence under Sequential Consistency
Kostas SaidisSaidis, Kostas University of AthensGreece Accessibility Chair in Organizing Committee for SPLASH 2019
Makoto SakaneSakane, Makoto Japan Women’s University Puppy: An Educational Simplification of Python with a Live Playground Puppy: An Educational Simplification of Python with a Live Playground
Kouhei SakuraiSakurai, Kouhei Graduate School of Natural Science & Technology, Kanazawa University Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications
Yoshitaka SakuraiSakurai, Yoshitaka Tokyo Institute of Technology Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems
Salim S. SalimSalim, Salim S. University of Manchester Towards a WebAssembly Standalone Runtime on GraalVM
Guido SalvaneschiSalvaneschi, Guido Technische Universität Darmstadt Session Chair of Product lines (part of GPCE) Multitier Reactive Programming in High Performance Computing GRASS: Generic Reactive Application-Specific Scheduling Distributed Object-oriented Programming with Multiple Consistency Levels in ConSysT Multitier Reactive Programming in High Performance Computing A Fault-Tolerant Programming Model for Distributed Interactive Applications A Fault-Tolerant Programming Model for Distributed Interactive Applications Language-Integrated Privacy-Aware Distributed Queries Language-Integrated Privacy-Aware Distributed Queries 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 SamakSamak, Malavika CSAIL, MITUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Beatriz SanchezSanchez, Beatriz University of YorkUnited Kingdom Session Chair of Session 1: SLE Welcome (part of SLE)
Yuyang SangSang, Yuyang Yale University DeepSEA: A Language for Certified System Software DeepSEA: A Language for Certified System Software
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Committee Member in Organizing Committee within the REBLS-track
Vinícius Fernandes dos SantosSantos, Vinícius Fernandes dos UFMG Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
Yasmin SaritaSarita, Yasmin Cornell University ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
John SarracinoSarracino, John University of California, San Diego Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jennifer B. SartorSartor, Jennifer B. Ghent University and Vrije Universiteit BrusselBelgium Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mikiko SatoSato, Mikiko Tokai University Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Shigeyuki SatoSato, Shigeyuki The University of Tokyo A Symmetry-Based $N$-Body Solver Compiler
Yukinori SatoSato, Yukinori Toyohashi University of TechnologyJapan Session Chair of Papers (part of AI-SEPS) Steering Committee Member in Steering Committee within the AI-SEPS-track
Vibha SazawalSazawal, Vibha University of MarylandUnited States Committee Member in Program Commitee within the SPLASH -E-track
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany General Chair in Organizing Committee within the GPCE-track
Roland SchatzSchatz, Roland Johannes Kepler University Linz Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction Supporting On-Stack Replacement in Unstructured Languages by Loop Reconstruction and Extraction
Alexander SchlechtSchlecht, Alexander University of Louisiana at Lafayette Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Session Chair of Concurrency and Data Structures (part of META) Session Chair of Tooling (part of META) WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers WARDuino: A Dynamic WebAssembly Virtual Machine for Programming Microcontrollers Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Organizing Committee in Organizing Committee within the META-track
Bernhard ScholzScholz, Bernhard University of Sydney, Australia Incremental Datalog Prototype in Soufflé Committee Member in Program Committee within the IC-track
Markus SchordanSchordan, Markus Lawrence Livermore National LaboratoryUnited States Committee Member in Program Committee within the SLE-track
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Session Chair of Domain-specific languages and modeling (part of GPCE) Component-Based Computation-Energy Modeling for Embedded Systems Committee Member in Program Committee within the GPCE-track
Richard SchulzeSchulze, Richard University of Münster Performance, Portability, and Productivity for Data-Parallel Applications on Multi- and Many-Core Architectures
Sandro SchulzeSchulze, Sandro University of Magdeburg, GermanyGermany Committee Member in Program Committee within the GPCE-track
Christopher SchusterSchuster, Christopher GoogleUnited States Committee Member in Program Committee within the LIVE-track
Andy SchürrSchürr, Andy Technische Universität Darmstadt Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
Lars SchützeSchütze, Lars Technische Universität DresdenGermany Efficient Late Binding of Dynamic Function Compositions
Andrew ScottScott, Andrew Facebook Getafix: Learning to Fix Bugs Automatically Getafix: Learning to Fix Bugs Automatically
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Session Chair of Session 2: Grammars (part of SLE) Multiple Lexicalisation - A Java Based Study Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Neil SculthorpeSculthorpe, Neil Nottingham Trent University, UK Committee Member in Program Committee within the SLE-track
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Committee Member in Program Committee within the DLS-track
Adam SeewaldSeewald, Adam University of Southern Denmark Component-Based Computation-Energy Modeling for Embedded Systems
Christoph SeidlSeidl, Christoph Technische Universität Braunschweig Automated Metamodel Augmentation for Seamless Model Evolution Tracking and Planning Harmonized Temporal Feature Modeling to Uniformly Perform, Track, Analyze and Replay Software Product Line Evolution Committee Member in Program Committee within the GPCE-track
Philipp SeiferSeifer, Philipp University of Koblenz-Landau, Germany Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
Koushik SenSen, Koushik University of California, BerkeleyUnited States Efficient Fail-Fast Dynamic Subtype Checking AutoPandas: Neural-Backed Generators for Program Synthesis FuzzFactory: Domain-Specific Fuzzing with Waypoints FuzzFactory: Domain-Specific Fuzzing with Waypoints ChocoPy: A Programming Language for Compilers Courses Aroma: Code Recommendation via Structural Code Search Aroma: Code Recommendation via Structural Code Search
Ilya SergeySergey, Ilya Yale-NUS College and National University of SingaporeSingapore Safer Smart Contract Programming with Scilla Safer Smart Contract Programming with Scilla
Manuel SerranoSerrano, Manuel Inria, France Committee Member in Program Committee within the DLS-track
Marco ServettoServetto, Marco Victoria University Wellington, New Zealand Mμl: The Power of Dynamic Multi-Methods CallƐ: An Effect System for Method Calls Committee Member in Program Committee within the SLE-track
Peter SewellSewell, Peter University of Cambridge Committee Member in External Review Committee within the SPLASH OOPSLA-track
Amir ShaikhhaShaikhha, Amir University of Oxford Compiler Generation for Performance-Oriented Embedded DSLs (Short Paper) Polymorphic Extractors for Semantic and Portable Pattern Matching (Short Paper)
Ariya ShajiiShajii, Ariya MIT Seq: A High-Performance Language for Bioinformatics Seq: A High-Performance Language for Bioinformatics
Alex ShanShan, Alex University of California, Berkeley Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Zhong ShaoShao, Zhong Yale UniversityUnited States DeepSEA: A Language for Certified System Software DeepSEA: A Language for Certified System Software
Hashim SharifSharif, Hashim University of Illinois at Urbana-Champaign ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Nikhil SharmaSharma, Nikhil University of California, Berkeley Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Gali SheffiSheffi, Gali Technion - Israel Efficient Lock-Free Durable Sets
Bo ShenShen, Bo Peking UniversityChina IntelliMerge: A Refactoring-Aware Software Merging Technique
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Active Learning for Software Engineering
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
August ShiShi, August University of Illinois at Urbana-Champaign Reflection-Aware Static Regression Test Selection
Taiki ShimizuShimizu, Taiki Graduate School of Natural Science & Technology, Kanazawa University Actor-based Incremental Tree Data Processing for Large-scale Machine Learning Applications
Boris ShingarovShingarov, Boris LabWareCanada Formal Verification of JIT by Symbolic Execution
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Optimizing and Evaluating Transient Gradual Typing
Maarten P. SijmSijm, Maarten P. Delft University of TechnologyNetherlands Incremental Scannerless Generalized LR Parsing Incremental Scannerless Generalized LR Parsing
Doug SimonSimon, Doug Oracle LabsSwitzerland Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Laurent SimonSimon, Laurent Samsung Research America FuzzFactory: Domain-Specific Fuzzing with Waypoints FuzzFactory: Domain-Specific Fuzzing with Waypoints
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis Committee Member in Program Committee within the DLS-track
Marcos Yukio SiraichiSiraichi, Marcos Yukio UFMG Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia Mergeable Replicated Data Types
Vilhelm SjöbergSjöberg, Vilhelm Yale University DeepSEA: A Language for Certified System Software DeepSEA: A Language for Certified System Software
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Steering Committee Member in Steering Committee for SPLASH 2019 General Chair in Organizing Committee for SPLASH 2019 Session Chair of Dellaert keynote (closing) (part of SPLASH Keynotes) Session Chair of Rebase Keynote (Might) (part of SPLASH Rebase) Why do a PhD? Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring? Welcome, Introduction Speaker in Speakers & Panelists within the SPLASH PLMW-track
Ben SmithSmith, Ben Graduate Student intern at UrthecastCanada Machine Learning with Remote Sensing Data
Jeff SmitsSmits, Jeff Delft University of TechnologyNetherlands From Whole Program Compilation to Incremental Compilation: A Critical Case
Steven SmythSmyth, Steven Kiel University Committee Member in Program Committee within the REBLS-track
Sunbeom SoSo, Sunbeom Korea University Precise Safety Verification of Smart Contracts
Gustavo SoaresSoares, Gustavo MicrosoftUnited States On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions
Tim SoethoutSoethout, Tim ING Bank and Centrum Wiskunde & Informatica (CWI), The Netherlands Static Local Coordination Avoidance for Distributed Objects Exploiting Models for Scalable and High Throughput Distributed Software
Daniel SokolowskiSokolowski, Daniel Technische Universität DarmstadtGermany Multitier Reactive Programming in High Performance Computing Multitier Reactive Programming in High Performance Computing Language-Integrated Privacy-Aware Distributed Queries Language-Integrated Privacy-Aware Distributed Queries
Roelof SolSol, Roelof Delft University of Technology Precise, Efficient, and Expressive Incremental Build Scripts with PIE
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States Program Synthesis with Algebraic Library Specifications Program Synthesis with Algebraic Library Specifications Probabilistic Verification of Fairness Properties via Concentration
Neel SomaniSomani, Neel University of California, Berkeley Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Dawn SongSong, Dawn University of California, Berkeley Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Dowon SongSong, Dowon Korea University Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments
Vasco SousaSousa, Vasco Université de Montréal Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors
Beatriz SouzaSouza, Beatriz Federal University of Campina Grande Is Mutation Score a Fair Metric?
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and BusinessGreece Growing thousandfold over a half-century: Form and forces of Unix architectural evolution
Jonathan SprinkleSprinkle, Jonathan University of Arizona Session Chair of Introduction and keynote (part of DSM) Committee Member in Organizing Committee within the DSM-track
Manu SridharanSridharan, Manu University of California RiversideUnited States Steering Committee Member in Steering Committee for SPLASH 2019 Optimization of Swift Protocols Optimization of Swift Protocols Committee Member in Review Committee within the SPLASH OOPSLA-track
Prakalp SrivastavaSrivastava, Prakalp University of Illinois at Urbana-Champaign ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Steffen StaabStaab, Steffen University of Koblenz-Landau and University of Southampton, Germany Empirical Study on the Usage of Graph Query Languages in Open Source Java Projects
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria Committee Member in Program Committee within the MPLR-track
Kai StadtmüllerStadtmüller, Kai Karlsruhe University of Applied SciencesGermany Predicting All Data Race Pairs for a Specific Schedule
Codrut StancuStancu, Codrut Oracle Labs Initialize Once, Start Fast: Application Initialization at Build Time
Phillip Stanley-MarbellStanley-Marbell, Phillip University of CambridgeUnited Kingdom Augmenting Raw Materials with Sensing and Computation
Kalliopi Evangelia StavrouliaStavroulia, Kalliopi Evangelia Cyprus University of Technology Designing immersive virtual training environments for experiential learning
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States PC Member in Program Committee within the SPLASH Onward! Papers-track
Friedrich SteimannSteimann, Friedrich Fernuni Hagen Session Chair of Modular Verification (part of SPLASH OOPSLA) Transactional Editing: Giving ACID to Programmers Committee Member in Review Committee within the SPLASH OOPSLA-track
Benno SteinStein, Benno University of Colorado Boulder Static Analysis with Demand-Driven Value Refinement Static Analysis with Demand-Driven Value Refinement
Michael SteindorferSteindorfer, Michael Delft University of Technology, Netherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Michel SteuwerSteuwer, Michel University of GlasgowUnited Kingdom Committee Member in Program Committee within the GPCE-track
Tim StevensStevens, Tim University of Vermont Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jouke StoelStoel, Jouke CWI AlleAlle: Bounded Relational Model Finding with Unbounded Data
Ion StoicaStoica, Ion UC Berkeley AutoPandas: Neural-Backed Generators for Program Synthesis
Alen StojanovStojanov, Alen ETH ZurichSwitzerland A Stage-Polymorphic IR for Compiling MATLAB-Style Dynamic Tensor Expressions
Daniel StolpeStolpe, Daniel Hasso-Plattner-Institut Language-independent Development Environment Support For Dynamic Runtimes
Martin StudenerStudener, Martin JKU Linz, Austria Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
Pavle SuboticSubotic, Pavle AmazonUnited Kingdom Incremental Datalog Prototype in Soufflé
Martin SulzmannSulzmann, Martin Karlsruhe University of Applied Sciences, Germany Predicting All Data Race Pairs for a Specific Schedule
Matúš SulírSulír, Matúš Technical University of KošiceSlovakia Toward a Benchmark Repository for Software Maintenance Tool Evaluations with Humans
Alexander J. SummersSummers, Alexander J. ETH Zurich Modular Verification of Heap Reachability Properties in Separation Logic Modular Verification of Heap Reachability Properties in Separation Logic Leveraging Rust Types for Modular Specification and Verification Leveraging Rust Types for Modular Specification and Verification
Haiyang SunSun, Haiyang Università della Svizzera italianaSwitzerland NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories
Joshua SunshineSunshine, Joshua Carnegie Mellon University Obsidian: Typestate and Assets for Safer Smart Contracts
Milijana SurbatovichSurbatovich, Milijana Carnegie Mellon University I/O Dependent Idempotence Bugs in Intermittent Systems I/O Dependent Idempotence Bugs in Intermittent Systems
Nikolai SuslovSuslov, Nikolai Fund for Supporting Development of RTRussia Krestianstvo Luminary: Decentralized Virtual Time for Croquet architecture
Janwillem SwalensSwalens, Janwillem Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the AGERE-track
Eugene SyrianiSyriani, Eugene Université de MontréalCanada Session Chair of Session 7: DSLs and Composition (part of SLE) Operationalizing the Integration of User Interaction Specifications in the Synthesis of Modeling Editors Domain-specific model differencing in visual concrete syntax Committee Member in Program Committee within the SLE-track
Tamás SzabóSzabó, Tamás itemis / JGU MainzGermany Session Chair of Incremental IDE services (part of IC) Session Chair of Keynote (part of IC) Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog Committee Member in Organizing Committee within the IC-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
T Taku TadaTada, Taku Yokohama National University Puppy: An Educational Simplification of Python with a Live Playground Puppy: An Educational Simplification of Python with a Live Playground
Hiroyuki TakizawaTakizawa, Hiroyuki Tohoku University Committee Member in Program Committee within the AI-SEPS-track Committee Member in Organizing Committee within the AI-SEPS-track
Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Program Committee within the AGERE-track
Jan TaljaardTaljaard, Jan Stellenbosch University Breaking Parsers: Mutation-based Generation of Programs with Guaranteed Syntax Errors
Gang (Gary) TanTan, Gang (Gary) The Pennsylvania State University, University Park, USA IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Tian TanTan, Tian Aarhus University, DenmarkChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Wende TanTan, Wende Tsinghua University, China IVT: An Efficient Method for Sharing Subtype Polymorphic Objects IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Qiyi TangTang, Qiyi Imperial College LondonUnited Kingdom Compiler Fuzzing: How Much Does It Matter? Compiler Fuzzing: How Much Does It Matter? Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ikuta TanigawaTanigawa, Ikuta Kyushu University Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Ikuta TanigawaTanigawa, Ikuta Kyusyu University Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education
Éric TanterTanter, Éric University of Chile & Inria ParisChile Doctoral Symposium Chair in Organizing Committee for SPLASH 2019 Session Chair of Types (part of SPLASH OOPSLA) Gradual Program Analysis Gradual Program Analysis 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
Guanhong TaoTao, Guanhong Purdue University BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Ross TateTate, Ross Cornell UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Modular Verification of Web Page Layout Theia: Automatically Generating Correct Program State Visualizations
Alex TaylorTaylor, Alex Williams College Evaluating ProDirect Manipulation in Hour of Code
Arshavir Ter-GabrielyanTer-Gabrielyan, Arshavir ETH ZurichSwitzerland Modular Verification of Heap Reachability Properties in Separation Logic Modular Verification of Heap Reachability Properties in Separation Logic
Manas ThakurThakur, Manas IIT MadrasIndia PYE: A Framework for Precise-Yet-Efficient Just-In-Time Analyses for Java Programs
Peter ThiemannThiemann, Peter University of Freiburg, Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
John A. ThywissenThywissen, John A. The University of Texas at AustinUnited States PorcE: A Deparallelizing Compiler
Ulyana TikhonovaTikhonova, Ulyana CWI Committee Member in Program Committee within the SLE-track
Eli TilevichTilevich, Eli Virginia TechUnited States Steering Committee Member in Steering Committee within the MPLR-track
Ben L. TitzerTitzer, Ben L. GoogleGermany Committee Member in Program Committee within the MPLR-track
Ashish TiwariTiwari, Ashish Microsoft On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the DLS-track
David TolpinTolpin, David PUB+Israel Deployable Probabilistic Programming
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCaseFinland Session Chair of Language engineering (part of DSM) Session Chair of Introduction and keynote (part of DSM) Committee Member in Organizing Committee within the DSM-track Committee Member in Program Committee within the SLE-track
Viktor TomanToman, Viktor IST Austria (Institute of Science and Technology Austria) Value-Centric Dynamic Partial Order Reduction
Bernardo ToninhoToninho, Bernardo Universidade Nova de Lisboa and NOVA LINCSPortugal Refinement Kinds: Type-safe Programming with Practical Type-level Computation Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation Committee Member in Judges within the SPLASH SRC-track
Emina TorlakTorlak, Emina University of WashingtonUnited States Steering Committee Member in Steering Committee for SPLASH 2019 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 ToroToro, Matías University of ChileChile Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Emma ToschTosch, Emma University of Massachusetts Amherst PlanAlyzer: Assessing Threats to the Validity of Online Experiments Panel: Current PhD Students and Postdocs Panelist in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Artifact Evaluation Committee within the SLE-track
Michael TranTran, Michael Department of Computer Science, Aalborg University, Denmark Locations and Session Types in a Language with Higher-Order Reflection
Thanh-Hai TranTran, Thanh-Hai TU Wien, Austria TLA+ model checking made symbolic TLA+ Model Checking Made Symbolic TLA+ model checking made symbolic
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Keynote 1: How did we get here and where can we go next? (Joint with MPLR, in Room 1) How did we get here and where can we go next? Default disambiguation for online parsers Committee Member in Steering Committee within the DLS-track
Phil TrinderTrinder, Phil University of Glasgow Python Programmers have GPUs too: Automatic Python Loop Parallelization with Staged Dependence Analysis
Anton TrunovTrunov, Anton Zilliqa ResearchRussia Safer Smart Contract Programming with Scilla Safer Smart Contract Programming with Scilla
Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Committee Member in Program Committee within the GPCE-track
Michele TucciTucci, Michele University of L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Petr TumaTuma, Petr Charles UniversityCzechia Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM Steering Committee Member in Steering Committee within the MPLR-track
Alexi TurcotteTurcotte, Alexi Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu UniversityJapan PC Member in Program Committee within the DSM-track
Abhishek UdupaUdupa, Abhishek Microsoft On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions On the Fly Synthesis of Edit Suggestions
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Effective Lock Handling In Stateless Model Checking Effective Lock Handling in Stateless Model Checking Effective Lock Handling in Stateless Model Checking Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mojtaba ValinatajValinataj, Mojtaba Babol Noshirvani University of Technology Committee Member in Program Committee within the AI-SEPS-track
Antonio VallecilloVallecillo, Antonio University of Málaga, SpainSpain Committee Member in Program Committee within the SLE-track
Hendrik van Antwerpenvan Antwerpen, Hendrik TU DelftNetherlands From Definitional Interpreter To Symbolic Executor Language-Parametric Semantic Editor Services based on Declarative Type System Specifications
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Committee Member in Program Committee within the META-track
Michael Van Den BerghVan Den Bergh, Michael Esri, R&D Center Zurich Immersive Urban Planning: CityEngine and ArcGIS Urban (Esri, R&D Center Zurich)
Mark van den Brandvan den Brand, Mark Committee Member in Program Committee within the SLE-track
Jonathan Van der CruysseVan der Cruysse, Jonathan FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization
Tijs van der Stormvan der Storm, Tijs CWI & University of Groningen, NetherlandsNetherlands Publicity Chair in Organizing Committee for SPLASH 2019 Static Local Coordination Avoidance for Distributed Objects AlleAlle: Bounded Relational Model Finding with Unbounded Data PC Co-Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the LIVE-track
Peter van Hardenbergvan Hardenberg, Peter Ink & Switch Local-first software: You own your data, in spite of the cloud
David Van HornVan Horn, David University of Maryland, USAUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Wolfgang Van RaemdonckVan Raemdonck, Wolfgang Nokia Bell Labs FlashFreeze: Low-Overhead JavaScript Instrumentation for Function Serialization
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Session Chair of DSLs and Parsing (part of SPLASH OOPSLA) Parallel Nondeterministic Programming as a Language Extension to C (Short Paper) Reflection in Attribute Grammars Reflection in Attribute Grammars Committee Member in Review Committee within the SPLASH OOPSLA-track
Christos VasiladiotisVasiladiotis, Christos University of Edinburgh “It Looks Like You’re Writing a Parallel Loop” - A Machine Learning Based Parallelization Assistant
Nikos VasilakisVasilakis, Nikos MIT CSAIL, USAGreece Active Learning for Software Engineering
Mandana VaziriVaziri, Mandana IBM Research PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the DLS-track
Niki VazouVazou, Niki IMDEA Software Institute Author in Reviewers within the SPLASH SRC-track
Jyothi VeduradaVedurada, Jyothi IIT Madras Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jan Liam VerterVerter, Jan Liam Faculty of Information Technology, Czech Technical University in PragueCzechia Lambdulus: Teaching Lambda Calculus Practically
Hayawardh VijayakumarVijayakumar, Hayawardh Samsung Research America FuzzFactory: Domain-Specific Fuzzing with Waypoints FuzzFactory: Domain-Specific Fuzzing with Waypoints
Alex VillazónVillazón, Alex Universidad Privada Boliviana, BoliviaBolivia NAB: Automated Large-scale Multi-language Dynamic Program Analysis in Public Code Repositories Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Jurgen VinjuVinju, Jurgen CWI, NetherlandsNetherlands Static Local Coordination Avoidance for Distributed Objects AlleAlle: Bounded Relational Model Finding with Unbounded Data
Mirko ViroliViroli, Mirko University of Bologna Committee Member in Program Committee within the REBLS-track
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Steering Committee Member in Steering Committee for SPLASH 2019 OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2019 Session Chair of Awards / SIGPLAN Town Hall Meeting (part of SPLASH OOPSLA) Session Chair of Dillig keynote (part of SPLASH Keynotes) From Definitional Interpreter To Symbolic Executor From Whole Program Compilation to Incremental Compilation: A Critical Case Precise, Efficient, and Expressive Incremental Build Scripts with PIE What is PL Research? Language-Parametric Semantic Editor Services based on Declarative Type System Specifications Chair in Review Committee within the SPLASH OOPSLA-track Speaker in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Program Committee within the IC-track
Jan VitekVitek, Jan Northeastern UniversityUnited States Steering Committee Member in Steering Committee for SPLASH 2019 OOPSLA Artifact Evaluation Chair in Organizing Committee for SPLASH 2019 Session Chair of Analysis (part of SPLASH OOPSLA) Meta-programming in Data Science R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments Adversarial Compilation On the Design, Implementation, and Use of Laziness in R On the Impact of Programming Languages on Code Quality On The Design, Implementation and Use of Laziness in R Scala Implicits are Everywhere Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild 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
Olga VitekVitek, Olga Northeastern UniversityUnited States On the Impact of Programming Languages on Code Quality
Nicolas VoirolVoirol, Nicolas EPFL, Switzerland System FR: Formalized Foundations for the Stainless Verifier System FR: Formalized Foundations for the Stainless Verifier
Keval VoraVora, Keval Simon Fraser University DProf: Distributed Profiler with Strong Guarantees
Ivana VukoticVukotic, Ivana SnT, University of Luxembourg Asphalion: Trustworthy Shielding Against Byzantine Faults Asphalion: Trustworthy Shielding against Byzantine Faults Asphalion: Trustworthy Shielding against Byzantine Faults
Markus VölterVölter, Markus itemis/independent Session Chair of Databases & Semantics (part of IC) Shadow Models [Tool Demo] -- Incremental Transformations for MPS
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee within the GPCE-track
Eric WalkingshawWalkingshaw, Eric Oregon State UniversityUnited States Committee Member in Program Committee within the GPCE-track
Chengcheng WanWan, Chengcheng The University of ChicagoUnited States Improving Performance and Quality of Database-Backed Software
Lun WangWang, Lun University of California, Berkeley Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Qianxiang WangWang, Qianxiang Huawei Technologies Co. Ltd IntelliMerge: A Refactoring-Aware Software Merging Technique
Shaohua WangWang, Shaohua New Jersey Institute of Technology, USAUnited States Improving Bug Detection via Context-based Code Representation Learning and Attention-based Neural Networks Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks
Shengyi WangWang, Shengyi National University of Singapore Certifying Graph-Manipulating C Programs via Localizations within Data Structures Certifying Graph-Manipulating C Programs via Localizations within Data Structures Certifying Graph-Manipulating C Programs via Localizations within Data Structures
Shuai WangWang, Shuai Hong Kong University of Science and Technology Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
Yiting WangWang, Yiting Cornell University Towards Answering "Am I On the Right Track?" Automatically Using Program Synthesis
Yu-Ping WangWang, Yu-Ping Tsinghua University, ChinaChina IVT: An Efficient Method for Sharing Subtype Polymorphic Objects IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Context-Oriented Live Programming Environments with Mixed Reality System for IoT Education Committee Member in Program Committee within the REBLS-track
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Towards a Statically Scheduled Parallel Execution of an FRP Language for Embedded Systems Committee Member in Program Committee within the REBLS-track
Conrad WattWatt, Conrad University of Cambridge Weakening WebAssembly
Guannan WeiWei, Guannan Purdue University Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming Staged Abstract Interpreters Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Jiayi WeiWei, Jiayi University of Texas at AustinUnited States Relational Verification using Reinforcement Learning
Nils WeidmannWeidmann, Nils Paderborn University A Feature-Based Classification of Triple Graph Grammar Variants Consistency Management via a Combination of Triple Graph Grammars and Linear Programming
Marcel WeiherWeiher, Marcel Hasso-Plattner-Institut (HPI), GermanyGermany Standard Object Out: Streaming Objects with Polymorphic Write Streams Storage Combinators
Pascal WeisenburgerWeisenburger, Pascal Technische Universität DarmstadtGermany GRASS: Generic Reactive Application-Specific Scheduling
Adam WelcWelc, Adam Uber TechnologiesUnited States Session Chair of Language extension (part of GPCE) Challenges in Large-Scale Application Development Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track
Shu-chun WengWeng, Shu-chun Yale University DeepSEA: A Language for Certified System Software DeepSEA: A Language for Certified System Software
Markus WeningerWeninger, Markus Christian Doppler Lab. MEVSS, Johannes Kepler University Linz Detection of Suspicious Time Windows in Memory Monitoring
Oliver WenzWenz, Oliver Heidelberg University Agile Construction of Data Science DSLs (Tool Demo) Agile Construction of Data Science DSLs (Tool Demo)
John WickersonWickerson, John Imperial College LondonUnited Kingdom Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models
Adam WigginsWiggins, Adam Ink & SwitchGermany Local-first software: You own your data, in spite of the cloud
Christian WimmerWimmer, Christian Oracle Labs Initialize Once, Start Fast: Application Initialization at Build Time
Doug WoosWoos, Doug University of WashingtonUnited States Theia: Automatically Generating Correct Program State Visualizations
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Session Chair of Optimization (part of SPLASH OOPSLA) Session Chair of Onward! Papers 3 (part of SPLASH Onward! Papers) Run, Actor, Run - Towards Cross-Actor Language Benchmarking Towards Gradual Checking of Reference Capabilities Performance of an OO Compute Kernel on the JVM -- Revisiting Java as a Language for Scientific Computing Applications PC Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Commitee within the SPLASH -E-track
Baijun WuWu, Baijun University of Louisiana at Lafayette Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Jerry WuWu, Jerry MIT Active Learning for Software Engineering
Peng WuWu, Peng Huawei America Research LabUnited States Committee Member in Program Committee within the GPCE-track
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Initialize Once, Start Fast: Application Initialization at Build Time Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
Paul WögererWögerer, Paul Oracle Labs Initialize Once, Start Fast: Application Initialization at Build Time
Thomas WürthingerWürthinger, Thomas Steering Committee Member in Steering Committee within the MPLR-track
X Gaowei XuXu, Gaowei University of Wisconsin Madison Automatic Repair of Regular Expressions Automatic Repair of Regular Expressions
Guoqing Harry XuXu, Guoqing Harry UCLAUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Siyuan XuXu, Siyuan Purdue University Program Synthesis with Algebraic Library Specifications Program Synthesis with Algebraic Library Specifications
Yufan XuXu, Yufan Ohio State University Dependence-Aware, Unbounded Sound Predictive Race Detection Dependence-Aware, Unbounded Sound Predictive Race Detection
Jingling XueXue, Jingling UNSW SydneyAustralia Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity
Y Tetsuro YamazakiYamazaki, Tetsuro Graduate School of Information Science and Technology, The University of Tokyo Generating a Fluent API with Syntax Checking from an LR Grammar Generating a fluent API with syntax checking from an LR grammar Generating a Fluent API with Syntax Checking from an LR Grammar
Cong YanYan, Cong University of Washington Improving Performance and Quality of Database-Backed Software
Albert Mingkun YangYang, Albert Mingkun Run, Actor, Run - Towards Cross-Actor Language Benchmarking
Di YangYang, Di University of California, Irvine Aroma: Code Recommendation via Structural Code Search Aroma: Code Recommendation via Structural Code Search
Junwen YangYang, Junwen university of chicagoChina Improving Performance and Quality of Database-Backed Software Improving Performance and Quality of Database-Backed Software
Masahiro YasugiYasugi, Masahiro Kyushu Institute of Technology Committee Member in Program Committee within the AI-SEPS-track
Ming-Ho YeeYee, Ming-Ho Northeastern UniversityUnited States R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments
He YiYi, He University of Louisiana at Lafayette Generating Precise Error Specifications for C: A Zero Shot Learning Approach
Jaeheon YiYi, Jaeheon GoogleUnited States Sponsorship Chair in Organizing Committee for SPLASH 2019
Nobuko YoshidaYoshida, Nobuko Imperial College London Committee Member in Review Committee within the SPLASH OOPSLA-track
Wei YouYou, Wei Purdue University BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Z Manouchehr Zadahmad JafarlouZadahmad Jafarlou, Manouchehr Université de MontréalCanada Domain-specific model differencing in visual concrete syntax
Foivos S. ZakkakZakkak, Foivos S. University of Manchester, UK An Analysis of Call-site Patching Without Strong Hardware Support for Self-Modifying-Code
Francesco Zappa NardelliZappa Nardelli, Francesco InriaFrance Reliable and Fast DWARF-based Unwinding Reliable and Fast DWARF-Based Stack Unwinding Committee Member in Review Committee within the SPLASH OOPSLA-track
Vadim ZaytsevZaytsev, Vadim Raincode Labs, BelgiumBelgium Session Chair of Sessions 8: Types, ACID and Governance (part of SLE) Event-Based Parsing Committee Member in Program Committee within the SLE-track
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts
Lingming ZhangZhang, Lingming The University of Texas at Dallas Reflection-Aware Static Regression Test Selection
Mu ZhangZhang, Mu University of UtahUnited States Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy
Tian ZhangZhang, Tian Nanjing UniversityChina Committee Member in Program Committee within the SLE-track
Wei ZhangZhang, Wei Peking University IntelliMerge: A Refactoring-Aware Software Merging Technique
Xiangyu ZhangZhang, Xiangyu Purdue University BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Xin ZhangZhang, Xin Massachusetts Institute of TechnologyUnited States Probabilistic Verification of Fairness Properties via Concentration
Zhuo ZhangZhang, Zhuo Purdue UniversityUnited States BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
David ZhaoZhao, David The University of Sydney Incremental Datalog Prototype in Soufflé
Haiyan ZhaoZhao, Haiyan Peking University IntelliMerge: A Refactoring-Aware Software Merging Technique
Nathan ZhaoZhao, Nathan University of Illinois at Urbana-Champaign ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
Tian ZhaoZhao, Tian University of Wisconsin-Milwaukee Concurrency Control of JavaScript with Arrows
Xinghui ZhaoZhao, Xinghui Washington State University Committee Member in Program Committee within the AI-SEPS-track
Yudi ZhengZheng, Yudi Oracle LabsSwitzerland Renaissance: A Modern Benchmark Suite for Parallel Applications on the JVM
YungYu ZhuangZhuang, YungYu National Central UniversityTaiwan Committee Member in Program Committee within the REBLS-track
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Committee Member in Organizing Committee within the REBLS-track
Zi-Xin ZouZou, Zi-Xin Tsinghua Univeraity, China IVT: An Efficient Method for Sharing Subtype Polymorphic Objects IVT: An Efficient Method for Sharing Subtype Polymorphic Objects
Yoav ZurielZuriel, Yoav Technion - IsraelIsrael Efficient Lock-Free Durable Sets
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook London Committee Member in Program Committee within the IC-track

SPLASH 2019 Contributors

Results (928)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia