SPLASH 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1303)

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 Why Digital Agriculture is Fertile Ground for Software Systems Research Guided Linking: Dynamic Linking without the Costs 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 Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian 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 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 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 Welcome to Scala 2020 Closing 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 Adding Interactive Visual Syntax to Textual Code Macros For Domain-Specific Languages
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) Group Harmony Visualisation At Scale Welcome Nudging Student Learning Strategies Using Formative Feedback in Automatically Graded Assessments 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 Just-in-Time Learning for Inductive Program Synthesis Just-in-Time Learning for Bottom-Up Enumerative Synthesis Feedback-Driven Semi-supervised Synthesis of Program Transformations
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!
CF Bolz-TereickBolz-Tereick, CF 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 and application to interlocked VLIW processors Certified and Efficient Instruction Scheduling
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 A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact) 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
Brandt BucherBucher, 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 UniversityCzechia 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
David Castro-PerezCastro-Perez, David Imperial College London CAMP: Cost-Aware Multiparty Session Protocols 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) Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? Logic in Program Analysis and Verification 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 A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact)
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şıl DilligDillig, Işıl 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
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Carnegie Mellon University Gradual Verification of Recursive Heap Data Structures Gradual Verification of Recursive Heap Data Structures
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 Putting Randomized Compiler Testing into Production Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer 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) Reshape your layouts, not your programs: A safe language extension for better cache locality 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 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 Reshape your layouts, not your programs: A safe language extension for better cache locality 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
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 Proving Highly-Concurrent Traversals Correct Testing Consensus Implementations using Communication Closure
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 Q FeldmanFeldman, Molly Q 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 Adding Interactive Visual Syntax to Textual Code Macros For Domain-Specific Languages Macros for Domain-Specific Languages Adding Interactive Visual Syntax to Textual Code Macros For Domain-Specific Languages
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
Jack FeserFeser, Jack 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 Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata An Interactive Feedback System for Grammar Development (Tool Paper) Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
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 Reshape your layouts, not your programs: A safe language extension for better cache locality 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 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 Data Dependence for Object-Oriented Programs Program Slicing with Exception Handling
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 ETH Zurich Assertion-Based Optimization of Quantum Programs
Thomas HänerHäner, Thomas Microsoft Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
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
Anastasia IsychevIsychev, Anastasia Technical University of MunichGermany Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis
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
J Daniel JacksonJackson, Daniel MIT Demystifying Dependence Demystifying Dependence End-User Software Customization by Direct Manipulation of Tabular Data
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 A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
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
Aarti KashyapKashyap, Aarti 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 Scala with Explicit Nulls Reference immutability for DOT Scala with Explicit Nulls Blame for Null Blame for Null A Semantics for the Essence of React ιDOT: A DOT Calculus with Object Initialization ιDOT: A DOT Calculus with Object Initialization Fixpoints for the Masses: Programming with First-Class Datalog Constraints A Type-and-Effect System for Object Initialization A Type-and-Effect System for Object Initialization 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 Fixpoints for the Masses: Programming with First-Class Datalog Constraints Fuzzing Channel-Based Concurrency Runtimes using Types and Effects 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 Testing Consensus Implementations using Communication Closure 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
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 Managing Persistent Signals using Signal Classes Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework 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 Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the ICOOOLPS-track
Alyssa MilburnMilburn, Alyssa Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Aleksandar MilicevicMilicevic, Aleksandar Microsoft Unifying Execution of Imperative Generators and Declarative Specifications Unifying Execution of Imperative Generators and Declarative Specifications
Dale MillerMiller, Dale Inria, France / École Polytechnique, FranceFrance Extrinsically Typed Operational Semantics for Functional Languages
Jimmy MillerMiller, Jimmy AdzerkUnited States Paradigms Without Progress: Kuhnian Reflections on Programming Practice
Tyler MillisMillis, Tyler MIT End-User Software Customization by Direct Manipulation of Tabular Data
Todd MillsteinMillstein, Todd University of California at Los Angeles Session Chair of T-6B (part of SPLASH OOPSLA)
Todd MillsteinMillstein, Todd University of California, Los Angeles Scaling Exact Inference for Discrete Probabilistic Programs
Todd MillsteinMillstein, Todd University of California at Los Angeles Scaling Exact Inference for Discrete Probabilistic Programs Scaling Exact Inference for Discrete Probabilistic Programs Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Anders MiltnerMiltner, Anders Princeton University, USAUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Session Chair of 4 (part of SAS) A Library Modeling Language for the Static Analysis of C Programs Static Type Analysis by Abstract Interpretation of Python Programs Static Type Analysis by Abstract Interpretation of Python Programs Committee Member in Program Committee within the SAS-track
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Salsa: Static Analysis of Serialization Features
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-Champaign Student Research Competition Co-Chair in Organizing Committee for SPLASH 2020 Koord: A Language for Programming and Verifying Distributed Robotics Application Committee Member in External Review Committee within the SPLASH OOPSLA-track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Neil MitchellMitchell, Neil Facebook Build Scripts with Perfect Dependencies
Sayan MitraMitra, Sayan University of Illinois at Urbana-Champaign Koord: A Language for Programming and Verifying Distributed Robotics Application
Dimitris MitropoulosMitropoulos, Dimitris Athens University of Economics and Business A Model for Detecting Faults in Build Specifications A Model for Detecting Faults in Build Specifications
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Committee Member in Program Committee within the Scala-track
Evgenii MoiseenkoMoiseenko, Evgenii St. Petersburg University / JetBrains Research Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Steering Committee Chair in Steering Commitee within the FTfJP-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Static Type Analysis by Abstract Interpretation of Python Programs Static Type Analysis by Abstract Interpretation of Python Programs Committee Member in Artifact Evaluation Committee within the SAS-track
David MonniauxMonniaux, David Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors Certified and efficient instruction scheduling and application to interlocked VLIW processors Certified and Efficient Instruction Scheduling
Benoît MontaguMontagu, Benoît InriaFrance Numeric Domains Meet Algebraic Data Types Committee Member in Program Committee within the NSAD-track
Raúl MontiMonti, Raúl University of Twente, The Netherlands Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
David MoonMoon, David University of Michigan PC Member in Programme Committee within the LIVE-track
Adriaan MoorsMoors, Adriaan Lightbend Committee Member in Program Committee within the Scala-track
Damien MorardMorard, Damien Functional Block Programming and Debugging
Austin MordahlMordahl, Austin The University of Texas at DallasUnited States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Adam MorrisonMorrison, Adam Tel Aviv University Proving Highly-Concurrent Traversals Correct
John Magnus MortonMorton, John Magnus University of Edinburgh DelayRepay: Delayed Execution for Kernel Fusion in Python
Martin MoryMory, Martin Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Raphael MosanerMosaner, Raphael Johannes Kepler University Linz Machine Learning to Ease Understanding of Data Driven Compiler Optimizations [SPLASH DS] Machine Learning to Ease Understanding of Data Driven Compiler Optimizations
Georg MoserMoser, Georg University of Innsbruck A Modular Cost Analysis for Probabilistic Programs
Kristýna MothejzíkováMothejzíková, Kristýna FreelancerCzechia Graphic Artist in Organizing Committee for ECOOP 2020
Jean-Marie MottuMottu, Jean-Marie Université de Nantes, LS2N, IMT Atlantique Annotating Executable DSLs with Energy Estimation Formulas
Rashmi MudduluruMudduluru, Rashmi University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the SAS-track
Hisham MuhammadMuhammad, Hisham Kong IncBrazil Committee Member in Program Committee within the SPLASH Onward! Papers-track
Manasij MukherjeeMukherjee, Manasij University of Utah Dataflow-Based Pruning for Speeding up Superoptimization
Suvam MukherjeeMukherjee, Suvam Microsoft Research Learning-based Controlled Concurrency Testing Learning-Based Controlled Concurrency Testing Committee Member in Artifact Evaluation Committee within the SAS-track
Niek MullenersMulleners, Niek Utrecht University Model-Driven Synthesis for Programming Tutors
Stefan K. MullerMuller, Stefan K. Carnegie Mellon University A Rhetorical Framework for Programming Language Evaluation Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation
Olivier MullierMullier, Olivier Abstract Domains for Constraint Programming with Differential Equations
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume InriaFrance Committee Member in Program Committee within the IWACO-track
James MunnsMunns, James Ferrous SystemsGermany Building a Culture of Safe and Performant Systems with the Rust Programming Language Tuesday Panel: Language support for parallel and distributed computing Committee Member in Program Committee within the HILT-track
Daniel-Jesus MunozMunoz, Daniel-Jesus Universidad de Málaga, SpainSpain Committee Member in Artifact Evaluation Committee within the SLE-track
Gail MurphyMurphy, Gail University of British ColumbiaCanada Committee Member in Steering Committee for SPLASH 2020
Andrew MyersMyers, Andrew Cornell University Handling Bidirectional Control Flow Handling Bidirectional Control Flow
Brad A. MyersMyers, Brad A. Carnegie Mellon University 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
Magnus O. MyreenMyreen, Magnus O. 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
Adrian MöllerMöller, Adrian TU Darmstadt, Germany A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Anders MøllerMøller, Anders Aarhus University Artifact Evaluation Chair in Organizing Committee for SPLASH 2020 Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Opening Session Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the DLS-track Artifact Evaluation Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Organizer in Organizing Committee within the JSTools-track Committee Member in Program Committee within the SAS-track
Christian MüllerMüller, Christian Technische Universität München, Saarland UniversityGermany Stratified Guarded First-order Transition Systems
Peter MüllerMüller, Peter ETH Zurich How Do Programmers Use Unsafe Rust? Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
N Nachiappan NagappanNagappan, Nachiappan Microsoft Research Feedback-Driven Semi-supervised Synthesis of Program Transformations
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Session Chair of 7 (part of SAS) Committee Member in Program Committee within the SAS-track
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software Institute Proving Highly-Concurrent Traversals Correct
Krishna NarasimhanNarasimhan, Krishna TU Darmstadt, GermanyGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Satish NarayanasamyNarayanasamy, Satish University of Michigan Sound Garbage Collection for C using Pointer Provenance
Jameson NashNash, Jameson Julia Computing World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of Technology Session Chair of T-2 (part of SPLASH OOPSLA) LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments Committee Member in Review Committee within the SPLASH OOPSLA-track
Max S. NewNew, Max S. Northeastern University Committee Member in Program Committee within the HATRA-track
Julie L. NewcombNewcomb, Julie L. University of Washington Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
Rumyana NeykovaNeykova, Rumyana Brunel University London 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 Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols
Lisa Nguyen Quang DoNguyen Quang Do, Lisa GoogleSwitzerland Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2020 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hoan Anh NguyenNguyen, Hoan Anh AmazonUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
ThanhVu NguyenNguyen, ThanhVu University of Nebraska-Lincoln DynamiTe: Dynamic Termination and Non-termination Proofs
Olivier NicoleNicole, Olivier CEA LIST, FranceFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Pengyu NieNie, Pengyu University of Texas at Austin Unifying Execution of Imperative Generators and Declarative Specifications Unifying Execution of Imperative Generators and Declarative Specifications
Benjamin Barslev NielsenNielsen, Benjamin Barslev Aarhus University Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany Publicity Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Polyglot Programming Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM Committee Member in Artifact Evaluation Committee within the SLE-track Committee Member in Organizing Committee within the ICOOOLPS-track
Abel NietoNieto, Abel Aarhus UniversityCanada Scala with Explicit Nulls Scala with Explicit Nulls Blame for Null Blame for Null
Rachit NigamNigam, Rachit Cornell University, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Filip NiksicNiksic, Filip GoogleUnited States Session Chair of T-6A (part of SPLASH OOPSLA) Session Chair of R-6 (part of SPLASH OOPSLA) DiffStream: Differential Output Testing for Stream Processing Programs DiffStream: Differential Output Testing for Stream Processing Programs Testing Consensus Implementations using Communication Closure Mentor in Mentors within the SPLASH PLMW-track
Yuki NishidaNishida, Yuki Kyoto University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
James NobleNoble, James Victoria University of WellingtonNew Zealand Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in Programme Committee within the LIVE-track Programme Committee in Program Committee within the FTfJP-track
Aditya NoriNori, Aditya Probabilistic Lipschitz Analysis of Neural Networks
Martin NowackNowack, Martin Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Clemens Nylandsted KlokmoseNylandsted Klokmose, Clemens Aarhus UniversityDenmark PC Member in Programme Committee within the LIVE-track
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh DelayRepay: Delayed Execution for Kernel Fusion in Python Modeling Black-Box Components with Probabilistic Synthesis
Robert O'CallahanO'Callahan, Robert PernoscoNew Zealand Committee Member in Program Committee within the SPLASH Onward! Papers-track
Martin OderskyOdersky, Martin EPFL Semantics-Preserving Inlining for Metaprogramming A Type-and-Effect System for Object Initialization A Type-and-Effect System for Object Initialization
Reed OeiOei, Reed University of Illinois at Urbana-Champaign Psamathe: A DSL for Safe Blockchain Assets
Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium 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
Grace OhOh, Grace The Essence of Program Semantics Visualizers: A Three-Axis Model
Hakjoo OhOh, Hakjoo 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 Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the TAPAS-track Co-chair in Organizing Committee within the TAPAS-track
Yoshiki OhshimaOhshima, Yoshiki Croquet StudiosJapan Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in Program Committee within the REBLS-track
Rui OkuraOkura, Rui University of Tsukuba Reorganizing Queries with Grouping
Carlos OlarteOlarte, Carlos Federal University of Rio Grande do Norte, Brazil A Semantic Framework for PEGs
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong A Type-Directed Operational Semantics for a Calculus with a Merge Operator The Duality of Subtyping A Type-Directed Operational Semantics for a Calculus with a Merge Operator A Type-Directed Operational Semantics for a Calculus with a Merge Operator The Duality of Subtyping (artifact) Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism A Type-Directed Operational Semantics for a Calculus with a Merge Operator Revisiting Iso-Recursive Subtyping Revisiting Iso-Recursive Subtyping Revisiting Iso-Recursive Subtyping Resolution as Intersection Subtyping via Modus Ponens Resolution as Intersection Subtyping via Modus Ponens Resolution as Intersection Subtyping via Modus Ponens Row and Bounded Polymorphism via Disjoint Polymorphism Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States RustViz: Interactively Visualizing Ownership and Borrowing Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies PC Member in Programme Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Steve OneyOney, Steve University of Michigan Toward Providing Live Feedback in Web Automation IDEs
Wytse OortwijnOortwijn, Wytse ETH Zurich, SwitzerlandNetherlands Chair in Organizing Committee within the FTfJP-track
Kolya OpahleOpahle, Kolya Hasso Plattner Institute, University of Potsdam Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Guiding user annotations for units-of-measure verification
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Probabilistic Lipschitz Analysis of Neural Networks
Alex OrsoOrso, Alex Georgia Institute of Technology United States Committee Member in Program Committee within the SySEPL-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Session Chair of Types (part of HATRA) Bridging the Gap Between Programming Language Theory and Mathematics Education in Computer Science Committee Member in Program Committee within the HATRA-track
Klaus OstermannOstermann, Klaus University of Tübingen Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Jakob OttoOtto, Jakob HAW Hamburg Revisiting the Network Stack in CAF
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance A Library Modeling Language for the Static Analysis of C Programs Static Type Analysis by Abstract Interpretation of Python Programs Static Type Analysis by Abstract Interpretation of Python Programs
P André PacakPacak, André JGU Mainz A Systematic Approach to Deriving Incremental Type Checkers
Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Session Chair of R-4 (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH PLMW-track
Luca PadovaniPadovani, Luca University of Turin, ItalyItaly Committee Member in Program Committee within the AGERE-track
Shankara PailoorPailoor, Shankara University of Texas at Austin Automated Policy Synthesis for System Call Sandboxing
Jens PalsbergPalsberg, Jens University of California, Los Angeles Committee Member in Steering Committee for SPLASH 2020 Awards Session Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH PLMW-track
Joe PamerPamer, Joe FacebookUnited States Lies we tell ourselves about developer infrastructure
Rangeet PanPan, Rangeet Iowa State University, USAUnited States Web Chair in Organizing Committee for SPLASH 2020
Tobias PapePape, Tobias HPIGermany Publications Chair & Web Technology Chair in Organizing Committee for ECOOP 2020 SqueakLive
Aditya ParameswaranParameswaran, Aditya Static Analysis for Safer Notebook Interactions
Mostafa Mohajeri PariziParizi, Mostafa Mohajeri University of Amsterdam Run, Agent, Run; Architecture and Benchmark of Actor-based Agents
Jihee ParkPark, Jihee KAISTSouth Korea Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
James ParkerParker, James 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
Marinela ParovicParovic, Marinela University of Texas at Austin Unifying Execution of Imperative Generators and Declarative Specifications Unifying Execution of Imperative Generators and Declarative Specifications
Lionel ParreauxParreaux, Lionel EPFLSwitzerland Multi-stage Programming in the Large with Staged Classes Mentor in Mentors within the SPLASH PLMW-track
Felix PauckPauck, Felix Paderborn University, GermanyGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Zvonimir PavlinovicPavlinovic, Zvonimir Google, USAUnited States Committee Member in Program Committee within the TAPAS-track
Hannes PayerPayer, Hannes Google Committee Member in Program Committee within the VMIL-track
David J. PearcePearce, David J. Victoria University of Wellington, New ZealandUnited Kingdom Session Chair of (part of GPCE) Putting the Semantics into Semantic Versioning
Hila PelegPeleg, Hila University of California at San Diego Perfect is the Enemy of Good: Best-Effort Program Synthesis Perfect is the Enemy of Good: Best-Effort Program Synthesis The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics Just-in-Time Learning for Inductive Program Synthesis Just-in-Time Learning for Bottom-Up Enumerative Synthesis Programming with a Read-Eval-Synth Loop Programming with a Read-Eval-Synth Loop Digging for Fold: Synthesis-Aided API Discovery for Haskell Digging for Fold: Synthesis-Aided API Discovery for Haskell Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Artem PelenitsynPelenitsyn, Artem Northeastern UniversityRussia Mentor in Mentors within the SPLASH PLMW-track
Marie PelleauPelleau, Marie Université Côte d'AzurFrance Committee Member in Program Committee within the NSAD-track
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas Gerais Dynamic Dispatch of Context-Sensitive Optimizations Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements
Roly PereraPerera, Roly The Alan Turing Institute/University of BristolUnited Kingdom Session Chair of Keynote & Short Talks (part of LIVE) Session Chair of Full Talks II (part of LIVE) Committee Member in Program Committee within the COP-track Co-chair in Organising Committee within the LIVE-track
Sergio Perez RubioPerez Rubio, Sergio Data Dependence for Object-Oriented Programs Program Slicing with Exception Handling
Ivan PerezPerez, Ivan NIA / NASA Formal Methods Session Chair of Welcome to REBLS & Keynote (part of REBLS) Session Chair of Session 4 (part of REBLS) Session Chair of Session 1 (part of REBLS) Closing remarks Welcome to REBLS Chair in Program Committee within the REBLS-track
Jorge Perianez PascualPerianez Pascual, Jorge University of Extremadura, Spain Towards the Optical Character Recognition of DSLs
Basile PesinPesin, Basile Inria ParisFrance Programming Microcontrollers through High-Level Abstractions
Erez PetrankPetrank, Erez Technion, Israel Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gustavo PetriPetri, Gustavo ARM Research Scalable and Serializable Networked Multi-actor Programming
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track PC Member in Programme Committee within the LIVE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Lucas PeñaPeña, Lucas University of Illinois at Urbana-Champaign Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
David PichardiePichardie, David Univ Rennes, ENS Rennes, IRISAFrance General Co-Chair in Organizing Committee for SAS 2020 Session Chair of 10 (part of SAS) Session Chair of 2 (part of SAS) Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Gabriel PickardPickard, Gabriel Programming languages shouldn't and needn't be Turing complete
Benjamin C. PiercePierce, Benjamin C. University of Pennsylvania Committee Member in Steering Committee for SPLASH 2020 Testing Differential Privacy with Dual Interpreters Testing Differential Privacy with Dual Interpreters Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-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
Donald PinckneyPinckney, Donald Northeastern UniversityUnited States Wasm/k: Delimited Continuations for WebAssembly
Luis Miguel PinhoPinho, Luis Miguel ISEP P.PORTOPortugal Session Chair of HILT workshop Monday sessions (part of HILT) Committee Member in Program Committee within the HILT-track
Ruzica PiskacPiskac, Ruzica Yale University, USA Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
Goran PiskachevPiskachev, Goran Fraunhofer IEMGermany Posters Co-Chair in Organizing Committee for ECOOP 2020 Committee Member in Posters committee within the ECOOP Posters-track Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAILUnited States Untangling Mechanized Proofs
Arjun PitchanathanPitchanathan, Arjun IIIT Hyderabad Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Kent PitmanPitman, Kent HyperMetaUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Noël PlouzeauPlouzeau, Noël University of Rennes, France / Inria, France / CNRS, France / IRISA, France Modular and Distributed IDE
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in Program Committee within the LPOP-track
Anton PodkopaevPodkopaev, Anton NRU HSE, JetBrains ResearchRussia Reconciling Event Structures with Modern Multiprocessors Reconciling Event Structures with Modern Multiprocessors
Gabriel PoesiaPoesia, Gabriel Stanford University Dynamic Dispatch of Context-Sensitive Optimizations
Fiona PolackPolack, Fiona Keele University A Family of Languages for Trustworthy Agent-Based Simulation
Federico PoliPoli, Federico ETH Zurich How Do Programmers Use Unsafe Rust?
Nadia PolikarpovaPolikarpova, Nadia University of California at San Diego Perfect is the Enemy of Good: Best-Effort Program Synthesis Perfect is the Enemy of Good: Best-Effort Program Synthesis Just-in-Time Learning for Inductive Program Synthesis Just-in-Time Learning for Bottom-Up Enumerative Synthesis Digging for Fold: Synthesis-Aided API Discovery for Haskell Digging for Fold: Synthesis-Aided API Discovery for Haskell Committee Member in Program Committee within the HATRA-track
Guillermo PolitoPolito, Guillermo Univ. Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL - Centre de Recherche en Informatique Signal et Automatique de LilleArgentina Framework-Aware Debugging with Stack Tailoring Committee Member in Program Committee within the SPLASH Onward! Papers-track
Joe Gibbs PolitzPolitz, Joe Gibbs UC San Diego Committee Member in External Review Committee within the ECOOP Research Papers-track
Joe Gibbs PolitzPolitz, Joe Gibbs University of California San Diego, United StatesUnited States Committee Member in Program Commitee within the SPLASH -E-track
Josh PollockPollock, Josh MIT CSAILUnited States The Essence of Program Semantics Visualizers: A Three-Axis Model
Hernán Ponce de LeónPonce de León, Hernán Bundeswehr University MunichGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Virtualization Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Session Chair of R-5 (part of SPLASH OOPSLA) Session Chair of W-3 (part of SPLASH OOPSLA) Session Chair of F-2B (part of SPLASH OOPSLA) Session Chair of F-1B (part of SPLASH OOPSLA) Session Chair of F-5A (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track Mentor in Mentors within the SPLASH PLMW-track
Hannah PotterPotter, Hannah University of Michigan Hazel Tutor: Guiding Novices Through Type-Driven Development Strategies
Marc PouzetPouzet, Marc École normale supérieure PC Member in Program Committee within the REBLS-track
Michael PradelPradel, Michael University of Stuttgart, GermanyGermany Session Chair of T-4 (part of SPLASH OOPSLA) Session Chair of T-6A (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jon PrettyPretty, Jon Propensive OÜPoland Committee Member in Program Committee within the Scala-track
Justin PuPu, Justin University of Waterloo Scala with Explicit Nulls Scala with Explicit Nulls
Violet Ka I PunPun, Violet Ka I Programme Committee in Program Committee within the FTfJP-track
Sylvie PutotPutot, Sylvie École Polytechnique Committee Member in Program Committee within the SAS-track
Q Shaz QadeerQadeer, Shaz Novi, USAUnited States Exact and Linear-Time Gas-Cost Analysis
Jessica QuayeQuaye, Jessica MIT End-User Software Customization by Direct Manipulation of Tabular Data
Sergio Queiroz de MedeirosQueiroz de Medeiros, Sergio Universidade Federal do Rio Grande do NorteBrazil A Semantic Framework for PEGs Committee Member in Program Committee within the SLE-track
Donya QuickQuick, Donya Stevens Institute of TechnologyUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Eduardo QuiñonesQuiñones, Eduardo Barcelona Supercomputing Center (BSC)Spain Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors
R David R. MacIverR. MacIver, David Imperial College London Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer
Azalea RaadRaad, Azalea Imperial College London Session Chair of F-1A (part of SPLASH OOPSLA) Data Consistency in Transactional Storage Systems: A Centralised Semantics Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 Committee Member in Review Committee within the SPLASH OOPSLA-track
Dimi RacordonRacordon, Dimi University of Geneva, SwitzerlandSwitzerland Session Chair of F-3B (part of SPLASH OOPSLA) Functional Block Programming and Debugging Featherweight Swift: A Core Calculus for Swift’s Type System Mentor in Mentors within the SPLASH PLMW-track
Arjun RadhakrishnaRadhakrishna, Arjun Microsoft Structure Interpretation of Text Formats Feedback-Driven Semi-supervised Synthesis of Program Transformations
Ivan RadičekRadiček, Ivan Microsoft Structure Interpretation of Text Formats
Mukund RaghothamanRaghothaman, Mukund University of Southern California Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sriram RajamaniRajamani, Sriram Microsoft ResearchIndia Models and Programs: Better Together Ask Me Anything: Sriram Rajamani AMA Speaker in Speakers & Panelists within the SPLASH PLMW-track
Hridesh RajanRajan, Hridesh Iowa State University, USAUnited States General Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Session Chair of F-2B (part of SPLASH OOPSLA) Session Chair of W (part of SPLASH Keynotes) Session Chair of W (part of SPLASH Keynotes) Closing Session Opening Session General Chair in Onward! Steering Committee within the SPLASH Onward! Papers-track General Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Ingkarat Rak-amnouykitRak-amnouykit, Ingkarat Rensselaer Polytechnic Institute Python 3 Types in the Wild: A Tale of Two Type Systems
Gordana RakićRakić, Gordana Department of Mathematics and Informatics, Faculty of Sciences, University of Novi SadSerbia Committee Member in Program Committee within the SPLASH Onward! Essays-track
Vijay RamamurthyRamamurthy, Vijay Carnegie Mellon University Program Equivalence for Assisted Grading of Functional Programs
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Germany Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations Committee Member in Program Committee within the COP-track
Robert RandRand, Robert University of ChicagoUnited States Session Chair of R-4 (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Joseph RanieriRanieri, Joseph API Analytics for Curating Static Analysis Rules
Francesco RanzatoRanzato, Francesco University of PadovaItaly Session Chair of 3 (part of SAS) Committee Member in Program Committee within the SAS-track
Marianna RapoportRapoport, Marianna University of WaterlooCanada Blame for Null Blame for Null Committee Member in Program Committee within the IWACO-track
Moeketsi RaselimoRaselimo, Moeketsi Stellenbosch University, South Africa An Interactive Feedback System for Grammar Development (Tool Paper) Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Srivatsan RaviRavi, Srivatsan University of Southern California Scalable and Serializable Networked Multi-actor Programming
Mohammad RazaRaza, Mohammad Microsoft Structure Interpretation of Text Formats
Henrique RebeloRebelo, Henrique Universidade Federal de PernambucoBrazil Accessibility Chair in Organizing Committee for SPLASH 2020 Committee Member in Program Commitee within the SPLASH -E-track
Vishnu ReddyReddy, Vishnu University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
Patrick RedmondRedmond, Patrick 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
John RegehrRegehr, John University of Utah Random Testing for C and C++ Compilers with YARPGen Dataflow-Based Pruning for Speeding up Superoptimization
Baber RehmanRehman, Baber University of Hong Kong The Duality of Subtyping The Duality of Subtyping (artifact)
Christoph ReichenbachReichenbach, Christoph Lund University A Domain-Specific Language for Filtering in Application-Level Gateways The PL-Detective Revisited
Alastair ReidReid, Alastair Arm LtdUnited Kingdom Towards making formal methods normal: meeting developers where they are
Michael ReifReif, Michael TU Darmstadt, GermanyGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Patrick ReinRein, Patrick Hasso Plattner InstituteGermany Posters Co-Chair & Virtualization Co-Chair in Organizing Committee for ECOOP 2020 Session Chair of M-6B (part of ECOOP Research Papers) Session Chair of M-3 (part of ECOOP Research Papers) Session Chair of M-6B (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) SqueakLive Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM Committee Member in Program Committee within the ECOOP Research Papers-track Co-chair in Posters committee within the ECOOP Posters-track PC Member in Programme Committee within the LIVE-track
Tobias ReinhardReinhard, Tobias imec-DistriNet, KU Leuven, BelgiumBelgium A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Iris Reinhartz-BergerReinhartz-Berger, Iris University of HaifaIsrael Committee Member in Program Committee within the SLE-track
Jan S. RellermeyerRellermeyer, Jan S. TU DelftNetherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Brianna M. RenRen, Brianna M. University of Maryland Sound, Heuristic Type Annotation Inference for Ruby
Thierry RenauxRenaux, Thierry Vrije Universiteit Brussel Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Committee Member in External Review Committee within the SPLASH OOPSLA-track
Francesco RiccaRicca, Francesco University of Calabria, ItalyItaly Committee Member in Program Committee within the LPOP-track
Andrew RiceRice, Andrew University of Cambridge, UKUnited Kingdom Guiding user annotations for units-of-measure verification
Julien Richard-FoyRichard-Foy, Julien EPFLSwitzerland Committee Member in Program Committee within the Scala-track
Gregor RichardsRichards, Gregor University of WaterlooCanada Workshops Co-Chair in Organizing Committee for ECOOP 2020 Blame for Null Blame for Null Committee Member in Review Committee within the SPLASH OOPSLA-track
Cedric RichterRichter, Cedric Paderborn University, GermanyGermany Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David RichterRichter, David Technical University of DarmstadtGermany Welcome to Scala 2020 Closing Scala 2020 Publicity Chair in Organizing Committee within the Scala-track
James RielyRiely, James DePaul University Pomsets with Preconditions: A Simple Model of Relaxed Memory
Manuel RiggerRigger, Manuel ETH Zurich Artifact Evaluation Co-Chair in Organizing Committee for ECOOP 2020 SQLancer: Automatically Finding Bugs in Databases Finding Bugs in Database Systems via Query Partitioning Finding Bugs in Database Systems via Query Partitioning Fast Linear Programming through Transprecision Computing on Small and Sparse Data Committee Member in Program Committee within the DLS-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Luca RinaldiRinaldi, Luca University of PisaItaly High-Throughput Stream Processing with Actors
Noam RinetzkyRinetzky, Noam Tel Aviv University Taming Callbacks for Smart Contract Modularity Proving Highly-Concurrent Traversals Correct
Talia RingerRinger, Talia University of WashingtonUnited States Committee Member in Program Committee within the HATRA-track
Hannah RinglerRingler, Hannah Carnegie Mellon University, USA A Rhetorical Framework for Programming Language Evaluation Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Session Chair of 5 (part of SAS) Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries Committee Member in Program Committee within the SAS-track
Clyde RobyRoby, Clyde IDA Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Juri Di RoccoRocco, Juri Di University of L'AquilaItaly Committee Member in Artifact Evaluation Committee within the SLE-track
Nishant RodriguesRodrigues, Nishant University of Illinois at Urbana-Champaign Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
Noemi RodriguezRodriguez, Noemi PUC-Rio PC Member in Program Committee within the REBLS-track
Roberto Rodriguez-EcheverriaRodriguez-Echeverria, Roberto University of Extremadura, Spain Towards the Optical Character Recognition of DSLs
Clara Rodríguez-NúñezRodríguez-Núñez, Clara Complutense University of Madrid Taming Callbacks for Smart Contract Modularity
Martin RoettelerRoetteler, Martin Microsoft Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Pierre-Louis RomanRoman, Pierre-Louis USI Lugano Scalable and Serializable Networked Multi-actor Programming
Vitaly RomanovRomanov, Vitaly Innopolis University Evaluating Importance of Edge Types when Using Graph Neural Network for Predicting Return Types of Python Functions
Tiark RompfRompf, Tiark Purdue University Session Chair of S-6 (part of ECOOP Research Papers) Compiling Symbolic Execution with Staging and Algebraic Effects Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the GPCE-track
Guillermo Román-DíezRomán-Díez, Guillermo Committee Member in Artifact Evaluation Committee within the SAS-track
Marc RonellRonell, Marc U.S. Federal Aviation Administration Session Chair of T-4-Onward (part of SPLASH Onward! Essays) Discussion of Aviation Software Oversight Improvement
Abhishek RoseRose, Abhishek IIT Delhi Counterexample-Guided Correlation Algorithm for Translation Validation Counterexample-Guided Correlation Algorithm for Translation Validation
Andreas RossbergRossberg, Andreas Dfinity StiftungGermany Committee Member in Program Committee within the VMIL-track
Christoff RossouwRossouw, Christoff Stellenbosch University, South Africa Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jurriaan RotRot, Jurriaan Radboud University Nijmegen A big step from finite to infinite computations
Aaron RothRoth, Aaron University of Pennsylvania Testing Differential Privacy with Dual Interpreters Testing Differential Privacy with Dual Interpreters
Edo RothRoth, Edo University of Pennsylvania Testing Differential Privacy with Dual Interpreters Testing Differential Privacy with Dual Interpreters
Atanas RountevRountev, Atanas Ohio State University Differentially-Private Software Frequency Profiling under Linear Constraints
Arjen RouvoetRouvoet, Arjen 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
Benjamin RouxelRouxel, Benjamin University of Amsterdam PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Reuben RoweRowe, Reuben University College LondonUnited Kingdom Session Chair of F-2A (part of SPLASH OOPSLA) Session Chair of T-5 (part of SPLASH OOPSLA) Session Chair of F-3A (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of Singapore, Singapore Committee Member in Program Committee within the SySEPL-track
Suman RoychoudhuryRoychoudhury, Suman Tata Consultancy Services Research Committee Member in Program Committee within the GPCE-track
Sara RoyuelaRoyuela, Sara Barcelona Supercomputing CenterSpain Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors Committee Member in Program Committee within the HILT-track
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State UniversityUnited States On the Future of Flight Software
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-Champaign Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic
Julia RubinRubin, Julia University of British Columbia, CanadaCanada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2020 Mentor in Mentors within the SPLASH PLMW-track Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Albert RubioRubio, Albert Complutense University of Madrid Taming Callbacks for Smart Contract Modularity
Cindy Rubio-GonzálezRubio-González, Cindy University of California, DavisUnited States Committee Member in Program Committee within the SySEPL-track
Bernhard RumpeRumpe, Bernhard RWTH AachenGermany Committee Member in Program Committee within the SLE-track
Andreas RumpfRumpf, Andreas FreelancerGermany Move Semantics for Nim
Tobias RungeRunge, Tobias TU Braunschweig Correctness-by-Construction for Feature-Oriented Software Product Lines
Stuart RussellRussell, Stuart University of California, Berkeley Invited Talk: Logic, Probability, Knowledge, and Learning Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
Sukyoung RyuRyu, Sukyoung Session Chair of 5 (part of SAS) Session Chair of 5 (part of SAS)
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea Committee Member in Program Committee within the DLS-track Organizer in Organizing Committee within the JSTools-track
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France Committee Member in Program Committee within the SLE-track
S Olli SaarikiviSaarikivi, Olli Microsoft Regex Matching with Counting-Set Automata Regex Matching with Counting-Set Automata
Mooly SagivSagiv, Mooly Tel Aviv University Taming Callbacks for Smart Contract Modularity
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University, SwedenSweden Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers Committee Member in Program Committee within the VMIL-track
Hitesh SajnaniSajnani, Hitesh Microsoft Publicity Chair in Organizing Committee for SPLASH 2020
Guido SalvaneschiSalvaneschi, Guido University of St. Gallen ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming Welcome to Scala 2020 Closing Scala 2020 Multitier Languages for Reactive Microservice Architectures Handling Bidirectional Control Flow Rethinking Safe Consistency in Distributed Object-Oriented Programming Handling Bidirectional Control Flow Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the AGERE-track General Chair in Organizing Committee within the Scala-track Committee Member in Steering Committee within the REBLS-track Committee Member in Steering Committee within the REBLS-track
Malavika SamakSamak, Malavika CSAIL, MITUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2020 PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Gabriela SampaioSampaio, Gabriela 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
Adrian SampsonSampson, Adrian Cornell University Session Chair of R-2 (part of SPLASH OOPSLA) Online Verification of Commutativity Geometry Types for Graphics Programming Geometry Types for Graphics Programming Geometry Types for Graphics Programming Committee Member in Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH PLMW-track
Yinnon SandersSanders, Yinnon Cornell University Geometry Types for Graphics Programming Geometry Types for Graphics Programming Geometry Types for Graphics Programming
Bo SangSang, Bo Purdue University / Ant Group Scalable and Serializable Networked Multi-actor Programming
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Committee Member in Steering Committee within the REBLS-track
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Session Chair of Session 2 (part of REBLS) Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing Exploring Human-in-the-loop Program Synthesis with Live Coding PC Member in Program Committee within the REBLS-track
Kevin SapperSapper, Kevin codecentric AGGermany Tuesday Keynote: ZeroMQ - The world-saving superhero sockets of the networking world
Kartik SarangmathSarangmath, Kartik Georgia Institute of TechnologyUnited States Probabilistic Lipschitz Analysis of Neural Networks
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Annabel SatinSatin, Annabel P.C.K. Finance Chair in Organizing Committee for ECOOP 2020
Florian SattlerSattler, Florian Saarland Informatics Campus, Saarland UniversityGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Anand Ashok SawantSawant, Anand Ashok University of California, Davis Committee Member in Program Committee within the SySEPL-track
Ina SchaeferSchaefer, Ina TU BraunschweigGermany Correctness-by-Construction for Feature-Oriented Software Product Lines
Ina SchaeferSchaefer, Ina TU Braunschweig Committee Member in Steering Committee within the GPCE-track
Ina SchaeferSchaefer, Ina TU BraunschweigGermany Committee Member in Program Committee within the HILT-track
Michael SchaperSchaper, Michael University of Innsbruck A Modular Cost Analysis for Probabilistic Programs
TB SchardlSchardl, TB MIT CSAIL Using the Tapir Compiler Intermediate Representation to Support Efficient Parallel Languages Committee Member in Program Committee within the HILT-track
Michael SchlichtigSchlichtig, Michael Improving User Experience of Static Analysis Tools [ECOOP DS]
Georg Stefan SchmidSchmid, Georg Stefan EPFL, Switzerland Committee Member in Program Committee within the Scala-track
Thomas C. SchmidtSchmidt, Thomas C. HAW Hamburg Revisiting the Network Stack in CAF AGERE: Opening AGERE: Closing Committee Member in Organizing Committee within the AGERE-track
Simon SchoenwaelderSchoenwaelder, Simon TU Darmstadt Multitier Languages for Reactive Microservice Architectures
Tom SchrijversSchrijvers, Tom KU Leuven Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism Resolution as Intersection Subtyping via Modus Ponens Resolution as Intersection Subtyping via Modus Ponens Resolution as Intersection Subtyping via Modus Ponens Row and Bounded Polymorphism via Disjoint Polymorphism
Philipp Dominik SchubertSchubert, Philipp Dominik Heinz Nixdorf Institut, Paderborn UniversityGermany Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Session Chair of Slot 1 (part of SPLASH Doctoral Symposium) Closing Introduction and Welcome from the Organizers Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report Chair in Steering Committee within the GPCE-track
Philipp SchusterSchuster, Philipp University of Tübingen Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism
Andy SchürrSchürr, Andy TU Darmstadt, Germany A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Nico ScordialoScordialo, Nico Hasso Plattner Institute, University of Potsdam Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Roger ScottScott, Roger API Analytics for Curating Static Analysis Rules
Neil SculthorpeSculthorpe, Neil Nottingham Trent University, UK PC Member in Program Committee within the REBLS-track
Chris SeatonSeaton, Chris ShopifyUnited Kingdom Understanding Graal IR Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the ICOOOLPS-track
Christoph SeidlSeidl, Christoph IT University of CopenhagenDenmark Committee Member in Program Committee within the GPCE-track
Helmut SeidlSeidl, Helmut Technische Universität München Session Chair of 8 (part of SAS) Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis Stratified Guarded First-order Transition Systems Committee Member in Program Committee within the SAS-track
Koushik SenSen, Koushik University of California at BerkeleyUnited States ScalaPy: Seamless Python Interoperability for Cross-Platform Scala Programs Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types
Ryan SenanayakeSenanayake, Ryan Reservoir Labs A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Aritra SenguptaSengupta, Aritra Amazon Web Services, USAUnited States Session Chair of T-2 (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Manuel SerranoSerrano, Manuel Inria, France Session Chair of M-6B (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track
Vivek SeshadriSeshadri, Vivek Microsoft Research Shiftry: RNN Inference in 2KB of RAM
Hovav ShachamShacham, Hovav University of Texas at Austin Automated Policy Synthesis for System Call Sandboxing
Ramy ShahinShahin, Ramy University of Toronto Session Chair of F-3A (part of SPLASH OOPSLA) Automatic and Efficient Variability-Aware Lifting of Functional Programs
Amir ShaikhhaShaikhha, Amir University of Edinburgh Multi-stage Programming in the Large with Staged Classes
Zhong ShaoShao, Zhong Yale University CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
Aditya SharadSharad, Aditya GitHubUnited States Variant analysis
Arnab SharmaSharma, Arnab University of PaderbornGermany A Property-Based Testing Framework for Machine Learning Programs [ECOOP DS]
Rahul SharmaSharma, Rahul Microsoft Research Shiftry: RNN Inference in 2KB of RAM Committee Member in Review Committee within the SPLASH OOPSLA-track
Natasha SharyginaSharygina, Natasha USI Lugano, SwitzerlandSwitzerland Farkas-Based Tree Interpolation
Anas ShaweshShawesh, Anas Oakland University Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
Bello ShehuShehu, Bello University of Leicester Committee Member in Artifact Evaluation Committee within the SLE-track
August ShiShi, August The University of Texas at AustinUnited States Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Avraham ShinnarShinnar, Avraham IBM Research Session Chair of T-2-Onward (part of SPLASH Onward! Papers) Committee Member in Program Committee within the SPLASH Onward! Papers-track
Jun ShirakoShirako, Jun Georgia Institute of Technology Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Nicholas ShoemakerShoemaker, Nicholas Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing
Sharon ShohamShoham, Sharon Tel Aviv University Proving Highly-Concurrent Traversals Correct
Min SiSi, Min Argonne National LaboratoryUnited States Co-Design for High-Performance Computing Software Systems
Xujie SiSi, Xujie McGill University, Canada Mentor in Mentors within the SPLASH PLMW-track Mentor in Mentors within the SPLASH PLMW-track
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Session Chair of 4 (part of SAS) Extrinsically Typed Operational Semantics for Functional Languages Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the DLS-track
Mihaela SighireanuSighireanu, Mihaela LSV, ENS Paris-SaclayFrance General Co-Chair in Organizing Committee for SAS 2020 Session Chair of 6 (part of SAS) Session Chair of 10 (part of SAS) Session Chair of 7 (part of SAS) Session Chair of 6 (part of SAS) Session Chair of 2 (part of SAS) Co-chair in Program Committee within the SAS-track Committee Member in Organizing Committee within the SAS-track
Giovanni SilenoSileno, Giovanni University of Amsterdam Run, Agent, Run; Architecture and Benchmark of Actor-based Agents
Alexandra SilvaSilva, Alexandra University College LondonUnited Kingdom Committee Member in Program Committe within the SPLASH CARES-track
Josep SilvaSilva, Josep Data Dependence for Object-Oriented Programs Program Slicing with Exception Handling
Sam SilvestroSilvestro, Sam University of Texas at San Antonio WATCHER: In-Situ Failure Diagnosis
Jeremy SingerSinger, Jeremy Glasgow UniversityUnited Kingdom Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms Notes on Notebooks: Is Jupyter the Bringer of Jollity?
Somesh SinghSingh, Somesh Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
John L. SingletonSingleton, John L. Soar Technology, Inc.United States Programme Committee in Program Committee within the FTfJP-track
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Committee Member in Program Committee within the LPOP-track
Zachary SiscoSisco, Zachary UC Santa Barbara Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aishwarya SivaramanSivaraman, Aishwarya University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Cyril SixSix, Cyril Kalray / Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors Certified and efficient instruction scheduling and application to interlocked VLIW processors Certified and Efficient Instruction Scheduling
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Committee Member in Steering 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''
Justin SmithSmith, Justin Lafayette CollegeUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Jeff SmitsSmits, Jeff Delft University of Technology, NetherlandsNetherlands Gradually Typing Strategies
Sunbeom SoSo, Sunbeom Korea University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gustavo SoaresSoares, Gustavo Microsoft Feedback-Driven Semi-supervised Synthesis of Program Transformations Mentor in Mentors within the SPLASH PLMW-track
Mathias SoekenSoeken, Mathias Microsoft Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation
Mary Lou SoffaSoffa, Mary Lou University of Virginia Testing Deep Neural Networks
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of Technology Deductive Optimization of Relational Data Storage
Devika SondhiSondhi, Devika IIIT DelhiIndia Committee Member in Artifact Evaluation Committee within the SAS-track
Zheng Jason SongSong, Zheng Jason Virginia Tech, USA Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Tyler SorensenSorensen, Tyler University of California at Santa Cruz Session Chair of T-5 (part of SPLASH OOPSLA) Foundations of Empirical Memory Consistency Testing Committee Member in External Review Committee within the SPLASH OOPSLA-track
Thodoris SotiropoulosSotiropoulos, Thodoris Athens University of Economics and Business A Model for Detecting Faults in Build Specifications A Model for Detecting Faults in Build Specifications
Matthew SotoudehSotoudeh, Matthew University of California, Davis Abstract Neural Networks Analogy-Making as a Core Primitive in the Software Engineering Toolbox Analogy-Making as a Core Primitive in the Software Engineering Toolbox
Sarah SpallSpall, Sarah Indiana University Build Scripts with Perfect Dependencies
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and Business Session Chair of F-1A (part of SPLASH OOPSLA) A Model for Detecting Faults in Build Specifications A Model for Detecting Faults in Build Specifications
Christoph SprengerSprenger, Christoph 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
Manu SridharanSridharan, Manu University of California at Riverside Committee Member in Steering Committee for SPLASH 2020 Session Chair of T-6B (part of SPLASH OOPSLA) Moving Fast with High Reliability using Pluggable Types LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
Sriseshan SrikanthSrikanth, Sriseshan Georgia Institute of Technology Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Witawas Srisa-anSrisa-an, Witawas Committee Member in Steering Committee within the VMIL-track
Witawas Srisa-anSrisa-an, Witawas University of Nebraska-LincolnUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Alok SrivastavaSrivastava, Alok SAIC Committee Member in Program Committee within the HILT-track
Emmanouela StachtiariStachtiari, Emmanouela University of Geneva Functional Block Programming and Debugging
Caleb StanfordStanford, Caleb University of Pennsylvania DiffStream: Differential Output Testing for Stream Processing Programs DiffStream: Differential Output Testing for Stream Processing Programs
Leo StefanescoStefanesco, Leo IRIF, University Paris Diderot & CNRSFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Friedrich SteimannSteimann, Friedrich Fernuniversität Session Chair of (part of GPCE) Session Chair of (part of GPCE) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the SLE-track
Michel SteuwerSteuwer, Michel The University of EdinburghUnited Kingdom DelayRepay: Delayed Execution for Kernel Fusion in Python Committee Member in Program Committee within the GPCE-track
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel Fuzzing Channel-Based Concurrency Runtimes using Types and Effects Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation Committee within the SLE-track
Kathryn StoleeStolee, Kathryn North Carolina State UniversityUnited States Committee Member in Program Commitee within the SPLASH -E-track
Karl StolleyStolley, Karl Illinois Institute of TechnologyUnited States CSS Instruction Enhanced by Objective Typography
Mark StoodleyStoodley, Mark IBM Canada In Pursuit of Easy(er) JITs
Peter StuckeyStuckey, Peter University of MelbourneAustralia Invited Talk: From CLP(R) to MiniZinc: There and Back Again Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland Semantics-Preserving Inlining for Metaprogramming
Ting SuSu, Ting East China Normal University, ChinaChina Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhendong SuSu, Zhendong ETH Zurich On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers Finding Bugs in Database Systems via Query Partitioning Finding Bugs in Database Systems via Query Partitioning Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Giancarlo SucciSucci, Giancarlo Innopolis UniversityRussia Software Design as Story Telling: Reflecting on the Work of Italo Calvino
Yulei SuiSui, Yulei University of Technology Sydney Session Chair of F-3B (part of SPLASH OOPSLA) Flow-Sensitive Type-Based Heap Cloning Flow-Sensitive Type Based Heap Cloning (Artifact) Flow2Vec: Value-Flow-Based Precise Code Embedding Committee Member in Program Committee within the TAPAS-track Co-chair in Organizing Committee within the TAPAS-track
Alexander J. SummersSummers, Alexander J. University of British Columbia Prusti – Deductive Verification for Rust How Do Programmers Use Unsafe Rust? Steering Committee Member in Steering Commitee within the FTfJP-track
Jiawen SunSun, Jiawen University of Edinburgh DelayRepay: Delayed Execution for Kernel Fusion in Python
Yican SunSun, Yican Peking University Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
Zhe SunSun, Zhe Alibaba Group Hidden Inheritance: An Inline Caching Design for TypeScript Performance Hidden Inheritance: An Inline Caching Design for TypeScript Performance
Joshua SunshineSunshine, Joshua Carnegie Mellon University Welcome to PLATEAU! 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 Gradual Verification of Recursive Heap Data Structures Gradual Verification of Recursive Heap Data Structures Committee Member in Organizing Committee within the PLATEAU-track Committee Member in Organizing Committee within the PLATEAU-track
Gerson SunyéSunyé, Gerson Université de Nantes, LS2N Annotating Executable DSLs with Energy Estimation Formulas
Milijana SurbatovichSurbatovich, Milijana Carnegie Mellon University Towards a Formal Foundation of Intermittent Computing Towards a Formal Foundation of Intermittent Computing
Ryota SuzukiSuzuki, Ryota Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Hira Taqdees SyedaSyeda, Hira Taqdees 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
Eugene SyrianiSyriani, Eugene Université de MontréalCanada Committee Member in Program Committee within the SLE-track
Tamás SzabóSzabó, Tamás University of Mainz / itemis A Systematic Approach to Deriving Incremental Type Checkers
Jesús Sánchez CuadradoSánchez Cuadrado, Jesús University of Murcia Committee Member in Program Committee within the SLE-track
César SánchezSánchez, César IMDEA Software InstituteSpain PC Member in Program Committee within the REBLS-track
Emma SöderbergSöderberg, Emma Lund UniversitySweden Principles and Patterns of JastAdd-Style Reference Attribute Grammars Committee Member in Program Committee within the ECOOP Research Papers-track PC Member in Programme Committee within the LIVE-track Committee Member in Academic Panel within the ECOOP Doctoral Symposium-track
T Tomoya TabuchiTabuchi, Tomoya Kyoto UniversityJapan Space-Efficient Gradual Typing in Coercion-Passing Style
Gabriele TaentzerTaentzer, Gabriele University of Marburg, GermanyGermany A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars
Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany SqueakLive
Tucker TaftTaft, Tucker AdaCore, United StatesUnited States Session Chair of HILT workshop Tuesday sessions (part of HILT) Session Chair of HILT workshop Monday sessions (part of HILT) Session Chair of Monday Keynote 10AM-11AM ET (part of HILT) Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors A Layered Mapping of Ada 202X to OpenMP Tuesday Panel: Language support for parallel and distributed computing Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Ruby TahboubTahboub, Ruby Purdue UniversityUnited States Committee Member in Program Committee within the Scala-track
Shusuke TakahashiTakahashi, Shusuke Tokyo Institute of TechnologyJapan Toward a Multi-Language and Multi-Environment Framework for Live Programming
Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Program Committee within the AGERE-track
TalinTalin Dynamic Pattern Matching with Python
Chengsong TanTan, Chengsong King's College London Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Session Chair of Slot 4 (part of SPLASH Doctoral Symposium) Closing Introduction and Welcome from the Organizers Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Shangyin TanTan, Shangyin Purdue University Compiling Symbolic Execution with Staging and Algebraic Effects
Yong Kiam TanTan, Yong Kiam Carnegie Mellon University 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
Yudai TanabeTanabe, Yudai Tokyo Institute of TechnologyJapan Co-reviewer in Program Committee within the SPLASH Onward! Essays-track
Nan TangTang, Nan QCRI HBKU Deductive Optimization of Relational Data Storage
Qiyi TangTang, Qiyi University of OxfordUnited Kingdom Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ikuta TanigawaTanigawa, Ikuta Tokai UniversityJapan PLAM: Preemptive Layer Activation Architecture based on Multi- threading in Context-Oriented Programming
Steven TanimotoTanimoto, Steven University of Washington, SeattleUnited States PC Member in Programme Committee within the LIVE-track
Éric TanterTanter, Éric University of Chile Abstracting gradual references Gradual Verification of Recursive Heap Data Structures Gradual Verification of Recursive Heap Data Structures
Paul TarauTarau, Paul University of North TexasUnited States Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? Training Neural Networks to Do Logic, with Logic Committee Member in Program Committee within the LPOP-track
Olivier TardieuTardieu, Olivier IBM ResearchUnited States Session Chair of T-3 (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Alexandros TasosTasos, Alexandros Imperial College LondonGreece Reshape your layouts, not your programs: A safe language extension for better cache locality 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
Ross TateTate, Ross Cornell University World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States The Essence of Program Semantics Visualizers: A Three-Axis Model Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ian Lance TaylorTaylor, Ian Lance Google Featherweight Go Featherweight Go
François TaïaniTaïani, François University of Rennes, France / Inria, France / CNRS, France / IRISA, France Modular and Distributed IDE
Aditya V. ThakurThakur, Aditya V. University of California, DavisUnited States Memory-Efficient Fixpoint Computation Abstract Neural Networks Analogy-Making as a Core Primitive in the Software Engineering Toolbox Analogy-Making as a Core Primitive in the Software Engineering Toolbox Committee Member in External Review Committee within the SPLASH OOPSLA-track
Manas ThakurThakur, Manas IIT MandiIndia How (Not) to Write Java Pointer Analyses after 2020
Jonathan ThalerThaler, Jonathan University of Applied Scienes VorarlbergAustria PC Member in Program Committee within the REBLS-track
Theodoros TheodoridisTheodoridis, Theodoros ETH Zurich Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Peter ThiemannThiemann, Peter University of Freiburg, Germany 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
Xavier ThiriouxThirioux, Xavier Abstract Domains for Constraint Programming with Differential Equations
Paul ThomsonThomson, Paul Google Putting Randomized Compiler Testing into Production Putting Randomized Compiler Testing into Production
Eli TilevichTilevich, Eli Virginia TechUnited States Session Chair of S-4 (part of ECOOP Research Papers) Session Chair of S-5 (part of ECOOP Research Papers) VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the GPCE-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit
Frank TipTip, Frank Northeastern UniversityUnited States A Semantics for the Essence of React Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Massimo TisiTisi, Massimo Annotating Executable DSLs with Energy Estimation Formulas
Ben L. TitzerTitzer, Ben L. GoogleGermany Committee Member in Program Committee within the ICOOOLPS-track
Ashish TiwariTiwari, Ashish Microsoft Feedback-Driven Semi-supervised Synthesis of Program Transformations
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Build Scripts with Perfect Dependencies
Joyce TokarTokar, Joyce Raytheon Technologies Committee Member in Program Committee within the HILT-track
John TomanToman, John University of Washington, SeattleUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Bernardo ToninhoToninho, Bernardo Nova University of Lisbon / NOVA-LINCS Session Chair of M-5 (part of SPLASH OOPSLA) Featherweight Go Featherweight Go
Emina TorlakTorlak, Emina University of WashingtonUnited States Committee Member in Steering Committee for SPLASH 2020
Matías ToroToro, Matías University of Chile Abstracting gradual references
Martin Toldam TorpTorp, Martin Toldam Aarhus University Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Detecting Locations in JavaScript Programs Affected by Breaking Library Changes
Massimo TorquatiTorquati, Massimo Computer Science Department - University of Pisa High-Throughput Stream Processing with Actors Committee Member in Program Committee within the AGERE-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Session Chair of (part of SLE) 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) Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Don't Panic! Better, Fewer, Syntax Errors for LR Parsers Committee Member in External Review Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track Program Co-Chair in Organizing Committee within the SLE-track
Alix TrieuTrieu, Alix Aarhus UniversityDenmark Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Phil TrinderTrinder, Phil University of Glasgow Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms
Minh-Thai TrinhTrinh, Minh-Thai Advanced Digital Sciences Center Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic Inter-theory Dependency Analysis for SMT String Solvers Inter-Theory Dependency Analysis for SMT String Solvers
Matthias TroyerTroyer, Matthias Microsoft Assertion-Based Optimization of Quantum Programs
Ilias TsatirisTsatiris, Ilias University of Athens Precise Static Modeling of Ethereum “Memory” Precise Static Modeling of Ethereum ``Memory''
Yuya TsudaTsuda, Yuya Kyoto UniversityJapan Space-Efficient Gradual Typing in Coercion-Passing Style
Takeshi TsukadaTsukada, Takeshi Chiba University, JapanJapan Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking
Michele TucciTucci, Michele University of L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Franklyn TurbakTurbak, Franklyn Wellesley CollegeUnited States Committee Member in Program Committee within the HATRA-track
Alexi TurcotteTurcotte, Alexi Northeastern University Designing Types for R, Empirically Designing Types for R, Empirically Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Esin TureciTureci, Esin Princeton University Foundations of Empirical Memory Consistency Testing
Lenka TuroňováTuroňová, Lenka Brno University of Technology Regex Matching with Counting-Set Automata Regex Matching with Counting-Set Automata
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu UniversityJapan Committee Member in Program Committee within the GPCE-track
Mattias UlbrichUlbrich, Mattias Karlsruhe Institute of TechnologyGermany Programme Committee in Program Committee within the FTfJP-track
Ganesha UpadhyayaUpadhyaya, Ganesha Harmony.oneUnited States Sponsorship Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Caterina UrbanUrban, Caterina École normale supérieure Session Chair of 4 (part of SAS) Perfectly Parallel Fairness Certification of Neural Networks Perfectly Parallel Fairness Certification of Neural Networks Committee Member in Program Committee within the SAS-track Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany 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
Marco Tulio ValenteValente, Marco Tulio Federal University of Minas Gerais, Brazil Committee Member in Program Committee within the SySEPL-track
Pedro ValeroValero, Pedro IMDEA Software Institute, SpainSpain Committee Member in Artifact Evaluation Committee within the SAS-track
Kevin Jesús Valle-GómezValle-Gómez, Kevin Jesús University of CadizSpain Committee Member in Artifact Evaluation Committee within the SLE-track
Hendrik van Antwerpenvan Antwerpen, Hendrik 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
L. Thomas van Binsbergenvan Binsbergen, L. Thomas CWINetherlands eFLINT: A Domain-Specific Language for Executable Norm Specifications A principled approach to REPL interpreters
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium PC Member in Program Committee within the REBLS-track
Jaco van de Polvan de Pol, Jaco Aarhus University Polymorphic Types and Effects with Boolean Unification
Petra van den Bosvan den Bos, Petra University of Twente, The NetherlandsNetherlands Committee Member in Program Committee within the FTfJP-track
Guy Van den BroeckVan den Broeck, Guy 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
Sam Van den VonderVan den Vonder, Sam Vrije Universiteit BrusselBelgium 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
Tijs van der Stormvan der Storm, Tijs CWI & University of Groningen, NetherlandsNetherlands Block-Based Syntax from Context-Free Grammars A principled approach to REPL interpreters 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 SPLASH Onward! Papers-track Committee Member in Program Committee within the SLE-track
Robert van Doesburgvan Doesburg, Robert Leibniz Institute / University of Amsterdam / TNO eFLINT: A Domain-Specific Language for Executable Norm Specifications
Tom van Engersvan Engers, Tom Leibniz Institute / University of Amsterdam / TNO Run, Agent, Run; Architecture and Benchmark of Actor-based Agents eFLINT: A Domain-Specific Language for Executable Norm Specifications
Phillip van Heerdenvan Heerden, Phillip Stellenbosch University Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers
Guido van Rossumvan Rossum, Guido Python Software Foundation Dynamic Pattern Matching with Python
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Session Chair of 14:25-- Logic and Language Expressiveness (part of LPOP) Session Chair of 12:00-- Logic in Artificial Intelligence and Machine Learning (part of LPOP) Opening and Introduction Program Chair in Program Chair within the LPOP-track Conference Chair in Program Committee within the LPOP-track
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Session Chair of (part of GPCE) Monadification of Attribute Grammars Strategic Tree Rewriting in Attribute Grammars Committee Member in Steering Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow A Framework for Resource Dependent EDSLs in a Dependently Typed Language A Framework for Resource Dependent EDSLs in a Dependently-Typed Language (Artifact)
Alexa VanHattumVanHattum, Alexa Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Steven VaroumasVaroumas, Steven Sorbonne University — LIP6France Programming Microcontrollers through High-Level Abstractions
Benoît VaugonVaugon, Benoît Programming Microcontrollers through High-Level Abstractions
Niki VazouVazou, Niki IMDEA Software Institute Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell
Margus VeanesVeanes, Margus Microsoft Regex Matching with Counting-Set Automata Regex Matching with Counting-Set Automata
Jyothi VeduradaVedurada, Jyothi Microsoft ResearchIndia Artifact Evaluation Chair in Artifact Evaluation Committee within the SAS-track Artifact Evaluation Chair in Organizing Committee within the SAS-track
Oskar Haarklou VeileborgVeileborg, Oskar Haarklou Aarhus University Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Arnaud J. VenetVenet, Arnaud J. Facebook Memory-Efficient Fixpoint Computation
Joost VennekensVennekens, Joost KU Leuven Break: Ask Me Anything Committee Member in Program Committee within the LPOP-track
Mauricio Verano MerinoVerano Merino, Mauricio Technische Universiteit EindhovenNetherlands Block-Based Syntax from Context-Free Grammars A principled approach to REPL interpreters
Didier VernaVerna, Didier EPITA / LRDEFrance Onward! Essays Chair in Organizing Committee for SPLASH 2020 Session Chair of F (part of SPLASH Keynotes) Session Chair of F (part of SPLASH Keynotes) Session Chair of T-4-Onward (part of SPLASH Onward! Essays) Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Chair in Program Committee within the SPLASH Onward! Essays-track
Lea VerouVerou, Lea MIT-CSAIL PC Member in Programme Committee within the LIVE-track
Jan VerscheldeVerschelde, Jan University of Illinois at ChicagoUnited States Parallel Multiple Double Precision to Solve Polynomial Systems Committee Member in Program Committee within the HILT-track
Jules VillardVillard, Jules Facebook LondonUnited Kingdom Committee Member in Program Committee within the TAPAS-track
Eelco VisserVisser, Eelco Delft University of Technology Chair in Steering Committee for SPLASH 2020 Session Chair of W-3 (part of SPLASH OOPSLA) Session Chair of R-6 (part of SPLASH OOPSLA) Gradually Typing Strategies 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 Review Committee within the SPLASH OOPSLA-track
Jan VitekVitek, Jan Northeastern University / Czech Technical University Virtualization Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Workshops Co-Chair in Organizing Committee for ECOOP 2020 Session Chair of R-5 (part of SPLASH OOPSLA) Session Chair of W-4 (part of SPLASH OOPSLA) Session Chair of W-6 (part of SPLASH OOPSLA) Sampling Optimized Code for Type Feedback Designing Types for R, Empirically Contextual Dispatch for Function Specialization Contextual Dispatch for Function Specialization Fitzcarraldo — or How to Hack Academia to Build Stuff Designing Types for R, Empirically World Age in Julia: Optimizing Method Dispatch in the Presence of Eval Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Mentor in Mentors within the SPLASH PLMW-track Co-chair in REBASE Berlin within the SPLASH REBASE-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Co-chair in Organizing Committee within the SySEPL-track
Tomáš VojnarVojnar, Tomáš Brno University of Technology Regex Matching with Counting-Set Automata Regex Matching with Counting-Set Automata Committee Member in Program Committee within the SAS-track
Richard VuducVuduc, Richard Georgia TechUnited States Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Markus VölterVölter, Markus itemis/independentGermany Committee Member in Program Committee within the SLE-track
W Philip WadlerWadler, Philip University of Edinburgh Featherweight Go Featherweight Go Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committee within the Scala-track
Richard WaiWai, Richard ANNEXI-STRAYLINECanada Session Chair of HILT workshop Tuesday sessions (part of HILT) Session Chair of HILT workshop Monday sessions (part of HILT) XERIS/APEX: Hyperscaling with Ada Tuesday Panel: Language support for parallel and distributed computing Committee Member in Organizing Committee within the HILT-track Committee Member in Program Committee within the HILT-track
Richard WaldingerWaldinger, Richard Deductive Synthesis of the Unification Algorithm: The Automation of Introspection Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
Bow-Yaw WangWang, Bow-Yaw Academia Sinica Incremental Predicate Analysis for Regression Verification Incremental Predicate Analysis for Regression Verification
Haoyu WangWang, Haoyu Beijing University of Posts and Telecommunications Flow2Vec: Value-Flow-Based Precise Code Embedding
Huibo WangWang, Huibo Baidu Security Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Ji WangWang, Ji Rigorous Linear Programming Techniques for Numerical Abstract Domains
Ke WangWang, Ke Visa Research Learning Semantic Program Embeddings with Graph Interval Neural Network Learning Semantic Program Embeddings with Graph Interval Neural Network
Linzhang WangWang, Linzhang Nanjing University Learning Semantic Program Embeddings with Graph Interval Neural Network Learning Semantic Program Embeddings with Graph Interval Neural Network
Tengbin WangWang, Tengbin Rigorous Linear Programming Techniques for Numerical Abstract Domains
Weihang WangWang, Weihang University at Buffalo, SUNYUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Xinyu WangWang, Xinyu University of Michigan Automated Policy Synthesis for System Call Sandboxing
Yu WangWang, Yu Nanjing University, China Learning Semantic Program Embeddings with Graph Interval Neural Network
Yu WangWang, Yu Nanjing University Learning Semantic Program Embeddings with Graph Interval Neural Network
Yuting WangWang, Yuting Shanghai Jiao Tong University Session Chair of W-3 (part of SPLASH OOPSLA) CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
Ziheng WangWang, Ziheng Massachusetts Institute of Technology A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Ziteng WangWang, Ziteng University of California at San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell Digging for Fold: Synthesis-Aided API Discovery for Haskell
David WarrenWarren, David Stony Brook UniversityUnited States Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive? Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All? Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? General Chair in General Chairs within the LPOP-track Conference Chair in Program Committee within the LPOP-track
Nicki WashingtonWashington, Nicki Duke University SPLASH-E Keynote
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan PLAM: Preemptive Layer Activation Architecture based on Multi- threading in Context-Oriented Programming Zone-based Layer Activation: Context-specific Behavior Adaptations across Logically-connected Asynchronous Operations Committee Member in Program Committee within the COP-track
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan PC Member in Program Committee within the REBLS-track
Hillel WayneWayne, Hillel Independent ConsultantUnited States Committee Member in Program Committee within the HATRA-track
Heike WehrheimWehrheim, Heike Paderborn UniversityGermany Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Anjiang WeiWei, Anjiang Peking University A Large-Scale Longitudinal Study of Flaky Tests
Brian WeiWei, Brian Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Guannan WeiWei, Guannan Purdue University Compiling Symbolic Execution with Staging and Algebraic Effects Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Nils WeidmannWeidmann, Nils A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation
Marcel WeiherWeiher, Marcel Hasso-Plattner-Institut (HPI), GermanyGermany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Pascal WeisenburgerWeisenburger, Pascal TU Darmstadt Multitier Languages for Reactive Microservice Architectures Rethinking Safe Consistency in Distributed Object-Oriented Programming
Aaron WeissWeiss, Aaron Northeastern UniversityUnited States Committee Member in Organizing Committee within the IWACO-track
Adam WelcWelc, Adam Uber TechnologiesUnited States Session Chair of R-6 (part of SPLASH OOPSLA) Committee Member in Steering Committee within the VMIL-track Committee Member in Review Committee within the SPLASH OOPSLA-track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Session Chair of F-1A (part of SPLASH OOPSLA) Session Chair of W-6 (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Anna-Katharina WickertWickert, Anna-Katharina TU Darmstadt, GermanyGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Tom Wickham-JonesWickham-Jones, Tom Wolfram Research, Inc.United Kingdom Developing the Wolfram Language Compiler
Josef WidderWidder, Josef Informal Systems Programming at the Edge of Synchrony
Anton WijsWijs, Anton Eindhoven University of TechnologyNetherlands Towards Verified Construction of Correct and Optimised GPU Software Programme Committee in Program Committee within the FTfJP-track
Pierre WilkeWilke, Pierre CentraleSupélec CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
Kristin WilliamsWilliams, Kristin The IoT Codex: A Book of Paper Engineering Techniques for Authoring and Composing Embedded Computing Applications
Amalee WilsonWilson, Amalee Stanford University A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Manuel WimmerWimmer, Manuel JKU LinzAustria Automated Variability Injection for Graphical Modelling Languages
Raphael WimmerWimmer, Raphael University of RegensburgGermany Sketchable Interaction - End-User Customization via Interactive Regions
Daniel Winograd-CortWinograd-Cort, Daniel Luminous ComputingUnited States PC Member in Program Committee within the REBLS-track
Stefan WinterWinter, Stefan TU Darmstadt A Large-Scale Longitudinal Study of Flaky Tests
Dominik WintererWinterer, Dominik ETH Zurich Session Chair of R-6 (part of SPLASH OOPSLA) On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers
Mario WolczkoWolczko, Mario Oracle LabsUnited States Polyglot Programming
Felix A. WolfWolf, Felix A. 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
Cameron WongWong, Cameron Jane Street Gradual Verification of Recursive Heap Data Structures Gradual Verification of Recursive Heap Data Structures
Jackson WoodruffWoodruff, Jackson University of Edinburgh Modeling Black-Box Components with Probabilistic Synthesis
James WorrellWorrell, James University of OxfordUnited Kingdom Polynomial Invariants for Affine Programs Invited Speaker in Invited Speakers within the SAS-track
Tobias WrigstadWrigstad, Tobias Uppsala University, Sweden Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom Reshape your layouts, not your programs: A safe language extension for better cache locality 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 Committee Member in Program Committee within the ECOOP Research Papers-track Organizer in Organizing Committee within the SOOP-track
Meng WuWu, Meng Ant Group Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Peng WuWu, Peng FacebookUnited States Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committe within the SPLASH CARES-track
Zhefeng WuWu, Zhefeng Alibaba Group Session Chair of T-6A (part of SPLASH OOPSLA) Hidden Inheritance: An Inline Caching Design for TypeScript Performance Hidden Inheritance: An Inline Caching Design for TypeScript Performance
Andreas WälchliWälchli, Andreas University of Bern Sampling Optimized Code for Type Feedback
Valentin WüstholzWüstholz, Valentin ConsenSys Perfectly Parallel Fairness Certification of Neural Networks Perfectly Parallel Fairness Certification of Neural Networks
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Behavior Trees in Action: A Study of Robotics Applications
X Tongtong XiangXiang, Tongtong 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
Ningning XieXie, Ningning University of TorontoCanada Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism Mentor in Mentors within the SPLASH PLMW-track Mentor in Mentors within the SPLASH PLMW-track
Tao XieXie, Tao Peking University A Large-Scale Longitudinal Study of Flaky Tests
Yuan XieXie, Yuan 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
Doris XinXin, Doris Static Analysis for Safer Notebook Interactions
Shale XiongXiong, Shale ARM ResearchUnited Kingdom Data Consistency in Transactional Storage Systems: A Centralised Semantics
Yingfei XiongXiong, Yingfei Peking University Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example
Guoqing Harry XuXu, Guoqing Harry University of California at Los Angeles SATUNE: Synthesizing Efficient SAT Encoders Satune: Synthesizing Efficient SAT Encoders
Xiangzhe XuXu, Xiangzhe Nanjing University Session Chair of R-3 (part of SPLASH OOPSLA) Session Chair of M-5 (part of SPLASH OOPSLA) CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files
Jingling XueXue, Jingling UNSW SydneyAustralia Committee Member in Review Committee within the SPLASH OOPSLA-track
Y Eran YahavYahav, Eran 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 Programming with a Read-Eval-Synth Loop Programming with a Read-Eval-Synth Loop
Aidan Z.H. YangYang, Aidan Z.H. Queen's University / Carnegie Mellon UniversityCanada SOAR: Synthesis for Open-Source API Refactoring
Jean YangYang, Jean Akita SoftwareUnited States APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming
Junwen YangYang, Junwen University of ChicagoChina Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Xi YangYang, Xi University of Sydney, AustraliaAustralia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Katherine YeYe, Katherine Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the HATRA-track
Ming-Ho YeeYee, Ming-Ho Northeastern University Contextual Dispatch for Function Specialization Contextual Dispatch for Function Specialization
Noam YefetYefet, Noam TechnionIsrael Adversarial Examples for Models of Code
Kwangkeun YiYi, Kwangkeun Seoul National University, South Korea Session Chair of 9 (part of SAS) Committee Member in Program Committee within the SAS-track
Mingsheng YingYing, Mingsheng University of Technology Sydney / Institute of Software at Chinese Academy of Sciences / Tsinghua University Projection-based Runtime Assertions for Testing and Debugging Quantum Programs Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
Alfa YohannisYohannis, Alfa University of YorkIndonesia Committee Member in Artifact Evaluation Committee within the SLE-track
Mengchen Sam YongYong, Mengchen Sam Carnegie Mellon University User-Centered Programming Language Design: A Course-Based Case Study
Irene YoonYoon, Irene University of Pennsylvania Geometry Types for Graphics Programming Geometry Types for Graphics Programming Geometry Types for Graphics Programming
Nobuko YoshidaYoshida, Nobuko Imperial College London Static Race Detection and Mutex Safety and Liveness for Go Programs Multiparty Session Programming with Global Protocol Combinators Static Race Detection and Mutex Safety and Liveness for Go Programs Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators CAMP: Cost-Aware Multiparty Session Protocols CAMP: Cost-Aware Multiparty Session Protocols Static Race Detection and Mutex Safety and Liveness for Go Programs CAMP: Cost-Aware Multiparty Session Protocols Featherweight Go Featherweight Go Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols Multiparty Motion Coordination: From Choreographies to Robotics Programs Multiparty Motion Coordination: From Choreographies to Robotics Programs
Jiyong YuYu, Jiyong University of Illinois at Urbana-Champaign Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Nengkun YuYu, Nengkun University of Technology Sydney Session Chair of W-5 (part of SPLASH OOPSLA) Projection-based Runtime Assertions for Testing and Debugging Quantum Programs Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
Qianshan YuYu, Qianshan Tsinghua University Incremental Predicate Analysis for Regression Verification Incremental Predicate Analysis for Regression Verification
Shoji YuenYuen, Shoji Nagoya 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
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Committee Member in Program Committee within the NSAD-track Committee Member in Program Committee within the SAS-track
Foivos S. ZakkakZakkak, Foivos S. Red Hat, Inc. Committee Member in Program Committee within the VMIL-track
Lucas ZamprognoZamprogno, Lucas University of British Columbia Nudging Student Learning Strategies Using Formative Feedback in Automatically Graded Assessments
Marco ZanellaZanella, Marco University of Padova, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS-track
Zhiqiang ZangZang, Zhiqiang University of Texas at Austin Unifying Execution of Imperative Generators and Declarative Specifications Unifying Execution of Imperative Generators and Declarative Specifications
Francesco Zappa NardelliZappa Nardelli, Francesco FacebookFrance Reliable Stack Traces, the Reality of Myth Committee Member in Program Committee within the DLS-track
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Session Chair of (part of SLE) Session Chair of (part of SLE) Software Language Engineers’ Worst Nightmare Committee Member in Program Committee within the GPCE-track Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Committee within the SLE-track
Uwe ZdunZdun, Uwe University of ViennaAustria Committee Member in Program Committee within the SLE-track
Stefan ZetzscheZetzsche, Stefan University College LondonUnited Kingdom Mentor in Mentors within the SPLASH PLMW-track
Charles ZhangZhang, Charles The Hong Kong University of Science and TechnologyChina Enterprise-scale static analysis: A Pinpoint experience Enterprise-scale static analysis: A Pinpoint experience
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Session Chair of T-3 (part of SPLASH OOPSLA) On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers On the Unusual Effectiveness of Type-aware Operator Mutations for Testing SMT Solvers Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Fuyuan ZhangZhang, Fuyuan MPI-SWS Perfectly Parallel Fairness Certification of Neural Networks Perfectly Parallel Fairness Certification of Neural Networks Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Guanqin ZhangZhang, Guanqin University of Technology Sydney Flow2Vec: Value-Flow-Based Precise Code Embedding
Hailong ZhangZhang, Hailong Fordham University Differentially-Private Software Frequency Profiling under Linear Constraints
Hengchu ZhangZhang, Hengchu University of Pennsylvania Testing Differential Privacy with Dual Interpreters Testing Differential Privacy with Dual Interpreters
Mona ZhangZhang, Mona Columbia University Design and Implementation of a Gradual Verifier
Rui ZhangZhang, Rui Ohio State University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiangyu ZhangZhang, Xiangyu Purdue University WATCHER: In-Situ Failure Diagnosis
Yizhou ZhangZhang, Yizhou University of WaterlooCanada Handling Bidirectional Control Flow Handling Bidirectional Control Flow
Jinxu ZhaoZhao, Jinxu University of Hong Kong Revisiting Iso-Recursive Subtyping Revisiting Iso-Recursive Subtyping Revisiting Iso-Recursive Subtyping
Tian ZhaoZhao, Tian University of Wisconsin-Milwaukee Asynchronous Monad for Reactive IoT Programming
Yaoyu ZhaoZhao, Yaoyu University of Waterloo Scala with Explicit Nulls Scala with Explicit Nulls
Zhijia ZhaoZhao, Zhijia University of California at Riverside LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
Yunhui ZhengZheng, Yunhui IBM ResearchUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Fangyi ZhouZhou, Fangyi Imperial College London Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols Statically Verified Refinements for Multiparty Protocols
Li ZhouZhou, Li Max Planck Institute for Security and Privacy Projection-based Runtime Assertions for Testing and Debugging Quantum Programs Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
Tong ZhouZhou, Tong Georgia Institute of Technology Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Yaoda ZhouZhou, Yaoda University of Hong Kong Session Chair of T-2 (part of SPLASH OOPSLA) Revisiting Iso-Recursive Subtyping Revisiting Iso-Recursive Subtyping Revisiting Iso-Recursive Subtyping
Yingying ZhuZhu, Yingying University of Michigan RustViz: Interactively Visualizing Ownership and Borrowing
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Committee Member in Steering Committee within the REBLS-track
Ghiles ZiatZiat, Ghiles Abstract Domains for Constraint Programming with Differential Equations
Dirk ZiegenbeinZiegenbein, Dirk Robert Bosch GmbHGermany Monday Panel: OpenMP for High Integrity systems: Moving responsibility from users to vendors
Daming ZouZou, Daming Peking University Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom A Family of Languages for Trustworthy Agent-Based Simulation
Elena ZuccaZucca, Elena University of Genova An inductive abstract semantics for coFJ A big step from finite to infinite computations Sound regular corecursion in coFJ Committee Member in External Review Committee within the SPLASH OOPSLA-track Programme Committee in Program Committee within the FTfJP-track
Damien ZuffereyZufferey, Damien MPI-SWS Programming at the Edge of Synchrony Multiparty Motion Coordination: From Choreographies to Robotics Programs Multiparty Motion Coordination: From Choreographies to Robotics Programs
Florian ZulegerZuleger, Florian TU ViennaAustria Committee Member in Program Committee within the SAS-track
Zhiqiang ZuoZuo, Zhiqiang Nanjing University Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Å Johannes Åman PohjolaÅman Pohjola, Johannes Data61 at CSIRO / UNSW 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
Ç Ezgi ÇiçekÇiçek, Ezgi Facebook LondonUnited Kingdom Static Resource Analysis at Scale PC Member in Programme Committee within the LIVE-track Invited Speaker in Invited Speakers within the SAS-track

SPLASH 2020 Contributors

Results (1303)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia