SPLASH 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1304)

A Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Invited Talk: Abstract Domains in SMT Solving for Real Algebra
Umut A. AcarAcar, Umut A. Carnegie Mellon University Program Equivalence for Assisted Grading of Functional Programs
Justus AdamAdam, Justus University of Kent, UKUnited Kingdom Type checking beyond type checkers, via Slice & Run
Andrew AdamsAdams, Andrew Adobe Research Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-Champaign Guided Linking: Dynamic Linking without the Costs Guided Linking: Dynamic Linking Without the Costs Why Digital Agriculture is Fertile Ground for Software Systems Research Guided Linking: Dynamic Linking Without the Costs Committee Member in Program Committe within the SPLASH CARES-track
Maaz Bin Safeer AhmadAhmad, Maaz Bin Safeer University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Ask Me Anything: Amal Ahmed Committee Member in Review Committee within the SPLASH OOPSLA-track AMA Speaker in Speakers & Panelists within the SPLASH PLMW-track
Umair Z. AhmedAhmed, Umair Z. National University of SingaporeSingapore Committee Member in Artifact Evaluation Committee within the SAS-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Programme Committee in Program Committee within the FTfJP-track
Benny AkessonAkesson, Benny University of Amsterdam / TNO PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Shoaib AkramAkram, Shoaib Australian National UniversityAustralia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Manuel AlaborAlabor, Manuel University of Applied Sciences of Eastern Switzerland (OST)Switzerland Debugging RxJS-based Applications
Elvira AlbertAlbert, Elvira Complutense University of Madrid Taming Callbacks for Smart Contract Modularity
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Committee Member in Steering Committee for SPLASH 2020 Session Chair of F-5A (part of SPLASH OOPSLA) Session Chair of M-5 (part of SPLASH OOPSLA) Session Chair of (part of GPCE) User-Centered Programming Language Design: A Course-Based Case Study A Case Study in Language-Based Security: Building an I/O Library for Wyvern Gradual Verification of Recursive Heap Data Structures Gradual Verification of Recursive Heap Data Structures A Case Study in Language-Based Security: Building an I/O Library for Wyvern Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Committee Member in External Review Committee within the SPLASH OOPSLA-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committee within the SLE-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Karim AliAli, Karim University of Alberta PLMW Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of W-1 (part of SPLASH OOPSLA) Session Chair of T-2 (part of SPLASH OOPSLA) Session Chair of S-4 (part of ECOOP Research Papers) Toward a Simpler Syntactic Soundness for DOT (Student Talk) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the SySEPL-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Publications Chair in Organizing Committee for SPLASH 2020 Committee Member in Program Committee within the SySEPL-track
Marcelo AlmeidaAlmeida, Marcelo University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
Uri AlonAlon, Uri Technion Adversarial Examples for Models of Code A Structural Model for Contextual Code Changes A Structural Model for Contextual Code Changes Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs
Kalev AlpernasAlpernas, Kalev Tel Aviv UniversityIsrael The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics
Rajeev AlurAlur, Rajeev University of Pennsylvania DiffStream: Differential Output Testing for Stream Processing Programs DiffStream: Differential Output Testing for Stream Processing Programs
Juliana Alves PereiraAlves Pereira, Juliana PUC-RioBrazil Committee Member in Program Committee within the GPCE-track
Lyan AlwakeelAlwakeel, Lyan Model-Driven Development of Mobile Applications [ECOOP DS]
Jose Nelson AmaralAmaral, Jose Nelson University of AlbertaCanada Mentor in Mentors within the SPLASH PLMW-track
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of Technology A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Nada AminAmin, Nada Harvard UniversityUnited States Closing Scala 2020 Welcome to Scala 2020 Conference Chair in Program Committee within the Scala-track Conference Chair in Organizing Committee within the Scala-track
Edward AmsdenAmsden, Edward Black River Software, LLC PC Member in Program Committee within the REBLS-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Session Chair of S-5 (part of ECOOP Research Papers) Session Chair of S-5 (part of ECOOP Research Papers) A big step from finite to infinite computations Sound regular corecursion in coFJ Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track Co-chair in Organizing Committee within the VORTEX-track
Knut Anders StokkeAnders Stokke, Knut University of Bergen Manipulating GUI Structures Declaratively
Leif AndersenAndersen, Leif Northeastern University Adding Interactive Visual Syntax to Textual Code Adding Interactive Visual Syntax to Textual Code
Maurício AnicheAniche, Maurício Delft University of Technology, Netherlands Co-chair in Organizing Committee within the SySEPL-track
Anthony AnjorinAnjorin, Anthony Paderborn University, Germany A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
Luthfan Anshar LubisAnshar Lubis, Luthfan Co-reviewer in Program Committee within the SPLASH Onward! Essays-track
Anastasios AntoniadisAntoniadis, Anastasios University of Athens, GreeceGreece Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs
Timos AntonopoulosAntonopoulos, Timos Yale University DynamiTe: Dynamic Termination and Non-termination Proofs
Tomoyuki AotaniAotani, Tomoyuki Mamezou Co.,Ltd. Managing Persistent Signals using Signal Classes
Heinrich ApfelmusApfelmus, Heinrich independentGermany PC Member in Program Committee within the REBLS-track
Maya ArmyanovaArmyanova, Maya Google, GermanyGermany Committee Member in Program Committee within the ICOOOLPS-track
Ellen ArtecaArteca, Ellen Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sepideh AsadiAsadi, Sepideh PhD Student Farkas-Based Tree Interpolation
Mohammadreza AshouriAshouri, Mohammadreza University of Potsdam, GermanyGermany Asterisk: Secure Programming Language for Smart Contracts (Student Talk) Kaizen: A Scalable Concolic Fuzzing Tool for Scala
Uwe AßmannAßmann, Uwe TU Dresden, Germany Committee Member in Program Committee within the SLE-track
Vytautas AstrauskasAstrauskas, Vytautas ETH Zurich How Do Programmers Use Unsafe Rust?
Eric AtkinsonAtkinson, Eric Massachusetts Institute of Technology Programming and Reasoning with Partial Observability Programming and Reasoning with Partial Observability
Joanne M. AtleeAtlee, Joanne M. University of WaterlooCanada Committee Member in Program Commitee within the SPLASH -E-track
Dominik AumayrAumayr, Dominik Johannes Kepler University Linz, AustriaAustria Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alex AuvolatAuvolat, Alex University of Rennes, France / Inria, France / CNRS, France / IRISA, France Modular and Distributed IDE
Martin AvanziniAvanzini, Martin Inria A Modular Cost Analysis for Probabilistic Programs
B Christiaan BaaijBaaij, Christiaan QBayLogic B.V.Netherlands PC Member in Program Committee within the REBLS-track
Dmitry BabokinBabokin, Dmitry Intel Corporation Random Testing for C and C++ Compilers with YARPGen
Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Knowing When to Ask: Artifact Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SySEPL-track
Johannes BaderBader, Johannes Jane Street Gradual Verification of Recursive Heap Data Structures Gradual Verification of Recursive Heap Data Structures
Anya Helene BaggeBagge, Anya Helene University of BergenNorway Committee Member in Program Committee within the SPLASH Onward! Essays-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Workshops Co-Chair in Organizing Committee for SPLASH 2020 Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences Committee Member in Organizing Committee within the SPLASH Workshops-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark PC Member in Program Committee within the REBLS-track
Bill BailBail, Bill MITRE Committee Member in Program Committee within the HILT-track
Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States Static analysis for privacy-preserving artificial intelligence Invited Speaker in Invited Speakers within the SAS-track
Michael BallantyneBallantyne, Michael Northeastern University Macros For Domain-Specific Languages Macros For Domain-Specific Languages Macros for Domain-Specific Languages Adding Interactive Visual Syntax to Textual Code
Hampus BalldinBalldin, Hampus Advenica A Domain-Specific Language for Filtering in Application-Level Gateways
Michael BallentyneBallentyne, Michael PLT @ Northeastern University Adding Interactive Visual Syntax to Textual Code
Anindya BanerjeeBanerjee, Anindya National Science FoundationUnited States Relational Reasoning in Object-based Programs
Subarno BanerjeeBanerjee, Subarno University of Michigan Sound Garbage Collection for C using Pointer Provenance
Elisa BaniassadBaniassad, Elisa University of British Columbia SPLASH-E Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of Welcome and Keynote (part of SPLASH -E) Nudging Student Learning Strategies Using Formative Feedback in Automatically Graded Assessments Group Harmony Visualisation At Scale Welcome Committee Member in Program Committee within the SPLASH Onward! Papers-track Chair in Program Commitee within the SPLASH -E-track
Sorav BansalBansal, Sorav IIT Delhi and CompilerAI LabsIndia Session Chair of T-6B (part of SPLASH OOPSLA) Counterexample-Guided Correlation Algorithm for Translation Validation Counterexample-Guided Correlation Algorithm for Translation Validation
Olivier BaraisBarais, Olivier University of Rennes, France / Inria, France / CNRS, France / IRISA, France Modular and Distributed IDE A principled approach to REPL interpreters Committee Member in Program Committee within the SLE-track
Mikhail BarashBarash, Mikhail University of BergenNorway Manipulating GUI Structures Declaratively Example-Driven Software Language Engineering
Mohamad BarbarBarbar, Mohamad University of Technology, Sydney Flow-Sensitive Type-Based Heap Cloning Flow-Sensitive Type Based Heap Cloning (Artifact)
Pietro BarbieriBarbieri, Pietro Università di Genova An inductive abstract semantics for coFJ Sound regular corecursion in coFJ
Raj BarikBarik, Raj Uber Technologies Inc. Committee Member in External Review Committee within the SPLASH OOPSLA-track
Shraddha BarkeBarke, Shraddha How to make program understanding tools more programmer-friendly?
Shraddha BarkeBarke, Shraddha University of California at San Diego Feedback-Driven Semi-supervised Synthesis of Program Transformations Just-in-Time Learning for Bottom-Up Enumerative Synthesis Just-in-Time Learning for Inductive Program Synthesis
Dan BarowyBarowy, Dan Williams CollegeUnited States Session Chair of W-5 (part of SPLASH OOPSLA) Session Chair of W-3 (part of SPLASH OOPSLA) Infrastructor: Flexible, No-Infrastructure Tools for Scaling CS Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Commitee within the SPLASH -E-track
Chelsea BarraballBarraball, Chelsea Stellenbosch University, South Africa An Interactive Feedback System for Grammar Development (Tool Paper)
Alexandre BartelBartel, Alexandre University of Luxembourg Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Sean BartellBartell, Sean University of Illinois at Urbana-Champaign Guided Linking: Dynamic Linking without the Costs Guided Linking: Dynamic Linking Without the Costs Guided Linking: Dynamic Linking Without the Costs
David BasinBasin, David ETH Zurich Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Antranig BasmanBasman, Antranig Raising the Floor - InternationalUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Raef BassilyBassily, Raef Ohio State University Differentially-Private Software Frequency Profiling under Linear Constraints
Don BatoryBatory, Don University of Texas, AustinUnited States Committee Member in Program Committee within the GPCE-track
Matt BaumanBauman, Matt Julia ComputingUnited States The impact of differentiable programming: how ∂P is enabling new science in Julia
Santiago BautistaBautista, Santiago Univ Rennes, ENS Rennes, Inria, IRISAFrance Numeric Domains Meet Algebraic Data Types
Rohan BavishiBavishi, Rohan UC BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ira BaxterBaxter, Ira Semantic DesignsUnited States Committee Member in Program Committee within the GPCE-track
Jonathan BellBell, Jonathan Northeastern University PLMW Co-Chair in Organizing Committee for SPLASH 2020 Catching More Bugs with Fewer False Alarms A Large-Scale Longitudinal Study of Flaky Tests PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Julia BelyakovaBelyakova, Julia Northeastern University Diversity Chair in Organizing Committee for ECOOP 2020 Session Chair of W-1 (part of SPLASH OOPSLA) World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Aaron BembenekBembenek, Aaron Harvard University Formulog: Datalog for SMT-Based Static Analysis Formulog: Datalog for SMT-based Static Analysis Formulog: Datalog for SMT-Based Static Analysis
Josh BerdineBerdine, Josh Facebook Committee Member in Program Committee within the SAS-track
Alexandre BergelBergel, Alexandre University of ChileChile Committee Member in Program Committee within the COP-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Federico BergentiBergenti, Federico Università degli Studi di ParmaItaly Committee Member in Program Committee within the AGERE-track
Adam BergerBerger, Adam University of Wisconsin -- Milwaukee Asynchronous Monad for Reactive IoT Programming
Emery D. BergerBerger, Emery D. University of Massachusetts at Amherst Performance Really Matters Mossad: Defeating Software Plagiarism Detection
Thorsten BergerBerger, Thorsten Chalmers University of Technology, Sweden / University of Gothenburg, SwedenSweden Behavior Trees in Action: A Study of Robotics Applications
Xuan BiBi, Xuan The University of Hong Kong Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism
Aggelos BiboudisBiboudis, Aggelos EPFL Semantics-Preserving Inlining for Metaprogramming A Type-and-Effect System for Object Initialization A Type-and-Effect System for Object Initialization
Walter BinderBinder, Walter University of Lugano, Switzerland Committee Member in Program Committee within the COP-track
Christian BischofBischof, Christian Scientific Computing, TU Darmstadt MetaCG: Annotated call-graphs to facilitate whole-program analysis
Paola BisognoBisogno, Paola CasavoItaly Back to the Future! A History of UIs through Trends and Mass Culture
Arpita BiswasBiswas, Arpita IISc Bangalore Learning-Based Controlled Concurrency Testing Learning-based Controlled Concurrency Testing
Sumon BiswasBiswas, Sumon Iowa State University, USAUnited States Accessibility Chair in Organizing Committee for SPLASH 2020
Steve BlackburnBlackburn, Steve Australian National UniversityAustralia Virtualization Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of F-2B (part of SPLASH OOPSLA) Session Chair of F-1B (part of SPLASH OOPSLA) Session Chair of T (part of SPLASH Keynotes) Session Chair of T (part of SPLASH Keynotes) Committee Member in Review Committee within the SPLASH OOPSLA-track
Sandrine BlazyBlazy, Sandrine Univ Rennes, IRISAFrance Committee Member in Program Committee within the GPCE-track
Martin BlichaBlicha, Martin Farkas-Based Tree Interpolation
Robert BocchinoBocchino, Robert NASA/Caltech Jet Propulsion Laboratory Session Chair of HILT workshop Tuesday sessions (part of HILT) Committee Member in Program Committee within the HILT-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Sponsorship Chair in Organizing Committee for ECOOP 2020
Rastislav BodíkBodík, Rastislav University of Washington Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
Hans-J. BoehmBoehm, Hans-J. Google Session Chair of W-6 (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mathieu BoespflugBoespflug, Mathieu Tweag I/OFrance Miniaturize All States!
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Session Chair of S-3 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track
Michael D. BondBond, Michael D. Ohio State University, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Committee Member in Steering Committee within the VMIL-track
Tabea BordisBordis, Tabea TU Braunschweig Correctness-by-Construction for Feature-Oriented Software Product Lines
James BornholtBornholt, James University of Texas at AustinUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Artur BoronatBoronat, Artur University of Leicester Committee Member in Program Committee within the SLE-track
Sylvain BoulméBoulmé, Sylvain Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Session Chair of R-4 (part of SPLASH OOPSLA) Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors Certified and Efficient Instruction Scheduling Certified and efficient instruction scheduling and application to interlocked VLIW processors
Erwan BousseBousse, Erwan University of NantesFrance Session Chair of (part of GPCE) Publicity Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
John BoylandBoyland, John Univeristy of Wisconsin, MilwaukeeUnited States Session Chair of M-1 (part of ECOOP Research Papers) Session Chair of M-3 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track
Gilad BrachaBracha, Gilad F5 NetworksIsrael A Ray of Hope: Array Programming for the 21st Century
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel EPFL Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
Edwin BradyBrady, Edwin University of St. AndrewsUnited Kingdom A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) A Framework for Resource Dependent EDSLs in a Dependently Typed Language Quantitative Types in Idris 2
Julien BraineBraine, Julien Proving array properties using data abstraction
Oliver BračevacBračevac, Oliver Purdue University Compiling Symbolic Execution with Staging and Algebraic Effects Committee Member in Program Committee within the Scala-track
Jean BressonBresson, Jean AbletonGermany Committee Member in Program Committee within the SPLASH Onward! Essays-track
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Behavior Trees in Action: A Study of Robotics Applications Committee Member in Program Committee within the AGERE-track
Shaked BrodyBrody, Shaked TechnionIsrael A Structural Model for Contextual Code Changes A Structural Model for Contextual Code Changes
Yérom-David BrombergBromberg, Yérom-David University of Rennes, France / Inria, France / CNRS, France / IRISA, France Modular and Distributed IDE
Ben BrosgolBrosgol, Ben AdaCoreUnited States Committee Member in Program Committee within the HILT-track
Kim BruceBruce, Kim Pomona CollegeUnited States Committee Member in Steering Committee within the SPLASH -E-track
Yuriy BrunBrun, Yuriy University of Massachusetts Amherst Wasm/k: Delimited Continuations for WebAssembly TacTok: Semantics-Aware Proof Synthesis
Hugo BruneliereBruneliere, Hugo IMT Atlantique & LS2N (CNRS) Committee Member in Artifact Evaluation Committee within the SLE-track
Gary Brandt Bucher, IIBucher, II, Gary Brandt Research Affiliates, LLCUnited States Dynamic Pattern Matching with Python
Didier BuchsBuchs, Didier University of Geneva, Switzerland Functional Block Programming and Debugging Featherweight Swift: A Core Calculus for Swift’s Type System
Lubomír BulejBulej, Lubomír Charles UniversityCzech Republic Committee Member in Organizing Committee within the ICOOOLPS-track
Oleksandra BulgakovaBulgakova, Oleksandra Ukraine PC Member in Program Committee within the REBLS-track
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Lola BurgueñoBurgueño, Lola Open University of Catalonia, Spain Towards the Optical Character Recognition of DSLs Publicity Chair in Organizing Committee within the SLE-track
John Henry BurnsBurns, John Henry SUNY Binghamton, USA Adaptive Variables for Declarative UAV Planning
Samuele BuroBuro, Samuele Università degli Studi di Verona On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
Manuel BärenzBärenz, Manuel sonnen eServices GmbHGermany Session Chair of Session 3 (part of REBLS) The essence of live coding: Change the program, keep the state! PC Member in Program Committee within the REBLS-track
Thibault Béziers la FosseBéziers la Fosse, Thibault IMT Atlantique, ICAMFrance Annotating Executable DSLs with Energy Estimation Formulas
C Joanna C. S. SantosC. S. Santos, Joanna Rochester Institute of TechnologyUnited States Salsa: Static Analysis of Serialization Features
Jordi CabotCabot, Jordi Open University of Catalonia, Spain Towards the Optical Character Recognition of DSLs
Cristian CadarCadar, Cristian Imperial College London, UKUnited Kingdom Toward More Scalable Symbolic Execution via Code Chopping
José Pablo CambroneroCambronero, José Pablo Massachusetts Institute of Technology, USAUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alice CampbellCampbell, Alice The University of British Columbia Group Harmony Visualisation At Scale
John Peter CamporaCampora, John Peter University of Louisiana at Lafayette Session Chair of R-2 (part of SPLASH OOPSLA) Taming Type Annotations in Gradual Typing
Ting CaoCao, Ting Microsoft ResearchChina Session Chair of T-3 (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Michael CarbinCarbin, Michael Massachusetts Institute of Technology Programming and Reasoning with Partial Observability Programming and Reasoning with Partial Observability
Elias CastegrenCastegren, Elias KTH Royal Institute of TechnologySweden AGERE: Opening AGERE: Closing Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the AGERE-track Committee Member in Organizing Committee within the IWACO-track
Matthew CastellanaCastellana, Matthew Stony Brook University Publicity Chair in Publicity Chair within the LPOP-track
David Castro-PerezCastro-Perez, David Imperial College London CAMP: Cost-Aware Multiparty Session Protocols CAMP: Cost-Aware Multiparty Session Protocols
David Castro-PerezCastro-Perez, David Imperial College London CAMP: Cost-Aware Multiparty Session Protocols
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the SLE-track
Andrea CeroneCerone, Andrea Football Radar Data Consistency in Transactional Storage Systems: A Centralised Semantics
Milind ChabbiChabbi, Milind Uber Technologies Inc.United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Emmanuel ChaillouxChailloux, Emmanuel UPMC, France Programming Microcontrollers through High-Level Abstractions
Soham ChakrabortyChakraborty, Soham IIT Delhi, IndiaIndia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stefanos ChaliasosChaliasos, Stefanos Athens University of Economics and Business A Model for Detecting Faults in Build Specifications A Model for Detecting Faults in Build Specifications
Satish ChandraChandra, Satish Facebook, USAUnited States Rebase Co-chair in Organizing Committee for SPLASH 2020 Co-chair in REBASE Chicago within the SPLASH REBASE-track
Angela ChangChang, Angela University of Waterloo Scala with Explicit Nulls Scala with Explicit Nulls
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Session Chair of 1 (part of SAS) Committee Member in Program Committee within the SAS-track
Alexandre ChapoutotChapoutot, Alexandre Abstract Domains for Constraint Programming with Differential Equations
Kyle ChardChard, Kyle University of ChicagoUnited States Productive Parallel Programming with Parsl Tuesday Panel: Language support for parallel and distributed computing Committee Member in Program Committee within the HILT-track
Guido ChariChari, Guido Asapp Contextual Dispatch for Function Specialization Contextual Dispatch for Function Specialization
Dominik CharoussetCharousset, Dominik HAW Hamburg Revisiting the Network Stack in CAF
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Welcome to PLATEAU! Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track Committee Member in Organizing Committee within the PLATEAU-track
Marsha ChechikChechik, Marsha University of Toronto Automatic and Efficient Variability-Aware Lifting of Functional Programs Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SySEPL-track
Natalia ChechinaChechina, Natalia Bournemouth UniversityUnited Kingdom Committee Member in Program Committee within the AGERE-track
Lingyun ChenChen, Lingyun Alibaba Group Hidden Inheritance: An Inline Caching Design for TypeScript Performance Hidden Inheritance: An Inline Caching Design for TypeScript Performance
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina Session Chair of Papers (part of NSAD) Rigorous Linear Programming Techniques for Numerical Abstract Domains Co-chair in Organizing Committee within the NSAD-track
Peter M. ChenChen, Peter M. University of Michigan Sound Garbage Collection for C using Pointer Provenance
Sheng ChenChen, Sheng University of Louisiana at Lafayette Session Chair of R-2 (part of SPLASH OOPSLA) Session Chair of R-2 (part of SPLASH OOPSLA) Session Chair of (part of GPCE) Taming Type Annotations in Gradual Typing Committee Member in Program Committee within the GPCE-track Mentor in Mentors within the SPLASH PLMW-track
Shiping ChenChen, Shiping Data61 at CSIRO, Australia / UNSW, AustraliaAustralia Flow-Sensitive Type-Based Heap Cloning Flow-Sensitive Type Based Heap Cloning (Artifact)
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-Champaign Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
Yanju ChenChen, Yanju University of California, Santa BarbaraUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yueqi ChenChen, Yueqi Pennsylvania State University Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Jianyi ChengCheng, Jianyi Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiao ChengCheng, Xiao Beijing University of Posts and Telecommunications Flow2Vec: Value-Flow-Based Precise Code Embedding
Yueqiang ChengCheng, Yueqiang Baidu Security Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Marc ChevalierChevalier, Marc ENS, CNRS, PSL University, INRIAFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Université de Montréal Committee Member in Program Committee within the SPLASH Onward! Essays-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Session Chair of S-6 (part of ECOOP Research Papers) Session Chair of S-2 (part of ECOOP Research Papers) Session Chair of 4 (part of SAS) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the COP-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the DLS-track
Sangheon ChoiChoi, Sangheon Rose-Hulman Institute of Technology Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Stephen ChongChong, Stephen Harvard University Formulog: Datalog for SMT-Based Static Analysis Formulog: Datalog for SMT-based Static Analysis Formulog: Datalog for SMT-Based Static Analysis
Stephen ChouChou, Stephen Massachusetts Institute of Technology A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Vikraman ChoudhuryChoudhury, Vikraman Indiana University & University of CambridgeUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maria ChristakisChristakis, Maria MPI-SWS Perfectly Parallel Fairness Certification of Neural Networks Perfectly Parallel Fairness Certification of Neural Networks
Duc-Hiep ChuChu, Duc-Hiep National University of Singapore Inter-theory Dependency Analysis for SMT String Solvers Inter-Theory Dependency Analysis for SMT String Solvers
Ravi ChughChugh, Ravi University of Chicago Local Arrangements Chair in Organizing Committee for SPLASH 2020 ManipML: Towards Bimodal Tangible Functional Programming PC Member in Programme Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Benjamin ChungChung, Benjamin Northeastern University AV Co-Chair in Organizing Committee for SPLASH 2020 World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Guerric ChupinChupin, Guerric University of Nottingham PC Member in Program Committee within the REBLS-track
Luke ChurchChurch, Luke University of CambridgeUnited Kingdom Session Chair of Novices and Application Domains (part of HATRA) Session Chair of Design (part of HATRA) Towards making formal methods normal: meeting developers where they are Committee Member in Organizing Committee within the HATRA-track
Paolo CiancariniCiancarini, Paolo University of Bologna / Innopolis University Software Design as Story Telling: Reflecting on the Work of Italo Calvino
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Committee Member in Program Committee within the TAPAS-track
Matteo CiminiCimini, Matteo University of Massachusetts at Lowell, USAUnited States Extrinsically Typed Operational Semantics for Functional Languages
Tony ClarkClark, Tony Aston UniversityUnited Kingdom Committee Member in Program Committee within the SLE-track
Cliff ClickClick, Cliff SelfUnited States Tales from the Frontlines: Startup War Stories
Martin ClochardClochard, Martin ETH Zurich Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Joshua CluneClune, Joshua Carnegie Mellon University Program Equivalence for Assisted Grading of Functional Programs
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of Slot 5 (part of SPLASH Doctoral Symposium) Closing Introduction and Welcome from the Organizers Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Michael CoblenzCoblenz, Michael University of Maryland at College ParkUnited States Session Chair of R-3 (part of SPLASH OOPSLA) Session Chair of Formal Methods (part of HATRA) Session Chair of Research Agenda Planning (part of HATRA) User-Centered Programming Language Design: A Course-Based Case Study Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the HATRA-track
Jean-Louis ColaçoColaço, Jean-Louis ANSYSFrance Keynote: SCADE 6
Murray ColeCole, Murray University of Edinburgh, UK DelayRepay: Delayed Execution for Kernel Fusion in Python
Bruce CollieCollie, Bruce University of Edinburgh Modeling Black-Box Components with Probabilistic Synthesis
Benoit CombemaleCombemale, Benoit University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance Session Chair of (part of GPCE) Modular and Distributed IDE A principled approach to REPL interpreters
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Toward a Multi-Language and Multi-Environment Framework for Live Programming Committee Member in Program Committee within the Scala-track
Thomas ConteConte, Thomas Georgia Institute of Technology Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Mistral ContrastinContrastin, Mistral Facebook LondonUnited Kingdom Guiding user annotations for units-of-measure verification
William CookCook, William University of Texas at Austin Session Chair of T-3-Onward (part of SPLASH Onward! Papers) Austin in Program Committee within the SPLASH Onward! Papers-track
David Corral-PlazaCorral-Plaza, David University of Cadiz Committee Member in Artifact Evaluation Committee within the SLE-track
Fabien CoulonCoulon, Fabien Obeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France Modular and Distributed IDE
Patrick CousotCousot, Patrick New York UniversityUnited States Session Chair of 3 (part of SAS) Session Chair of 5 (part of SAS) Session Chair of 1 (part of SAS) Logic in Program Analysis and Verification Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? Committee Member in Program Committee within the SAS-track
Will CrichtonCrichton, Will Stanford University Documentation Generation as Information Visualization The Usability of Ownership
Roy CroleCrole, Roy University of LeicesterUnited Kingdom On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
Shaobo CuiCui, Shaobo The Duality of Subtyping The Duality of Subtyping (artifact)
Charlie CurtsingerCurtsinger, Charlie Grinnell College SPLASH-E Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of Welcome and Keynote (part of SPLASH -E) Welcome Chair in Program Commitee within the SPLASH -E-track
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain Committee Member in Program Committee within the SLE-track
D Theo D'HondtD'Hondt, Theo Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ECOOP Research Papers-track
Francesco DagninoDagnino, Francesco DIBRIS, University of Genova, ItalyItaly An inductive abstract semantics for coFJ A big step from finite to infinite computations Sound regular corecursion in coFJ Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Erin DahlgrenDahlgren, Erin Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Mila Dalla PredaDalla Preda, Mila University of Verona, Italy Formal framework for reasoning about the precision of dynamic analysis
Sadegh DalvandiDalvandi, Sadegh University of Surrey Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Marco DaneluttoDanelutto, Marco University of Pisa, Italy High-Throughput Stream Processing with Actors
Matthew DanishDanish, Matthew University of Cambridge, UK Guiding user annotations for units-of-measure verification
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Mentor in Mentors within the SPLASH PLMW-track
Eva DarulovaDarulova, Eva MPI-SWS Towards a Sound Approximating Compiler for Numerical Kernels (Keynote) Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis Interactive Synthesis of Temporal Specifications from Examples and Natural Language Interactive Synthesis of Temporal Specifications from Examples and Natural Language Keynote Speaker in Keynote within the Scala-track
Adnan DarwicheDarwiche, Adnan UCLA Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
Ankush DasDas, Ankush Carnegie Mellon UniversityUnited States Exact and Linear-Time Gas-Cost Analysis Mentor in Mentors within the SPLASH PLMW-track
Yaniv DavidDavid, Yaniv Technion Session Chair of F-3B (part of SPLASH OOPSLA) Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs
Ariel DavisDavis, Ariel Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University History-based Specification and Verification of Java Collections in KeY Committee Member in Organizing Committee within the VORTEX-track
Sarah de Haasde Haas, Sarah Google Research Towards making formal methods normal: meeting developers where they are
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium AGERE: Opening AGERE: Closing Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Committee Member in Organizing Committee within the AGERE-track
Juan de Larade Lara, Juan Autonomous University of MadridSpain Session Chair of (part of GPCE) Session Chair of (part of GPCE) Session Chair of (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) Automated Variability Injection for Graphical Modelling Languages Program Co-Chair in Organizing Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Reactive Sorting Networks Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the REBLS-track
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of GlasgowUnited Kingdom A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) A Framework for Resource Dependent EDSLs in a Dependently Typed Language
Thomas DegueuleDegueule, Thomas CNRS, LaBRIFrance Committee Member in Program Committee within the GPCE-track
Pantazis DeligiannisDeligiannis, Pantazis Microsoft Research Learning-Based Controlled Concurrency Testing Learning-based Controlled Concurrency Testing
Robert DeLineDeLine, Robert Microsoft Research Committee Member in Program Committee within the HATRA-track
Brian DemskyDemsky, Brian University of California at Irvine SATUNE: Synthesizing Efficient SAT Encoders Satune: Synthesizing Efficient SAT Encoders
David DevecseryDevecsery, David Georgia Institute of Technology Sound Garbage Collection for C using Pointer Provenance
Breanna Devore-McDonaldDevore-McDonald, Breanna University of Massachusetts at Amherst Mossad: Defeating Software Plagiarism Detection
Dominique DevrieseDevriese, Dominique Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the IWACO-track
Jacob Diamond-ReivichDiamond-Reivich, Jacob Mito: Edit a spreadsheet. Generate production ready Python.
Lukas DiekmannDiekmann, Lukas King's College LondonUnited Kingdom Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track Committee Member in Program Committee within the ICOOOLPS-track
Werner DietlDietl, Werner University of Waterloo Precise Inference of Expressive Units of Measurement Types Precise Inference of Expressive Units of Measurement Types Precise Inference of Expressive Units of Measurement Types Steering Committee Member in Steering Commitee within the FTfJP-track
Jens DietrichDietrich, Jens Victoria University of WellingtonNew Zealand Putting the Semantics into Semantic Versioning
Will DietzDietz, Will University of Illinois at Urbana-Champaign Guided Linking: Dynamic Linking without the Costs Guided Linking: Dynamic Linking Without the Costs Guided Linking: Dynamic Linking Without the Costs
Işil DilligDillig, Işil University of Texas at Austin Automated Policy Synthesis for System Call Sandboxing Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Poster Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Poster Co-Chair in Organizing Committee within the SPLASH Posters-track
Yufei DingDing, Yufei University of California at Santa Barbara Projection-based Runtime Assertions for Testing and Debugging Quantum Programs Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
Cynthia DisenfeldDisenfeld, Cynthia Foretellix and Open University of IsraelIsrael Committee Member in Program Committee within the COP-track
Julien Alexandre dit Sandrettodit Sandretto, Julien Alexandre Abstract Domains for Constraint Programming with Differential Equations
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Semantics-Preserving Inlining for Metaprogramming
Simon DohertyDoherty, Simon University of Sheffield Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Julian DolbyDolby, Julian IBM Research, USA Python 3 Types in the Wild: A Tale of Two Type Systems Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs Committee Member in External Review Committee within the SPLASH OOPSLA-track Organizer in Organizing Committee within the PRIDE-track Organizer in Organizing Committee within the JSTools-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer Putting Randomized Compiler Testing into Production Putting Randomized Compiler Testing into Production Metamorphic Testing of Android Graphics Drivers [Invited Talk] Mentor in Mentors within the SPLASH PLMW-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Brijesh DongolDongol, Brijesh University of Surrey Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Vlastimil DortDort, Vlastimil Charles University Reference immutability for DOT
Shivani DoshiDoshi, Shivani University of California at San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell Digging for Fold: Synthesis-Aided API Discovery for Haskell
Swaib DraguleDragule, Swaib Chalmers \| University of Gothenburg Behavior Trees in Action: A Study of Robotics Applications
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2020 Session Chair of W-1 (part of SPLASH OOPSLA) Session Chair of F-5B (part of SPLASH OOPSLA) Session Chair of T-4 (part of SPLASH OOPSLA) Session Chair of T-4 (part of SPLASH OOPSLA) Session Chair of W-4 (part of SPLASH OOPSLA) Session Chair of F-1B (part of SPLASH OOPSLA) Implementation of SHAPES case studies Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality Committee Member in Review Committee within the SPLASH OOPSLA-track
Cezara DrăgoiDrăgoi, Cezara Inria / ENS / CNRS / PSL University / Informal Systems Programming at the Edge of Synchrony Testing Consensus Implementations using Communication Closure
Ke DuDu, Ke University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
Christophe DubachDubach, Christophe McGill UniversityUnited Kingdom DelayRepay: Delayed Execution for Kernel Fusion in Python
Stéphane DucasseDucasse, Stéphane INRIA Lille Committee Member in Program Committee within the DLS-track
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
Saikat DuttaDutta, Saikat University of Illinois at Urbana-Champaign, USAUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Robert DyerDyer, Robert University of Nebraska - LincolnUnited States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
E Jakob EddingEdding, Jakob Hasso Plattner Institute, University of Potsdam Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM
Jonathan EdwardsEdwards, Jonathan United States Session Chair of T-2-Onward (part of SPLASH Onward! Papers) Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in Programme Committee within the LIVE-track
Vyacheslav EgorovEgorov, Vyacheslav GoogleDenmark 10 years of Dart
Marco EilersEilers, Marco ETH Zurich Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Implementation of SHAPES case studies Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality
Michael EmmiEmmi, Michael Amazon Web Services Committee Member in External Review Committee within the SPLASH OOPSLA-track
Constantin EneaEnea, Constantin University of Paris / IRIF / CNRS Testing Consensus Implementations using Communication Closure Proving Highly-Concurrent Traversals Correct
Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey Committee Member in Program Committee within the LPOP-track
Sebastian ErdwegErdweg, Sebastian University of Mainz A Systematic Approach to Deriving Incremental Type Checkers Committee Member in Program Committee within the ECOOP Research Papers-track Vice-Chair in Steering Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Erik ErnstErnst, Erik Google LLCDenmark Herding Nulls in Dart Committee Member in External Review Committee within the ECOOP Research Papers-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) General Chair in Organizing Committee within the GPCE-track
Nafise EskandaniEskandani, Nafise TU Darmstadt Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Session Chair of Slot 3 (part of SPLASH Doctoral Symposium) ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming Closing Introduction and Welcome from the Organizers Rethinking Safe Consistency in Distributed Object-Oriented Programming Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Patrick EugsterEugster, Patrick USI Lugano / TU Darmstadt / Purdue University Scalable and Serializable Networked Multi-actor Programming Committee Member in Steering Committee within the REBLS-track
Hugues EvrardEvrard, Hugues Google Putting Randomized Compiler Testing into Production Putting Randomized Compiler Testing into Production
Fola-Dami EyitemiEyitemi, Fola-Dami University of LeicesterUnited Kingdom Committee Member in Artifact Evaluation Committee within the SLE-track
F Maximilian FalkensteinFalkenstein, Maximilian ETH Zurich Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Chris FallinFallin, Chris Mozilla Safe, Flexible Aliasing with Deferred Borrows
Umar FarooqFarooq, Umar University of California at Riverside LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
Marie FarrellFarrell, Marie University of Liverpool Programme Committee in Program Committee within the FTfJP-track
Parisa FathololumiFathololumi, Parisa Stevens Institute of Technology DynamiTe: Dynamic Termination and Non-termination Proofs
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Farkas-Based Tree Interpolation
Marc FeeleyFeeley, Marc Université de MontréalCanada Session Chair of Invited Talk - Racket (part of VMIL) Session Chair of Invited Talk: Evolution of the Dart PL (part of VMIL) Committee Member in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track
Molly FeldmanFeldman, Molly Williams CollegeUnited States Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Commitee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
Yotam M. Y. FeldmanFeldman, Yotam M. Y. Tel Aviv University The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics Proving Highly-Concurrent Traversals Correct
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Web Technology Chair in Organizing Committee for ECOOP 2020 Session Chair of 7 (part of SAS) Session Chair of 8 (part of SAS) SqueakLive Polyglot Programming Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track
Matthias FelleisenFelleisen, Matthias Northeastern University Macros For Domain-Specific Languages Macros For Domain-Specific Languages Macros for Domain-Specific Languages Adding Interactive Visual Syntax to Textual Code Adding Interactive Visual Syntax to Textual Code
Yu FengFeng, Yu University of California, Santa BarbaraChina Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of 9 (part of SAS) Committee Member in Program Committee within the SAS-track
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Committee Member in Program Committee within the NSAD-track
Francisco FerreiraFerreira, Francisco Imperial College London Session Chair of F-3B (part of SPLASH OOPSLA) Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols
John FeserFeser, John Massachusetts Institute of Technology Deductive Optimization of Relational Data Storage
Ismael FigueroaFigueroa, Ismael University of ValparaísoChile Interfaces for Modular Reasoning in Context-Oriented Programming Committee Member in Program Committee within the COP-track
Stephen J FinkFink, Stephen J FacebookUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Nicholas FiremanFireman, Nicholas Oakland University Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
Emily FirstFirst, Emily University of Massachusetts at Amherst TacTok: Semantics-Aware Proof Synthesis
Bernd FischerFischer, Bernd Stellenbosch University, South AfricaSouth Africa Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers An Interactive Feedback System for Grammar Development (Tool Paper) Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
Keno FischerFischer, Keno Julia ComputingUnited States Non-local compiler transformations in the presence of dynamic dispatch
Yannic FischlerFischler, Yannic TU Darmstadt MetaCG: Annotated call-graphs to facilitate whole-program analysis
Jennifer FishFish, Jennifer Carnegie Mellon University A Case Study in Language-Based Security: Building an I/O Library for Wyvern A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Kathi FislerFisler, Kathi Brown University Committee Member in Steering Committee within the SPLASH -E-track
Cormac FlanaganFlanagan, Cormac University of California at Santa Cruz The Anchor Verifier for Blocking and Non-blocking Concurrent Software The Anchor Verifier for Blocking and Non-Blocking Concurrent Software
Matthew FlattFlatt, Matthew University of Utah, USA Session Chair of 2 (part of SAS) Session Chair of 2 (part of SAS) Racket’s Intermediate Language for Control Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the GPCE-track Program Chair in Program Committee within the DLS-track
Shaked FlurFlur, Shaked Google Research Towards making formal methods normal: meeting developers where they are
Olivier FlückigerFlückiger, Olivier Northeastern University Session Chair of T-6B (part of SPLASH OOPSLA) Session Chair of S-6 (part of ECOOP Research Papers) Sampling Optimized Code for Type Feedback Contextual Dispatch for Function Specialization Contextual Dispatch for Function Specialization Committee Member in Program Committee within the ECOOP Research Papers-track
Niklas ForsFors, Niklas Lund University Principles and Patterns of JastAdd-Style Reference Attribute Grammars
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Sound, Heuristic Type Annotation Inference for Ruby
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Model-View-Update-Communicate: Session Types meet the Elm Architecture Model-View-Update-Communicate: Session Types meet the Elm Architecture PC Member in Programme Committee within the LIVE-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications Committee Member in Review Committee within the SPLASH OOPSLA-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Organizing Committee within the VORTEX-track
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Implementation of SHAPES case studies Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape your layouts, not your programs: A safe language extension for better cache locality Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality PC Member in Programme Committee within the LIVE-track Organizer in Organizing Committee within the SOOP-track Committee Member in Program Committee within the AGERE-track Committee Member in Program Committee within the IWACO-track
Steven D. FraserFraser, Steven D. Session Chair of Panel: Engineering for Chaos -- Lessons Learned from COVID-19 (part of SPLASH -E)
Vanessa FreudenbergFreudenberg, Vanessa Croquet CorpUnited States Croquet: A Unique Collaboration Architecture (Keynote)
Stephen N. FreundFreund, Stephen N. Williams College The Anchor Verifier for Blocking and Non-blocking Concurrent Software The Anchor Verifier for Blocking and Non-Blocking Concurrent Software
Lars FritscheFritsche, Lars TU Darmstadt, Germany A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Florian FrohnFrohn, Florian Max Planck Institute for InformaticsGermany Termination of Polynomial Loops
Zhoulai FuFu, Zhoulai IT University of Copenhagen, Denmark Committee Member in Program Committee within the NSAD-track
Lidia FuentesFuentes, Lidia Universidad de Málaga, SpainSpain Committee Member in Program Committee within the ECOOP Research Papers-track
Hiroaki FukudaFukuda, Hiroaki Shibaura Institute of Technology Committee Member in Program Committee within the COP-track
Juan FumeroFumero, Juan University of Manchester, UKUnited Kingdom Session Chair of Invited Talk - JitBuilder 2.0 (part of VMIL) Session Chair of Invited Talk + Paper (part of VMIL) Committee Member in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track
G Roi GabayGabay, Roi Technion Programming with a Read-Eval-Synth Loop Programming with a Read-Eval-Synth Loop
Julia GabetGabet, Julia Imperial College London Static Race Detection and Mutex Safety and Liveness for Go Programs Static Race Detection and Mutex Safety and Liveness for Go Programs Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) Static Race Detection and Mutex Safety and Liveness for Go Programs
Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Carlos GalindoGalindo, Carlos Program Slicing with Exception Handling Data Dependence for Object-Oriented Programs
Anshula GandhiGandhi, Anshula Lightening the Cognitive Load of Shell Programming
Ishaan GandhiGandhi, Ishaan Lightening the Cognitive Load of Shell Programming
Fengjuan GaoGao, Fengjuan Nanjing University Learning Semantic Program Embeddings with Graph Interval Neural Network Learning Semantic Program Embeddings with Graph Interval Neural Network
Xiang GaoGao, Xiang National University of Singapore Feedback-Driven Semi-supervised Synthesis of Program Transformations
Antonio Garcia-DominguezGarcia-Dominguez, Antonio Aston UniversityUnited Kingdom Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications Data Consistency in Transactional Storage Systems: A Centralised Semantics Gillian: a Multi-language Platform for Compositional Symbolic Analysis
Isaac Oscar GarianoGariano, Isaac Oscar Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Christophe GarionGarion, Christophe ISAE-SUPAEROFrance Abstract Domains for Constraint Programming with Differential Equations
Antonio GarmendiaGarmendia, Antonio JKU LinzAustria Automated Variability Injection for Graphical Modelling Languages
Ivan GavranGavran, Ivan MPI-SWS Interactive Synthesis of Temporal Specifications from Examples and Natural Language Interactive Synthesis of Temporal Specifications from Examples and Natural Language Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Break: Ask Me Anything Committee Member in Program Committee within the LPOP-track
Timon GehrGehr, Timon ETH Zurich, Switzerland Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Dietrich GeislerGeisler, Dietrich Cornell University Online Verification of Commutativity Geometry Types for Graphics Programming Geometry Types for Graphics Programming Geometry Types for Graphics Programming
Jack GelinasGelinas, Jack Northeastern University World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Samir GenaimGenaim, Samir Universidad Complutense de MadridSpain Session Chair of 8 (part of SAS) Committee Member in Program Committee within the SAS-track
Kaan GençGenç, Kaan Ohio State University, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aina Linn GeorgesGeorges, Aina Linn Aarhus University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eduardo GeraldoGeraldo, Eduardo Gradual Value-Dependent Information Flow Control [SPLASH DS]
Pritam GharatGharat, Pritam Committee Member in Artifact Evaluation Committee within the SAS-track
Khalil GhorbalGhorbal, Khalil Inria, FranceFrance Session Chair of Invited Talk (part of NSAD) Session Chair of Papers (part of NSAD) Co-chair in Organizing Committee within the NSAD-track
Ritwika GhoshGhosh, Ritwika University of Illinois at Urbana-Champaign Koord: A Language for Programming and Verifying Distributed Robotics Application
Razan GhzouliGhzouli, Razan Chalmers University of Technology & University of GothenburgSweden Behavior Trees in Action: A Study of Robotics Applications
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Formal framework for reasoning about the precision of dynamic analysis
Paolo G. GiarrussoGiarrusso, Paolo G. Delft University of Technology A Type-and-Effect System for Object Initialization A Type-and-Effect System for Object Initialization
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Session Chair of S-5 (part of ECOOP Research Papers) Session Chair of S-6 (part of ECOOP Research Papers) Committee Member in External Review Committee within the ECOOP Research Papers-track
Jürgen GieslGiesl, Jürgen RWTH Aachen UniversityGermany Termination of Polynomial Loops
Elena GlassmanGlassman, Elena Harvard UniversityUnited States Welcome to PLATEAU! PL and HCI: Better Together Committee Member in Program Committee within the HATRA-track Committee Member in Organizing Committee within the PLATEAU-track
Milos GligoricGligoric, Milos University of Texas at Austin Unifying Execution of Imperative Generators and Declarative Specifications Unifying Execution of Imperative Generators and Declarative Specifications Committee Member in Program Committee within the SySEPL-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE-track
Aman GoelGoel, Aman University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aviral GoelGoel, Aviral Northeastern University Session Chair of F-2A (part of SPLASH OOPSLA) Session Chair of F-4B (part of SPLASH OOPSLA) Session Chair of F-5B (part of SPLASH OOPSLA) Session Chair of F-1B (part of SPLASH OOPSLA) Designing Types for R, Empirically Designing Types for R, Empirically Co-chair in REBASE Berlin within the SPLASH REBASE-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anirüddhā GokhāléGokhālé, Anirüddhā Vanderbilt University Committee Member in Program Committee within the GPCE-track
Anitha GollamudiGollamudi, Anitha Harvard University Session Chair of R-5 (part of SPLASH OOPSLA) Session Chair of W-6 (part of SPLASH OOPSLA) Session Chair of S-3 (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Hongpu GongGong, Hongpu Static Analysis for Safer Notebook Interactions
Kai GongGong, Kai Alibaba Group Hidden Inheritance: An Inline Caching Design for TypeScript Performance Hidden Inheritance: An Inline Caching Design for TypeScript Performance
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Proving array properties using data abstraction
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Steering Committee for SPLASH 2020 Session Chair of S-3 (part of ECOOP Research Papers) Session Chair of S-4 (part of ECOOP Research Papers) Framework-Aware Debugging with Stack Tailoring Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
April GonçalvesGonçalves, April Metastate AGDenmark Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers PC Member in Programme Committee within the LIVE-track
Colin GordonGordon, Colin Drexel UniversityUnited States Artifact Evaluation Chair in Organizing Committee for SPLASH 2020 Designing with Static Capabilities and Effects Lifting Sequential Effects to Control Operators Artifact Evaluation Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the AGERE-track
Jacob GorenburgGorenburg, Jacob Haverford College Design and Implementation of a Gradual Verifier
Maria I. GorinovaGorinova, Maria I. The University of EdinburghUnited Kingdom Probabilistic Programming: The What, Why and How
Hamed GorjiaraGorjiara, Hamed University of California at Irvine SATUNE: Synthesizing Efficient SAT Encoders Satune: Synthesizing Efficient SAT Encoders
Jeff GrayGray, Jeff University of Alabama Session Chair of (part of GPCE) Session Chair of (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) PC Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Neville GrechGrech, Neville University of MaltaMalta Workshops Co-Chair in Organizing Committee for SPLASH 2020 Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs Precise Static Modeling of Ethereum ``Memory'' Precise Static Modeling of Ethereum “Memory” Committee Member in Organizing Committee within the SPLASH Workshops-track
Michael GreenbergGreenberg, Michael Pomona College Formulog: Datalog for SMT-Based Static Analysis Formulog: Datalog for SMT-based Static Analysis Formulog: Datalog for SMT-Based Static Analysis
Erin Greenwood-ThessmanGreenwood-Thessman, Erin Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Clemens GrelckGrelck, Clemens University of AmsterdamNetherlands PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Robert GriesemerGriesemer, Robert Google Featherweight Go Featherweight Go
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Steering Committee Member in Steering Commitee within the FTfJP-track
Robert GrimmGrimm, Robert United States Technology Today: A Paucity of Integrity and Imagination
Tobias GrosserGrosser, Tobias University of Edinburgh Fast Linear Programming through Transprecision Computing on Small and Sparse Data Mentor in Mentors within the SPLASH PLMW-track
Dan GrossmanGrossman, Dan University of Washington, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Shelly GrossmanGrossman, Shelly Tel Aviv University Taming Callbacks for Smart Contract Modularity
David GroveGrove, David IBM ResearchUnited States OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Session Chair of F-5A (part of SPLASH OOPSLA) Session Chair of M-6 (part of SPLASH OOPSLA) Session Chair of R (part of SPLASH Keynotes) Session Chair of R (part of SPLASH Keynotes) Awards Session Opening Session Chair in Review Committee within the SPLASH OOPSLA-track
Felix GrundGrund, Felix University of British Columbia How student avatars can contribute to a more social environment in online courses
Esther GuerraGuerra, Esther Autonomous University of Madrid Automated Variability Injection for Graphical Modelling Languages
Arjun GuhaGuha, Arjun University of Massachusetts at Amherst Wasm/k: Delimited Continuations for WebAssembly TacTok: Semantics-Aware Proof Synthesis Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Commitee within the SPLASH -E-track
Sumit GulwaniGulwani, Sumit Microsoft Structure Interpretation of Text Formats Feedback-Driven Semi-supervised Synthesis of Program Transformations
Elsa GunterGunter, Elsa University of IllinoisUnited States K-LLVM: A Relatively Complete Semantics of LLVM IR
Philip GuoGuo, Philip University of California San Diego The Essence of Program Semantics Visualizers: A Three-Axis Model Data Theater: A Live Programming Environment for Prototyping Data-Driven Explorable Explanations
Shengjian GuoGuo, Shengjian Baidu Security Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Zheng GuoGuo, Zheng University of California, San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell Digging for Fold: Synthesis-Aided API Discovery for Haskell
Zheng GuoGuo, Zheng University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Gopal GuptaGupta, Gopal Break: Ask Me Anything
Shubhani GuptaGupta, Shubhani IIT Delhi Counterexample-Guided Correlation Algorithm for Translation Validation Counterexample-Guided Correlation Algorithm for Translation Validation
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the SAS-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tudor GîrbaGîrba, Tudor CompuGroup Medical Schweiz AG Committee Member in Program Committee within the SPLASH Onward! Papers-track
Alejandro Gómez-LondoñoGómez-Londoño, Alejandro Chalmers University of Technology Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
Elena Gómez-MartínezGómez-Martínez, Elena Autonomous University of Madrid Automated Variability Injection for Graphical Modelling Languages
H Andreas HaeberlenHaeberlen, Andreas University of Pennsylvania Testing Differential Privacy with Dual Interpreters Testing Differential Privacy with Dual Interpreters
Seyed Hossein HaeriHaeri, Seyed Hossein Université Catholique de Louvain Committee Member in Program Committee within the LPOP-track
Jürgen HahnHahn, Jürgen University of RegensburgGermany Sketchable Interaction - End-User Customization via Interactive Regions
Jakob HainHain, Jakob Northeastern University Contextual Dispatch for Function Specialization Contextual Dispatch for Function Specialization
Braxton HallHall, Braxton Group Harmony Visualisation At Scale
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Drew HamiltonHamilton, Drew Mississippi State University, CCI Committee Member in Program Committee within the HILT-track
Christian HammerHammer, Christian University of PotsdamGermany General Chair in Organizing Committee for ECOOP 2020 Opening Session Committee Member in Program Committee within the ECOOP Research Papers-track
Jitao HanHan, Jitao Tsinghua University Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
Yu HaoHao, Yu Ohio State University Differentially-Private Software Frequency Profiling under Linear Constraints
Ben HardekopfHardekopf, Ben UC Santa Barbara Committee Member in External Review Committee within the SPLASH OOPSLA-track
Marcel HarkHark, Marcel RWTH Aachen University, Germany Termination of Polynomial Loops
Bjoern HartmannHartmann, Bjoern UC Berkeley Opportunities and Challenges for Circuit Board Level Hardware Description Languages
Gautier HattenbergerHattenberger, Gautier ENACFrance Paparazzi, an open source UAV for research
Timothée HaudebourgHaudebourg, Timothée ENS RennesFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Matthias HauswirthHauswirth, Matthias Università della Svizzera italianaSwitzerland Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of Slot 2 (part of SPLASH Doctoral Symposium) Closing Introduction and Welcome from the Organizers Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Byron HawkinsHawkins, Byron INRIA RennesFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Fei HeHe, Fei Tsinghua University Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules Incremental Predicate Analysis for Regression Verification Incremental Predicate Analysis for Regression Verification
Horace HeHe, Horace Cornell University Geometry Types for Graphics Programming Geometry Types for Graphics Programming Geometry Types for Graphics Programming
Paul HeHe, Paul University of PennsylvaniaUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Pinjia HeHe, Pinjia ETH Zurich, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Andrew HeadHead, Andrew UC Berkeley Static Analysis for Safer Notebook Interactions
Görel HedinHedin, Görel Lund University Principles and Patterns of JastAdd-Style Reference Attribute Grammars Committee Member in Program Committee within the SLE-track
Brian HempelHempel, Brian University of Chicago Session Chair of Full Talks I (part of LIVE) ManipML: Towards Bimodal Tangible Functional Programming Co-chair in Organising Committee within the LIVE-track
Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the TAPAS-track
Paula HerberHerber, Paula University of Munster, GermanyGermany Programme Committee in Program Committee within the FTfJP-track
Jonas HeringHering, Jonas Hasso Plattner Institute, University of Potsdam Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM
Yann HerklotzHerklotz, Yann Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maurice HerlihyHerlihy, Maurice Brown UniversityUnited States Speculation in Smart Contracts
Ben HermannHermann, Ben Technical University DortmundGermany Self-Marketing as a Researcher [Invited Talk] Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Felienne HermansHermans, Felienne Leiden UniversityNetherlands Committee Member in Program Committee within the ECOOP Research Papers-track PC Member in Programme Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Manuel HermenegildoHermenegildo, Manuel IMDEA Software Institute and T.U. of MadridSpain Break: Ask Me Anything Cost Analysis of Smart Contracts via Parametric Resource Analysis Invited Speaker in Invited Speakers within the SAS-track Committee Member in Program Committee within the LPOP-track
Michael HicksHicks, Michael University of Maryland at College Park Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Hans-Dieter HiepHiep, Hans-Dieter History-based Specification and Verification of Java Collections in KeY
Raphael HiesgenHiesgen, Raphael HAW HamburgGermany Revisiting the Network Stack in CAF Committee Member in Program Committee within the AGERE-track
Daniel HinesHines, Daniel Flamingo, a Compiler and Runtime for Reactive ALM Systems Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Program Chair in Organizing Committee for ECOOP 2020 Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations SqueakLive Polyglot Programming Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM Opening Session Chair in Program Committee within the ECOOP Research Papers-track Chair in External Review Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Python 3 Types in the Wild: A Tale of Two Type Systems
Kenji HisazumiHisazumi, Kenji Kyushu University PLAM: Preemptive Layer Activation Architecture based on Multi- threading in Context-Oriented Programming
Torsten HoeflerHoefler, Torsten ETH Zurich Assertion-Based Optimization of Quantum Programs
Torsten HoeflerHoefler, Torsten ETH Zurich Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Megan HofmannHofmann, Megan Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
David HollandHolland, David Harvard University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Reid HolmesHolmes, Reid University of British ColumbiaCanada Nudging Student Learning Strategies Using Formative Feedback in Automatically Graded Assessments
Jesper HolstHolst, Jesper Sky-Watch PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Steven HoltzenHoltzen, Steven University of California at Los Angeles Scaling Exact Inference for Discrete Probabilistic Programs Scaling Exact Inference for Discrete Probabilistic Programs Scaling Exact Inference for Discrete Probabilistic Programs
Lukáš HolíkHolík, Lukáš Brno University of Technology Regex Matching with Counting-Set Automata Regex Matching with Counting-Set Automata
Michael HomerHomer, Michael Victoria University of Wellington Session Chair of 3 (part of SAS) Session Chair of 3 (part of SAS) Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom Committee Member in Program Committee within the DLS-track
Changwan HongHong, Changwan Massachusetts Institute of Technology A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Tony HoskingHosking, Tony Australian National University / Data61Australia Committee Member in Steering Committee for SPLASH 2020 Committee Member in Steering Committee within the VMIL-track Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committee within the ICOOOLPS-track
Kate HowlandHowland, Kate University of Sussex PC Member in Programme Committee within the LIVE-track
Chiao HsiehHsieh, Chiao University of Illinois at Urbana-Champaign Koord: A Language for Programming and Verifying Distributed Robotics Application
Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States Session Chair of W-4 (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Raymond HuHu, Raymond University of Hertfordshire Featherweight Go Featherweight Go Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols
Zhenjiang HuHu, Zhenjiang Peking University Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
Jeff HuangHuang, Jeff Texas A&M University Committee Member in Review Committee within the SPLASH OOPSLA-track
Jian HuangHuang, Jian University of Illinois at Urbana-Champaign WATCHER: In-Situ Failure Diagnosis
Vivian HuangHuang, Vivian Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Xuejing HuangHuang, Xuejing The University of Hong Kong A Type-Directed Operational Semantics for a Calculus with a Merge Operator A Type-Directed Operational Semantics for a Calculus with a Merge Operator A Type-Directed Operational Semantics for a Calculus with a Merge Operator A Type-Directed Operational Semantics for a Calculus with a Merge Operator
Jacob HughesHughes, Jacob King's College London Student Volunteer Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in Committee within the ECOOP Student Volunteers-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Session Chair of R-3 (part of SPLASH OOPSLA) Towards Verified Construction of Correct and Optimised GPU Software Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christian HumerHumer, Christian Oracle LabsSwitzerland Towards the tower of Babel: a Polyglot Language VM in Java
Christopher HundhausenHundhausen, Christopher Washington State University PC Member in Programme Committee within the LIVE-track
Antti HyvärinenHyvärinen, Antti Farkas-Based Tree Interpolation
Thomas HänerHäner, Thomas Microsoft Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Thomas HänerHäner, Thomas ETH Zurich Assertion-Based Optimization of Quantum Programs
Alexander HückHück, Alexander Institute for Scientific Computing, TU Darmstadt MetaCG: Annotated call-graphs to facilitate whole-program analysis
I Abdulhakeem IbrahimIbrahim, Abdulhakeem University of LeicesterUnited Kingdom Committee Member in Artifact Evaluation Committee within the SLE-track
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Session Chair of F-2A (part of SPLASH OOPSLA) Session Chair of S-3 (part of ECOOP Research Papers) Session Chair of S-2 (part of ECOOP Research Papers) Session Chair of S-4 (part of ECOOP Research Papers) Space-Efficient Gradual Typing in Coercion-Passing Style Committee Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Hugo IllousIllous, Hugo CEA & INRIA / ENS ParisFrance Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Keigo ImaiImai, Keigo Gifu University Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators
Dan IorgaIorga, Dan Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Md Johirul IslamIslam, Md Johirul Iowa State UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Shachar ItzhakyItzhaky, Shachar Technion Programming with a Read-Eval-Synth Loop Programming with a Read-Eval-Synth Loop
Naoki IwayamaIwayama, Naoki University of Tokyo, Japan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Yusuke IzawaIzawa, Yusuke Tokyo Institute of TechnologyJapan Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework Toward a Multi-Language and Multi-Environment Framework for Live Programming Co-reviewer in Program Committee within the SPLASH Onward! Essays-track
Anastasiia IzychevaIzycheva, Anastasiia Technical University of MunichGermany Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
J Daniel JacksonJackson, Daniel MIT End-User Software Customization by Direct Manipulation of Tabular Data Demystifying Dependence Demystifying Dependence
Dejice JacobJacob, Dejice University of Glasgow, UKUnited Kingdom Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Maxime JacqueminJacquemin, Maxime CEA LIST, FranceFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Joxan JaffarJaffar, Joxan National University of Singapore Inter-theory Dependency Analysis for SMT String Solvers Inter-Theory Dependency Analysis for SMT String Solvers
Radha JagadeesanJagadeesan, Radha DePaul University Pomsets with Preconditions: A Simple Model of Relaxed Memory
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Committee Member in Program Committee within the SAS-track
Anirudh JainJain, Anirudh Georgia Institute of Technology Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Michael B. JamesJames, Michael B. University of California at San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell Digging for Fold: Synthesis-Aided API Discovery for Haskell
Abhinav JangdaJangda, Abhinav University of Massachusetts Amherst Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ali JannesariJannesari, Ali Iowa State UniversityUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Organizing Committee within the SPLASH Workshops-track
Pierre JeanjeanJeanjean, Pierre Inria, Univ Rennes, CNRS, IRISA A principled approach to REPL interpreters
Nicolas JeannerodJeannerod, Nicolas IRIF, Université de ParisFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Alan JeffreyJeffrey, Alan Mozilla Research Pomsets with Preconditions: A Simple Model of Relaxed Memory PC Member in Program Committee within the REBLS-track
Thomas P. JensenJensen, Thomas P. INRIA Rennes Numeric Domains Meet Algebraic Data Types
Minseok JeonJeon, Minseok Korea University Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
Johan JeuringJeuring, Johan Open University of the Netherlands, Netherlands Model-Driven Synthesis for Programming Tutors
Jan JečmenJečmen, Jan Czech Technical University Contextual Dispatch for Function Specialization Contextual Dispatch for Function Specialization
Ranjit JhalaJhala, Ranjit University of California at San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell Digging for Fold: Synthesis-Aided API Discovery for Haskell
Ruyi JiJi, Ruyi Peking University Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
Limin JiaJia, Limin Carnegie Mellon University Towards a Formal Foundation of Intermittent Computing Towards a Formal Foundation of Intermittent Computing
Siyue JinJin, Siyue Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Yihua JinJin, Yihua Alibaba Group Hidden Inheritance: An Inline Caching Design for TypeScript Performance Hidden Inheritance: An Inline Caching Design for TypeScript Performance
Brittany JohnsonJohnson, Brittany George Mason UniversityUnited States Towards Building Ethically-Sound Data-Driven Software
Chris JohnsonJohnson, Chris James Madison University Direct Manipulation for Computational Making
Maritza JohnsonJohnson, Maritza Google Research Towards making formal methods normal: meeting developers where they are
Matthew J. JohnsonJohnson, Matthew J. Google BrainUnited States JAX: accelerated machine learning research via composable function transformations in Python
Steven JohnsonJohnson, Steven Google Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
Reese JonesJones, Reese Salsa: Static Analysis of Serialization Features
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands Discourje: Runtime Verification of Communication Protocols in Clojure
Eunice JunJun, Eunice The Essence of Program Semantics Visualizers: A Three-Axis Model
Ralf JungJung, Ralf MPI-SWSGermany Committee Member in Program Committee within the IWACO-track
Tina JungJung, Tina Saarland Informatics Campus, Saarland UniversityGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Jaakko JärviJärvi, Jaakko University of TurkuNorway Manipulating GUI Structures Declaratively
Ole JørgensenJørgensen, Ole Sky-Watch PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
K Ifaz KabirKabir, Ifaz University of Alberta Session Chair of M-6 (part of SPLASH OOPSLA) Toward a Simpler Syntactic Soundness for DOT (Student Talk) ιDOT: A DOT Calculus with Object Initialization ιDOT: A DOT Calculus with Object Initialization
Aditi KabraKabra, Aditi Carnegie Mellon University Online Verification of Commutativity Geometry Types for Graphics Programming Geometry Types for Graphics Programming Geometry Types for Graphics Programming
Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Konstantinos KallasKallas, Konstantinos University of Pennsylvania Session Chair of T-6A (part of SPLASH OOPSLA) DiffStream: Differential Output Testing for Stream Processing Programs DiffStream: Differential Output Testing for Stream Processing Programs
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Reorganizing Queries with Grouping
Shoaib KamilKamil, Shoaib Adobe Research Verifying and Improving Halide’s Term Rewriting System with Program Synthesis A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Managing Persistent Signals using Signal Classes Committee Member in Program Committee within the COP-track PC Member in Program Committee within the REBLS-track
Eunsuk KangKang, Eunsuk Carnegie Mellon University, USAUnited States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Pranav KantKant, Pranav University of Utah Session Chair of F-2A (part of SPLASH OOPSLA) Session Chair of R-3 (part of SPLASH OOPSLA) Dataflow-Based Pruning for Speeding up Superoptimization
Georgios KarachaliasKarachalias, Georgios Tweag Resolution as Intersection Subtyping via Modus Ponens Resolution as Intersection Subtyping via Modus Ponens Resolution as Intersection Subtyping via Modus Ponens
aartis kashapkashap, aartis Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Vineeth KashyapKashyap, Vineeth GrammaTech, Inc.India API Analytics for Curating Static Analysis Rules
John KassieKassie, John Rockwell Collins Committee Member in Program Committee within the HILT-track
Kuba KaszykKaszyk, Kuba University of Edinburgh DelayRepay: Delayed Execution for Kernel Fusion in Python
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology, JapanJapan PC Member in Programme Committee within the LIVE-track
Milod KazerounianKazerounian, Milod University of Maryland, College ParkUnited States Sound, Heuristic Type Annotation Inference for Ruby
Stephen KellKell, Stephen University of Kent Onward! Papers Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Session Chair of T-3-Onward (part of SPLASH Onward! Papers) Session Chair of F (part of SPLASH Keynotes) Session Chair of F (part of SPLASH Keynotes) Session Chair of T-5-Onward (part of SPLASH Onward! Essays) Session Chair of T-5-Onward (part of SPLASH Onward! Essays) Type checking beyond type checkers, via Slice & Run Committee Member in Steering Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track PC Chair in Program Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Mary Beth KeryKery, Mary Beth Carnegie Mellon University Liveliness, Reactivity, and Interactivity in the Future of Notebook Programming
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Iowa State UniversityUnited States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2020 Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Raffi KhatchadourianKhatchadourian, Raffi City University of New York Session Chair of T-5 (part of SPLASH OOPSLA) Session Chair of M-6B (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences Committee Member in Program Committee within the ECOOP Research Papers-track
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at Austin Unifying Execution of Imperative Generators and Declarative Specifications Unifying Execution of Imperative Generators and Declarative Specifications
Artem KhyzhaKhyzha, Artem Tel Aviv University Proving Highly-Concurrent Traversals Correct
Mijung KimKim, Mijung Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alexis KingKing, Alexis Northwestern University Macros For Domain-Specific Languages Macros For Domain-Specific Languages Macros for Domain-Specific Languages
Jake KirkhamKirkham, Jake Princeton University Foundations of Empirical Memory Consistency Testing
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the Scala-track
Fredrik KjolstadKjolstad, Fredrik Stanford University A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Brian KleinkeKleinke, Brian LeidosUnited States Challenges and lessons learned introducing Fuse, an evolving open source technology, into an established legacy Ada and C++ program
Michael KlemmKlemm, Michael OpenMP ARBGermany Monday Keynote: What's new with the OpenMP API Version 5.1 Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors Committee Member in Program Committee within the HILT-track
Tobias KlenzeKlenze, Tobias ETH Zurich Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Martin KleppmannKleppmann, Martin University of CambridgeUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Sander KlousKlous, Sander University of Amsterdam Run, Agent, Run; Architecture and Benchmark of Actor-based Agents
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Tobias KohnKohn, Tobias University of Cambridge, UKUnited Kingdom Dynamic Pattern Matching with Python
Wen KokkeKokke, Wen University of Edinburgh Featherweight Go Featherweight Go PC Member in Programme Committee within the LIVE-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sophia KolakKolak, Sophia Columbia University/Carnegie Mellon UniversityUnited States Detecting Performance Patterns with Deep Learning
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program Committee within the SLE-track
Lingkun KongKong, Lingkun Rice University StreamQL: A Query Language for Processing Streaming Time Series StreamQL: A Query Language for Processing Streaming Time Series StreamQL: A Query Language for Processing Streaming Time Series
Sung Kook KimKook Kim, Sung University of California, DavisUnited States Memory-Efficient Fixpoint Computation
James KoppelKoppel, James MIT Demystifying Dependence Demystifying Dependence Mentor in Mentors within the SPLASH PLMW-track
Jens KosiolKosiol, Jens University of Marburg, Germany A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Eric KoskinenKoskinen, Eric Stevens Institute of Technology Session Chair of W-4 (part of SPLASH OOPSLA) DynamiTe: Dynamic Termination and Non-termination Proofs Mentor in Mentors within the SPLASH PLMW-track
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Committee Member in Program Committee within the HILT-track Programme Committee in Program Committee within the FTfJP-track
Lucja KotKot, Lucja API Analytics for Curating Static Analysis Rules
Robert KowalskiKowalski, Robert Logical English Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
Lucas KramerKramer, Lucas University of MinnesotaUnited States Strategic Tree Rewriting in Attribute Grammars
Robbert KrebbersKrebbers, Robbert Radboud University Nijmegen Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Knowing When to Ask: Artifact
Max KriegerKrieger, Max User-Centered Programming Language Design: A Course-Based Case Study
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States Poster Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Poster Co-Chair in Organizing Committee within the SPLASH Posters-track Committee Member in Program Committee within the SAS-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Committee Member in Program Committee within the HATRA-track Committee Member in Program Committe within the SPLASH CARES-track
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Session Chair of (part of SLE) Session Chair of (part of SLE) Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committee within the SLE-track
Neel KrishnaswamiKrishnaswami, Neel Computer Laboratory, University of Cambridge Committee Member in Program Committee within the HATRA-track Committee Member in Program Committee within the IWACO-track
Rebecca KrosnickKrosnick, Rebecca University of MichiganUnited States Toward Providing Live Feedback in Web Automation IDEs
Srđan KrstićKrstić, Srđan ETH ZürichSwitzerland Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michael KruseKruse, Michael Argonne National Laboratory Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Sebastián KrynskiKrynski, Sebastián Czech Technical University, National University of Quilmes Sampling Optimized Code for Type Feedback
Stefan KrügerKrüger, Stefan Paderborn UniversityGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Thomas KuehneKuehne, Thomas Victoria University of Wellington Committee Member in Program Committee within the SLE-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu MPI-SWS Session Chair of T-5 (part of SPLASH OOPSLA) Session Chair of T-3 (part of SPLASH OOPSLA) Testing Consensus Implementations using Communication Closure Committee Member in External Review Committee within the SPLASH OOPSLA-track
Aayan KumarKumar, Aayan Microsoft ResearchIndia Shiftry: RNN Inference in 2KB of RAM
Aditya KumarKumar, Aditya Facebook, Inc.United States Mentor in Mentors within the SPLASH PLMW-track
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the Scala-track
Lindsey KuperKuper, Lindsey University of California at Santa Cruz Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Yonghwi KwonKwon, Yonghwi University of VirginiaUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mirko KöhlerKöhler, Mirko TU Darmstadt ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming Rethinking Safe Consistency in Distributed Object-Oriented Programming
Bastian KönigKönig, Bastian Hasso Plattner Institute, University of Potsdam Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM
Filip KřikavaKřikava, Filip Czech Technical University Session Chair of W-5 (part of SPLASH OOPSLA) Designing Types for R, Empirically Designing Types for R, Empirically Co-chair in REBASE Berlin within the SPLASH REBASE-track
L Shadaj LaddadLaddad, Shadaj University of California at Berkeley ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types
Ralf LaemmelLaemmel, Ralf Facebook London Session Chair of (part of SLE) Session Chair of (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) General Chair in Organizing Committee within the SLE-track
Sifis LagouvardosLagouvardos, Sifis University of Athens Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs Precise Static Modeling of Ethereum ``Memory'' Precise Static Modeling of Ethereum “Memory”
Ori LahavLahav, Ori Tel Aviv University Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86
Akash LalLal, Akash Microsoft Research Learning-Based Controlled Concurrency Testing Learning-based Controlled Concurrency Testing
Patrick LamLam, Patrick University of Waterloo Session Chair of W-1 (part of SPLASH OOPSLA) Session Chair of M-6 (part of SPLASH OOPSLA) Putting the Semantics into Semantic Versioning Committee Member in Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH PLMW-track
Wing LamLam, Wing University of Illinois at Urbana-Champaign A Large-Scale Longitudinal Study of Flaky Tests Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Leslie LamportLamport, Leslie Microsoft ResearchUnited States Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Session Chair of M-5 (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Julien LangeLange, Julien Royal Holloway University of London Session Chair of F-5B (part of SPLASH OOPSLA) Session Chair of T-4 (part of SPLASH OOPSLA) Featherweight Go Featherweight Go
Sufian LatifLatif, Sufian Ohio State University Differentially-Private Software Frequency Profiling under Linear Constraints
Sam LauLau, Sam University of California San DiegoUnited States Data Theater: A Live Programming Environment for Prototyping Data-Driven Explorable Explanations
Ben LaurieLaurie, Ben Google Research Towards making formal methods normal: meeting developers where they are
Julia LawallLawall, Julia Inria Committee Member in Program Committee within the GPCE-track
Ton Chanh LeLe, Ton Chanh Stevens Institute of Technology Session Chair of F-4B (part of SPLASH OOPSLA) DynamiTe: Dynamic Termination and Non-termination Proofs Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vu LeLe, Vu Microsoft Structure Interpretation of Text Formats
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Thesis design and engineering tradeoffs [Invited Talk] Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Committee Member in Program Committee within the COP-track Steering Committee Member in Steering Commitee within the FTfJP-track
Richard LeblancLeblanc, Richard Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Doris LeeLee, Doris Static Analysis for Safer Notebook Interactions
Gahwon LeeLee, Gahwon The University of Texas at Austin SASIL: A Domain-Specific Language for Simulating Declarative Specifications of Scheduling Systems
Myungho LeeLee, Myungho Korea University Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features
Woosuk LeeLee, Woosuk Hanyang University, South Korea Committee Member in Program Committee within the TAPAS-track
Paul LegerLeger, Paul Universidad Católica del Norte, ChileChile Interfaces for Modular Reasoning in Context-Oriented Programming Organizing Chair in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Jan-Patrick LehrLehr, Jan-Patrick Scientific Computing, TU DarmstadtGermany MetaCG: Annotated call-graphs to facilitate whole-program analysis
Adriaan LeijnseLeijnse, Adriaan Universidade NOVA de Lisboa An Introduction to Denotative Continuous Spacetime Programming (Work in Progress)
Matthieu LemerreLemerre, Matthieu CEA LIST, FranceFrance Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Caroline LemieuxLemieux, Caroline University of California, BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ondřej LengálLengál, Ondřej Brno University of Technology Regex Matching with Counting-Set Automata Regex Matching with Counting-Set Automata
Guilherme Vieira LeobasLeobas, Guilherme Vieira Federal University of Minas Gerais Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements
David LeopoldsederLeopoldseder, David Oracle LabsAustria Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the ICOOOLPS-track
Mohsen LesaniLesani, Mohsen University of California at Riverside, USA Session Chair of W-5 (part of SPLASH OOPSLA) Session Chair of F-5B (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Alan LeungLeung, Alan Microsoft Feedback-Driven Semi-supervised Synthesis of Program Transformations
Michael LeuschelLeuschel, Michael University of Düsseldorf Break: Ask Me Anything
Ivan LevkivskyiLevkivskyi, Ivan Dropbox Ireland Dynamic Pattern Matching with Python
Ondřej LhotákLhoták, Ondřej University of Waterloo Reference immutability for DOT Blame for Null Blame for Null Scala with Explicit Nulls Scala with Explicit Nulls A Semantics for the Essence of React ιDOT: A DOT Calculus with Object Initialization ιDOT: A DOT Calculus with Object Initialization A Type-and-Effect System for Object Initialization A Type-and-Effect System for Object Initialization Fixpoints for the Masses: Programming with First-Class Datalog Constraints Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gushu LiLi, Gushu University of California at Santa Barbara Session Chair of R-4 (part of SPLASH OOPSLA) Projection-based Runtime Assertions for Testing and Debugging Quantum Programs Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
Li LiLi, Li Monash University, AustraliaAustralia Committee Member in Program Committee within the TAPAS-track
Liyi LiLi, Liyi University of Illinois at Urbana-ChampaignChina K-LLVM: A Relatively Complete Semantics of LLVM IR
Lu LiLi, Lu Linköping University DelayRepay: Delayed Execution for Kernel Fusion in Python
Peng LiLi, Peng Baidu Security Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Yonglun LiLi, Yonglun University of Wisconsin -- Milwaukee Asynchronous Monad for Reactive IoT Programming
Yue LiLi, Yue Nanjing University, ChinaChina Committee Member in Program Committee within the TAPAS-track
Yufeng LiLi, Yufeng University of Waterloo ιDOT: A DOT Calculus with Object Initialization ιDOT: A DOT Calculus with Object Initialization
Kyle LiangLiang, Kyle Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Xiaozhou LiangLiang, Xiaozhou SUNY Binghamton, USA Adaptive Variables for Declarative UAV Planning
Bin LiaoLiao, Bin Alibaba Group Hidden Inheritance: An Inline Caching Design for TypeScript Performance Hidden Inheritance: An Inline Caching Design for TypeScript Performance
Richard LinLin, Richard University of California, Berkeley Opportunities and Challenges for Circuit Board Level Hardware Description Languages
Yun LinLin, Yun National University of Singapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations Organizing Chair in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track PC Member in Programme Committee within the LIVE-track
Geoffrey LittLitt, Geoffrey MIT End-User Software Customization by Direct Manipulation of Tabular Data
Fengyun LiuLiu, Fengyun EPFL A Type-and-Effect System for Object Initialization A Type-and-Effect System for Object Initialization Committee Member in Program Committee within the Scala-track
Hongyu LiuLiu, Hongyu Purdue University WATCHER: In-Situ Failure Diagnosis
Jiangchao LiuLiu, Jiangchao College of Computer, National University of Defense TechnologyChina Committee Member in Program Committee within the TAPAS-track
Lu-Chi LiuLiu, Lu-Chi University of Amsterdam eFLINT: A Domain-Specific Language for Executable Norm Specifications
Tongping LiuLiu, Tongping University of Massachusetts at Amherst Session Chair of F-1A (part of SPLASH OOPSLA) WATCHER: In-Situ Failure Diagnosis
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Session Chair of 10:00-- Logic in Program Specification and Analysis (part of LPOP) Session Chair of 13:05-- Logic and Implementation Tractability (part of LPOP) General Chair in General Chairs within the LPOP-track Committee Member in Program Committee within the LPOP-track
Yin LiuLiu, Yin Virginia Tech VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics
Yiyun LiuLiu, Yiyun University of Maryland at College Park Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Rebase Co-chair in Organizing Committee for SPLASH 2020 Session Chair of S-2 (part of ECOOP Research Papers) Session Chair of M-1 (part of ECOOP Research Papers) Adaptive Variables for Declarative UAV Planning Committee Member in Steering Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track Co-chair in REBASE Chicago within the SPLASH REBASE-track
Zhengyang LiuLiu, Zhengyang University of Utah Dataflow-Based Pruning for Speeding up Superoptimization Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zihan LiuLiu, Zihan PLAM: Preemptive Layer Activation Architecture based on Multi- threading in Context-Oriented Programming
Vsevolod LivinskiiLivinskii, Vsevolod University of Utah Random Testing for C and C++ Compilers with YARPGen
Jorge LoboLobo, Jorge ICREA and Universitat Pompeu Fabra Break: Ask Me Anything Committee Member in Program Committee within the LPOP-track
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee within the SAS-track
Yuheng LongLong, Yuheng Google, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Arnaud LoonstraLoonstra, Arnaud Utrecht School of the Arts, NetherlandsNetherlands Tuesday Keynote: ZeroMQ - The world-saving superhero sockets of the networking world
Crista LopesLopes, Crista University of California, Irvine Session Chair of T-3-Onward (part of SPLASH Onward! Papers) Committee Member in External Review Committee within the ECOOP Research Papers-track Irvine in Program Committee within the SPLASH Onward! Papers-track
David H. LorenzLorenz, David H. Open University and Technion IIT Committee Member in Program Committee within the COP-track
Yi LuLu, Yi Queensland University of TechnologyAustralia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Brandon LuciaLucia, Brandon Carnegie Mellon University Intermittent Computer Systems on Earth and in Space Towards a Formal Foundation of Intermittent Computing Towards a Formal Foundation of Intermittent Computing
Gongming (Gabriel) LuoLuo, Gongming (Gabriel) University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
Jeff LuoLuo, Jeff University of Waterloo Precise Inference of Expressive Units of Measurement Types
Jeff Y. LuoLuo, Jeff Y. University of Waterloo Precise Inference of Expressive Units of Measurement Types Precise Inference of Expressive Units of Measurement Types
Linghui LuoLuo, Linghui Paderborn University, Germany Organizer in Organizing Committee within the PRIDE-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
M Julian MackayMackay, Julian Victoria University of Wellington Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stephen MackeMacke, Stephen Static Analysis for Safer Notebook Interactions
Stephen MackeMacke, Stephen NBSafety: Fine-Grained Lineage for Safer Jupyter Notebooks
Sam MaddenMadden, Sam Massachusetts Institute of Technology Deductive Optimization of Relational Data Storage
Magnus MadsenMadsen, Magnus Aarhus University A Semantics for the Essence of React Fuzzing Channel-Based Concurrency Runtimes using Types and Effects Fixpoints for the Masses: Programming with First-Class Datalog Constraints Polymorphic Types and Effects with Boolean Unification Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the SySEPL-track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the GPCE-track
Rupak MajumdarMajumdar, Rupak MPI-SWS Multiparty Motion Coordination: From Choreographies to Robotics Programs Multiparty Motion Coordination: From Choreographies to Robotics Programs Interactive Synthesis of Temporal Specifications from Examples and Natural Language Interactive Synthesis of Temporal Specifications from Examples and Natural Language Testing Consensus Implementations using Communication Closure
Petar MaksimovićMaksimović, Petar Imperial College London, UK A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications
Konstantinos MamourasMamouras, Konstantinos Rice University Session Chair of M-6 (part of SPLASH OOPSLA) StreamQL: A Query Language for Processing Streaming Time Series StreamQL: A Query Language for Processing Streaming Time Series StreamQL: A Query Language for Processing Streaming Time Series
Louis MandelMandel, Louis IBM Research, USA Session Chair of F-4A (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the REBLS-track
Ravi MangalMangal, Ravi Georgia Institute of TechnologyUnited States Probabilistic Lipschitz Analysis of Neural Networks Mentor in Mentors within the SPLASH PLMW-track
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the COP-track PC Member in Programme Committee within the LIVE-track
Niccolò MarastoniMarastoni, Niccolò University of VeronaItaly Formal framework for reasoning about the precision of dynamic analysis
Alessandro MargaraMargara, Alessandro Politecnico di Milano ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming Rethinking Safe Consistency in Distributed Object-Oriented Programming
Darko MarinovMarinov, Darko University of Illinois at Urbana-Champaign A Large-Scale Longitudinal Study of Flaky Tests Committee Member in Program Committee within the SySEPL-track
Koar MarntirosianMarntirosian, Koar KU Leuven Resolution as Intersection Subtyping via Modus Ponens Resolution as Intersection Subtyping via Modus Ponens Resolution as Intersection Subtyping via Modus Ponens
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of F-3A (part of SPLASH OOPSLA) Committee Member in Steering Committee within the VMIL-track Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the DLS-track Mentor in Mentors within the SPLASH PLMW-track
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium Framework-Aware Debugging with Stack Tailoring Committee Member in Artifact Evaluation Committee within the SLE-track
Mark MarronMarron, Mark Microsoft ResearchUnited States Committee Member in Program Committee within the DLS-track
Chris MartensMartens, Chris North Carolina State UniversityUnited States Towards Solver-Aided Creativity Committee Member in Organizing Committee within the HATRA-track
Ruben MartinsMartins, Ruben Carnegie Mellon University Session Chair of F-4A (part of SPLASH OOPSLA) Program Equivalence for Assisted Grading of Functional Programs
Margaret MartonosiMartonosi, Margaret Princeton University Foundations of Empirical Memory Consistency Testing
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
Abu Naser MasudMasud, Abu Naser Malardalen University Simple and Efficient Computation of Minimal Weak Control Closure
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Steering Committee for SPLASH 2020 Session Chair of F-4A (part of SPLASH OOPSLA) Session Chair of F-3A (part of SPLASH OOPSLA) Session Chair of M-3 (part of ECOOP Research Papers) Session Chair of S-2 (part of ECOOP Research Papers) Session Chair of M-1 (part of ECOOP Research Papers) Interfaces for Modular Reasoning in Context-Oriented Programming Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework Managing Persistent Signals using Signal Classes Toward a Multi-Language and Multi-Environment Framework for Live Programming Committee Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the COP-track Committee Member in Program Committee within the COP-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Mentor in Mentors within the SPLASH PLMW-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Sergey MasyaginMasyagin, Sergey Innopolis University, Russia Software Design as Story Telling: Reflecting on the Work of Italo Calvino
Christoph MathejaMatheja, Christoph ETH Zurich How Do Programmers Use Unsafe Rust?
Umang MathurMathur, Umang University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Toni MattisMattis, Toni Hasso Plattner Institute, University of PotsdamGermany Student Volunteer Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Committee within the ECOOP Student Volunteers-track
Mikaël MayerMayer, Mikaël EPFL, Switzerland Committee Member in Program Committee within the Scala-track
Jay McCarthyMcCarthy, Jay University of Massachusetts Lowell Committee Member in Program Committee within the GPCE-track
Ian McCormackMcCormack, Ian University of Wisconsin-Eau ClaireUnited States Direct Manipulation for Computational Making A Software Library Model for the Internet of Things
Daniel McCrevanMcCrevan, Daniel Rensselaer Polytechnic Institute Python 3 Types in the Wild: A Tale of Two Type Systems
Kathryn S McKinleyMcKinley, Kathryn S Google Committee Member in Program Committe within the SPLASH CARES-track
Nenad MedvidovićMedvidović, Nenad University of Southern California, USAUnited States Committee Member in Program Committee within the SySEPL-track
Erik MeijerMeijer, Erik FacebookUnited States Inside Every Calculus Is A Little Algebra Waiting To Get Out
Darya MelicherMelicher, Darya Google A Case Study in Language-Based Security: Building an I/O Library for Wyvern A Case Study in Language-Based Security: Building an I/O Library for Wyvern
Orestis MelkonianMelkonian, Orestis Utrecht UniversityGreece Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors
David MelskiMelski, David API Analytics for Curating Static Analysis Rules
Gabriele MencagliMencagli, Gabriele University of Pisa, Italy High-Throughput Stream Processing with Actors
Charith MendisMendis, Charith MIT CSAILUnited States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the COP-track
Marjan MernikMernik, Marjan University of MariborSlovenia Session Chair of (part of GPCE) Committee Member in Program Committee within the GPCE-track
Alexander MerrittMerritt, Alexander Independent ONNX-Scala: Typeful, Functional Deep Learning / Dotty Meets an Open AI Standard (Open-Source Talk)
Giulia MeuliMeuli, Giulia EPFL Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Johannes MeyMey, Johannes Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the SLE-track
Dawn MichaelsonMichaelson, Dawn University of Minnesota Monadification of Attribute Grammars
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Python 3 Types in the Wild: A Tale of Two Type Systems FlowCFL: Generalized Type-Based R