SPLASH 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1309)

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 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 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 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
Leif AndersenAndersen, Leif Northeastern University Adding Interactive Visual Syntax to Textual Code Adding Interactive Visual Syntax to Textual Code
Mauricio AnicheAniche, Mauricio 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, Greece 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
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: Artifact 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 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 Adding Interactive Visual Syntax to Textual Code Macros For Domain-Specific Languages 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) Welcome Group Harmony Visualisation At Scale 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 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 (Artifact) Flow-Sensitive Type-Based Heap Cloning
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 Mossad: Defeating Software Plagiarism Detection Performance Really Matters
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 BodikBodik, Rastislav University of Washington Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
Hans-J. BoehmBoehm, Hans-J. Google Session Chair of W-6 (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mathieu BoespflugBoespflug, Mathieu Tweag I/OFrance Miniaturize All States!
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Session Chair of S-3 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track
Michael D. BondBond, Michael D. Ohio State University, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Committee Member in Steering Committee within the VMIL-track
Tabea BordisBordis, Tabea TU Braunschweig Correctness-by-Construction for Feature-Oriented Software Product Lines
James BornholtBornholt, James University of Texas at AustinUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Artur BoronatBoronat, Artur University of Leicester Committee Member in Program Committee within the SLE-track
Sylvain BoulméBoulmé, Sylvain Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Session Chair of R-4 (part of SPLASH OOPSLA) Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors Certified and efficient instruction scheduling 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
Gary Brandt Bucher, IIBucher, II, Gary Brandt Research Affiliates, LLCUnited States Dynamic Pattern Matching with Python
Didier BuchsBuchs, Didier University of Geneva, Switzerland Functional Block Programming and Debugging Featherweight Swift: A Core Calculus for Swift’s Type System
Lubomír BulejBulej, Lubomír Charles UniversityCzech Republic Committee Member in Organizing Committee within the ICOOOLPS-track
Oleksandra BulgakovaBulgakova, Oleksandra Ukraine PC Member in Program Committee within the REBLS-track
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Loli BurgueñoBurgueño, Loli Open University of Catalonia, Spain Towards the Optical Character Recognition of DSLs Publicity Chair in Organizing Committee within the SLE-track
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 Ian C. McCormackC. McCormack, Ian University of Wisconsin-Eau ClaireUnited States A Software Library Model for the Internet of Things Direct Manipulation for Computational Making
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
Jose CambroneroCambronero, Jose 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 Tuesday Panel: Language support for parallel and distributed computing Productive Parallel Programming with Parsl 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 (Artifact) Flow-Sensitive Type-Based Heap Cloning
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
Sang Heon ChoiChoi, Sang Heon Rose-Hulman Institute of Technology Consolidation: A Technique for Improving Permissiveness of Human-Machine Interfaces
Stephen ChongChong, Stephen Harvard University Formulog: Datalog for SMT-Based Static Analysis Formulog: Datalog for SMT-based Static Analysis Formulog: Datalog for SMT-Based Static Analysis
Stephen ChouChou, Stephen Massachusetts Institute of Technology A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Vikraman ChoudhuryChoudhury, Vikraman Indiana University & University of CambridgeUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maria ChristakisChristakis, Maria MPI-SWS Perfectly Parallel Fairness Certification of Neural Networks Perfectly Parallel Fairness Certification of Neural Networks
Duc-Hiep ChuChu, Duc-Hiep National University of Singapore Inter-Theory Dependency Analysis for SMT String Solvers Inter-theory Dependency Analysis for SMT String Solvers
Ravi ChughChugh, Ravi University of Chicago Local Arrangements Chair in Organizing Committee for SPLASH 2020 ManipML: Towards Bimodal Tangible Functional Programming PC Member in Programme Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Benjamin ChungChung, Benjamin Northeastern University AV Co-Chair in Organizing Committee for SPLASH 2020 World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Guerric ChupinChupin, Guerric University of Nottingham PC Member in Program Committee within the REBLS-track
Luke ChurchChurch, Luke University of CambridgeUnited Kingdom Session Chair of Novices and Application Domains (part of HATRA) Session Chair of Design (part of HATRA) Towards making formal methods normal: meeting developers where they are Committee Member in Organizing Committee within the HATRA-track
Paolo CiancariniCiancarini, Paolo University of Bologna / Innopolis University Software Design as Story Telling: Reflecting on the Work of Italo Calvino
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Committee Member in Program Committee within the TAPAS-track
Matteo CiminiCimini, Matteo University of Massachusetts at Lowell, USAUnited States Extrinsically Typed Operational Semantics for Functional Languages
Tony ClarkClark, Tony Aston UniversityUnited Kingdom Committee Member in Program Committee within the SLE-track
Cliff ClickClick, Cliff SelfUnited States Tales from the Frontlines: Startup War Stories
Martin ClochardClochard, Martin ETH Zurich Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
Joshua CluneClune, Joshua Carnegie Mellon University Program Equivalence for Assisted Grading of Functional Programs
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of Slot 5 (part of SPLASH Doctoral Symposium) Closing Introduction and Welcome from the Organizers Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Michael CoblenzCoblenz, Michael University of Maryland at College ParkUnited States Session Chair of R-3 (part of SPLASH OOPSLA) Session Chair of Formal Methods (part of HATRA) Session Chair of Research Agenda Planning (part of HATRA) User-Centered Programming Language Design: A Course-Based Case Study Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the HATRA-track
Jean-Louis ColaçoColaço, Jean-Louis ANSYSFrance Keynote: SCADE 6
Murray ColeCole, Murray University of Edinburgh, UK DelayRepay: Delayed Execution for Kernel Fusion in Python
Bruce CollieCollie, Bruce University of Edinburgh Modeling Black-Box Components with Probabilistic Synthesis
Benoit CombemaleCombemale, Benoit University of Rennes, France / Inria, France / CNRS, France / IRISA, FranceFrance Session Chair of (part of GPCE) Modular and Distributed IDE A principled approach to REPL interpreters
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Toward a Multi-Language and Multi-Environment Framework for Live Programming Committee Member in Program Committee within the Scala-track
Thomas ConteConte, Thomas Georgia Institute of Technology Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels
Mistral ContrastinContrastin, Mistral Facebook LondonUnited Kingdom Guiding user annotations for units-of-measure verification
William CookCook, William University of Texas at Austin Session Chair of T-3-Onward (part of SPLASH Onward! Papers) Austin in Program Committee within the SPLASH Onward! Papers-track
David Corral-PlazaCorral-Plaza, David University of Cadiz Committee Member in Artifact Evaluation Committee within the SLE-track
Fabien CoulonCoulon, Fabien Obeo, France / University of Rennes, France / Inria, France / CNRS, France / IRISA, France Modular and Distributed IDE
Patrick CousotCousot, Patrick New York UniversityUnited States Session Chair of 3 (part of SAS) Session Chair of 5 (part of SAS) Session Chair of 1 (part of SAS) Logic in Program Analysis and Verification Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It? Committee Member in Program Committee within the SAS-track
Will CrichtonCrichton, Will Stanford University Documentation Generation as Information Visualization The Usability of Ownership
Roy CroleCrole, Roy University of LeicesterUnited Kingdom On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs
Shaobo CuiCui, Shaobo The Duality of Subtyping (artifact) The Duality of Subtyping
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
Rob DeLineDeLine, Rob 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
Isil DilligDillig, Isil University of Texas at Austin Automated Policy Synthesis for System Call Sandboxing Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Poster Co-Chair in Organizing Committee for SPLASH 2020 Committee Member in External Review Committee within the SPLASH OOPSLA-track Poster Co-Chair in Organizing Committee within the SPLASH Posters-track
Yufei DingDing, Yufei University of California at Santa Barbara Projection-based Runtime Assertions for Testing and Debugging Quantum Programs Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs
Cynthia DisenfeldDisenfeld, Cynthia Foretellix and Open University of IsraelIsrael Committee Member in Program Committee within the COP-track
Julien Alexandre dit Sandrettodit Sandretto, Julien Alexandre Abstract Domains for Constraint Programming with Differential Equations
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Semantics-Preserving Inlining for Metaprogramming
Simon DohertyDoherty, Simon University of Sheffield Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR Owicki-Gries Reasoning for C11 RAR
Julian DolbyDolby, Julian IBM Research, USA Python 3 Types in the Wild: A Tale of Two Type Systems Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs Committee Member in External Review Committee within the SPLASH OOPSLA-track Organizer in Organizing Committee within the PRIDE-track Organizer in Organizing Committee within the JSTools-track
Philipp Dominik SchubertDominik Schubert, Philipp 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
Alastair DonaldsonDonaldson, Alastair Imperial College LondonUnited Kingdom Putting Randomized Compiler Testing into Production Putting Randomized Compiler Testing into Production Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer 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 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 Committee Member in Review Committee within the SPLASH OOPSLA-track
Cezara DrăgoiDrăgoi, Cezara Inria / ENS / CNRS / PSL University / Informal Systems Testing Consensus Implementations using Communication Closure Programming at the Edge of Synchrony
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 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
Michael EmmiEmmi, Michael Amazon Web Services Committee Member in External Review Committee within the SPLASH OOPSLA-track
Constantin EneaEnea, Constantin University of Paris / IRIF / CNRS Testing Consensus Implementations using Communication Closure Proving Highly-Concurrent Traversals Correct
Esra ErdemErdem, Esra Sabanci University, TurkeyTurkey Committee Member in Program Committee within the LPOP-track
Sebastian ErdwegErdweg, Sebastian University of Mainz A Systematic Approach to Deriving Incremental Type Checkers Committee Member in Program Committee within the ECOOP Research Papers-track Vice-Chair in Steering Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Erik ErnstErnst, Erik Google LLCDenmark Herding Nulls in Dart Committee Member in External Review Committee within the ECOOP Research Papers-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) General Chair in Organizing Committee within the GPCE-track
Nafise EskandaniEskandani, Nafise TU Darmstadt Doctoral Symposium Co-Chair in Organizing Committee for ECOOP 2020 Session Chair of Slot 3 (part of SPLASH Doctoral Symposium) ConSysT: Tunable, Safe Consistency meets Object-Oriented Programming Rethinking Safe Consistency in Distributed Object-Oriented Programming Closing Introduction and Welcome from the Organizers Doctoral Symposium Co-Chair in Organizing Committee within the ECOOP Doctoral Symposium-track
Patrick EugsterEugster, Patrick USI Lugano / TU Darmstadt / Purdue University Scalable and Serializable Networked Multi-actor Programming Committee Member in Steering Committee within the REBLS-track
Hugues EvrardEvrard, Hugues Google Putting Randomized Compiler Testing into Production Putting Randomized Compiler Testing into Production
Fola-Dami EyitemiEyitemi, Fola-Dami University of LeicesterUnited Kingdom Committee Member in Artifact Evaluation Committee within the SLE-track
F Maximilian FalkensteinFalkenstein, Maximilian ETH Zurich Fast Linear Programming through Transprecision Computing on Small and Sparse Data
Chris FallinFallin, Chris Mozilla Safe, Flexible Aliasing with Deferred Borrows
Umar FarooqFarooq, Umar University of California at Riverside LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
Marie FarrellFarrell, Marie University of Liverpool Programme Committee in Program Committee within the FTfJP-track
Parisa FathololumiFathololumi, Parisa Stevens Institute of Technology DynamiTe: Dynamic Termination and Non-termination Proofs
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Farkas-Based Tree Interpolation
Marc FeeleyFeeley, Marc Université de MontréalCanada Session Chair of Invited Talk - Racket (part of VMIL) Session Chair of Invited Talk: Evolution of the Dart PL (part of VMIL) Committee Member in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track
Molly FeldmanFeldman, Molly Williams CollegeUnited States Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Commitee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
Yotam M. Y. FeldmanFeldman, Yotam M. Y. Tel Aviv University The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics Proving Highly-Concurrent Traversals Correct
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Web Technology Chair in Organizing Committee for ECOOP 2020 Session Chair of 7 (part of SAS) Session Chair of 8 (part of SAS) Polyglot Programming SqueakLive Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track
Matthias FelleisenFelleisen, Matthias Northeastern University Macros For Domain-Specific Languages Adding Interactive Visual Syntax to Textual Code 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
John FeserFeser, John Massachusetts Institute of Technology Deductive Optimization of Relational Data Storage
Ismael FigueroaFigueroa, Ismael University of ValparaísoChile Interfaces for Modular Reasoning in Context-Oriented Programming Committee Member in Program Committee within the COP-track
Stephen J FinkFink, Stephen J FacebookUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Nicholas FiremanFireman, Nicholas Oakland University Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
Emily FirstFirst, Emily University of Massachusetts at Amherst TacTok: Semantics-Aware Proof Synthesis
Bernd FischerFischer, Bernd Stellenbosch University, South AfricaSouth Africa An Interactive Feedback System for Grammar Development (Tool Paper) Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata 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 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 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
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Implementation of SHAPES case studies
Juliana FrancoFranco, Juliana Reshape Your Layouts, Not Your Programs: A Safe Language Extension for Better Cache Locality
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom 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 (Artifact) Static Race Detection and Mutex Safety and Liveness for Go Programs Static Race Detection and Mutex Safety and Liveness for Go Programs
Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Carlos GalindoGalindo, Carlos Program Slicing with Exception Handling Data Dependence for Object-Oriented Programs
Anshula GandhiGandhi, Anshula Lightening the Cognitive Load of Shell Programming
Ishaan GandhiGandhi, Ishaan Lightening the Cognitive Load of Shell Programming
Fengjuan GaoGao, Fengjuan Nanjing University Learning Semantic Program Embeddings with Graph Interval Neural Network Learning Semantic Program Embeddings with Graph Interval Neural Network
Xiang GaoGao, Xiang National University of Singapore Feedback-Driven Semi-supervised Synthesis of Program Transformations
Antonio Garcia-DominguezGarcia-Dominguez, Antonio Aston UniversityUnited Kingdom Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications Data Consistency in Transactional Storage Systems: A Centralised Semantics Gillian: a Multi-language Platform for Compositional Symbolic Analysis
Isaac Oscar GarianoGariano, Isaac Oscar Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Christophe GarionGarion, Christophe ISAE-SUPAEROFrance Abstract Domains for Constraint Programming with Differential Equations
Antonio GarmendiaGarmendia, Antonio JKU LinzAustria Automated Variability Injection for Graphical Modelling Languages
Ivan GavranGavran, Ivan MPI-SWS Interactive Synthesis of Temporal Specifications from Examples and Natural Language Interactive Synthesis of Temporal Specifications from Examples and Natural Language Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Martin GebserGebser, Martin University of Klagenfurt, AustriaAustria Break: Ask Me Anything Committee Member in Program Committee within the LPOP-track
Timon GehrGehr, Timon ETH Zurich, Switzerland Committee Member in Reviewers/Judges within the SPLASH Student Research Competition-track
Dietrich GeislerGeisler, Dietrich Cornell University Online Verification of Commutativity Geometry Types for Graphics Programming Geometry Types for Graphics Programming Geometry Types for Graphics Programming
Jack GelinasGelinas, Jack Northeastern University World Age in Julia: Optimizing Method Dispatch in the Presence of Eval
Samir GenaimGenaim, Samir Universidad Complutense de MadridSpain Session Chair of 8 (part of SAS) Committee Member in Program Committee within the SAS-track
Kaan GençGenç, Kaan Ohio State University, USA Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aina Linn GeorgesGeorges, Aina Linn Aarhus University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eduardo GeraldoGeraldo, Eduardo Gradual Value-Dependent Information Flow Control [SPLASH DS]
Pritam GharatGharat, Pritam Committee Member in Artifact Evaluation Committee within the SAS-track
Khalil GhorbalGhorbal, Khalil Inria, FranceFrance Session Chair of Invited Talk (part of NSAD) Session Chair of Papers (part of NSAD) Co-chair in Organizing Committee within the NSAD-track
Ritwika GhoshGhosh, Ritwika University of Illinois at Urbana-Champaign Koord: A Language for Programming and Verifying Distributed Robotics Application
Razan GhzouliGhzouli, Razan Chalmers University of Technology & University of GothenburgSweden Behavior Trees in Action: A Study of Robotics Applications
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Formal framework for reasoning about the precision of dynamic analysis
Paolo G. GiarrussoGiarrusso, Paolo G. Delft University of Technology A Type-and-Effect System for Object Initialization A Type-and-Effect System for Object Initialization
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Session Chair of S-5 (part of ECOOP Research Papers) Session Chair of S-6 (part of ECOOP Research Papers) Committee Member in External Review Committee within the ECOOP Research Papers-track
Jürgen GieslGiesl, Jürgen RWTH Aachen UniversityGermany Termination of Polynomial Loops
Elena GlassmanGlassman, Elena Harvard UniversityUnited States Welcome to PLATEAU! PL and HCI: Better Together Committee Member in Program Committee within the HATRA-track Committee Member in Organizing Committee within the PLATEAU-track
Milos GligoricGligoric, Milos University of Texas at Austin Unifying Execution of Imperative Generators and Declarative Specifications Unifying Execution of Imperative Generators and Declarative Specifications Committee Member in Program Committee within the SySEPL-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE-track
Aman GoelGoel, Aman University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Aviral GoelGoel, Aviral Northeastern University Session Chair of F-2A (part of SPLASH OOPSLA) Session Chair of F-4B (part of SPLASH OOPSLA) Session Chair of F-5B (part of SPLASH OOPSLA) Session Chair of F-1B (part of SPLASH OOPSLA) Designing Types for R, Empirically Designing Types for R, Empirically Co-chair in REBASE Berlin within the SPLASH REBASE-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Anirüddhā GokhāléGokhālé, Anirüddhā Vanderbilt University Committee Member in Program Committee within the GPCE-track
Anitha GollamudiGollamudi, Anitha Harvard University Session Chair of R-5 (part of SPLASH OOPSLA) Session Chair of W-6 (part of SPLASH OOPSLA) Session Chair of S-3 (part of ECOOP Research Papers) Session Chair of M-4 (part of ECOOP Research Papers) Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Hongpu GongGong, Hongpu Static Analysis for Safer Notebook Interactions
Kai GongGong, Kai Alibaba Group Hidden Inheritance: An Inline Caching Design for TypeScript Performance Hidden Inheritance: An Inline Caching Design for TypeScript Performance
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Proving array properties using data abstraction
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Steering Committee for SPLASH 2020 Session Chair of S-3 (part of ECOOP Research Papers) Session Chair of S-4 (part of ECOOP Research Papers) Framework-Aware Debugging with Stack Tailoring Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the DLS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
April GonçalvesGonçalves, April Metastate AGDenmark Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers PC Member in Programme Committee within the LIVE-track
Colin GordonGordon, Colin Drexel UniversityUnited States Artifact Evaluation Chair in Organizing Committee for SPLASH 2020 Designing with Static Capabilities and Effects Lifting Sequential Effects to Control Operators Artifact Evaluation Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the AGERE-track
Jacob GorenburgGorenburg, Jacob Haverford College Design and Implementation of a Gradual Verifier
Maria I. GorinovaGorinova, Maria I. The University of EdinburghUnited Kingdom Probabilistic Programming: The What, Why and How
Hamed GorjiaraGorjiara, Hamed University of California at Irvine SATUNE: Synthesizing Efficient SAT Encoders Satune: Synthesizing Efficient SAT Encoders
Jeff GrayGray, Jeff University of Alabama Session Chair of (part of GPCE) Session Chair of (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) Session Chair of GPCE/SLE Opening (part of GPCE) PC Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Neville GrechGrech, Neville University of MaltaMalta Workshops Co-Chair in Organizing Committee for SPLASH 2020 Static Analysis of Shape in TensorFlow Programs Static Analysis of Shape in TensorFlow Programs Precise Static Modeling of Ethereum ``Memory'' Precise Static Modeling of Ethereum “Memory” Committee Member in Organizing Committee within the SPLASH Workshops-track
Michael GreenbergGreenberg, Michael Pomona College Formulog: Datalog for SMT-Based Static Analysis Formulog: Datalog for SMT-based Static Analysis Formulog: Datalog for SMT-Based Static Analysis
Erin Greenwood-ThessmanGreenwood-Thessman, Erin Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom
Clemens GrelckGrelck, Clemens University of AmsterdamNetherlands PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report
Robert GriesemerGriesemer, Robert Google Featherweight Go Featherweight Go
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Steering Committee Member in Steering Commitee within the FTfJP-track
Robert GrimmGrimm, Robert United States Technology Today: A Paucity of Integrity and Imagination
Tobias GrosserGrosser, Tobias University of Edinburgh Fast Linear Programming through Transprecision Computing on Small and Sparse Data Mentor in Mentors within the SPLASH PLMW-track
Dan GrossmanGrossman, Dan University of Washington, USA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Shelly GrossmanGrossman, Shelly Tel Aviv University Taming Callbacks for Smart Contract Modularity
David GroveGrove, David IBM ResearchUnited States OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2020 Committee Member in Steering Committee for SPLASH 2020 Session Chair of F-5A (part of SPLASH OOPSLA) Session Chair of M-6 (part of SPLASH OOPSLA) Session Chair of R (part of SPLASH Keynotes) Session Chair of R (part of SPLASH Keynotes) Awards Session Opening Session Chair in Review Committee within the SPLASH OOPSLA-track
Felix GrundGrund, Felix University of British Columbia How student avatars can contribute to a more social environment in online courses
Esther GuerraGuerra, Esther Autonomous University of Madrid Automated Variability Injection for Graphical Modelling Languages
Arjun GuhaGuha, Arjun University of Massachusetts at Amherst Wasm/k: Delimited Continuations for WebAssembly TacTok: Semantics-Aware Proof Synthesis Mentor in Mentors within the SPLASH PLMW-track Committee Member in Program Commitee within the SPLASH -E-track
Sumit GulwaniGulwani, Sumit Microsoft Structure Interpretation of Text Formats Feedback-Driven Semi-supervised Synthesis of Program Transformations
Elsa GunterGunter, Elsa University of IllinoisUnited States K-LLVM: A Relatively Complete Semantics of LLVM IR
Philip GuoGuo, Philip University of California San Diego The Essence of Program Semantics Visualizers: A Three-Axis Model Data Theater: A Live Programming Environment for Prototyping Data-Driven Explorable Explanations
Shengjian GuoGuo, Shengjian Baidu Security Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution
Zheng GuoGuo, Zheng University of California, San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell Digging for Fold: Synthesis-Aided API Discovery for Haskell
Zheng GuoGuo, Zheng University of California, San DiegoUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Gopal GuptaGupta, Gopal Break: Ask Me Anything
Shubhani GuptaGupta, Shubhani IIT Delhi Counterexample-Guided Correlation Algorithm for Translation Validation Counterexample-Guided Correlation Algorithm for Translation Validation
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Committee Member in Program Committee within the SAS-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tudor GîrbaGîrba, Tudor CompuGroup Medical Schweiz AG Committee Member in Program Committee within the SPLASH Onward! Papers-track
Alejandro Gómez-LondoñoGómez-Londoño, Alejandro Chalmers University of Technology Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs
Elena Gómez-MartínezGómez-Martínez, Elena Autonomous University of Madrid Automated Variability Injection for Graphical Modelling Languages
H Andreas HaeberlenHaeberlen, Andreas University of Pennsylvania Testing Differential Privacy with Dual Interpreters Testing Differential Privacy with Dual Interpreters
Seyed Hossein HaeriHaeri, Seyed Hossein Université Catholique de Louvain Committee Member in Program Committee within the LPOP-track
Jürgen HahnHahn, Jürgen University of RegensburgGermany Sketchable Interaction - End-User Customization via Interactive Regions
Jakob HainHain, Jakob Northeastern University Contextual Dispatch for Function Specialization Contextual Dispatch for Function Specialization
Braxton HallHall, Braxton Group Harmony Visualisation At Scale
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Drew HamiltonHamilton, Drew Mississippi State University, CCI Committee Member in Program Committee within the HILT-track
Christian HammerHammer, Christian University of PotsdamGermany General Chair in Organizing Committee for ECOOP 2020 Opening Session Committee Member in Program Committee within the ECOOP Research Papers-track
Jitao HanHan, Jitao Tsinghua University Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
Yu HaoHao, Yu Ohio State University Differentially-Private Software Frequency Profiling under Linear Constraints
Ben HardekopfHardekopf, Ben UC Santa Barbara Committee Member in External Review Committee within the SPLASH OOPSLA-track
Marcel HarkHark, Marcel RWTH Aachen University, Germany Termination of Polynomial Loops
Bjoern HartmannHartmann, Bjoern UC Berkeley Opportunities and Challenges for Circuit Board Level Hardware Description Languages
Gautier HattenbergerHattenberger, Gautier ENACFrance Paparazzi, an open source UAV for research
Timothée HaudebourgHaudebourg, Timothée ENS RennesFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Matthias HauswirthHauswirth, Matthias Università della Svizzera italianaSwitzerland Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2020 Session Chair of Slot 2 (part of SPLASH Doctoral Symposium) Closing Introduction and Welcome from the Organizers Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Byron HawkinsHawkins, Byron INRIA RennesFrance Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Fei HeHe, Fei Tsinghua University Incremental Predicate Analysis for Regression Verification Incremental Predicate Analysis for Regression Verification Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules
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