SPLASH 2019 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (929)

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) Gradual Program Analysis Gradual Program Analysis Obsidian: Typestate and Assets for Safer Smart Contracts 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 The Adverse Effects of Code Duplication in Machine Learning Models of Code Machine Learning for Program Analysis
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 Bach PoulsenBach Poulsen, 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 Getafix: Learning to Fix Bugs Automatically Getafix: Learning to Fix Bugs Automatically Gradual Program Analysis Gradual Program Analysis
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 Learning to Listen for Design Welcome Panel & Group Discussion 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 Probabilistic Verification of Fairness Properties via Concentration Relational Verification using Reinforcement Learning
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
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich 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 UniversityCzech Republic 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 UniversityCzech Republic Higher-Level Mission Specification for Multiple Robots
Loli BurgueñoBurgueño, Loli 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
Jose CambroneroCambronero, Jose MIT AL: Autogenerating Supervised Learning Programs Active Learning for Software Engineering
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 UniversityCzech Republic 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 Modular Verification for Almost-Sure Termination of Probabilistic Programs Modular Verification for Almost-Sure Termination of Probabilistic Programs Value-Centric Dynamic Partial Order Reduction
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 Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming
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
Andrei ChisChis, Andrei feenk gmbhSwitzerland Committee Member in Program Committee within the META-track
David ChisnallChisnall, David University of Cambridge Committee Member in Program Committee within the DLS-track
Andrei ChişChiş, Andrei feenk, Switzerland 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 CostaCosta, Diego 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 UniversityCzech Republic 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
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
Isil DilligDillig, Isil University of Texas AustinUnited States Programming Support for Evolving Database Applications Relational Verification using Reinforcement Learning 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
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 DonaldsonDonaldson, Alastair 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) Run, Actor, Run - Towards Cross-Actor Language Benchmarking Pony: Semantics and Type System Co-Design 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 Sound and Reusable Components for Abstract Interpretation Language-Integrated Privacy-Aware Distributed Queries 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 FeldmanFeldman, Molly 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
John FeserFeser, John 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 Language-independent Development Environment Support For Dynamic Runtimes Standard Object Out: Streaming Objects with Polymorphic Write Streams 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 CLOTHO: Directed Test Generation for Weakly Consistent Database Systems Mergeable Replicated Data Types
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 Improving Engineering Productivity at Scale How to Apply to Grad School? 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 UniversityCzech Republic 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 ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
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
Christian KaestnerKaestner, Christian Carnegie Mellon UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-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
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 UniversityCzech Republic Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild Scala Implicits are Everywhere
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 Coverage Guided, Property Based Testing Panel: Current PhD Students and Postdocs 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 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 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