SPLASH 2021 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1316)

A Martin AbadiAbadi, Martin Google Invited Speaker
Carmine AbateAbate, Carmine Max Planck Institute for Security and Privacy, Bochum, Germany Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
Rosa Abbasi BoroujeniAbbasi Boroujeni, Rosa Committee Member in Artifact Evaluation Committee within the SAS-track
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, Sweden Solving Not-Substring with Flat Abstraction Efficient Handling of String-Number Conversion
Eman Abdullah AlOmarAbdullah AlOmar, Eman Rochester Institute of Technology, USAUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Andreas AbelAbel, Andreas Gothenburg UniversitySweden Committee Member in Program Committee within the APLAS Research Papers-track
Erika AbrahamAbraham, Erika RWTH Aachen UniversityGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Dave AbrahamsAbrahams, Dave AdobeUnited States A Retrospective on the Design of the Swift Programming Language
Umut A. AcarAcar, Umut A. Carnegie Mellon University Responsive Parallelism with Futures and State
Sara AchourAchour, Sara MIT-CSAIL Committee Member in External Review Committee within the SPLASH OOPSLA-track
Andrew AdamsAdams, Andrew AdobeUnited States Verifying and Improving Halide’s Term Rewriting System with Program Synthesis Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Assalé AdjéAdjé, Assalé Université de Perpignan Via Domitia Fast and Efficient Bit-Level Precision Tuning
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-Champaign, USA Guided Linking: Dynamic Linking Without the Costs Committee Member in Program Committe within the SPLASH CARES-track
Kunal AgrawalAgrawal, Kunal Washington University in St. Louis, USA Responsive Parallelism with Futures and State
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Future of Conferences
Shibbir AhmedAhmed, Shibbir Iowa State UniversityUnited States Towards Deep Learning Specification
Marat AkhinAkhin, Marat JetBrains Research; St. Petersburg Polytechnic UniversityRussia Kotlin Coroutines: Design and Implementation
Yuka AkinobuAkinobu, Yuka Japan Women's UniversityJapan Is Neural Machine Translation Approach Accurate Enough for Coding Assistance?
Nader Al AwarAl Awar, Nader University of Texas at AustinUnited States Programming and Execution Models for Parallel Bounded Exhaustive Testing Programming and Execution Models for Parallel Bounded Exhaustive Testing
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University Hybridization Co-Chair in Organizing Committee for SPLASH 2021 Session Chair of AMA Session (part of SPLASH Ask Me Anything (AMA)) Session Chair of Synthesis of models, tools and programs (part of SPLASH OOPSLA) Session Chair of SPLASH Keynote (part of SPLASH Keynotes) Session Chair of SPLASH Keynote (part of SPLASH Keynotes) Session Chair of Novel Interfaces and Discussion (part of HATRA) An Empirical Study of Protocols in Smart Contracts Human Aspects of SASyLF, an Educational Proof Assistant for Type Theory SLE Keynote - Integrating Usability into Programming Language Design Gradual Verification of Recursive Heap Data Structures Navigating your thesis and job search: sustainability and standing out [Invited Talk] Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Future of Conferences Co-chair in Chairs within the SPLASH SIGPLAN Papers-track Carnegie Mellon University in Onward! Steering Committee within the SPLASH Onward! Essays-track Mentor in Organizing Committee and Mentors within the SPLASH Faculty Mentorship Roundtable-track Carnegie Mellon University in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yousef AlhessiAlhessi, Yousef University of California at San DiegoUnited States Course Experience Report: Full-Class Compiler Collaboration
Karim AliAli, Karim University of Alberta PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Publications Chair in Organizing Committee for SPLASH 2021
Meghan AllenAllen, Meghan University of British ColumbiaCanada The Efficacy of Online Office Hours: An Experience Report Committee Member in Program Commitee within the SPLASH -E-track
Lissette AlmonteAlmonte, Lissette Universidad Autónoma de MadridSpain Automating the Synthesis of Recommender Systems for Modelling Languages
Marco AlonsoAlonso, Marco PhilipsNetherlands Industrial Experiences with the Evolution of a DSL
Rajeev AlurAlur, Rajeev University of Pennsylvania Example-Guided Synthesis of Relational Queries DiffStream: Differential Output Testing for Stream Processing Programs
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of Technology Compilation of Sparse Array Programming Models
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States Compilation of Sparse Array Programming Models
Mahmudul Faisal Al AmeenAmeen, Mahmudul Faisal Al University of Tokyo Function Pointer Eliminator for C Programs
Mohammad Hassan AmeriAmeri, Mohammad Hassan Purdue university HACCLE: Metaprogramming for Secure Multi-Party Computation
Nada AminAmin, Nada Harvard UniversityUnited States Session Chair of Essays Session 1 (part of SPLASH Onward! Essays) Session Chair of Functional Programming (part of SPLASH OOPSLA) Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Petter AmlieAmlie, Petter Amlie SolutionsNorway Committee Member in Program Committee within the BCNC-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Committee Member in Review Committee within the SPLASH OOPSLA-track
Leif AndersenAndersen, Leif Northeastern University Video Co-Chair in Organizing Committee for SPLASH 2021
Adam AndersonAnderson, Adam University of WashingtonUnited States Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation
Boyd AndersonAnderson, Boyd National University of SingaporeSingapore Shrinking JavaScript for CS1 Ruggedizing CS1 Robotics: Tools and Approaches for Online Teaching
Carolyn Jane AndersonAnderson, Carolyn Jane Wellesley CollegeUnited States Solver-Based Gradual Type Migration
Daniel AndersonAnderson, Daniel Carnegie Mellon UniversityUnited States Concurrent Deferred Reference Counting for Non-garbage-collected Languages
Luke AndersonAnderson, Luke Massachusetts Institute of TechnologyUnited States Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Paul AndersonAnderson, Paul University of Edinburgh Provenance of Configuration Programming Language muPuppet
Samantha AndowAndow, Samantha FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Timos AntonopoulosAntonopoulos, Timos Yale University DynamiTe: Dynamic Termination and Non-termination Proofs
Kalmer ApinisApinis, Kalmer University of Tartu, Estonia Improving Thread-Modular Abstract Interpretation
Sotiris ApostolakisApostolakis, Sotiris GoogleUnited States SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Andrew W. AppelAppel, Andrew W. Princeton Compositional Optimizations for CertiCoq
Vincent AranegaAranega, Vincent Université de LilleFrance Committee Member in Program Committee within the SLE-track
Emilio Arroyo-FangArroyo-Fang, Emilio FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Ellen ArtecaArteca, Ellen Northeastern UniversityUnited States Current Student Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
ArvindArvind Massachusetts Institute of Technology, USA The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
Mohammadreza AshouriAshouri, Mohammadreza University of Potsdam, GermanyGermany Committee Member in Program Committee within the Scala-track
Wesley AssunçãoAssunção, Wesley Pontifical Catholic University of Rio de Janeiro (PUC-Rio)Brazil The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Angello AstorgaAstorga, Angello University of Illinois at Urbana-ChampaignUnited States PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of Programming Submissions Synthesizing Contracts Correct Modulo a Test Generator
Parisa AtaeiAtaei, Parisa Oregon State University A Variational Database Management System
Snigdha AthaiyaAthaiya, Snigdha Committee Member in Artifact Evaluation Committee within the SAS-track
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala University, Sweden Solving Not-Substring with Flat Abstraction Efficient Handling of String-Number Conversion
Eric AtkinsonAtkinson, Eric Massachusetts Institute of TechnologyUnited States Programming and Reasoning with Partial Observability Reactive Probabilistic Programming Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Abdallah AtouaniAtouani, Abdallah RWTH Aachen UniversityGermany Artifact and Reference Models for Generative AI Frameworks and Build Systems
David I. AugustAugust, David I. Princeton UniversityUnited States SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Marco AutiliAutili, Marco University of L'Aquila, ItalyItaly Committee Member in Program Committee within the AGERE-track
Isabel AzevedoAzevedo, Isabel Games, Interaction and Learning Technologies (GILT) - Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP) Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
B Casper BachBach, Casper Delft University of Technology Latent Effects for Reusable Language Components PC Member in Program Committee within the DLS-track
Johannes BaderBader, Johannes Jane Street Gradual Verification of Recursive Heap Data Structures
Kyungmin BaeBae, Kyungmin Pohang University of Science and Technology (POSTECH)South Korea Committee Member in Program Committee within the APLAS Research Papers-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Workshops Co-Chair in Organizing Committee for SPLASH 2021 Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track Committee Member in Reviewers within the SPLASH Student Research Competition-track
Patrick BahrBahr, Patrick IT University of CopenhagenDenmark Committee Member in Program Committee within the REBLS-track
Engineer BainomugishaBainomugisha, Engineer Makerere UniversityUganda Committee Member in Program Committee within the SPLASH Onward! Papers-track
Divya BajajBajaj, Divya Oregon State UniversityUnited States Adaptable Traces for Program Explanations
Darshana BalakrishnanBalakrishnan, Darshana University at Buffalo Current Student Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States Committee Member in Program Committee within the SAS-track
Daniel BalasubramanianBalasubramanian, Daniel Vanderbilt UniversityUnited States Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Onward! Essays Chair in Organizing Committee for SPLASH 2021 Session Chair of Essays Session 2 (part of SPLASH Onward! Essays) Session Chair of Essays Session 2 (part of SPLASH Onward! Essays) Session Chair of Onward! Keynote Talk (part of SPLASH Onward! Papers) Reframing the Liskov Substitution Principle through the Lens of Testing How to Navigate SPLASH The Efficacy of Online Office Hours: An Experience Report Chair in Program Committee within the SPLASH Onward! Essays-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track
Suguman BansalBansal, Suguman Committee Member in Artifact Evaluation Committee within the SAS-track Committee Member in Reviewers within the SPLASH Student Research Competition-track
Yuyan BaoBao, Yuyan Purdue University HACCLE: Metaprogramming for Secure Multi-Party Computation
Yuyan BaoBao, Yuyan University of WaterlooCanada Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Olivier BaraisBarais, Olivier University of Rennes; Inria; IRISAFrance SEALS: A framework for building Self-Adaptive Virtual Machines Towards Self-Adaptable Languages Towards Self-Adaptable Languages
Mikhail BarashBarash, Mikhail University of BergenNorway Session Chair of GPCE/SLE Session 4 (part of GPCE) Vision: The Next 700 Language Workbenches Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Mohamad BarbarBarbar, Mohamad University of Technology Sydney; CSIRO’s Data61Australia Hash Consed Points-To Sets Compacting Points-To Sets through Object Clustering
Ankica BarisicBarisic, Ankica Université Côte d’Azur, Inria, FranceFrance PC Member in Program Committee within the DSM-track
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States LooPy: Interactive Program Synthesis with Control Structures Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sean BartellBartell, Sean University of Illinois at Urbana-ChampaignUnited States Guided Linking: Dynamic Linking Without the Costs
Sándor BarthaBartha, Sándor University of EdinburghUnited Kingdom One Down, 699 to Go: or, Synthesising Compositional Desugarings
Prithayan BaruaBarua, Prithayan Georgia Institute of Technology, USA BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
Len BassBass, Len Carnegie Mellon UniversityUnited States Teaching DevOps: A Tale of Two Universities
Favyen BastaniBastani, Favyen Massachusetts Institute of TechnologyUnited States SkyQuery: An Aerial Drone Video Sensing Platform SkyQuery: An Aerial Drone Video Sensing Platform
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States SkyQuery: An Aerial Drone Video Sensing Platform SkyQuery: An Aerial Drone Video Sensing Platform Web Question Answering with Neurosymbolic Program Synthesis
Melanie BatsBats, Melanie Obeo Committee Member in Program Committee within the SLE-track
Guillaume BaudartBaudart, Guillaume IBM Research, USA Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming Reactive Probabilistic Programming Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Committee Member in Program Committee within the REBLS-track
Jim BauwensBauwens, Jim Vrije Universiteit BrusselBelgium WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applications
Rohan BavishiBavishi, Rohan University of California at BerkeleyUnited States Gauss: Program Synthesis by Reasoning over Graphs
Tom BeckmannBeckmann, Tom Hasso Plattner Institute Getting Grammars into Shape for Block-based Editors
Vaishak BelleBelle, Vaishak University of Edinburgh; Alan Turing InstituteUnited Kingdom One Down, 699 to Go: or, Synthesising Compositional Desugarings
Mikhail BelyaevBelyaev, Mikhail JetBrains Research; St. Petersburg Polytechnic UniversityRussia Kotlin Coroutines: Design and Implementation
Julia BelyakovaBelyakova, Julia Northeastern UniversityUnited States Session Chair of Dynamic Languages (part of SPLASH OOPSLA) Session Chair of Dynamic Languages - mirror (part of SPLASH OOPSLA) Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation Committee Member in External Review Committee within the SPLASH OOPSLA-track
Aaron BembenekBembenek, Aaron Harvard University Formulog: Datalog for SMT-based Static Analysis
Dorra Ben KhalifaBen Khalifa, Dorra Université de Perpignan Via Domitia Fast and Efficient Bit-Level Precision Tuning
Josh BerdineBerdine, Josh Facebook Committee Member in Program Committee within the SAS-track
Celina BergBerg, Celina University of VictoriaCanada Committee Member in Program Commitee within the SPLASH -E-track
Shmuel BermanBerman, Shmuel Columbia UniversityUnited States Intra-update Sniping Vulnerabilities in Smart Contracts Programming-by-Example by Programming-by-Example: Synthesis of Looping Programs
Nuno BettencourtBettencourt, Nuno Interdisciplinary Studies Research Center (ISRC) – Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP) Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Raven BeutnerBeutner, Raven University of OxfordUnited Kingdom On Probabilistic Termination of Functional Programs with Continuous Distributions
Pramod BhatotiaBhatotia, Pramod University of Edinburgh Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
Aggelos BiboudisBiboudis, Aggelos Swisscom AGSwitzerland Committee Member in Program Committee within the GPCE-track
Gavin BiermanBierman, Gavin Oracle LabsUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Robert BigelowBigelow, Robert Georgia Institute of TechnologyUnited States Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Judith BishopBishop, Judith Stellenbosch UniversitySouth Africa Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ranadeep BiswasBiswas, Ranadeep Informal Systems MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels Committee Member in Artifact Evaluation Committee within the SAS-track
Sumon BiswasBiswas, Sumon Iowa State University, USAUnited States Accessibility Chair in Organizing Committee for SPLASH 2021 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Steve BlackburnBlackburn, Steve Australian National UniversityAustralia Hybridization Co-Chair in Organizing Committee for SPLASH 2021 Session Chair of Implementation of special Paradigms - mirror (part of SPLASH OOPSLA) Session Chair of Testing - Mirror (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Guy E. BlellochBlelloch, Guy E. Carnegie Mellon University, USA Concurrent Deferred Reference Counting for Non-garbage-collected Languages
Andrew BlinnBlinn, Andrew University of MichiganUnited States Filling Typed Holes with Live GUIs
Josh BlochBloch, Josh Carnegie Mellon UniversityUnited States A Brief History of the API, Revisited
Jeremiah BlockiBlocki, Jeremiah Purdue University HACCLE: Metaprogramming for Secure Multi-Party Computation
Laura BocchiBocchi, Laura University of KentUnited Kingdom A model of actors and grey failures
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 Algorithms, Libraries and Databases (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Alina BogdanovaBogdanova, Alina Innopolis UniversityRussia Source Code Authorship Attribution using File Embeddings
Udi BokerBoker, Udi IDC Herzliya, Israel Decidable Verification under a Causally Consistent Shared Memory
Michael D. BondBond, Michael D. Ohio State University, USA Session Chair of PLDI 2021 Papers 2 (part of SPLASH SIGPLAN Papers) Crafty: Efficient, HTM-Compatible Persistent Transactions Committee Member in Review Committee within the SPLASH OOPSLA-track
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Committee Member in Program Committee within the VMIL-track
Agustín BorgnaBorgna, Agustín Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France and Université Paris-Saclay, CNRS, Laboratoire Méthodes Formelles, 91405, Orsay, FranceArgentina Hybrid quantum-classical circuit simplification with the ZX-calculus
James BornholtBornholt, James University of Texas at AustinUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kaylynn BorrorBorror, Kaylynn Miami UniversityUnited States MOLEGA: Modeling Language for Educational Card Games
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland Implementing Path-Dependent GADT Reasoning for Scala 3 Safer Exceptions for Scala
Holger BorumBorum, Holger IT University of CopenhagenDenmark Co-designing DSL Quality Assurance Measures for and with Non-programming Experts
Frédéric BourBour, Frédéric TaridesFrance Faster Reachability Analysis for LR(1) Parsers
Thomas BourgeatBourgeat, Thomas The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
Timothy BourkeBourke, Timothy INRIAFrance Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk)
Jean BoussierBoussier, Jean Shopify YJIT: A Basic Block Versioning JIT Compiler for CRuby
Sam BoyerBoyer, Sam Grafana Labs Scuemata: A Framework for Evolvable, Composable Data Schema
Gilad BrachaBracha, Gilad NOT_PROVIDED ShapeRank: Rank Polymorphism meets Reactive Streams
Gilad BrachaBracha, Gilad F5 NetworksUnited States Enhancing Liveness with Exemplars in the Newspeak IDE
Gilad BrachaBracha, Gilad NOT_PROVIDED A Language for Configuring Security Policies
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel EPFLSwitzerland Safer Exceptions for Scala Multi-Stage Programming with Generative and Analytical Macros
Edwin BradyBrady, Edwin University of St Andrews, UKUnited Kingdom Committee Member in Program Committee within the APLAS Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Alexandre BragançaBragança, Alexandre Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP) Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Ajay BrahmakshatriyaBrahmakshatriya, Ajay Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS-track
Julien BraineBraine, Julien Data Abstraction: A General Framework to Handle Program Verification of Data Structures
Oliver BračevacBračevac, Oliver Purdue UniversityUnited States Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Compiling Symbolic Execution with Staging and Algebraic Effects Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
David BromanBroman, David KTHSweden Committee Member in Program Committee within the SLE-track
Robert Brotzman-SmithBrotzman-Smith, Robert Pennsylvania State UniversityUnited States SpecSafe: Detecting Cache Side Channels in a Speculative World
Fraser BrownBrown, Fraser Stanford University, USA Towards a Verified Range Analysis for JavaScript JITs Scooter & Sidecar: A domain-specific approach to writing secure migrations
Lily BrownBrown, Lily Roblox Position Paper: Goals of the Luau Type System
Michael D. BrownBrown, Michael D. Georgia Institute of TechnologyUnited States Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Kim BruceBruce, Kim Pomona CollegeUnited States Committee Member in Steering Committee within the SPLASH -E-track
Yuriy BrunBrun, Yuriy University of Massachusetts Amherst TacTok: Semantics-Aware Proof Synthesis
Hugo BruneliereBruneliere, Hugo IMT Atlantique, LS2N (UMR CNRS 6004)France Committee Member in Artifact Evaluation Committee within the SLE-track
Christian BrämBräm, Christian ETH ZurichSwitzerland Rich Specifications for Ethereum Smart Contract Verification
Richard BubelBubel, Richard Technische Universität DarmstadtGermany Delta-based Verification of Software Product Families
Yegor BugayenkoBugayenko, Yegor HuaweiRussia Volatility Metric to Detect Anomalies in Source Code Repositories Combining Object-Oriented Paradigm and Controlled Natural Language for Requirements Specification BCNC Committee Member in Organizing Committee within the BCNC-track Committee Member in Program Committee within the BCNC-track
Truc Lam BuiBui, Truc Lam Comenius University BratislavaSlovakia The Reads-From Equivalence for the TSO and PSO Memory Models
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchUnited States Session Chair of Shared Memory - mirror (part of SPLASH OOPSLA) Durable Functions: Semantics for Stateful Serverless Committee Member in External Review Committee within the SPLASH OOPSLA-track
Lola BurgueñoBurgueño, Lola Open University of CataloniaSpain PC Member in Program Committee within the DSM-track
Eugene BurmakoBurmako, Eugene GoogleUnited States Committee Member in Program Committee within the Scala-track
Javier BurroniBurroni, Javier Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Matteo BusiBusi, Matteo Università di Pisa - Dipartimento di InformaticaItaly Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
Yaroslav BuzkoBuzko, Yaroslav Local Expectation Testing for Terraform
Manuel BärenzBärenz, Manuel Committee Member in Program Committee within the REBLS-track
Clément BéraBéra, Clément Google, AarhusDenmark PC Member in Program Committee within the DLS-track
Aurel BílýBílý, Aurel ETH Zurich Modular Specification and Verification of Closures in Rust
C David CaetanoCaetano, David NumbersBelieve Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Simone CampanoniCampanoni, Simone Northwestern University, USA SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Marco CampionCampion, Marco University of VeronaItaly Committee Member in Artifact Evaluation Committee within the SAS-track
Paulo CanelasCanelas, Paulo LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal User-driven design and evaluation of Liquid Types in Java
Pablo C CanizaresCanizares, Pablo C Autonomous University of Madrid, Spain New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages Committee Member in Artifact Evaluation Committee within the SLE-track
Iván CantadorCantador, Iván Universidad Autonoma de Madrid Automating the Synthesis of Recommender Systems for Modelling Languages
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Programming with Neural Surrogates of Programs Programming with Neural Surrogates of Programs Programming and Reasoning with Partial Observability Reactive Probabilistic Programming Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Committee Member in Review Committee within the SPLASH OOPSLA-track
Luca CardelliCardelli, Luca University of Oxford Integrated Scientific Modeling and Lab Automation
Brent CarmerCarmer, Brent GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Elias CastegrenCastegren, Elias Uppsala University, SwedenSweden Session Chair of Opening and keynote (part of AGERE) Opening Closing AGERE Committee Member in Organizing Committee within the AGERE-track Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SLE-track Committee Member in Judges within the SPLASH Student Research Competition-track
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom Committee Member in Reviewers within the SPLASH Student Research Competition-track
Madhurima ChakrabortyChakraborty, Madhurima University of California at RiversideUnited States A Study of Call Graph Effectiveness for Framework-Based Web Applications
Stefanos ChaliasosChaliasos, Stefanos Athens University of Economics and BusinessGreece Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Stéphanie ChallitaChallita, Stéphanie Inria, France Committee Member in Artifact Evaluation Committee within the SLE-track
Marek ChalupaChalupa, Marek Masaryk University Backward Symbolic Execution with Loop Folding
Greg ChanChan, Greg Princeton University, USA SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Satish ChandraChandra, Satish FacebookUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & Amazon Selectively-Amortized Resource Bounding
Stephen ChangChang, Stephen University of Massachusetts BostonUnited States PC Member in Program Committee within the DLS-track
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States How Statically-Typed Functional Programmers Write Code Committee Member in Review Committee within the SPLASH OOPSLA-track
Krishnendu ChatterjeeChatterjee, Krishnendu IST AustriaAustria The Reads-From Equivalence for the TSO and PSO Memory Models
Prantik ChatterjeeChatterjee, Prantik Committee Member in Artifact Evaluation Committee within the SAS-track
Natalia ChechinaChechina, Natalia Bournemouth UniversityUnited Kingdom Committee Member in Program Committee within the AGERE-track
Al ChenChen, Al CODAUnited States Committee Member in Program Committee within the BCNC-track
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) University of Texas at Austin, USA Web Question Answering with Neurosymbolic Program Synthesis
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-Champaign A General Approach to Define Binders using Matching Logic Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Yifan ChenChen, Yifan Peking University Accelerating Program Analyses in Datalog by Merging Library Facts
Yixuan ChenChen, Yixuan Yale University, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Yu-Fang ChenChen, Yu-Fang Academia Sinica, Taiwan PyCT: A Python Concolic Tester Solving Not-Substring with Flat Abstraction Efficient Handling of String-Number Conversion Committee Member in Program Committee within the APLAS Research Papers-track
James CheneyCheney, James University of Edinburgh; Alan Turing InstituteUnited Kingdom Provenance of Configuration Programming Language muPuppet One Down, 699 to Go: or, Synthesising Compositional Desugarings Committee Member in Review Committee within the SPLASH OOPSLA-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Shopify YJIT: A Basic Block Versioning JIT Compiler for CRuby PC Member in Program Committee within the DLS-track
Michele ChiariChiari, Michele Politecnico di MilanoItaly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Session Chair of Onward! Paper Session 1 (part of SPLASH Onward! Papers) Session Chair of Test and Verification - mirror (part of SPLASH OOPSLA) Session Chair of Distributed Programming - mirror (part of SPLASH OOPSLA) Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Wei-Ngan ChinChin, Wei-Ngan National University of Singapore Session Chair of Types - mirror (part of SPLASH OOPSLA) General Chair in Organising Committee within the APLAS Research Papers-track
Sreenidish ChinmayanilayamChinmayanilayam, Sreenidish Local Expectation Testing for Terraform
Andrei ChişChiş, Andrei feenk, Switzerland Publicity Chair in Organizing Committee within the SLE-track Steering Committee Member in Steering Committee within the SLE-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States The Essence of Bluespec: A Core Language for Rule-Based Hardware Design Integration Verification Across Software and Hardware for a Simple Embedded System ICFP 2020 PC Chair in Chairs within the SPLASH SIGPLAN Papers-track
Joonwon ChoiChoi, Joonwon Massachusetts Institute of Technology, USA Integration Verification Across Software and Hardware for a Simple Embedded System
Wonhyuk ChoiChoi, Wonhyuk Columbia UniversityUnited States Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Stephen ChongChong, Stephen Harvard UniversityUnited States Fast Incremental PEG Parsing Formulog: Datalog for SMT-based Static Analysis
Stephen ChouChou, Stephen Massachusetts Institute of TechnologyUnited States A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Compilation of Sparse Array Programming Models Compilation of Sparse Array Programming Models
Maria ChristakisChristakis, Maria MPI-SWSGermany Compositional Verification of Smart Contracts Through Communication Abstraction
Jörg Christian KirchhofChristian Kirchhof, Jörg RWTH Aachen UniversityGermany Artifact and Reference Models for Generative AI Frameworks and Build Systems Understanding and Improving Model-Driven IoT Systems Through Accompanying Digital Twins
Zachary ChuaChua, Zachary National University of SingaporeSingapore A Stepper for a Functional JavaScript Sublanguage
Ravi ChughChugh, Ravi University of ChicagoUnited States Filling Typed Holes with Live GUIs Program Sketching with Live Bidirectional Evaluation
Benjamin ChungChung, Benjamin Northeastern University Hybridization and Video Co-Chair in Organizing Committee for SPLASH 2021
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
Benjamin ChungChung, Benjamin Northeastern University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Guerric ChupinChupin, Guerric University of Nottingham Committee Member in Program Committee within the REBLS-track
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom HATRA Committee Member in Organizing Committee within the HATRA-track
Paolo CiancariniCiancarini, Paolo University of Bologna / Innopolis University Committee Member in Program Committee within the BCNC-track
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Oracle Parfait: The Flavour of Real-World Vulnerability Detection and Intelligent Configuration Invited Speaker in Invited Speakers within the SAS-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Berk CirisciCirisci, Berk IRIF, University Paris Diderot and CNRS, FranceFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Jürgen CitoCito, Jürgen TU Wien and FacebookAustria Session Chair of Configuration management (part of CONFLANG) CONFLANG Co-chair in Organizing Committee within the CONFLANG-track Committee Member in Judges within the SPLASH Student Research Competition-track
Michael CoblenzCoblenz, Michael University of Maryland at College ParkUnited States Session Chair of OOPSLA and Onward! 2020 Papers 2 (part of SPLASH SIGPLAN Papers) Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load An Empirical Study of Protocols in Smart Contracts HATRA Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Committee Member in Organizing Committee within the HATRA-track
Jesper CockxCockx, Jesper TU DelftNetherlands Extracting The Power of Dependent Types
Albert CohenCohen, Albert GoogleFrance Reconciling Optimization with Secure Compilation
Nick CollinsCollins, Nick University of ChicagoUnited States Filling Typed Holes with Live GUIs Program Sketching with Live Bidirectional Evaluation
Benoit CombemaleCombemale, Benoit University of Rennes; Inria; IRISAFrance Monilogging for Executable Domain-Specific Languages SEALS: A framework for building Self-Adaptive Virtual Machines Towards Self-Adaptable Languages Towards Self-Adaptable Languages Chair in Steering Committee within the SLE-track
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Hybridization Co-Chair in Organizing Committee for SPLASH 2021 PL/SE Career Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Kevin CooganCoogan, Kevin Hampton UniversityUnited States Motivating Complexity Understanding by Profiling Energy Usage Motivating Complexity Understanding By Profiling Energy Usage
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Session Chair of Language Design (mirror) (part of APLAS Research Papers) Committee Member in Program Committee within the APLAS Research Papers-track
Noric CoudercCouderc, Noric Lund University, SwedenSweden Committee Member in Artifact Evaluation Committee within the SLE-track
Hélène CoullonCoullon, Hélène IMT Atlantique Executing Certified Model Transformations on Apache Spark
Andrew CraikCraik, Andrew Oracle LabsAustralia PL/SE Career Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Will CrichtonCrichton, Will Stanford University A New Medium for Communicating Research on Programming Languages Committee Member in Program Committee within the HATRA-track
Ivica CrnkovicCrnkovic, Ivica Chalmers University of TechnologySweden Committee Member in Program Committee within the BCNC-track Committee Member in Program Commitee within the SPLASH -E-track
Karl CronburgCronburg, Karl Tufts UniversityUnited States Permchecker: A Toolchain for Debugging Memory Managers with Typestate
Ryan CulpepperCulpepper, Ryan Czech Technical UniversityCzechia Committee Member in External Review Committee within the SPLASH OOPSLA-track
Charlie CurtsingerCurtsinger, Charlie Grinnell College SPLASH-E Co-Chair in Organizing Committee for SPLASH 2021 Chairs' Welcome Co-chair in Program Commitee within the SPLASH -E-track
Joseph W. CutlerCutler, Joseph W. University of PennsylvaniaUnited States Denotational Recurrence Extraction for Amortized Analysis
D Vijay D'SilvaD'Silva, Vijay Google Committee Member in Program Committee within the SAS-track
Matt D'SouzaD'Souza, Matt University of Waterloo Lightweight On-Stack Replacement in Languages with Unstructured Loops
Norman DannerDanner, Norman Wesleyan UniversityUnited States Denotational Recurrence Extraction for Amortized Analysis
Breno Dantas CruzDantas Cruz, Breno Iowa State University, USAUnited States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2021 Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Cristina DavidDavid, Cristina University of BristolUnited Kingdom Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Yaniv DavidDavid, Yaniv Columbia University Committee Member in Judges within the SPLASH Student Research Competition-track
Arnaud de Grandmaisonde Grandmaison, Arnaud ARMFrance Reconciling Optimization with Secure Compilation
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Session Chair of Safety and Failures (part of AGERE) Opening Closing AGERE Committee Member in Organizing Committee within the AGERE-track
Alfonso de la Vegade la Vega, Alfonso University of YorkUnited Kingdom Committee Member in Program Committee within the SLE-track
Juan de Larade Lara, Juan Autonomous University of MadridSpain New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages Automating the Synthesis of Recommender Systems for Modelling Languages PC Member in Program Committee within the DSM-track Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for SPLASH 2021 Onward! Papers Chair in Organizing Committee for SPLASH 2021 Session Chair of Onward! Paper Session 1 (part of SPLASH Onward! Papers) Session Chair of Onward! Keynote Talk (part of SPLASH Onward! Papers) Trampoline Variables: A General Method for State Accumulation in Reactive Programming Poker: Visual Instrumentation of Reactive Programs with Programmable Probes PrintTalk: A Constraint-Based Imperative DSL for 3D Printing REBLS Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Steering Committee Member in Steering Committee within the REBLS-track PC Chair in Program Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track
Kevin De PorreDe Porre, Kevin Vrije Universiteit BrusselBelgium ECROs: Building Global Scale Systems from Sequential Code
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Session Chair of SLE/GPCE Session 7 (part of SLE) Session Chair of SLE/GPCE Session 8 (part of SLE) Session Chair of GPCE/SLE Session 2 (part of GPCE) The Pitfalls of Ansible’s Variable and Template Expression Semantics SLE/GPCE Joint Welcome Program Chair in Organizing Committee within the GPCE-track
Christophe De TroyerDe Troyer, Christophe Vrije Universiteit BrusselBelgium PrintTalk: A Constraint-Based Imperative DSL for 3D Printing
Irene DeaDea, Irene FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Benjamin DelawareDelaware, Benjamin Purdue UniversityUnited States HACCLE: Metaprogramming for Secure Multi-Party Computation Data-Driven Abductive Inference of Library Specifications Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
David DelmasDelmas, David Airbus & Sorbonne UniversitéFrance Static Analysis of Endian Portability by Abstract Interpretation
Cloé DescheemaekerDescheemaeker, Cloé Vrije Universiteit BrusselBelgium Poker: Visual Instrumentation of Reactive Programs with Programmable Probes
Giuseppe DesoldaDesolda, Giuseppe University of BariItaly Rapid Prototyping of Chatbots for Data Exploration
Kyle DeweyDewey, Kyle California State University at NorthridgeUnited States Translating C to Safer Rust
Samvid DharanikotaDharanikota, Samvid Microsoft Research, IndiaIndia Committee Member in Artifact Evaluation Committee within the SAS-track
Luca Di GraziaDi Grazia, Luca University of Stuttgart Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Session Chair of SLE/GPCE Session 7 (part of SLE) Session Chair of GPCE/SLE Session 3 (part of GPCE) Steering Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Kevin DickDick, Kevin Carleton UniversityCanada Machine Learning Pedagogy to Support the Research Community
Robert DickersonDickerson, Robert Purdue UniversityUnited States Data-Driven Abductive Inference of Library Specifications
Marcos Didonet del FabroDidonet del Fabro, Marcos Universidade Federal do Paraná Committee Member in Program Committee within the SLE-track
Bui Phi DiepDiep, Bui Phi Uppsala University, Sweden Solving Not-Substring with Flat Abstraction Efficient Handling of String-Number Conversion
Werner DietlDietl, Werner University of WaterlooCanada Scalability and Precision by Combining Expressive Type Systems and Deductive Verification Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Daniel DietschDietsch, Daniel University of FreiburgGermany Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Will DietzDietz, Will University of Illinois at Urbana-Champaign Guided Linking: Dynamic Linking Without the Costs
Danny DigDig, Danny University of Colorado Boulder, USAUnited States Session Chair of Session 2 (part of SPLASH Faculty Mentorship Roundtable) Session Chair of Session 1 (part of SPLASH Faculty Mentorship Roundtable) Chair in Organizing Committee and Mentors within the SPLASH Faculty Mentorship Roundtable-track
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Session Chair of Awards (part of SPLASH Awards) Automated Policy Synthesis for System Call Sandboxing Web Question Answering with Neurosymbolic Program Synthesis UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Rayna DimitrovaDimitrova, Rayna CISPA Helmholtz Center for Information Security Committee Member in Program Committee within the APLAS Research Papers-track
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States Poster Co-Chair in Organizing Committee for SPLASH 2021 Session Chair of Types (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track Poster Co-Chair in Organizing Committee within the SPLASH Posters-track
Jie DingDing, Jie Beijing Institute of TechnologyChina Integration of Modeling and Verification for System Model Based on KARMA Language
Yi DingDing, Yi Massachusetts Institute of TechnologyUnited States Programming with Neural Surrogates of Programs Programming with Neural Surrogates of Programs
Juergen DingelDingel, Juergen Queen's University, Kingston, Ontario Committee Member in Program Committee within the SLE-track
Ahmad DinkinsDinkins, Ahmad University of Illinois at Urbana-ChampaignUnited States Synthesizing Contracts Correct Modulo a Test Generator
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Carnegie Mellon University Gradual Verification of Recursive Heap Data Structures
Thi Thu Ha DoanDoan, Thi Thu Ha University of Freiburg A Typed Programmatic Interface to Contracts on the Blockchain
Mike DoddsDodds, Mike Galois, Inc. Session Chair of Test and Verification (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Session Chair of Session 2 (part of Scala) Session Chair of Session 1 (part of Scala) PC Chair in Organizing Committee within the Scala-track
Julian DolbyDolby, Julian IBM Research, USA Session Chair of Analysis (part of SPLASH OOPSLA) Session Chair of Corpus and User Studies - mirror (part of SPLASH OOPSLA) Python 3 Types in the Wild: A Tale of Two Type Systems Efficient Handling of String-Number Conversion Committee Member in External Review Committee within the SPLASH OOPSLA-track
Eelco DolstraDolstra, Eelco Tweag I/ONetherlands Session Chair of Experience reports (part of CONFLANG) CONFLANG Co-chair in Organizing Committee within the CONFLANG-track
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Specifying and Testing GPU Workgroup Progress Models The Semantics of Shared Memory in Intel CPU/FPGA Systems The Semantics of Shared Memory in Intel CPU/FPGA Systems Committee Member in External Review Committee within the SPLASH OOPSLA-track
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical UniversityCzechia What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Shivani DoshiDoshi, Shivani University of California at San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell
Georgios-Petros DrososDrosos, Georgios-Petros Athens University of Economics and BusinessGreece Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Sophia DrossopoulouDrossopoulou, Sophia Facebook and Imperial College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2021 OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2021 Session Chair of Awards (part of SPLASH Awards) Future of Conferences Committee Member in Program Committee within the AGERE-track Review Committee Chair in Review Committee within the SPLASH OOPSLA-track
Cezara DrăgoiDrăgoi, Cezara Inria / ENS / Informal Systems Session Chair of Session 1A (part of SAS) Session Chair of Session 2C (part of SAS) Session Chair of Session 2B (part of SAS) Session Chair of Session 4A (part of SAS) Co-chair in Program Committee within the SAS-track Co-chair in Organizing Committee within the SAS-track
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland Lightweight On-Stack Replacement in Languages with Unstructured Loops
Stéphane DucasseDucasse, Stéphane Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Analyzing Permission Transfer Channels for Dynamically Typed Languages
Alexandru DuraDura, Alexandru Lund UniversitySweden JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Greg DurrettDurrett, Greg University of Texas at Austin, USA Web Question Answering with Neurosymbolic Program Synthesis
Robert DyerDyer, Robert University of Nebraska-LincolnUnited States Doctoral Symposium Chair in Organizing Committee for SPLASH 2021 Doctoral Symposium Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
E Jonathan EdwardsEdwards, Jonathan United States Typed Image-based Programming with Structure Editing
Jonathan EdwardsEdwards, Jonathan Massachusetts Institute of Technology Committee Member in Program Committee within the SPLASH Onward! Papers-track
Jonathan EdwardsEdwards, Jonathan United States Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Stephen A. EdwardsEdwards, Stephen A. Columbia University Committee Member in Program Committee within the REBLS-track
Alexander EgyedEgyed, Alexander Johannes Kepler University LinzAustria The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Marco EilersEilers, Marco ETH ZurichSwitzerland Rich Specifications for Ethereum Smart Contract Verification
Yousef El-DardiryEl-Dardiry, Yousef TypeCell: A New Live Programming Environment for the Web
Ahmed ElBatanonyElBatanony, Ahmed Innopolis UniversityRussia Session Chair of BCNC Session 2 (part of BCNC) Session Chair of BCNC Session 1 (part of BCNC) Towards the No-Code Era: A Vision and Plan for the Future of Software Development The Pareto Distribution of Software Features and No-Code Committee Member in Organizing Committee within the BCNC-track Committee Member in Program Committee within the BCNC-track
Roman ElizarovElizarov, Roman JetBrainsRussia A Retrospective on the Design of the Swift Programming Language Kotlin Coroutines: Design and Implementation
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States Committee Member in Program Committee within the SAS-track
Mehmet EmreEmre, Mehmet University of California at Santa BarbaraUnited States Translating C to Safer Rust
Constantin EneaEnea, Constantin University of Paris / IRIF / CNRSFrance Session Chair of Analysis - mirror (part of SPLASH OOPSLA) MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels Committee Member in Program Committee within the SAS-track
Andres ErbsenErbsen, Andres MIT Integration Verification Across Software and Hardware for a Simple Embedded System
Sebastian ErdwegErdweg, Sebastian JGU Mainz Steering Committee Chair in Steering Committee within the GPCE-track Committee Member in Program Committee within the GPCE-track
Huseyin ErginErgin, Huseyin Ball State UniversityUnited States PC Member in Program Committee within the DSM-track
Julian ErhardErhard, Julian Improving Thread-Modular Abstract Interpretation
Martin ErwigErwig, Martin Oregon State UniversityUnited States Adaptable Traces for Program Explanations A DSL for Explanatory Decision Making Committee Member in Program Committee within the GPCE-track Steering Committee Member in Steering Committee within the SLE-track
Clément EscoffierEscoffier, Clément Red HatFrance Analysing the Performance and Costs of Reactive Programming Libraries in Java
Gregory EssertelEssertel, Gregory Purdue University On-Stack Replacement for Program Generators and Source-to-Source Compilers
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland Session Chair of Smart Contracts and Distributed Programming - mirror (part of SPLASH OOPSLA) A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming REBLS Steering Committee Member in Steering Committee within the REBLS-track
Karine Even-MendozaEven-Mendoza, Karine Imperial College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hugues EvrardEvrard, Hugues GoogleUnited Kingdom Specifying and Testing GPU Workgroup Progress Models
Fola-Dami EyitemiEyitemi, Fola-Dami University of LeicesterUnited Kingdom Committee Member in Artifact Evaluation Committee within the SLE-track
F Luc FabresseFabresse, Luc IMT Lille Douai; Institut Mines-Télécom; University of Lille; Centre for Digital SystemsFrance Analyzing Permission Transfer Channels for Dynamically Typed Languages
Michalis FamelisFamelis, Michalis Université de MontréalCanada Committee Member in Program Committee within the SLE-track
Aamir FarooqFarooq, Aamir Universiteit Twente There Is More Than One Way to Zen Your Python
Umar FarooqFarooq, Umar University of California at Riverside Committee Member in Reviewers within the SPLASH Student Research Competition-track
Parisa FathololumiFathololumi, Parisa Stevens Institute of Technology DynamiTe: Dynamic Termination and Non-termination Proofs
Danila FedorinFedorin, Danila Oregon State University Adaptable Traces for Program Explanations
Marc FeeleyFeeley, Marc Université de MontréalCanada A Small Scheme VM, Compiler and REPL in 4K Committee Member in Program Committee within the VMIL-track
Molly Q FeldmanFeldman, Molly Q Oberlin CollegeUnited States PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Commitee within the SPLASH -E-track Committee Member in Program Committee within the HATRA-track
Lei FengFeng, Lei KTHSweden Integration of Modeling and Verification for System Model Based on KARMA Language
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Program Committee within the APLAS Research Papers-track
Kasra FerdowsiFerdowsi, Kasra University of California at San DiegoUnited States LooPy: Interactive Program Synthesis with Control Structures
Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of Session 4C (part of SAS) Committee Member in Program Committee within the SAS-track
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Carla FerreiraFerreira, Carla NOVA School of Science and TechnologyPortugal ECROs: Building Global Scale Systems from Sequential Code
Jack FeserFeser, Jack Massachusetts Institute of Technology Deductive Optimization of Relational Data Storage
Robert Bruce FindlerFindler, Robert Bruce Northwestern University, USAUnited States Committee Member in External Program Committee within the DLS-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 Vision: Bias in Systematic Grammar-Based Test Suite Construction Algorithms Automatic Grammar Repair Committee Member in Program Committee within the SLE-track
Kathi FislerFisler, Kathi Brown University Committee Member in Steering Committee within the SPLASH -E-track
Panos FitsilisFitsilis, Panos University of ThessalyGreece Committee Member in Program Committee within the BCNC-track
Matthew FlattFlatt, Matthew University of UtahUnited States Session Chair of Session 3 (part of VMIL) Runtime and Compiler Support for HAMTs Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the GPCE-track
Olivier FlückigerFlückiger, Olivier Northeastern UniversityUnited States Promises Are Made to Be Broken: Migrating R to Strict Semantics Committee Member in Program Committee within the VMIL-track
Alcides FonsecaFonseca, Alcides LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal User-driven design and evaluation of Liquid Types in Java
Pedro FonsecaFonseca, Pedro Purdue UniversityUnited States Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
Niklas ForsFors, Niklas Lund University Committee Member in Program Committee within the SLE-track
Patrik FortierFortier, Patrik University of Lyon; INSA Lyon; Inria; CITIFrance Dyninka: A FaaS Framework for Distributed Dataflow Applications
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Steering Committee for SPLASH 2021 SimTyper: Sound Type Inference for Ruby using Type Equality Prediction Committee Member in Chairs within the SPLASH SIGPLAN Business-track
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Session Chair of Behavioural Types (part of AGERE) Opening Closing AGERE Committee Member in Organizing Committee within the AGERE-track Committee Member in Program Committee within the LIVE-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session Types in Elixir
Lucas FranceschinoFranceschino, Lucas INRIAFrance Verified Functional Programming of an Abstract Interpreter
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Teodoro FreundFreund, Teodoro University of Buenos AiresArgentina Union and Intersection Contracts Are Hard, Actually
Andy FriesenFriesen, Andy Roblox Position Paper: Goals of the Luau Type System
Weili FuFu, Weili University of Freiburg, Germany Provenance of Configuration Programming Language muPuppet
Weili FuFu, Weili University of Edinburgh Label Dependent Lambda Calculus and Gradual Typing
Yingjie FuFu, Yingjie Peking UniversityChina PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of Programming Submissions
Lidia FuentesFuentes, Lidia Universidad de Málaga, SpainSpain Committee Member in Program Committee within the GPCE-track
Tsukasa FukusatoFukusato, Tsukasa The University of TokyoJapan Supporting Network Editing and Experimentation for Novice Deep Learning Programmers
Juan FumeroFumero, Juan University of Manchester, UKUnited Kingdom Publicity Chair in Organizing Committee for SPLASH 2021
G Neal GafterGafter, Neal FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Catarina GamboaGamboa, Catarina LASIGE, Faculdade de Ciências da Universidade de LisboaPortugal User-driven design and evaluation of Liquid Types in Java
Graeme GangeGange, Graeme Disjunctive Interval Analysis
Xiang GaoGao, Xiang National University of SingaporeSingapore APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Ronald GarciaGarcia, Ronald University of British Columbia ICFP 2021 PC Chair in Chairs within the SPLASH SIGPLAN Papers-track
Antonio Garcia-DominguezGarcia-Dominguez, Antonio Aston UniversityUnited Kingdom Committee Member in Program Committee within the SLE-track
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of WellingtonNew Zealand Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of Wellington Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Christina GarmanGarman, Christina Purdue University HACCLE: Metaprogramming for Secure Multi-Party Computation
Tushar GautamGautam, Tushar IIT BombayIndia The Reads-From Equivalence for the TSO and PSO Memory Models
Kai GayGay, Kai Oregon State UniversityUnited States Adaptable Traces for Program Explanations
Dietrich GeislerGeisler, Dietrich Cornell University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Kaan GençGenç, Kaan Ohio State University, USA Crafty: Efficient, HTM-Compatible Persistent Transactions
Johann GeorgeGeorge, Johann FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Ritwika GhoshGhosh, Ritwika University of Illinois at Urbana-Champaign Koord: a language for programming and verifying distributed robotics applications
Roberto GiacobazziGiacobazzi, Roberto University of Verona and IMDEA Software InstituteItaly Committee Member in Program Committee within the SAS-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Session Chair of Essays Session 1 (part of SPLASH Onward! Essays) Committee Member in Program Committee within the SPLASH Onward! Essays-track
Noah GibbsGibbs, Noah Shopify YJIT: A Basic Block Versioning JIT Compiler for CRuby
Chris GillumGillum, Chris Microsoft AzureUnited States Durable Functions: Semantics for Stateful Serverless
Thomas GilrayGilray, Thomas University of Alabama at BirminghamUnited States PC Member in Program Committee within the DLS-track
Zach GleasonGleason, Zach Local Expectation Testing for Terraform
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Programming and Execution Models for Parallel Bounded Exhaustive Testing Programming and Execution Models for Parallel Bounded Exhaustive Testing
Patrice GodefroidGodefroid, Patrice Microsoft Research, USAUnited States Committee Member in Program Committee within the SAS-track
Aviral GoelGoel, Aviral Northeastern UniversityUnited States Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) First-Class Environments in R On Design and Use of First-Class Environments in R Promises Are Made to Be Broken: Migrating R to Strict Semantics Designing Types for R, Empirically What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs Chair in Chairs within the SPLASH PLTea-track
Satyajit GokhaleGokhale, Satyajit Northeastern UniversityUnited States Automatic Migration from Synchronous to Asynchronous JavaScript APIs
Noah GoldsteinGoldstein, Noah Washington University in St. Louis, USA Responsive Parallelism with Futures and State
Anitha GollamudiGollamudi, Anitha Harvard University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Compiling pattern matching to in-place modifications Data Abstraction: A General Framework to Handle Program Verification of Data Structures
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for SPLASH 2021 What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applications ECROs: Building Global Scale Systems from Sequential Code Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the AGERE-track
Gabriella GonzalezGonzalez, Gabriella Arista NetworksUnited States CONFLANG Co-chair in Organizing Committee within the CONFLANG-track
April GonçalvesGonçalves, April Metastate AGDenmark Committee Member in Program Committee within the LIVE-track
Colin GordonGordon, Colin Drexel UniversityUnited States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2021 Committee Member in Review Committee within the SPLASH OOPSLA-track Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Benjamin GottfriedGottfried, Benjamin Purdue UniversityUnited States Vectorized Secure Evaluation of Decision Forests
Justin GottschlichGottschlich, Justin Intel Labs / PennUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Eric GoubaultGoubault, Eric Ecole Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
Hemant GouniGouni, Hemant University of Minnesota at Twin CitiesUnited States Implementation of an End-to-End Gradual Verification System
Jeff GrayGray, Jeff University of Alabama Session Chair of Introduction and Cases (part of DSM) Introduction Discussion and summary DSM Committee Member in Organizing Committee within the DSM-track Committee Member in Steering Committee within the GPCE-track Committee Member in Program Committee within the GPCE-track Steering Committee Member in Steering Committee within the SLE-track
Neville GrechGrech, Neville University of MaltaMalta Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
James R. GreenGreen, James R. Carleton UniversityCanada Machine Learning Pedagogy to Support the Research Community
Michael GreenbergGreenberg, Michael Stevens Institute of TechnologyUnited States Formulog: Datalog for SMT-based Static Analysis Solver-Based Gradual Type Migration Gradually Structured Data Committee Member in Review Committee within the SPLASH OOPSLA-track
Erin Greenwood-ThessmanGreenwood-Thessman, Erin Victoria University of WellingtonNew Zealand Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Alex GroceGroce, Alex Northern Arizona UniversityUnited States Let a Thousand Flowers Bloom: On the Uses of Diversity in Software Testing
Joshua B. GrossGross, Joshua B. California State University at Monterey BayUnited States Motivating Complexity Understanding by Profiling Energy Usage Motivating Complexity Understanding By Profiling Energy Usage
Tobias GrosserGrosser, Tobias University of EdinburghUnited Kingdom Cross-Domain Compilation: Exploiting Synergies Across the CS Community FPL: Fast Presburger Arithmetic through Transprecision
Dan GrossmanGrossman, Dan University of WashingtonUnited States Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation Committee Member in External Review Committee within the SPLASH OOPSLA-track
David GroveGrove, David IBM ResearchUnited States Committee Member in Steering Committee for SPLASH 2021 Future of Conferences OOPSLA 2020 PC Chair in Chairs within the SPLASH SIGPLAN Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Anvay GroverGrover, Anvay University of Wisconsin-MadisonUnited States Compiling with Continuations, Correctly
Melissa GrueterGrueter, Melissa FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Samuel GruetterGruetter, Samuel Massachusetts Institute of Technology Integration Verification Across Software and Hardware for a Simple Embedded System
Paul GrünbacherGrünbacher, Paul Johannes Kepler University Linz, AustriaAustria The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Tianxiao GuGu, Tianxiao Alibaba Group Committee Member in Program Committee within the VMIL-track
Esther GuerraGuerra, Esther Universidad Autónoma de Madrid New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages Automating the Synthesis of Recommender Systems for Modelling Languages Committee Member in Program Committee within the SLE-track
Mariano GuerraGuerra, Mariano InstadeqGermany Instadeq: A Live Programming Environment for End User Data Analysis and Visualization
Giulio GuerrieriGuerrieri, Giulio University of BathUnited Kingdom Committee Member in Program Committee within the APLAS Research Papers-track
Arjun GuhaGuha, Arjun Northeastern UniversityUnited States DLS Chair in Organizing Committee for SPLASH 2021 Session Chair of DLS Talks 2 (part of DLS) Session Chair of DLS Talks 1 (part of DLS) Solver-Based Gradual Type Migration TacTok: Semantics-Aware Proof Synthesis Committee Member in Review Committee within the SPLASH OOPSLA-track PC Chair in Program Committee within the DLS-track
Christophe GuillonGuillon, Christophe STMicroelectronicsFrance Reconciling Optimization with Secure Compilation
Sumit GulwaniGulwani, Sumit MicrosoftUnited States Semantic Programming by Example with Pre-trained Models APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Zheng GuoGuo, Zheng University of California, San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell
Robbert Gurdeep SinghGurdeep Singh, Robbert Universiteit Gent, BelgiumBelgium Lightweight IOT abstractions for Embedded WebAssembly
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada Compositional Verification of Smart Contracts Through Communication Abstraction Committee Member in Program Committee within the SAS-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Permchecker: A Toolchain for Debugging Memory Managers with Typestate
Tudor GîrbaGîrba, Tudor feenk.com Committee Member in Program Committee within the LIVE-track
Pablo Gómez-AbajoGómez-Abajo, Pablo Universidad Autónoma de MadridSpain New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages Committee Member in Artifact Evaluation Committee within the SLE-track
H Braxton HallHall, Braxton University of British ColumbiaCanada The Efficacy of Online Office Hours: An Experience Report
Philipp HallerHaller, Philipp KTHSweden Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yann HamdaouiHamdaoui, Yann TweagFrance Session Chair of Experience reports (part of CONFLANG) Union and Intersection Contracts Are Hard, Actually Typing in Nickel and elsewhere CONFLANG Co-chair in Organizing Committee within the CONFLANG-track
Travis HanceHance, Travis Carnegie Mellon University Liquid Information Flow Control
Shivam HandaHanda, Shivam Massachusetts Institute of TechnologyUnited States An Order-Aware Dataflow Model for Parallel Unix Pipelines
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Translating C to Safer Rust
Hwei-Shin HarrimanHarriman, Hwei-Shin Olin College of Engineering; Carnegie Mellon UniversityUnited States Edgeworth: Authoring Diagrammatic Math Problems using Program Mutation
John HawthornHawthorn, John GitHub YJIT: A Basic Block Versioning JIT Compiler for CRuby
Dongjie HeHe, Dongjie UNSW SydneyAustralia Selective Context-Sensitivity for k-CFA with CFL-Reachability
Dongjie HeHe, Dongjie UNSWAustralia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Paul HeHe, Paul University of PennsylvaniaUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Pinjia HeHe, Pinjia ETH Zurich Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Qiyang HeHe, Qiyang Purdue UniversityUnited States Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Songtao HeHe, Songtao Massachusetts Institute of TechnologyUnited States SkyQuery: An Aerial Drone Video Sensing Platform SkyQuery: An Aerial Drone Video Sensing Platform
Andrew HeadHead, Andrew UC BerkeleyUnited States Committee Member in Program Committee within the HATRA-track
Gorel HedinHedin, Gorel Lund UniversitySweden Future of Conferences Steering Committee Member in Steering Committee within the SLE-track
Görel HedinHedin, Görel Lund UniversitySweden Committee Member in Program Committee within the SLE-track
Aaron HelmanHelman, Aaron California State University at Monterey BayUnited States Motivating Complexity Understanding by Profiling Energy Usage Motivating Complexity Understanding By Profiling Energy Usage
Brian HempelHempel, Brian University of Chicago Session Chair of Keynote and Talks I (part of LIVE) Session Chair of Talks III (part of LIVE) LIVE Committee Member in Organizing Committee within the LIVE-track
Rawn HenryHenry, Rawn Massachusetts Institute of TechnologyUnited States Compilation of Sparse Array Programming Models Compilation of Sparse Array Programming Models
Martin HenzHenz, Martin National University of SingaporeSingapore Shrinking JavaScript for CS1 Ruggedizing CS1 Robotics: Tools and Approaches for Online Teaching Teachable Moments in Functional Audio Processing A Stepper for a Functional JavaScript Sublanguage
Kihong HeoHeo, Kihong KAISTSouth Korea Session Chair of Analysis / Synthesis (mirror) (part of APLAS Research Papers) Committee Member in Program Committee within the APLAS Research Papers-track
Yann HerklotzHerklotz, Yann Imperial College LondonUnited Kingdom Formal Verification of High-Level Synthesis Formal Verification of High-Level Synthesis
Felienne HermansHermans, Felienne Leiden UniversityNetherlands Hedy: Creating a gradual programming language
Karine HeydemannHeydemann, Karine Sorbonne University; CNRS; LIP6France Reconciling Optimization with Secure Compilation
Noa HeylHeyl, Noa University of British ColumbiaCanada The Efficacy of Online Office Hours: An Experience Report
Geert HeymanHeyman, Geert Nokia Bell Labs, BelgiumBelgium Natural Language-Guided Programming
Michael HicksHicks, Michael University of Maryland at College Park Committee Member in Review Committee within the SPLASH OOPSLA-track
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Getting Grammars into Shape for Block-based Editors Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming Python 3 Types in the Wild: A Tale of Two Type Systems
Nicolas HladHlad, Nicolas LIRMM, CNRS Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines
Richard HobeckHobeck, Richard TU BerlinGermany Teaching DevOps: A Tale of Two Universities
Torsten HoeflerHoefler, Torsten ETH ZurichSwitzerland FPL: Fast Presburger Arithmetic through Transprecision
Reid HolmesHolmes, Reid University of British ColumbiaCanada The Efficacy of Online Office Hours: An Experience Report
Gerard HolzmannHolzmann, Gerard NASA/Caltech Jet Propulsion LaboratoryUnited States Interactive Code Analysis Invited Speaker in Invited Speakers within the SAS-track
Lukáš HolíkHolík, Lukáš Brno University of Technology Preprocessing of Alternating Automata for Language Emptiness Testing Solving Not-Substring with Flat Abstraction Efficient Handling of String-Number Conversion Regex Matching with Counting-Set Automata
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Changwan HongHong, Changwan Massachusetts Institute of Technology A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Wolf HonoreHonore, Wolf Yale UniversityUnited States Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Jozef HoomanHooman, Jozef TNO; Radboud University NijmegenNetherlands Industrial Experiences with the Evolution of a DSL
Joshua HorowitzHorowitz, Joshua Inkbase: Programmable Ink
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2021 Session Chair of Optimization - mirror (part of SPLASH OOPSLA) Future of Conferences
Chiao HsiehHsieh, Chiao University of Illinois at Urbana-Champaign Koord: a language for programming and verifying distributed robotics applications
Justin HsuHsu, Justin University of Wisconsin-Madison, USAUnited States A Separation Logic for Probabilistic Independence
Olivia HsuHsu, Olivia Stanford UniversityUnited States Compilation of Sparse Array Programming Models Compilation of Sparse Array Programming Models
Denghang HuHu, Denghang State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Solving Not-Substring with Flat Abstraction
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming
Xiaowen HuHu, Xiaowen The University of Sydney The Choice Construct in the Soufflé Language Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Generalizable Synthesis through Unification
Heqing HuangHuang, Heqing Hong Kong University of Science and TechnologyChina Program Analysis via Efficient Symbolic Abstraction
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kangjing HuangHuang, Kangjing Purdue University, USA Reconciling Enumerative and Deductive Program Synthesis Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marianne HuchardHuchard, Marianne LIRMMFrance Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines Committee Member in Program Committee within the GPCE-track
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Automated Verification of the Parallel Bellman--Ford Algorithm Committee Member in Review Committee within the SPLASH OOPSLA-track
Christian HumerHumer, Christian Oracle Labs, SwitzerlandSwitzerland Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christopher HundhausenHundhausen, Christopher Washington State University Committee Member in Program Committee within the LIVE-track
Aftab HussainHussain, Aftab University of HoustonUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Stuart HutchessonHutchesson, Stuart IndependentUnited Kingdom Committee Member in Program Committee within the SLE-track
Rafael HuysegemsHuysegems, Rafael Nokia Bell Labs, Belgium Natural Language-Guided Programming
Reiner HähnleHähnle, Reiner Technical University of DarmstadtGermany Delta-based Verification of Software Product Families
I Paul IannettaIannetta, Paul ENS Lyon Compiling pattern matching to in-place modifications
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 Functional Programming - Mirror (part of SPLASH OOPSLA) Session Chair of Types & Verification -- mirror (part of SPLASH OOPSLA) Session Chair of Invited talk 2 (part of APLAS Keynote Talks) Committee Member in Review Committee within the SPLASH OOPSLA-track
Takeo IgarashiIgarashi, Takeo The University of TokyoJapan Supporting Network Editing and Experimentation for Novice Deep Learning Programmers
Guillaume IoossIooss, Guillaume Inria IOOpt- Automatic Derivation of I/O complexity bounds for affine programs
Dan IorgaIorga, Dan Imperial College LondonUnited Kingdom The Semantics of Shared Memory in Intel CPU/FPGA Systems The Semantics of Shared Memory in Intel CPU/FPGA Systems
Takuma IshikawaIshikawa, Takuma The University of Tokyo Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination
Didier IshimweIshimwe, Didier University of Nebraska-LincolnUnited States Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Liquid Information Flow Control Cyclic Program Synthesis
J Nouraldin JaberJaber, Nouraldin Purdue UniversityUnited States HACCLE: Metaprogramming for Secure Multi-Party Computation QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
Letizia JaccheriJaccheri, Letizia Norwegian University of Science and TechnologyNorway BCNC Committee Member in Organizing Committee within the BCNC-track Committee Member in Program Committee within the BCNC-track
Daniel JacksonJackson, Daniel MIT Joker: A Unified Interaction Model For Web Customization Demystifying Dependence Committee Member in Review Committee within the SPLASH OOPSLA-track
Dejice JacobJacob, Dejice University of Glasgow, UKUnited Kingdom PC Member in Program Committee within the DLS-track
Jef JacobsJacobs, Jef Vrije Universiteit BrusselBelgium PrintTalk: A Constraint-Based Imperative DSL for 3D Printing
Swen JacobsJacobs, Swen CISPAGermany QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
Daniel JacobyJacoby, Daniel California State University at Monterey BayUnited States Motivating Complexity Understanding by Profiling Energy Usage Motivating Complexity Understanding By Profiling Energy Usage
Radha JagadeesanJagadeesan, Radha DePaul University Pomsets with Preconditions: A Simple Model of Relaxed Memory
Suresh JagannathanJagannathan, Suresh Purdue UniversityUnited States Session Chair of PLDI 2020 Papers 3 (part of SPLASH SIGPLAN Papers) Data-Driven Abductive Inference of Library Specifications Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring Mentor in Organizing Committee and Mentors within the SPLASH Faculty Mentorship Roundtable-track
Kush JainJain, Kush University of Texas at AustinUnited States Programming and Execution Models for Parallel Bounded Exhaustive Testing Programming and Execution Models for Parallel Bounded Exhaustive Testing
Nadeem JamaliJamali, Nadeem Committee Member in Program Committee within the AGERE-track
Michael B. JamesJames, Michael B. University of California at San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell
Jae-Won JangJang, Jae-Won Virginia Tech Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Petr JankůJanků, Petr Brno University of Technology, Czechia Efficient Handling of String-Number Conversion
Nicolas JeannerodJeannerod, Nicolas Tweag I/OFrance Session Chair of Languages (part of CONFLANG) CONFLANG Co-chair in Organizing Committee within the CONFLANG-track
Alan JeffreyJeffrey, Alan Alcatel-Lucent Bell Labs Session Chair of AMA Session (part of SPLASH Ask Me Anything (AMA))
Alan JeffreyJeffrey, Alan RobloxUnited States Session Chair of Session 2 (part of REBLS) Session Chair of Types, Proofs, and Design Theory (part of HATRA) Position Paper: Goals of the Luau Type System Pomsets with Preconditions: A Simple Model of Relaxed Memory Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the HATRA-track
Jan JečmenJečmen, Jan Czech Technical UniversityCzechia Promises Are Made to Be Broken: Migrating R to Strict Semantics
Ranjit JhalaJhala, Ranjit University of California at San Diego Digging for Fold: Synthesis-Aided API Discovery for Haskell Committee Member in Program Committee within the SAS-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track
Ruyi JiJi, Ruyi Peking UniversityChina Generalizable Synthesis through Unification
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Exploiting Verified Neural Networks via Floating Point Numerical Error Verifying Low-dimensional Input Neural Networks via Input Quantization
Limin JiaJia, Limin Carnegie Mellon University SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Xiaodong JiaJia, Xiaodong Pennsylvania State UniversityUnited States A Derivative-Based Parser Generator for Visibly Pushdown Grammars
Yuxuan JiangJiang, Yuxuan Purdue UniversityUnited States Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs
Ziwen JiangJiang, Ziwen Massachusetts Institute of TechnologyUnited States SkyQuery: An Aerial Drone Video Sensing Platform SkyQuery: An Aerial Drone Video Sensing Platform
Kathryn JinJin, Kathryn Joker: A Unified Interaction Model For Web Customization
Tian JinJin, Tian Massachusetts Institute of TechnologyUnited States Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Steven JohnsonJohnson, Steven Google Verifying and Improving Halide’s Term Rewriting System with Program Synthesis
Adrian JohnstoneJohnstone, Adrian Royal Holloway Committee Member in Program Committee within the SLE-track
Keyur JoshiJoshi, Keyur University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gwendal JouneauxJouneaux, Gwendal University of Rennes; Inria; IRISAFrance SEALS: A framework for building Self-Adaptive Virtual Machines Towards Self-Adaptable Languages Towards Self-Adaptable Languages
Christine JulienJulien, Christine The University of Texas at Austin Committee Member in Program Commitee within the SPLASH -E-track
Peter JungJung, Peter National University of SingaporeSingapore A Stepper for a Functional JavaScript Sublanguage
Pascal JustenJusten, Pascal Nokia Bell LabsBelgium Natural Language-Guided Programming
Josh JusticeJustice, Josh Big Nerd RanchUnited States Modifiable Software Systems: Smalltalk and HyperCard
David JustoJusto, David Microsoft AzureUnited States Durable Functions: Semantics for Stateful Serverless
Jaakko JärviJärvi, Jaakko University of TurkuNorway Committee Member in Program Committee within the GPCE-track
K Ifaz KabirKabir, Ifaz University of Alberta Current Student Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Program Committee within the Scala-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Teruno KajiuraKajiura, Teruno Japan Women's UniversityJapan Is Neural Machine Translation Approach Accurate Enough for Coding Assistance?
Diptanshu KakwaniKakwani, Diptanshu Microsoft, IndiaIndia MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Avoiding Monomorphization Bottlenecks with Phase-based Splitting Avoiding Monomorphization Bottlenecks with Phase-Based Splitting
Szymon KaliskiKaliski, Szymon Inkbase: Programmable Ink
Konstantinos KallasKallas, Konstantinos University of PennsylvaniaUnited States An Order-Aware Dataflow Model for Parallel Unix Pipelines DiffStream: Differential Output Testing for Stream Processing Programs Durable Functions: Semantics for Stateful Serverless
Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Type-safe generation of modules in applicative and generative styles Committee Member in Program Committee within the GPCE-track
Shoaib KamilKamil, Shoaib Adobe Research Verifying and Improving Halide’s Term Rewriting System with Program Synthesis A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Committee Member in Program Committee within the GPCE-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State UniversityUnited States SpecSafe: Detecting Cache Side Channels in a Speculative World
Jeehoon KangKang, Jeehoon KAISTSouth Korea Korea in Review Committee within the SPLASH OOPSLA-track
Manos KapritsosKapritsos, Manos University of Michigan, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Ritu KapurKapur, Ritu University of SannioItaly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Georgios KarachaliasKarachalias, Georgios TweagFrance Efficient Compilation of Algebraic Effect Handlers
Joshua KarpKarp, Joshua The University of Sydney The Choice Construct in the Soufflé Language
Nobuhiro KasaiKasai, Nobuhiro Shibaura Institute of Technology Server-Side Computation of Package Dependencies in Package-Management Systems
Baris KasikciKasikci, Baris University of Michigan, USA Session Chair of PLDI 2021 Papers 4 (part of SPLASH SIGPLAN Papers) Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
Aniket KateKate, Aniket Purdue University HACCLE: Metaprogramming for Secure Multi-Party Computation
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan Supporting Network Editing and Experimentation for Novice Deep Learning Programmers
Kapaya KatongoKatongo, Kapaya Massachusetts Institute of Technology (MIT)United States Joker: A Unified Interaction Model For Web Customization
Milod KazerounianKazerounian, Milod University of Maryland at College ParkUnited States SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
Tamas KecskesKecskes, Tamas Vanderbilt UniversityUnited States Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2021 Future of Conferences University of Kent in Onward! Steering Committee within the SPLASH Onward! Essays-track University of Kent in Onward! Steering Committee within the SPLASH Onward! Papers-track
Steven KellyKelly, Steven MetaCaseUnited Kingdom PC Member in Program Committee within the DSM-track
Bettina KemmeKemme, Bettina McGill University, Canada FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages
Mary Beth KeryKery, Mary Beth Apple IncUnited States Committee Member in Program Committee within the LIVE-track
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Florida Gulf Coast UniversityUnited States Student Volunteer Co-Chair in Organizing Committee for SPLASH 2021 Student Volunteer Co-Chair in Organizers within the SPLASH Student Volunteers-track
Hourieh KhalajzadehKhalajzadeh, Hourieh Monash University, Australia Committee Member in Program Committee within the DSM-track
Fariba KhanKhan, Fariba Oregon State University A Variational Database Management System
Raffi KhatchadourianKhatchadourian, Raffi CUNY Hunter CollegeUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2021 Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track Committee Member in Program Committee within the GPCE-track
Heidy KhlaafKhlaaf, Heidy University College London Invited Speaker
Siau-Cheng KhooKhoo, Siau-Cheng National University of Singapore Scalable and Modular Robustness Analysis of Deep Neural Networks
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at Austin A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jörg KienzleKienzle, Jörg McGill University, CanadaCanada FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages
Gregory KildowKildow, Gregory Virginia TechUnited States Publicity Chair in Organizing Committee within the GPCE-track
Jieung KimKim, Jieung Yale UniversityUnited States Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Daisuke KimuraKimura, Daisuke Toho University Japan Function Pointer Eliminator for C Programs
Dimitris KiritsisKiritsis, Dimitris EPFLSwitzerland Integration of Modeling and Verification for System Model Based on KARMA Language
Maja KirkebyKirkeby, Maja Roskilde University Committee Member in Program Committee within the GPCE-track
Christoph KirschKirsch, Christoph University of Salzburg; Czech Technical UniversityAustria What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Session Chair of PLDI 2021 Papers 3 (part of SPLASH SIGPLAN Papers) Session Chair of Optimization (part of SPLASH OOPSLA) Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode Copy-and-Patch Compilation A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Compilation of Sparse Array Programming Models Compilation of Sparse Array Programming Models
Sebastian KloibhoferKloibhofer, Sebastian JKU LinzAustria Run-Time Data Analysis to Drive Compiler Optimizations Run-time Data Analysis to Drive Compiler Optimizations
Naoki KobayashiKobayashi, Naoki University of Tokyo, JapanJapan Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination Symbolic Automatic Relations and Their Applications to SMT and CHC Solving Toward Neural-Network-Guided Program Synthesis and Verification
Marios KogiasKogias, Marios Microsoft ResearchUnited Kingdom Committee Member in External Review Committee within the SPLASH OOPSLA-track
Shang-Hui KohKoh, Shang-Hui National University of SingaporeSingapore Teachable Moments in Functional Audio Processing
Tobias KohnKohn, Tobias University of Cambridge, UKUnited Kingdom PC Member in Program Committee within the DLS-track
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Session Chair of GPCE/SLE Session 1 (part of GPCE) SLE/GPCE Joint Welcome Program Chair in Organizing Committee within the SLE-track Program Chair in Program Committee within the SLE-track
Chaitanya S. KoparkarKoparkar, Chaitanya S. Indiana UniversityUnited States Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
James KoppelKoppel, James Massachusetts Institute of Technology, USA Session Chair of PLDI 2021, PLDI 2020, and OOPSLA 2020 Papers 1 (part of SPLASH SIGPLAN Papers) Demystifying Dependence Semantic Code Search via Equational Reasoning
Filip KoprivecKoprivec, Filip University of Ljubljana; Institute of MathematicsSlovenia Efficient Compilation of Algebraic Effect Handlers
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea) Session Chair of PLTea (part of SPLASH PLTea)
Eric KoskinenKoskinen, Eric Stevens Institute of Technology Proving LTL Properties of Bitvector Programs and Decompiled Binaries DynamiTe: Dynamic Termination and Non-termination Proofs Committee Member in External Review Committee within the SPLASH OOPSLA-track
Fabian KrauseKrause, Fabian University of Freiburg Label Dependent Lambda Calculus and Gradual Typing
Murali Krishna RamanathanKrishna Ramanathan, Murali Uber Technologies Inc.United States Poster Co-Chair in Organizing Committee for SPLASH 2021 Poster Co-Chair in Organizing Committee within the SPLASH Posters-track
Siddharth KrishnaKrishna, Siddharth Microsoft ResearchUnited Kingdom Verifying Concurrent Multicopy Search Structures Verifying Concurrent Search Structure Templates Verifying Concurrent Multicopy Search Structures
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States Future of Conferences Committee Member in Program Committe within the SPLASH CARES-track Committee Member in Program Committee within the HATRA-track
Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Session Chair of SLE/GPCE Session 6 (part of SLE) Session Chair of SLE/GPCE Session 5 (part of SLE) Committee Member in Program Committee within the SLE-track
Sebastián KrynskiKrynski, Sebastián Czech Technical UniversityCzechia Promises Are Made to Be Broken: Migrating R to Strict Semantics
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in Program Committee within the SAS-track
Andrey KuleshovKuleshov, Andrey HuaweiRussia BCNC Committee Member in Organizing Committee within the BCNC-track Committee Member in Program Committee within the BCNC-track
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States HACCLE: Metaprogramming for Secure Multi-Party Computation QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems Vectorized Secure Evaluation of Decision Forests Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Ashish KumarKumar, Ashish Pennsylvania State UniversityUnited States A Derivative-Based Parser Generator for Visibly Pushdown Grammars
Prashant KumarKumar, Prashant Oregon State UniversityUnited States A DSL for Explanatory Decision Making
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland Committee Member in Review Committee within the SPLASH OOPSLA-track
Lindsey KuperKuper, Lindsey University of California at Santa Cruz Toward SMT-Based Refinement Types in Agda Toward Hole-Driven Development with Liquid Haskell Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kimio KuramitsuKuramitsu, Kimio Japan Women's UniversityJapan Is Neural Machine Translation Approach Accurate Enough for Coding Assistance?
Evgeny KusmenkoKusmenko, Evgeny RWTH Aachen University Artifact and Reference Models for Generative AI Frameworks and Build Systems
Daniel G. KyrollosKyrollos, Daniel G. Carleton UniversityCanada Machine Learning Pedagogy to Support the Research Community
Filip KřikavaKřikava, Filip Czech Technical UniversityCzechia Designing Types for R, Empirically What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs
L Ralf LaemmelLaemmel, Ralf Facebook London Committee Member in Steering Committee within the SLE-track
Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Ori LahavLahav, Ori Tel Aviv UniversityIsrael Decidable Verification under a Causally Consistent Shared Memory Making Weak Memory Models Fair
Akash LalLal, Akash Microsoft Research MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels Committee Member in Program Committee within the SAS-track
Patrick LamLam, Patrick University of Waterloo Committee Member in External Review Committee within the SPLASH OOPSLA-track
Aaron LamoreauxLamoreaux, Aaron University of Texas at AustinUnited States Web Question Answering with Neurosymbolic Program Synthesis
Leslie LamportLamport, Leslie Microsoft ResearchUnited States Invited Speaker
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland, College ParkGreece Session Chair of Types & Verification (part of SPLASH OOPSLA)
Julien LangeLange, Julien Royal Holloway University of London A model of actors and grey failures
Julien LangouLangou, Julien Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Rosa LanzilottiLanzilotti, Rosa University of BariItaly Rapid Prototyping of Chatbots for Data Exploration
Florian LanzingerLanzinger, Florian KITGermany Scalability and Precision by Combining Expressive Type Systems and Deductive Verification Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Florian LatifiLatifi, Florian JKU LinzAustria CompGen: Generation of Fast JIT Compilers in a Multi-language VM
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track
Sam LauLau, Sam University of California San DiegoUnited States Session Chair of Talks II (part of LIVE) LIVE Committee Member in Organizing Committee within the LIVE-track
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tom LauwaertsLauwaerts, Tom Universiteit Gent, BelgiumBelgium Lightweight IOT abstractions for Embedded WebAssembly
Frédéric Le MouëlLe Mouël, Frédéric University of Lyon; INSA Lyon; Inria; CITIFrance Dyninka: A FaaS Framework for Distributed Dataflow Applications Analysing the Performance and Costs of Reactive Programming Libraries in Java
Ton Chanh LeLe, Ton Chanh Stevens Institute of Technology Proving LTL Properties of Bitvector Programs and Decompiled Binaries DynamiTe: Dynamic Termination and Non-termination Proofs Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vu LeLe, Vu MicrosoftUnited States Semantic Programming by Example with Pre-trained Models Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Session Chair of Shared Memory (part of SPLASH OOPSLA) A Brief History of the API, Revisited Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Richard LeblancLeblanc, Richard Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Edward LeeLee, Edward University of WaterlooCanada Safer Exceptions for Scala
I-Ting Angelina LeeLee, I-Ting Angelina Washington University in St. Louis, USA Responsive Parallelism with Futures and State
Benoît LelandaisLelandais, Benoît CEA/DAM/DIF, France Monilogging for Executable Domain-Specific Languages
Caroline LemieuxLemieux, Caroline Microsoft ResearchUnited States Gauss: Program Synthesis by Reasoning over Graphs PL/SE Career Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Bérénice LemoineLemoine, Bérénice LIRMM, CNRS Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines
Ondřej LengálLengál, Ondřej Brno University of Technology Regex Matching with Counting-Set Automata
David LeopoldsederLeopoldseder, David Oracle LabsAustria CompGen: Generation of Fast JIT Compilers in a Multi-language VM
Julien LepillerLepiller, Julien Yale University Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities
Sorin LernerLerner, Sorin University of California at San DiegoUnited States GPCE Keynote - Live Programming and Programming by Example: Better Together Towards a Verified Range Analysis for JavaScript JITs Scooter & Sidecar: A domain-specific approach to writing secure migrations LooPy: Interactive Program Synthesis with Control Structures
Dorian LeroyLeroy, Dorian University of Rennes 1, Inria, France Monilogging for Executable Domain-Specific Languages
Mohsen LesaniLesani, Mohsen University of California at Riverside Session Chair of Distributed Programming (part of SPLASH OOPSLA) Session Chair of Smart Contracts and Distributed Programming (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track
Stella LesslerLessler, Stella Intra-update Sniping Vulnerabilities in Smart Contracts
Pierre-David LetourneauLetourneau, Pierre-David Reservoir Labs HACCLE: Metaprogramming for Secure Multi-Party Computation
Amit LevyLevy, Amit Princeton UniversityUnited States Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Grace LewisLewis, Grace Carnegie Mellon Software Engineering InstituteUnited States Committee Member in Program Commitee within the SPLASH -E-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Safe Object Initialization, Abstractly Safer Exceptions for Scala
John M. LiLi, John M. Princeton UniversityUnited States Compositional Optimizations for CertiCoq
Peixuan LiLi, Peixuan Penn State UniversityUnited States Committee Member in Artifact Evaluation Committee within the SAS-track
Tzu-Mao LiLi, Tzu-Mao Massachusetts Institute of Technology; University of California at San DiegoUnited States Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Yao LiLi, Yao University of PennsylvaniaUnited States Session Chair of OOPSLA 2020 Papers 5 (part of SPLASH SIGPLAN Papers) Reasoning about the Garden of Forking Paths
Yonglun LiLi, Yonglun University of Wisconsin -- Milwaukee A Concurrency Model for JavaScript with Cooperative Cancellation
Yue LiLi, Yue Nanjing UniversityChina Session Chair of Verification / Theory (mirror) (part of APLAS Research Papers) Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity Committee Member in Program Committee within the APLAS Research Papers-track
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States Denotational Recurrence Extraction for Amortized Analysis
Hsin-Hung LinLin, Hsin-Hung Academia Sinica, Taiwan Efficient Handling of String-Number Conversion
Jens LinckeLincke, Jens Hasso Plattner Institute, University of Potsdam, GermanyGermany Committee Member in Program Committee within the LIVE-track
James LindenbaumLindenbaum, James Inkbase: Programmable Ink
Sam LindleyLindley, Sam The University of Edinburgh, UKUnited Kingdom Session Chair of Compilation / Transformation (part of APLAS Research Papers) Committee Member in Program Committee within the APLAS Research Papers-track
Lukas LinsbauerLinsbauer, Lukas TU BraunschweigGermany The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Geoffrey LittLitt, Geoffrey MIT Joker: A Unified Interaction Model For Web Customization Committee Member in Program Committee within the LIVE-track
Cyrus LiuLiu, Cyrus Stevens Institute of TechnologyUnited States Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Fengyun LiuLiu, Fengyun Oracle LabsSwitzerland Safe Object Initialization, Abstractly
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee within the SAS-track
Xingyu LongLong, Xingyu Virginia TechUnited States The Common Coder’s Scratch Programming Idioms and Their Impact on Project Remixing
Crista LopesLopes, Crista University of California, IrvineUnited States Irvine in Review Committee within the SPLASH OOPSLA-track
Jacob R. LorchLorch, Jacob R. Microsoft Research, n.n. Armada: Low-Effort Verification of High-Performance Concurrent Programs
Kok-Lim LowLow, Kok-Lim National University of SingaporeSingapore Shrinking JavaScript for CS1
Donghang LuLu, Donghang Purdue University HACCLE: Metaprogramming for Secure Multi-Party Computation
Jingbo LuLu, Jingbo UNSW Sydney Selective Context-Sensitivity for k-CFA with CFL-Reachability
Jinzhi LuLu, Jinzhi EPFLSwitzerland Integration of Modeling and Verification for System Model Based on KARMA Language
Tianhan LuLu, Tianhan University of Colorado Boulder Selectively-Amortized Resource Bounding
Justin LubinLubin, Justin University of California at BerkeleyUnited States Program Sketching with Live Bidirectional Evaluation How Statically-Typed Functional Programmers Write Code
Brandon LuciaLucia, Brandon Carnegie Mellon University, USA Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Tianzuo LuoLuo, Tianzuo School of Computing, National University of Singapore Scalable and Modular Robustness Analysis of Deep Neural Networks
Robyn LutzLutz, Robyn Iowa State University Designing Safe Programmed Molecular Systems
Konstantin LäuferLäufer, Konstantin Loyola University ChicagoUnited States Committee Member in Program Committee within the Scala-track
Henrik LönnLönn, Henrik Volvo Technology Committee Member in Program Committee within the DSM-track
M Michael M. VitousekM. Vitousek, Michael Facebook PC Member in Program Committee within the DLS-track
Jiacheng MaMa, Jiacheng University of MichiganUnited States Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
Karima MaMa, Karima Massachusetts Institute of TechnologyUnited States Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Yuzhi MaMa, Yuzhi Virginia TechUnited States “You Have Said Too Much”: Java-Like Verbosity Anti-patterns in Python Codebases
Sam MaddenMadden, Sam Massachusetts Institute of TechnologyUnited States Deductive Optimization of Relational Data Storage SkyQuery: An Aerial Drone Video Sensing Platform SkyQuery: An Aerial Drone Video Sensing Platform
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Synthesizing Contracts Correct Modulo a Test Generator
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Relational Nullable Types with Boolean Unification Committee Member in External Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the DLS-track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Metaprogramming with Combinators
Lukas MakorMakor, Lukas JKU LinzAustria Run-Time Data Analysis in Dynamic Runtimes Run-Time Data Analysis in Dynamic Runtimes
Lukas MalcherMalcher, Lukas RWTH Aachen University Understanding and Improving Model-Driven IoT Systems Through Accompanying Digital Twins
Stefan MalewskiMalewski, Stefan University of ChileChile Gradually Structured Data
Raghav MalikMalik, Raghav Purdue UniversityUnited States HACCLE: Metaprogramming for Secure Multi-Party Computation Vectorized Secure Evaluation of Decision Forests
Louis MandelMandel, Louis IBM ResearchUnited States Session Chair of Welcome to REBLS & Keynote (part of REBLS) Welcome to REBLS Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming Reactive Probabilistic Programming Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams PC Chair in Program Committee within the REBLS-track Committee Member in Organizing Committee within the REBLS-track
Vikash K. MansinghkaMansinghka, Vikash K. MIT SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Ryan MarcusMarcus, Ryan MIT CSAIL / Intel LabsUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Session 1 (part of VMIL) Actors! And now? An Implementer's Perspective on High-level Concurrency Models, Debugging Tools, and the Future of Automatic Bug Mitigation
Matteo MarraMarra, Matteo Vrije Universiteit BrusselBelgium WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applications
Matthieu MartelMartel, Matthieu Université de Perpignan Via Domitia Fast and Efficient Bit-Level Precision Tuning
Chris MartensMartens, Chris North Carolina State UniversityUnited States Session Chair of Type Systems (part of HATRA) HATRA Committee Member in Organizing Committee within the HATRA-track
Ruben MartinsMartins, Ruben Carnegie Mellon UniversityUnited States SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Margaret MartonosiMartonosi, Margaret Princeton University Specifying and Testing GPU Workgroup Progress Models
Guillaume MartresMartres, Guillaume EPFLSwitzerland Pathless Scala: A Calculus for the Rest of Scala
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Steering Committee for SPLASH 2021 Session Chair of Onward! Paper Session 2 (part of SPLASH Onward! Papers) Tokyo Institute of Technology in Onward! Steering Committee within the SPLASH Onward! Essays-track Tokyo Institute of Technology in Onward! Steering Committee within the SPLASH Onward! Papers-track
Maristella MateraMatera, Maristella Politecnico di MilanoItaly Rapid Prototyping of Chatbots for Data Exploration
Christoph MathejaMatheja, Christoph ETH Zurich Modular Specification and Verification of Closures in Rust
Nicholas MatsakisMatsakis, Nicholas Amazon, USAUnited States The F# view on the Static / Dynamic divide
Kazutaka MatsudaMatsuda, Kazutaka Tohoku UniversityJapan Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Reduced Products of Abstract Domains for Fairness Certification of Neural Networks
Daniel McCrevanMcCrevan, Daniel Rensselaer Polytechnic Institute Python 3 Types in the Wild: A Tale of Two Type Systems
Sean McDirmidMcDirmid, Sean GoogleUnited States Committee Member in Program Committee within the LIVE-track
Kathryn S McKinleyMcKinley, Kathryn S Google Session Chair of CARES (part of SPLASH CARES) Committee Member in Program Committe within the SPLASH CARES-track
Connor McMahonMcMahon, Connor Microsoft AzureUnited States Durable Functions: Semantics for Stateful Serverless
Kenneth L. McMillanMcMillan, Kenneth L. UT Austin Committee Member in Program Committee within the SAS-track
Erik MeijerMeijer, Erik FacebookUnited States Coarsening Optimization for Differentiable Programming
Erik MeijerMeijer, Erik FacebookUnited States Coarsening Optimization for Differentiable Programming
Christopher S. MeiklejohnMeiklejohn, Christopher S. Carnegie Mellon UniversityUnited States Durable Functions: Semantics for Stateful Serverless
Benoit MeisterMeister, Benoit Reservoir Labs HACCLE: Metaprogramming for Secure Multi-Party Computation
Na MengMeng, Na Virginia TechUnited States Committee Member in Program Commitee within the SPLASH -E-track
Marjan MernikMernik, Marjan University of MariborSlovenia Steering Committee Member in Steering Committee within the SLE-track
Johannes MeyMey, Johannes Technische Universität Dresden Committee Member in Artifact Evaluation Committee within the SLE-track
Mira MeziniMezini, Mira TU Darmstadt, GermanyGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Gabriela Karoline MichelonMichelon, Gabriela Karoline Johannes Kepler University LinzAustria The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2021 Python 3 Types in the Wild: A Tale of Two Type Systems Committee Member in External Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the DLS-track Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Todd MillsteinMillstein, Todd University of California, Los Angeles Data-Driven Inference of Representation Invariants
Todd MillsteinMillstein, Todd University of California at Los Angeles Los Angeles in Review Committee within the SPLASH OOPSLA-track
Anders MiltnerMiltner, Anders The University of Texas at Austin, Texas, USAUnited States Session Chair of OOPSLA 2020 Papers 3 (part of SPLASH SIGPLAN Papers) Data-Driven Inference of Representation Invariants
Bonan MinMin, Bonan Raytheon BBN TechnologiesUnited States SimTyper: Sound Type Inference for Ruby using Type Equality Prediction
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Session Chair of Session 4B (part of SAS) A Multi-Language Static Analysis of Python Programs with Native C Extensions Static Analysis of Endian Portability by Abstract Interpretation Committee Member in Program Committee within the SAS-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Koord: a language for programming and verifying distributed robotics applications Committee Member in Review Committee within the SPLASH OOPSLA-track
Edward MisbackMisback, Edward University of Washington, USA Peer-to-peer Syncing and Live Editing of Shared Virtual 3D Spaces: Challenges and Opportunities Committee Member in Program Committee within the LIVE-track
Sayan MitraMitra, Sayan University of Illinois at Urbana-Champaign Koord: a language for programming and verifying distributed robotics applications
Charalambos Ioannis MitropoulosMitropoulos, Charalambos Ioannis Technical University of CreteGreece Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Dimitris MitropoulosMitropoulos, Dimitris University of AthensGreece Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers
Sidi Mohamed BeillahiMohamed Beillahi, Sidi IRIF - Université de ParisFrance Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France A Multi-Language Static Analysis of Python Programs with Native C Extensions
David MonniauxMonniaux, David CNRS/VERIMAGFrance Data Abstraction: A General Framework to Handle Program Verification of Data Structures
David MoonMoon, David University of Michigan Restructuring Structure Editing Filling Typed Holes with Live GUIs Committee Member in Program Committee within the LIVE-track
Carlos MoraisMorais, Carlos NumbersBelieve Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Angelica MoreiraMoreira, Angelica Federal University of Minas GeraisBrazil VESPA: Static Profiling for Binary Optimization
Daniel MorrisMorris, Daniel MicrosoftUnited States Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Timothy MouMou, Timothy Swarthmore College An Empirical Study of Protocols in Smart Contracts
Sergio MoverMover, Sergio Ecole Polytechnique Session Chair of Language Design (part of APLAS Research Papers) Committee Member in Program Committee within the APLAS Research Papers-track
Fabian MuehlboeckMuehlboeck, Fabian IST AustriaAustria Session Chair of Algorithms, Libraries and Databases - mirror (part of SPLASH OOPSLA) Transitioning from Structural to Nominal Code with Efficient Gradual Typing
Suvam MukherjeeMukherjee, Suvam Microsoft Research Session Chair of Session 2B (part of SAS) Session Chair of Session 3A (part of SAS) Session Chair of Session 4C (part of SAS) Artifact Evaluation Chair in Artifact Evaluation Committee within the SAS-track Artifact Evaluation Chair in Organizing Committee within the SAS-track
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
Stefan K. MullerMuller, Stefan K. Illinois Institute of TechnologyUnited States Session Chair of ICFP 2020 Papers (part of SPLASH SIGPLAN Papers) Responsive Parallelism with Futures and State Committee Member in External Review Committee within the SPLASH OOPSLA-track
Toby MurrayMurray, Toby University of MelbourneAustralia Session Chair of Specification Synthesis - mirror (part of SPLASH OOPSLA) Session Chair of Rust - mirror (part of SPLASH OOPSLA) SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency Committee Member in External Review Committee within the SPLASH OOPSLA-track
Girish MururuMururu, Girish Georgia Institute of TechnologyUnited States Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
Gunter MussbacherMussbacher, Gunter McGill UniversityCanada SEALS: A framework for building Self-Adaptive Virtual Machines Towards Self-Adaptable Languages Towards Self-Adaptable Languages
Andrew MyersMyers, Andrew Cornell University Committee Member in Review Committee within the SPLASH OOPSLA-track
Brad A. MyersMyers, Brad A. Carnegie Mellon University Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria CompGen: Generation of Fast JIT Compilers in a Multi-language VM
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Steering Committee for SPLASH 2021 Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2021 Committee Member in Chairs within the SPLASH SIGPLAN Business-track Co-chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Peter MüllerMüller, Peter ETH ZurichSwitzerland Modular Specification and Verification of Closures in Rust Rich Specifications for Ethereum Smart Contract Verification
N Sarah NadiNadi, Sarah University of AlbertaCanada Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kartik NagarNagar, Kartik IIT MadrasIndia Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Aaditya NaikNaik, Aaditya University of PennsylvaniaUnited States Example-Guided Synthesis of Relational Queries
Mayur NaikNaik, Mayur University of Pennsylvania Example-Guided Synthesis of Relational Queries
Koji NakazawaNakazawa, Koji Nagoya University Function Pointer Eliminator for C Programs
Egor NamakonovNamakonov, Egor St. Petersburg University; JetBrains ResearchRussia Making Weak Memory Models Fair
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Session Chair of Program Synthesis (part of SPLASH OOPSLA) Session Chair of Session 3C (part of SAS) Session Chair of Session 3B (part of SAS) Session Chair of Session 4B (part of SAS) Session Chair of Session 1A (part of SAS) Co-chair in Program Committee within the SAS-track Co-chair in Organizing Committee within the SAS-track
Chandrakana NandiNandi, Chandrakana Certora, inc.United States Session Chair of Security - mirror (part of SPLASH OOPSLA) Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation
Carlos Diego Nascimento DamascenoNascimento Damasceno, Carlos Diego Radboud University Nijmegen, NetherlandsNetherlands Committee Member in Artifact Evaluation Committee within the SLE-track
Arthur NavarroNavarro, Arthur Red HatFrance Analysing the Performance and Costs of Reactive Programming Libraries in Java
Jorge A. NavasNavas, Jorge A. SRI InternationalUnited States Disjunctive Interval Analysis Compositional Verification of Smart Contracts Through Communication Abstraction
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of TechnologyUnited States Session Chair of Testing (part of SPLASH OOPSLA) Session Chair of Corpus and User Studies (part of SPLASH OOPSLA) 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
Kevin NewtonNewton, Kevin Shopify YJIT: A Basic Block Versioning JIT Compiler for CRuby
Ryan R. NewtonNewton, Ryan R. FacebookUnited States Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
KimHao NguyenNguyen, KimHao University of Nebraska-LincolnUnited States Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations
ThanhVu NguyenNguyen, ThanhVu George Mason UniversityUnited States Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations DynamiTe: Dynamic Termination and Non-termination Proofs
Tien N. NguyenNguyen, Tien N. University of Texas at Dallas SPLASH-E Co-Chair in Organizing Committee for SPLASH 2021 Chairs' Welcome Co-chair in Program Commitee within the SPLASH -E-track
Jens NicolayNicolay, Jens Vrije Universiteit BrusselBelgium PrintTalk: A Constraint-Based Imperative DSL for 3D Printing
Ruslan NikolaevNikolaev, Ruslan Virginia Tech Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Filip NiksicNiksic, Filip GoogleUnited States DiffStream: Differential Output Testing for Stream Processing Programs
Amirfarhad NilizadehNilizadeh, Amirfarhad University of Central FloridaUnited States Test Overfitting: Challenges, Approaches and Measurements
Brittany NkounkouNkounkou, Brittany University of Connecticut PL/SE Career Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
James NobleNoble, James Victoria University of WellingtonNew Zealand Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SLE-track
Bernard NongpohNongpoh, Bernard University of Paris-Saclay, CEA LIST Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vesna NowackNowack, Vesna Lancaster University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Muhammad Numair MansurNumair Mansur, Muhammad MPI-SWSGermany Committee Member in Artifact Evaluation Committee within the SAS-track
Clemens Nylandsted KlokmoseNylandsted Klokmose, Clemens Aarhus UniversityDenmark Software as Computational Media
Andres NötzliNötzli, Andres Stanford University, USA Towards a Verified Range Analysis for JavaScript JITs
Alberto NúňezNúňez, Alberto University Complutense of Madrid, Spain.Spain New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages
O Momoka ObaraObara, Momoka Japan Women's UniversityJapan Is Neural Machine Translation Approach Accurate Enough for Coding Assistance?
Jonas OberhauserOberhauser, Jonas HuaweiGermany Making Weak Memory Models Fair
David ObermannObermann, David Johannes Kepler University Linz The Life Cycle of Features in Highly-Configurable Software Systems Evolving in Space and Time
Martin OderskyOdersky, Martin EPFLSwitzerland Safer Exceptions for Scala Multi-Stage Programming with Generative and Analytical Macros
Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium Trampoline Variables: A General Method for State Accumulation in Reactive Programming
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Session Chair of Program Synthesis - mirror (part of SPLASH OOPSLA) Session Chair of Invited talk 1 (part of APLAS Keynote Talks) Program Chair in Organising Committee within the APLAS Research Papers-track Program Chair in Program Committee within the APLAS Research Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Atsushi OhoriOhori, Atsushi Tohoku University, Japan A compilation method for dynamic typing in ML
Yoshiki OhshimaOhshima, Yoshiki Croquet StudiosJapan Committee Member in Program Committee within the REBLS-track
Carlos OlarteOlarte, Carlos Federal University of Rio Grande do Norte, BrazilBrazil Committee Member in Program Committee within the SLE-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Committee Member in External Review Committee within the SPLASH OOPSLA-track Steering Committee Member in Steering Committee within the SLE-track
Auguste OlivryOlivry, Auguste Inria, France IOOpt- Automatic Derivation of I/O complexity bounds for affine programs Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States Compilation of Sparse Array Programming Models Compilation of Sparse Array Programming Models
Cyrus OmarOmar, Cyrus University of MichiganUnited States Session Chair of ICFP 2021 Papers (part of SPLASH SIGPLAN Papers) Restructuring Structure Editing Filling Typed Holes with Live GUIs Program Sketching with Live Bidirectional Evaluation Committee Member in Program Committee within the HATRA-track Committee Member in Judges within the SPLASH Student Research Competition-track
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom On Probabilistic Termination of Functional Programs with Continuous Distributions
Wytse OortwijnOortwijn, Wytse ETH Zurich, SwitzerlandNetherlands Automated Verification of the Parallel Bellman--Ford Algorithm
Ruben OpdebeeckOpdebeeck, Ruben Vrije Universiteit Brussel The Pitfalls of Ansible’s Variable and Template Expression Semantics
Jonathan Osei-OwusuOsei-Owusu, Jonathan University of Illinois at Urbana-ChampaignUnited States PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of Programming Submissions
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the HATRA-track
Klaus OstermannOstermann, Klaus University of Tübingen Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track
Guilherme OttoniOttoni, Guilherme FacebookUnited States VESPA: Static Profiling for Binary Optimization
Abdelraouf OuadjaoutOuadjaout, Abdelraouf Sorbonne UniversitéFrance A Multi-Language Static Analysis of Python Programs with Native C Extensions Static Analysis of Endian Portability by Abstract Interpretation
Marie-Pierre OudotOudot, Marie-Pierre CEA/DAM/DIF, France Monilogging for Executable Domain-Specific Languages
P Uday P. KhedkerP. Khedker, Uday Indian Institute of Technology (IIT) BombayIndia Committee Member in Program Committee within the APLAS Research Papers-track
Saswat PadhiPadhi, Saswat Amazon Web Services, USAUnited States Data-Driven Inference of Representation Invariants
Richard PaigePaige, Richard McMaster UniversityCanada Steering Committee Member in Steering Committee within the SLE-track
Shankara PailoorPailoor, Shankara University of Texas at Austin Automated Policy Synthesis for System Call Sandboxing
Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States PC Member in Program Committee within the DLS-track
Jens PalsbergPalsberg, Jens University of California at Los AngelesUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sebastien PalumbyPalumby, Sebastien Ecole Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
Rangeet PanPan, Rangeet Iowa State University, USAUnited States Web Chair in Organizing Committee for SPLASH 2021 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Santosh PandePande, Santosh Georgia Institute of TechnologyUnited States Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
Chengbin PangPang, Chengbin Stevens Institute of Technology Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Zoe ParaskevopoulouParaskevopoulou, Zoe Northeastern UniversityUnited States Session Chair of Specification Synthesis (part of SPLASH OOPSLA) Compiling with Continuations, Correctly Compositional Optimizations for CertiCoq
Sean ParentParent, Sean AdobeUnited States Fragmentation of Machine Architecture
Jiwon ParkPark, Jiwon École PolytechniqueFrance Generative Type-Aware Mutation for Testing SMT Solvers
Bryan ParnoParno, Bryan Carnegie Mellon University, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the SAS-track
Lionel ParreauxParreaux, Lionel Hong Kong University of Science and TechnologyChina Implementing Path-Dependent GADT Reasoning for Scala 3 Committee Member in Program Committee within the Scala-track
Nisarg PatelPatel, Nisarg New York UniversityUnited States Verifying Concurrent Multicopy Search Structures Verifying Concurrent Search Structure Templates Verifying Concurrent Multicopy Search Structures Committee Member in Artifact Evaluation Committee within the SAS-track
Aaron PattersonPatterson, Aaron Shopify YJIT: A Basic Block Versioning JIT Compiler for CRuby
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark The Reads-From Equivalence for the TSO and PSO Memory Models
David J. PearcePearce, David J. Victoria University of Wellington, New ZealandUnited Kingdom Committee Member in Steering Committee within the SLE-track
Witold PedryczPedrycz, Witold University of AlbertaCanada Committee Member in Program Committee within the BCNC-track
Hila PelegPeleg, Hila TechnionIsrael Cyclic Program Synthesis LooPy: Interactive Program Synthesis with Control Structures Digging for Fold: Synthesis-Aided API Discovery for Haskell Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Artem PelenitsynPelenitsyn, Artem Northeastern UniversityUnited States Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands Current Student Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Simon PerdrixPerdrix, Simon Université de Lorraine, CNRS, Inria, LORIA F 54000 Nancy, France Hybrid quantum-classical circuit simplification with the ZX-calculus
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil VESPA: Static Profiling for Binary Optimization Committee Member in Program Committee within the VMIL-track
Rui PereiraPereira, Rui HASLab/INESC TECPortugal Committee Member in Artifact Evaluation Committee within the SLE-track
Sara Perez-SolerPerez-Soler, Sara Universidad Autónoma de MadridSpain Automating the Synthesis of Recommender Systems for Modelling Languages
Anthony PerumaPeruma, Anthony Rochester Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Justyna PetkePetke, Justyna University College LondonUnited Kingdom Committee Member in Program Committee within the GPCE-track
Erez PetrankPetrank, Erez Technion, Israel Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tomas PetricekPetricek, Tomas University of KentUnited Kingdom Typed Image-based Programming with Structure Editing Programming as Architecture, Design, and Urban Planning Committee Member in Program Committee within the SPLASH Onward! Essays-track University of Kent in Onward! Steering Committee within the SPLASH Onward! Essays-track University of Kent in Onward! Steering Committee within the SPLASH Onward! Papers-track
Lucas PeñaPeña, Lucas University of Illinois at Urbana-Champaign Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Cao Nguyên PhamPham, Cao Nguyên University of WaterlooCanada Safe Object Initialization, Abstractly
Chris PhiferPhifer, Chris GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Jolan PhilippePhilippe, Jolan IMT Atlantique Executing Certified Model Transformations on Apache Spark
Luna Phipps-CostinPhipps-Costin, Luna University of Massachusetts at AmherstUnited States Solver-Based Gradual Type Migration
David PichardiePichardie, David Facebook ParisFrance Session Chair of Session 3C (part of SAS) Verified Functional Programming of an Abstract Interpreter
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Luís PinaPina, Luís University of Illinois at ChicagoUnited States Session Chair of PLDI 2020 Papers 1 (part of SPLASH SIGPLAN Papers)
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Static Detection of Silent Misconfigurations with Deep Interaction Analysis Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAILUnited States Session Chair of OOPSLA 2020 Papers 4 (part of SPLASH SIGPLAN Papers) Untangling mechanized proofs The Essence of Bluespec: A Core Language for Rule-Based Hardware Design
Arjun PitchanathanPitchanathan, Arjun IIIT HyderabadIndia FPL: Fast Presburger Arithmetic through Transprecision
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in Program Committee within the SAS-track
Anton PodkopaevPodkopaev, Anton HSE University; JetBrains ResearchRussia Making Weak Memory Models Fair
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Session Chair of Rust (part of SPLASH OOPSLA) Liquid Information Flow Control Cyclic Program Synthesis LooPy: Interactive Program Synthesis with Control Structures Digging for Fold: Synthesis-Aided API Discovery for Haskell Committee Member in Review Committee within the SPLASH OOPSLA-track
Guillermo PolitoPolito, Guillermo CNRS; CRIStAL; University of Lille; Centrale Lille; InriaFrance Analyzing Permission Transfer Channels for Dynamically Typed Languages
Joe Gibbs PolitzPolitz, Joe Gibbs University of California at San DiegoUnited States Course Experience Report: Full-Class Compiler Collaboration PL/SE Career Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
James D. PollardPollard, James D. Imperial College LondonUnited Kingdom Formal Verification of High-Level Synthesis Formal Verification of High-Level Synthesis
Julien PongePonge, Julien Red HatFrance Dyninka: A FaaS Framework for Distributed Dataflow Applications Analysing the Performance and Costs of Reactive Programming Libraries in Java
Natalie PopescuPopescu, Natalie Princeton UniversityUnited States Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Chris PorterPorter, Chris Georgia Institute of Technology, USA BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t
Georgios PortokalidisPortokalidis, Georgios Stevens Institute of Technology Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Committee Member in Steering Committee for SPLASH 2021 Hybridization Co-Chair in Organizing Committee for SPLASH 2021 Session Chair of Synthesis of models, tools and programs -- mirror (part of SPLASH OOPSLA) Session Chair of GPCE/SLE Session 3 (part of GPCE) Introduction to SPLASH 2022 Future of Conferences Committee Member in Program Committee within the APLAS Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
François PottierPottier, François Inria, FranceFrance Faster Reachability Analysis for LR(1) Parsers
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University, USA Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Marc PouzetPouzet, Marc École normale supérieure Reactive Probabilistic Programming Committee Member in Program Committee within the REBLS-track
Michael PradelPradel, Michael University of StuttgartGermany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jyoti PrakashPrakash, Jyoti National University of Singapore, SingaporeSingapore Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Nuno PreguicaPreguica, Nuno NOVA School of Science and TechnologyPortugal ECROs: Building Global Scale Systems from Sequential Code
Varot PremtoonPremtoon, Varot Massachusetts Institute of Technology, USA Semantic Code Search via Equational Reasoning
Matija PretnarPretnar, Matija University of Ljubljana; Institute of MathematicsSlovenia Efficient Compilation of Algebraic Effect Handlers
Marek ProchazkaProchazka, Marek European Space AgencyNetherlands PL/SE Career Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Matthew PruettPruett, Matthew Georgia Institute of TechnologyUnited States Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Geguang PuPu, Geguang East China Normal UniversityChina Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Emanuele PucciPucci, Emanuele AwhyItaly Rapid Prototyping of Chatbots for Data Exploration
Sylvie PutotPutot, Sylvie École Polytechnique Static analysis of ReLU neural networks with tropical polyhedra
Jorge A. PérezPérez, Jorge A. University of Groningen, The NetherlandsNetherlands Towards Practical Protocol Verification via Minimal Orchestration in ACP Committee Member in Program Committee within the REBLS-track
Corina S. PăsăreanuPăsăreanu, Corina S. Carnegie Mellon UniversityUnited States SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Q Shaz QadeerQadeer, Shaz Novi, USAUnited States Armada: Low-Effort Verification of High-Performance Concurrent Programs
Xiaokang QiuQiu, Xiaokang Purdue University, USA Session Chair of Verification / Theory (part of APLAS Research Papers) Reconciling Enumerative and Deductive Program Synthesis Committee Member in Program Committee within the APLAS Research Papers-track
Andrew QuinnQuinn, Andrew University of MichiganUnited States Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
R Felipe R. MonteiroR. Monteiro, Felipe AmazonUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dimi RacordonRacordon, Dimi University of Geneva, SwitzerlandSwitzerland Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gabriel RadanneRadanne, Gabriel InriaFrance Compiling pattern matching to in-place modifications
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States Efficient Automatic Scheduling of Imaging and Vision Pipelines for the GPU
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Example-Guided Synthesis of Relational Queries
Kia RahmaniRahmani, Kia Purdue UniversityUnited States Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Mike RaineyRainey, Mike Carnegie Mellon UniversityUnited States Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Committee Member in Steering Committee for SPLASH 2021 General Chair in Organizing Committee for SPLASH 2021 Opening Session Ice Cream Social Iowa State University, USA in Onward! Steering Committee within the SPLASH Onward! Essays-track Mentor in Organizing Committee and Mentors within the SPLASH Faculty Mentorship Roundtable-track Iowa State University, USA in Onward! Steering Committee within the SPLASH Onward! Papers-track
Ingkarat Rak-amnouykitRak-amnouykit, Ingkarat Rensselaer Polytechnic Institute Python 3 Types in the Wild: A Tale of Two Type Systems
Nadesh RamanathanRamanathan, Nadesh Imperial College LondonUnited Kingdom Formal Verification of High-Level Synthesis Formal Verification of High-Level Synthesis
Robert RandRand, Robert University of ChicagoUnited States Invited Speaker
Marianna RapoportRapoport, Marianna AmazonCanada Committee Member in External Review Committee within the SPLASH OOPSLA-track
Eric RaposRapos, Eric Miami UniversityUnited States MOLEGA: Modeling Language for Educational Card Games
Moeketsi RaselimoRaselimo, Moeketsi Stellenbosch University, South AfricaSouth Africa Automatic Grammar Repair Committee Member in Artifact Evaluation Committee within the SLE-track
Fabrice RastelloRastello, Fabrice Inria, France IOOpt- Automatic Derivation of I/O complexity bounds for affine programs Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Moiz RaufRauf, Moiz University of Stuttgart Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Harmit RavalRaval, Harmit Princeton University Specifying and Testing GPU Workgroup Progress Models
Srivatsan RaviRavi, Srivatsan University of Southern California Committee Member in Program Committee within the AGERE-track Committee Member in Reviewers within the SPLASH Student Research Competition-track
Binoy RavindranRavindran, Binoy Virginia Tech Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Mohammad RazaRaza, Mohammad MicrosoftUnited States Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Patrick RedmondRedmond, Patrick University of California at Santa Cruz Toward Hole-Driven Development with Liquid Haskell
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden JavaDL: Automatically Incrementalizing Java Bug Pattern Detection Committee Member in Steering Committee within the GPCE-track Committee Member in Program Committee within the GPCE-track
Alastair ReidReid, Alastair Google ResearchUnited Kingdom Committee Member in Program Committee within the HATRA-track
Michael K. ReiterReiter, Michael K. Duke UniversityUnited States Interpretable Noninterference Measurement and Its Application to Processor Designs
Thierry RenauxRenaux, Thierry Vrije Universiteit BrusselBelgium Poker: Visual Instrumentation of Reactive Programs with Programmable Probes
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Programming with Neural Surrogates of Programs
Alex RendaRenda, Alex Programming with Neural Surrogates of Programs
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michel ReniersReniers, Michel Eindhoven University of TechnologyNetherlands Integration of Modeling and Verification for System Model Based on KARMA Language
John RennerRenner, John University of California at San Diego, USA Session Chair of OOPSLA 2020 Papers 1 (part of SPLASH SIGPLAN Papers) Towards a Verified Range Analysis for JavaScript JITs Scooter & Sidecar: A domain-specific approach to writing secure migrations
Thomas RepsReps, Thomas University of Wisconsin--Madison Committee Member in Program Committee within the SAS-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Committee Member in External Review Committee within the SPLASH OOPSLA-track
Julien Richard-FoyRichard-Foy, Julien EPFLSwitzerland General Chair in Organizing Committee within the Scala-track
Gregor RichardsRichards, Gregor University of WaterlooCanada Session Chair of Session 4 (part of VMIL) Closing VMIL Committee Member in Organizing Committee within the VMIL-track Committee Member in Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the DLS-track
James RielyRiely, James DePaul University Session Chair of SLE and DLS 2020 (part of SPLASH SIGPLAN Papers) Pomsets with Preconditions: A Simple Model of Relaxed Memory
Manuel RiggerRigger, Manuel ETH ZurichSwitzerland Session Chair of Session 4 (part of VMIL) Closing VMIL Committee Member in Organizing Committee within the VMIL-track
Martin C. RinardRinard, Martin C. Exploiting Verified Neural Networks via Floating Point Numerical Error
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Verifying Low-dimensional Input Neural Networks via Input Quantization SPPL: Probabilistic Programming with Fast Exact Symbolic Inference An Order-Aware Dataflow Model for Parallel Unix Pipelines Committee Member in Program Committee within the SPLASH Onward! Papers-track
Talia RingerRinger, Talia University of Illinois at Urbana-ChampaignUnited States Hybridization Co-Chair in Organizing Committee for SPLASH 2021 Session Chair of AMA Session (part of SPLASH Ask Me Anything (AMA))
Idriss RiouakRiouak, Idriss Lund University, SwedenSweden Committee Member in Artifact Evaluation Committee within the SLE-track
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Committee Member in Program Committee within the SAS-track
Valentin RobertRobert, Valentin GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
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-RioBrazil Symmetric Distributed Applications Committee Member in Program Committee within the REBLS-track
Théo RoglianoRogliano, Théo Inria; University of Lille; CNRS; Centrale Lille; CRIStALFrance Analyzing Permission Transfer Channels for Dynamically Typed Languages
Carlos Rojas CastilloRojas Castillo, Carlos Vrije Universiteit Brussel WOOD: Extending a WebAssembly VM with Out-of-Place Debugging for IoT applications
Tiark RompfRompf, Tiark Purdue UniversityUnited States On-Stack Replacement for Program Generators and Source-to-Source Compilers HACCLE: Metaprogramming for Secure Multi-Party Computation Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Compiling Symbolic Execution with Staging and Algebraic Effects Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Committee Member in Steering Committee within the GPCE-track
Partha RoopRoop, Partha University of Auckland Committee Member in Program Committee within the REBLS-track
Sophia RoshalRoshal, Sophia Cornell University; Carnegie Mellon UniversityUnited States Towards Decidable and Expressive DOT
Chris RossbachRossbach, Chris University of Texas at Austin; Katana GraphUnited States Programming and Execution Models for Parallel Bounded Exhaustive Testing Programming and Execution Models for Parallel Bounded Exhaustive Testing
Matti RossiRossi, Matti Aalto University School of Business Session Chair of Verification and validation, Tooling (part of DSM) Introduction Discussion and summary DSM Committee Member in Organizing Committee within the DSM-track
Christoff RossouwRossouw, Christoff Stellenbosch University, South Africa Vision: Bias in Systematic Grammar-Based Test Suite Construction Algorithms
Ori RothRoth, Ori TechnionIsrael Study of the Subtyping Machine of Nominal Subtyping with Variance Study of the Subtyping Machine of Nominal Subtyping with Variance
Atanas RountevRountev, Atanas Ohio State University IOOpt- Automatic Derivation of I/O complexity bounds for affine programs
Reuben N. S. RoweRowe, Reuben N. S. University of KentUnited Kingdom Cyclic Program Synthesis
Abhik RoychoudhuryRoychoudhury, Abhik National University of SingaporeSingapore APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States A General Approach to Define Binders using Matching Logic Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Julia RubinRubin, Julia University of British ColumbiaCanada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2021 Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Bernhard RumpeRumpe, Bernhard RWTH AachenGermany Artifact and Reference Models for Generative AI Frameworks and Build Systems Understanding and Improving Model-Driven IoT Systems Through Accompanying Digital Twins
Daniel RussoRusso, Daniel Department of Computer Science, Aalborg UniversityDenmark Committee Member in Program Committee within the BCNC-track
Louis RustenholzRustenholz, Louis École PolytechniqueFrance Static analysis of ReLU neural networks with tropical polyhedra
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, Skopje Lifted Termination Analysis by Abstract Interpretation and its Applications
Feras SaadSaad, Feras Massachusetts Institute of TechnologyUnited States Session Chair of PLDI 2021 Papers 5 (part of SPLASH SIGPLAN Papers) SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Simmo SaanSaan, Simmo University of Tartu, Estonia Improving Thread-Modular Abstract Interpretation
Olli SaarikiviSaarikivi, Olli Microsoft Regex Matching with Counting-Set Automata
Saday SadayappanSadayappan, Saday University of Utah, USA IOOpt- Automatic Derivation of I/O complexity bounds for affine programs Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs
Mohsen SafariSafari, Mohsen University of Twente, The Netherlands Automated Verification of the Parallel Bellman--Ford Algorithm
Mooly SagivSagiv, Mooly Tel Aviv University Pointer Analysis of Bytecode Programs for Effective Formal Verification of Smart Contracts Invited Speaker in Invited Speakers within the SAS-track
Shambwaditya SahaSaha, Shambwaditya Tufts UniversityUnited States Synthesizing Contracts Correct Modulo a Test Generator
Brett SaikiSaiki, Brett University of WashingtonUnited States Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation
Ken SakayoriSakayori, Ken The University of Tokyo Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Leila SalemSalem, Leila University of TorontoCanada Angelic and Demonic Visitation: School Memories
Lucas Fernan SalvadorSalvador, Lucas Fernan Princeton UniversityArgentina Specifying and Testing GPU Workgroup Progress Models
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland REBLS Committee Member in Program Committee within the AGERE-track Steering Committee Member in Steering Committee within the REBLS-track
Malavika SamakSamak, Malavika CSAIL, MITUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Roopsha SamantaSamanta, Roopsha Purdue UniversityUnited States HACCLE: Metaprogramming for Secure Multi-Party Computation QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
Adrian SampsonSampson, Adrian Cornell University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stanly SamuelSamuel, Stanly Indian Institute of Science, IndiaIndia Committee Member in Artifact Evaluation Committee within the SAS-track
Alex Sanchez-SternSanchez-Stern, Alex University of California at San DiegoUnited States Scooter & Sidecar: A domain-specific approach to writing secure migrations
Nathaniel SandsSands, Nathaniel University of Southern CaliforniaUnited States Example-Guided Synthesis of Relational Queries
Sriram SankaranarayananSankaranarayanan, Sriram University of Colorado, BoulderUnited States Static analysis of ReLU neural networks with tropical polyhedra
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Symmetric Distributed Applications REBLS Steering Committee Member in Steering Committee within the REBLS-track
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Session Chair of Languages (part of CONFLANG) Intra-update Sniping Vulnerabilities in Smart Contracts Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications CONFLANG Committee Member in Program Committee within the REBLS-track Co-chair in Organizing Committee within the CONFLANG-track
Rodrigo SantosSantos, Rodrigo MicrosoftBrazil Symmetric Distributed Applications
João SaraivaSaraiva, João University of Minho, PortugalPortugal Committee Member in Program Committee within the SLE-track
Isao SasanoSasano, Isao Shibaura Institute of TechnologyJapan Server-Side Computation of Package Dependencies in Package-Management Systems
Issei SatoSato, Issei The University of Tokyo Toward Neural-Network-Guided Program Synthesis and Verification
Ryosuke SatoSato, Ryosuke University of Tokyo, JapanJapan Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Yuhi SatoSato, Yuhi University of Tsukuba Type-safe generation of modules in applicative and generative styles
Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark Committee Member in Program Committee within the Scala-track
Marco ScalettaScaletta, Marco Technische Universität Darmstadt Delta-based Verification of Software Product Families
Peter SchachteSchachte, Peter Disjunctive Interval Analysis
Ina SchaeferSchaefer, Ina TU BraunschweigGermany Vice-Chair in Steering Committee within the GPCE-track
Maximilian SchiedermeierSchiedermeier, Maximilian McGill University FIDDLR: Streamlining Reuse with Concern-Specific Modelling Languages
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Session Chair of Onward! Paper Session 2 (part of SPLASH Onward! Papers) Session Chair of Session 2 (part of VMIL) Lightweight IOT abstractions for Embedded WebAssembly Committee Member in Program Committee within the SPLASH Onward! Papers-track
Bernhard ScholzScholz, Bernhard University of SydneyAustralia The Choice Construct in the Soufflé Language
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Latent Effects for Reusable Language Components Efficient Compilation of Algebraic Effect Handlers
Ryan SchroederSchroeder, Ryan University of California at Santa BarbaraUnited States Translating C to Safer Rust
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Committee Member in Program Committee within the GPCE-track
Adriana SchulzSchulz, Adriana University of WashingtonUnited States Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation
Sibylle SchuppSchupp, Sibylle Committee Member in Program Committee within the GPCE-track
Mathijs SchutsSchuts, Mathijs Philips; Radboud University NijmegenNetherlands Industrial Experiences with the Evolution of a DSL
Martin SchwaighoferSchwaighofer, Martin JKU Linz, Austria Case Study: Building and testing programming assignments with Nix
Michael SchwarzSchwarz, Michael Technische Universität München Improving Thread-Modular Abstract Interpretation
Malte SchwerhoffSchwerhoff, Malte ETH Zurich, SwitzerlandSwitzerland Committee Member in Judges within the SPLASH Student Research Competition-track
Christoph SeidlSeidl, Christoph IT University of CopenhagenDenmark Co-designing DSL Quality Assurance Measures for and with Non-programming Experts
Helmut SeidlSeidl, Helmut Technische Universität München Improving Thread-Modular Abstract Interpretation
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Toward Neural-Network-Guided Program Synthesis and Verification
Koushik SenSen, Koushik University of California at BerkeleyUnited States Gauss: Program Synthesis by Reasoning over Graphs
Ryan SenanayakeSenanayake, Ryan Reservoir LabsUnited States A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Aritra SenguptaSengupta, Aritra Amazon Web ServicesUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Cyclic Program Synthesis
Abdelhak SeriaiSeriai, Abdelhak LIRMM, CNRS and University of MontpellierFrance Leveraging Relational Concept Analysis for Automated Feature Location in Software Product Lines
Manuel SerranoSerrano, Manuel Inria, France Committee Member in Program Committee within the GPCE-track PC Member in Program Committee within the DLS-track
Peter SestoftSestoft, Peter IT University of CopenhagenDenmark Co-designing DSL Quality Assurance Measures for and with Non-programming Experts
Alexander SetoSeto, Alexander Purdue University HACCLE: Metaprogramming for Secure Multi-Party Computation
Denys ShabalinShabalin, Denys GoogleSwitzerland A Retrospective on the Design of the Swift Programming Language Committee Member in Program Committee within the Scala-track
Hovav ShachamShacham, Hovav University of Texas at Austin Towards a Verified Range Analysis for JavaScript JITs Automated Policy Synthesis for System Call Sandboxing
Mahshid ShahmohammadianShahmohammadian, Mahshid Drexel UniversityUnited States Metaprogramming with Combinators
Zhong ShaoShao, Zhong Yale UniversityUnited States Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Ridwan Salihin ShariffdeenShariffdeen, Ridwan Salihin National University of SingaporeSingapore APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
Divyanjali SharmaSharma, Divyanjali IIT Delhi, IndiaIndia Thread-modular Analysis of Release-Acquire Concurrency
Subodh SharmaSharma, Subodh IIT DelhiIndia Thread-modular Analysis of Release-Acquire Concurrency
Upamanyu SharmaSharma, Upamanyu University of Michigan, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Dennis ShashaShasha, Dennis New York UniversityUnited States Verifying Concurrent Multicopy Search Structures Verifying Concurrent Search Structure Templates Verifying Concurrent Multicopy Search Structures
Anas ShaweshShawesh, Anas Oakland University Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
Gan ShenShen, Gan University of California, Santa Cruz, USA Toward SMT-Based Refinement Types in Agda Toward Hole-Driven Development with Liquid Haskell
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Session Chair of Analysis / Synthesis (part of APLAS Research Papers) Committee Member in Program Committee within the APLAS Research Papers-track Committee Member in Judges within the SPLASH Student Research Competition-track
Peiyuan ShenShen, Peiyuan Purdue University, USA Reconciling Enumerative and Deductive Program Synthesis
Xipeng ShenShen, Xipeng North Carolina State University; FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Benjamin ShermanSherman, Benjamin Massachusetts Institute of Technology, USA Reactive Probabilistic Programming
Qingkai ShiShi, Qingkai Ant GroupChina Program Analysis via Efficient Symbolic Abstraction
Takumi ShimodaShimoda, Takumi The University of Tokyo Symbolic Automatic Relations and Their Applications to SMT and CHC Solving
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems Much ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent Distributed Systems
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Olin ShiversShivers, Olin Northeastern University, USA Coarsening Optimization for Differentiable Programming
Olin Grigsby ShiversShivers, Olin Grigsby FacebookUnited States Coarsening Optimization for Differentiable Programming
Tsubasa ShoshiShoshi, Tsubasa The University of Tokyo Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination
Xujie SiSi, Xujie McGill University, Canada Session Chair of Invited talk 2 (part of APLAS Keynote Talks) Committee Member in Program Committee within the APLAS Research Papers-track Committee Member in Judges within the SPLASH Student Research Competition-track
Robin SierraSierra, Robin ETH ZurichSwitzerland Rich Specifications for Ethereum Smart Contract Verification
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Session Chair of Session 3A (part of SAS) Committee Member in Program Committee within the SAS-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Committee Member in Program Committe within the SPLASH CARES-track
Kyle SingerSinger, Kyle Washington University in St. Louis, USA Responsive Parallelism with Futures and State
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the SAS-track Committee Member in Program Committee within the APLAS Research Papers-track
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Vectorized Secure Evaluation of Decision Forests
Marjan SirjaniSirjani, Marjan Malardalen UniversitySweden Committee Member in Program Committee within the AGERE-track
Rob SisonSison, Rob The University of MelbourneAustralia Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
KC SivaramakrishnanSivaramakrishnan, KC IIT MadrasIndia Committee Member in Program Committee within the GPCE-track
Anthony SloaneSloane, Anthony Macquarie UniversityAustralia Steering Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece Committee Member in Steering Committee for SPLASH 2021 Session Chair of Security (part of SPLASH OOPSLA) Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity Future of Conferences Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Papers-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Karl SmeltzerSmeltzer, Karl GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Gustavo SoaresSoares, Gustavo MicrosoftUnited States APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis Committee Member in Review Committee within the SPLASH OOPSLA-track
Tim SoethoutSoethout, Tim ING Bank; CWINetherlands Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of Technology Deductive Optimization of Relational Data Storage Semantic Code Search via Equational Reasoning Liquid Information Flow Control
Harald SondergaardSondergaard, Harald Disjunctive Interval Analysis
Youngju SongSong, Youngju Seoul National UniversitySouth Korea Committee Member in Program Committee within the APLAS Research Papers-track
Tyler SorensenSorensen, Tyler University of California at Santa Cruz Session Chair of PLDI 2020 Papers 2 (part of SPLASH SIGPLAN Papers) Specifying and Testing GPU Workgroup Progress Models
Tyler SorensenSorensen, Tyler University of California at Santa CruzUnited States The Semantics of Shared Memory in Intel CPU/FPGA Systems The Semantics of Shared Memory in Intel CPU/FPGA Systems
Thodoris SotiropoulosSotiropoulos, Thodoris Athens University of Economics and BusinessGreece Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Samyukta SounderramanSounderraman, Samyukta National University of SingaporeSingapore Teachable Moments in Functional Audio Processing
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and Business; Delft University of TechnologyGreece Well-Typed Programs Can Go Wrong: A Study of Typing-Related Bugs in JVM Compilers Committee Member in Review Committee within the SPLASH OOPSLA-track
Arnaud SpiwackSpiwack, Arnaud TweagFrance Union and Intersection Contracts Are Hard, Actually
Daniel SpoonhowerSpoonhower, Daniel LightstepUnited States Six Ways Configuration Systems Fail
Jonathan SpringerSpringer, Jonathan Reservoir Labs HACCLE: Metaprogramming for Secure Multi-Party Computation
Jonathan SprinkleSprinkle, Jonathan University of Arizona Introduction Discussion and summary DSM Committee Member in Organizing Committee within the DSM-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Committee Member in Steering Committee for SPLASH 2021 Session Chair of AMA Session (part of SPLASH Ask Me Anything (AMA)) Future of Conferences Riverside in Review Committee within the SPLASH OOPSLA-track
Caleb StanfordStanford, Caleb University of Pennsylvania Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints DiffStream: Differential Output Testing for Stream Processing Programs
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)
Deian StefanStefan, Deian University of California at San Diego, USA Towards a Verified Range Analysis for JavaScript JITs Scooter & Sidecar: A domain-specific approach to writing secure migrations Liquid Information Flow Control
Friedrich SteimannSteimann, Friedrich Fernuniversität in HagenGermany The Kingdoms of Objects and Values Committee Member in Program Committee within the GPCE-track Steering Committee Member in Steering Committee within the SLE-track
Dominic SteinhöfelSteinhöfel, Dominic CISPA Helmholtz Center for Information Security Delta-based Verification of Software Product Families
Rick StevensStevens, Rick Argonne National LaboratoryUnited States Exascale and then what?: HPC and AI for Scientific Discovery
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Committee Member in Reviewers within the SPLASH Student Research Competition-track Committee Member in Judges within the SPLASH Student Research Competition-track
Ion StoicaStoica, Ion University of California at BerkeleyUnited States Gauss: Program Synthesis by Reasoning over Graphs
Karl StolleyStolley, Karl Illinois Institute of TechnologyUnited States Committee Member in Program Commitee within the SPLASH -E-track
Jan StrejcekStrejcek, Jan Masaryk UniversityCzechia Backward Symbolic Execution with Loop Folding
Michelle StroutStrout, Michelle University of ArizonaUnited States Session Chair of CARES (part of SPLASH CARES) Co-chair in Program Committe within the SPLASH CARES-track
Daniel StrüberStrüber, Daniel Radboud University NijmegenNetherlands Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Peter J. StuckeyStuckey, Peter J. Monash University Disjunctive Interval Analysis
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland Multi-Stage Programming with Generative and Analytical Macros
Sandro StuckiStucki, Sandro Chalmers \| University of GothenburgSweden Committee Member in Program Committee within the GPCE-track
Steffi StumposStumpos, Steffi FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Ting SuSu, Ting East China Normal UniversityChina Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Solidifying and Advancing the Software Foundations Generative Type-Aware Mutation for Testing SMT Solvers Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Giancarlo SucciSucci, Giancarlo Innopolis UniversityRussia Session Chair of BCNC Session 2 (part of BCNC) Session Chair of BCNC Session 1 (part of BCNC) Towards the No-Code Era: A Vision and Plan for the Future of Software Development The Pareto Distribution of Software Features and No-Code BCNC Committee Member in Organizing Committee within the BCNC-track Committee Member in Program Committee within the BCNC-track
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Committee Member in Program Committee within the APLAS Research Papers-track
Yulei SuiSui, Yulei University of New South Wales, SydneyAustralia Hash Consed Points-To Sets Compacting Points-To Sets through Object Clustering Committee Member in Program Committee within the APLAS Research Papers-track
Martin SulzmannSulzmann, Martin Karlsruhe University of Applied Sciences, Germany A Dictionary-Passing Translation of Featherweight Go
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Modular Specification and Verification of Closures in Rust Rich Specifications for Ethereum Smart Contract Verification
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Reframing the Liskov Substitution Principle through the Lens of Testing
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Committee Member in Review Committee within the SPLASH OOPSLA-track
Jingling SunSun, Jingling East China Normal UniversityChina Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States HACCLE: Metaprogramming for Secure Multi-Party Computation
Joshua SunshineSunshine, Joshua Carnegie Mellon University Gradual Verification of Recursive Heap Data Structures Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gerson SunyéSunyé, Gerson Université de Nantes, LS2N Executing Certified Model Transformations on Apache Spark
Milijana SurbatovichSurbatovich, Milijana Carnegie Mellon University Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Don SymeSyme, Don MicrosoftUnited Kingdom The F# view on the Static / Dynamic divide
Janos SztipanovitsSztipanovits, Janos Vanderbilt UniversityUnited States Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
Emma SöderbergSöderberg, Emma Lund UniversitySweden Session Chair of GPCE/SLE Session 1 (part of GPCE) SLE/GPCE Joint Welcome JavaDL: Automatically Incrementalizing Java Bug Pattern Detection Program Chair in Organizing Committee within the SLE-track Program Chair in Program Committee within the SLE-track Committee Member in Program Committee within the LIVE-track
T Quang-Trung TaTa, Quang-Trung National University of Singapore Scalable and Modular Robustness Analysis of Deep Neural Networks
Gerard TaboneTabone, Gerard University of MaltaMalta Session Types in Elixir
Ruby TahboubTahboub, Ruby Purdue UniversityUnited States On-Stack Replacement for Program Generators and Source-to-Source Compilers
Shiho TakanoTakano, Shiho Japan Women's UniversityJapan Is Neural Machine Translation Approach Accurate Enough for Coding Assistance?
Yoshiki TakashimaTakashima, Yoshiki Carnegie Mellon UniversityUnited States SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Jean-Pierre TalpinTalpin, Jean-Pierre INRIA, France Verified Functional Programming of an Abstract Interpreter
Miyu TamuraTamura, Miyu Japan Women's UniversityJapan Is Neural Machine Translation Approach Accurate Enough for Coding Assistance?
Daryl TanTan, Daryl National University of SingaporeSingapore Shrinking JavaScript for CS1
Gang (Gary) TanTan, Gang (Gary) Pennsylvania State UniversityUnited States A Derivative-Based Parser Generator for Visibly Pushdown Grammars SpecSafe: Detecting Cache Side Channels in a Speculative World
Shangyin TanTan, Shangyin Purdue UniversityUnited States Compiling Symbolic Execution with Staging and Algebraic Effects
Thomas TanTan, Thomas National University of SingaporeSingapore A Stepper for a Functional JavaScript Sublanguage
Tian TanTan, Tian Nanjing UniversityChina Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Yee-Jian TanTan, Yee-Jian National University of SingaporeSingapore A Stepper for a Functional JavaScript Sublanguage
Zujun TanTan, Zujun Princeton University, USA SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
Hao TangTang, Hao Peking University Accelerating Program Analyses in Datalog by Merging Library Facts
Nan TangTang, Nan QCRI HBKU Deductive Optimization of Relational Data Storage
Yiming TangTang, Yiming Concordia UniversityCanada Committee Member in Judges within the SPLASH Student Research Competition-track
Steven L. TanimotoTanimoto, Steven L. University of Washington, USA Peer-to-peer Syncing and Live Editing of Shared Virtual 3D Spaces: Challenges and Opportunities Committee Member in Program Committee within the LIVE-track
Éric TanterTanter, Éric University of Chile Gradually Structured Data Gradual Verification of Recursive Heap Data Structures Committee Member in External Program Committee within the DLS-track
Olivier TardieuTardieu, Olivier IBM ResearchUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ross TateTate, Ross Cornell UniversityUnited States Transitioning from Structural to Nominal Code with Efficient Gradual Typing Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Session Chair of AMA Session (part of SPLASH Ask Me Anything (AMA)) Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation
Makoto TatsutaTatsuta, Makoto National Institute of Informatics Function Pointer Eliminator for C Programs
Ramin Tavakoli KolagariTavakoli Kolagari, Ramin TH NuernbergGermany PC Member in Program Committee within the DSM-track
Hanneli TavanteTavante, Hanneli McGill University Towards an Incremental Dataset of Proofs
Peeratham TechapalokulTechapalokul, Peeratham Virginia Tech; Rajamangala University of Technology LannaUnited States The Common Coder’s Scratch Programming Idioms and Their Impact on Project Remixing
Hao-Wei TeeTee, Hao-Wei National University of SingaporeSingapore Ruggedizing CS1 Robotics: Tools and Approaches for Online Teaching
Diogo TeixeiraTeixeira, Diogo NumbersBelieve Towards Supporting SPL Engineering in Low-Code Platforms using a DSL Approach
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Committee Member in Program Committee within the GPCE-track
Alanna TempestTempest, Alanna FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Tachio TerauchiTerauchi, Tachio Waseda UniversityJapan Committee Member in Program Committee within the APLAS Research Papers-track
Aalok ThakkarThakkar, Aalok University of PennsylvaniaUnited States Example-Guided Synthesis of Relational Queries
Jonathan ThalerThaler, Jonathan University of Applied Scienes VorarlbergAustria Committee Member in Program Committee within the REBLS-track
Peter ThiemannThiemann, Peter University of Freiburg, Germany A Typed Programmatic Interface to Contracts on the Blockchain Label Dependent Lambda Calculus and Gradual Typing
Simon ThompsonThompson, Simon IOHK, University of Kent, and ELTEUnited Kingdom A model of actors and grey failures
Thomas ThümThüm, Thomas University of UlmGermany Committee Member in Program Committee within the GPCE-track
Ulyana TikhonovaTikhonova, Ulyana AxiniNetherlands Committee Member in Program Committee within the SLE-track
Eli TilevichTilevich, Eli Virginia TechUnited States Session Chair of GPCE/SLE Session 2 (part of GPCE) The Common Coder’s Scratch Programming Idioms and Their Impact on Project Remixing “You Have Said Too Much”: Java-Like Verbosity Anti-patterns in Python Codebases General Chair in Organizing Committee within the GPCE-track
Christopher Steven TimperleyTimperley, Christopher Steven Carnegie Mellon University User-driven design and evaluation of Liquid Types in Java
Frank TipTip, Frank Northeastern UniversityUnited States Session Chair of Implementation of special Paradigms (part of SPLASH OOPSLA) Automatic Migration from Synchronous to Asynchronous JavaScript APIs Committee Member in Review Committee within the SPLASH OOPSLA-track
Massimo TisiTisi, Massimo IMT Atlantique, LS2N (UMR CNRS 6004)France Executing Certified Model Transformations on Apache Spark
Ashish TiwariTiwari, Ashish MicrosoftUnited States Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis
Nicolas TollenaereTollenaere, Nicolas Inria IOOpt- Automatic Derivation of I/O complexity bounds for affine programs
David TolpinTolpin, David PUB+Israel Committee Member in Program Committee within the SPLASH Onward! Papers-track
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCaseFinland Introduction Discussion and summary DSM Committee Member in Organizing Committee within the DSM-track
Viktor TomanToman, Viktor IST AustriaAustria The Reads-From Equivalence for the TSO and PSO Memory Models
Federico TomassettiTomassetti, Federico IndependentItaly Hedy: Creating a gradual programming language
Aaron TombTomb, Aaron GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Mayu TomiokaTomioka, Mayu Japan Women's UniversityJapan Is Neural Machine Translation Approach Accurate Enough for Coding Assistance?
Emina TorlakTorlak, Emina University of WashingtonUnited States PLDI 2020 PC Chair in Chairs within the SPLASH SIGPLAN Papers-track
Sona TorosyanTorosyan, Sona University of UtahUnited States Runtime and Compiler Support for HAMTs
Carmen Torres LopezTorres Lopez, Carmen Vrije Universiteit BrusselBelgium What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
Emma ToschTosch, Emma University of Vermont Committee Member in External Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the DLS-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Richard TreflerTrefler, Richard University of Waterloo, Canada Compositional Verification of Smart Contracts Through Communication Abstraction
Konstantinos TriantafyllouTriantafyllou, Konstantinos University of AthensGreece Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Minh-Thai TrinhTrinh, Minh-Thai Advanced Digital Sciences Center Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic
Ashutosh TrivediTrivedi, Ashutosh Selectively-Amortized Resource Bounding
Wei-Lun TsaiTsai, Wei-Lun Academia Sinica PyCT: A Python Concolic Tester Solving Not-Substring with Flat Abstraction
Stelios TsampasTsampas, Stelios FAU Erlangen-Nuremberg, INF 8Greece Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly
Ilias TsatirisTsatiris, Ilias University of AthensGreece Symbolic Value-Flow Static Analysis: Deep, Precise, Complete Modeling of Ethereum Smart Contracts
Takeshi TsukadaTsukada, Takeshi Chiba University, JapanJapan Termination Analysis for the $\pi$-Calculus by Reduction to Sequential Program Termination
Michele TucciTucci, Michele University of L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
emilio tuostotuosto, emilio University of LeicesterUnited Kingdom Committee Member in Program Committee within the AGERE-track
Alexi TurcotteTurcotte, Alexi Northeastern UniversityUnited States Automatic Migration from Synchronous to Asynchronous JavaScript APIs Designing Types for R, Empirically
Lenka TuroňováTuroňová, Lenka Brno University of Technology Regex Matching with Counting-Set Automata
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu UniversityJapan PC Member in Program Committee within the DSM-track
Katsuhiro UenoUeno, Katsuhiro Tohoku UniversityJapan A compilation method for dynamic typing in ML
Mattias UlbrichUlbrich, Mattias KITGermany Scalability and Precision by Combining Expressive Type Systems and Deductive Verification Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Christian UlmannUlmann, Christian ETH ZurichSwitzerland FPL: Fast Presburger Arithmetic through Transprecision
Hiroshi UnnoUnno, Hiroshi University of TsukubaJapan Toward Neural-Network-Guided Program Synthesis and Verification
Ganesha UpadhyayaUpadhyaya, Ganesha Harmony.oneUnited States Sponsorship Co-Chair in Organizing Committee for SPLASH 2021
Caterina UrbanUrban, Caterina École normale supérieure Student Research Competition Co-Chair in Organizing Committee for SPLASH 2021 Reduced Products of Abstract Domains for Fairness Certification of Neural Networks Student Research Competition Co-Chair in Organizers within the SPLASH Student Research Competition-track
Muhammad UsmanUsman, Muhammad University of Texas at Austin, USA Session Chair of PLDI 2020 Papers 4 (part of SPLASH SIGPLAN Papers) A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Ilmir UsmanovUsmanov, Ilmir JetBrainsGermany Kotlin Coroutines: Design and Implementation
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany Making Weak Memory Models Fair Committee Member in Review Committee within the SPLASH OOPSLA-track
Benoit ValironValiron, Benoit LRI, CentraleSupelec, Univ. Paris SaclayFrance Hybrid quantum-classical circuit simplification with the ZX-calculus
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Natural Language-Guided Programming
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Relational Nullable Types with Boolean Unification
Birthe van den Bergvan den Berg, Birthe KU LeuvenBelgium Latent Effects for Reusable Language Components
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the SLE-track
Bas van den Heuvelvan den Heuvel, Bas University of GroningenNetherlands Towards Practical Protocol Verification via Minimal Orchestration in ACP
Sam Van den VonderVan den Vonder, Sam Vrije Universiteit BrusselBelgium Trampoline Variables: A General Method for State Accumulation in Reactive Programming Poker: Visual Instrumentation of Reactive Programs with Programmable Probes
Tijs van der Stormvan der Storm, Tijs CWI; University of GroningenNetherlands Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions Getting Grammars into Shape for Block-based Editors Committee Member in Program Committee within the AGERE-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the GPCE-track PC Member in Program Committee within the DLS-track
Marcel van Lohuizenvan Lohuizen, Marcel CUESwitzerland Session Chair of Configuration management (part of CONFLANG) Large-Scale Engineering of Configuration with Unification CONFLANG Co-chair in Organizing Committee within the CONFLANG-track
Louise Van VerreVan Verre, Louise Vrije Universiteit BrusselBelgium What’s the Problem? Interrogating Actors to Identify the Root Cause of Concurrency Bugs
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Session Chair of GPCE/SLE Session 4 (part of GPCE) Committee Member in Steering Committee within the GPCE-track Steering Committee Member in Steering Committee within the SLE-track
Juan Manuel VaraVara, Juan Manuel Universidad Rey Juan Carlos Committee Member in Program Committee within the SLE-track
Pavol VargovčíkVargovčík, Pavol Brno University of Technology, Czech Republic Preprocessing of Alternating Automata for Language Emptiness Testing
Marko VasicVasic, Marko University of Texas at Austin, USAUnited States A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Nikos VasilakisVasilakis, Nikos Massachusetts Institute of TechnologyUnited States An Order-Aware Dataflow Model for Parallel Unix Pipelines
Michel VaziraniVazirani, Michel Columbia University Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications
Mandana VaziriVaziri, Mandana IBM Research Committee Member in Program Committee within the SPLASH Onward! Papers-track
Margus VeanesVeanes, Margus Microsoft Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints Regex Matching with Counting-Set Automata
Jyothi VeduradaVedurada, Jyothi IIT HyderabadIndia MonkeyDB: Effectively Testing Correctness under Weak Isolation Levels
Mauricio Verano MerinoVerano Merino, Mauricio Eindhoven University of TechnologyNetherlands Getting Grammars into Shape for Block-based Editors Committee Member in Artifact Evaluation Committee within the SLE-track
Gust VerbruggenVerbruggen, Gust KU LeuvenBelgium Semantic Programming by Example with Pre-trained Models
Didier VernaVerna, Didier EPITA / LRDEFrance EPITA / LRDE in Onward! Steering Committee within the SPLASH Onward! Essays-track EPITA / LRDE in Onward! Steering Committee within the SPLASH Onward! Papers-track
Lea VerouVerou, Lea MIT-CSAIL Committee Member in Program Committee within the LIVE-track
Malte VieringViering, Malte TU DarmstadtGermany A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming
Sebastiano VignaVigna, Sebastiano University of MilanItaly LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast)
Haris VikaloVikalo, Haris University of Texas at Austin, USA A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Contract-Based Return-Value Commutativity: Safely Exploiting Contract-Based Commutativity for Faster Serializable Transactions Getting Grammars into Shape for Block-based Editors Steering Committee Member in Steering Committee within the SLE-track
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Committee Member in Program Committee within the AGERE-track
Eelco VisserVisser, Eelco Delft University of Technology Chair in Steering Committee for SPLASH 2021 SLE General Chair in Organizing Committee for SPLASH 2021 Session Chair of Future of Conferences (part of SPLASH SIGPLAN Business) Session Chair of SLE/GPCE Session 5 (part of SLE) Future of Conferences Committee Member in Chairs within the SPLASH SIGPLAN Business-track General Chair in Organizing Committee within the SLE-track
Jan VitekVitek, Jan Northeastern University; Czech Technical UniversityUnited States Committee Member in Steering Committee for SPLASH 2021 Rebase Chair in Organizing Committee for SPLASH 2021 First-Class Environments in R On Design and Use of First-Class Environments in R Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation Promises Are Made to Be Broken: Migrating R to Strict Semantics Designing Types for R, Empirically What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs Committee Member in Review Committee within the SPLASH OOPSLA-track
A. Laura VoineaVoinea, A. Laura University of Kent, UKUnited Kingdom A model of actors and grey failures
Vesal VojdaniVojdani, Vesal University of Tartu Improving Thread-Modular Abstract Interpretation
Tomáš VojnarVojnar, Tomáš Brno University of Technology Regex Matching with Counting-Set Automata
Michael VollmerVollmer, Michael University of KentUnited Kingdom Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations
Ian VoyseyVoysey, Ian Carnegie Mellon University Filling Typed Holes with Live GUIs
Son Tuan VuVu, Son Tuan Sorbonne University; CNRS; LIP6France Reconciling Optimization with Secure Compilation
W Christopher WagnerWagner, Christopher Purdue UniversityUnited States HACCLE: Metaprogramming for Secure Multi-Party Computation QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
David WalkerWalker, David Princeton University, USA Data-Driven Inference of Representation Invariants Co-chair in Program Committe within the SPLASH CARES-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Eric WalkingshawWalkingshaw, Eric Unaffiliated A Variational Database Management System
Mitchell WandWand, Mitchell Northeastern University, USA Committee Member in Review Committee within the SPLASH OOPSLA-track
Fei WangWang, Fei Purdue University HACCLE: Metaprogramming for Secure Multi-Party Computation
Felicia WangWang, Felicia University of Illinois at Urbana-ChampaignUnited States Synthesizing Contracts Correct Modulo a Test Generator
Guoxin WangWang, Guoxin Beijing Institute of TechnologyChina Integration of Modeling and Verification for System Model Based on KARMA Language
Jue WangWang, Jue Nanjing UniversityChina Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Kaiyuan WangWang, Kaiyuan Google, Inc.United States A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Ke WangWang, Ke Visa ResearchUnited States Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Meng WangWang, Meng University of BristolUnited Kingdom Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Weihang WangWang, Weihang University at Buffalo, SUNY Committee Member in Review Committee within the SPLASH OOPSLA-track
Wenxi WangWang, Wenxi University of Texas at AustinUnited States A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio Accelerating Program Analyses in Datalog by Merging Library Facts
Xinyu WangWang, Xinyu University of MichiganUnited States Session Chair of Invited talk 1 (part of APLAS Keynote Talks) Automated Policy Synthesis for System Call Sandboxing Web Question Answering with Neurosymbolic Program Synthesis Committee Member in Program Committee within the APLAS Research Papers-track Committee Member in Reviewers within the SPLASH Student Research Competition-track Committee Member in Judges within the SPLASH Student Research Competition-track
Xudong WangWang, Xudong UNSW SydneyAustralia Automatic Synthesis of Data-Flow Analyzers
Yanjun WangWang, Yanjun Purdue University, USA Reconciling Enumerative and Deductive Program Synthesis
Yisu Remy WangWang, Yisu Remy University of WashingtonUnited States Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation
Ziheng WangWang, Ziheng Massachusetts Institute of Technology 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
Christy WardenWarden, Christy FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Anthony I. (Tony) WassermanWasserman, Anthony I. (Tony) Carnegie Mellon Silicon ValleyUnited States BCNC Committee Member in Organizing Committee within the BCNC-track Committee Member in Program Committee within the BCNC-track
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the REBLS-track
Ingo WeberWeber, Ingo TU BerlinGermany Teaching DevOps: A Tale of Two Universities
Michel WeberWeber, Michel ETH ZurichSwitzerland FPL: Fast Presburger Arithmetic through Transprecision
Stefan WehrWehr, Stefan Offenburg University of Applied Sciences A Dictionary-Passing Translation of Featherweight Go
Guannan WeiWei, Guannan Purdue UniversityUnited States Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Compiling Symbolic Execution with Staging and Algebraic Effects Reachability Types: Tracking Aliasing and Separation in Higher-Order Functional Programs Committee Member in Program Committee within the VMIL-track
Ran WeiWei, Ran Dalian University of TechnologyChina Session Chair of SLE/GPCE Session 6 (part of SLE) Session Chair of SLE/GPCE Session 8 (part of SLE) Committee Member in Program Committee within the SLE-track
Yuanhao WeiWei, Yuanhao Carnegie Mellon University, USA Concurrent Deferred Reference Counting for Non-garbage-collected Languages
Alexander WeiglWeigl, Alexander KITGermany Scalability and Precision by Combining Expressive Type Systems and Deductive Verification Scalability and Precision by Combining Expressive Type Systems and Deductive Verification
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Reasoning about the Garden of Forking Paths
Pascal WeisenburgerWeisenburger, Pascal TU DarmstadtGermany Committee Member in Program Committee within the REBLS-track
Adam WelcWelc, Adam Uber TechnologiesUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Scott WesleyWesley, Scott University of Waterloo, Canada Compositional Verification of Smart Contracts Through Communication Abstraction
Edwin WestbrookWestbrook, Edwin GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Adam WickWick, Adam GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
John WickersonWickerson, John Imperial College LondonUnited Kingdom Formal Verification of High-Level Synthesis Formal Verification of High-Level Synthesis Specifying and Testing GPU Workgroup Progress Models The Semantics of Shared Memory in Intel CPU/FPGA Systems The Semantics of Shared Memory in Intel CPU/FPGA Systems Committee Member in Review Committee within the SPLASH OOPSLA-track
Thomas WiesWies, Thomas New York UniversityUnited States Verifying Concurrent Multicopy Search Structures Verifying Concurrent Search Structure Templates Verifying Concurrent Multicopy Search Structures
James R. WilcoxWilcox, James R. University of WashingtonUnited States Armada: Low-Effort Verification of High-Performance Concurrent Programs Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
Ashley WilliamsWilliams, Ashley Cloudflare Invited Speaker
Max WillseyWillsey, Max University of WashingtonUnited States Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation
Amalee WilsonWilson, Amalee Stanford University A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Christian WimmerWimmer, Christian Oracle LabsUnited States CompGen: Generation of Fast JIT Compilers in a Multi-language VM GraalVM Native Image: Large-scale static analysis for Java
Stefan WinterWinter, Stefan LMU MunichGermany Committee Member in Reviewers within the SPLASH Student Research Competition-track
Dominik WintererWinterer, Dominik ETH ZurichSwitzerland Generative Type-Aware Mutation for Testing SMT Solvers Committee Member in Reviewers within the SPLASH Student Research Competition-track Committee Member in Judges within the SPLASH Student Research Competition-track
Mario WolczkoWolczko, Mario Oracle LabsUnited States Fragmentation of Machine Architecture
Fabian WolffWolff, Fabian Modular Specification and Verification of Closures in Rust
Cameron WongWong, Cameron Jane Street Gradual Verification of Recursive Heap Data Structures
Clark WoodWood, Clark Massachusetts Institute of TechnologyUnited States Integration Verification Across Software and Hardware for a Simple Embedded System
Jonathan WorthingtonWorthington, Jonathan Reflections on a decade of MoarVM, a runtime for the Raku programming language
Andreas WortmannWortmann, Andreas RWTH Aachen University Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SLE-track
Tobias WrigstadWrigstad, Tobias Uppsala University, SwedenSweden Dala: A Simple Capability-Based Dynamic Language Design for Data Race-Freedom Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Nicolas WuWu, Nicolas Imperial College London, UKUnited Kingdom Latent Effects for Reusable Language Components
Peng WuWu, Peng FacebookUnited States Committee Member in Program Committe within the SPLASH CARES-track
Si Xing "Alan" WuWu, Si Xing "Alan" Shopify YJIT: A Basic Block Versioning JIT Compiler for CRuby
Wei-Cheng WuWu, Wei-Cheng University of Southern California, USA PyCT: A Python Concolic Tester Efficient Handling of String-Number Conversion
Xi WuWu, Xi The University of SydneyAustralia The Choice Construct in the Soufflé Language
Yifan WuWu, Yifan Linea Committee Member in Program Committee within the LIVE-track
Yueming WuWu, Yueming Huazhong University of Science and Technology Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhilin WuWu, Zhilin State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Solving Not-Substring with Flat Abstraction
Valentin WüstholzWüstholz, Valentin ConsenSysGermany Compositional Verification of Smart Contracts Through Communication Abstraction
X Haijun XiaXia, Haijun UCSDUnited States Committee Member in Program Committee within the LIVE-track
Jingtao XiaXia, Jingtao Peking UniversityChina Generalizable Synthesis through Unification
Li-yao XiaXia, Li-yao University of PennsylvaniaUnited States Reasoning about the Garden of Forking Paths
Tao XieXie, Tao Peking UniversityChina PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of Programming Submissions Synthesizing Contracts Correct Modulo a Test Generator
Enze XingXing, Enze University of WaterlooCanada Safe Object Initialization, Abstractly
Yiheng XiongXiong, Yiheng East China Normal UniversityChina Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Yingfei XiongXiong, Yingfei Peking UniversityChina Accelerating Program Analyses in Datalog by Merging Library Facts Generalizable Synthesis through Unification
Chang XuXu, Chang Nanjing UniversityChina Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
Guoqing Harry XuXu, Guoqing Harry University of California at Los AngelesUnited States Crafty: Efficient, HTM-Compatible Persistent Transactions
Haoran XuXu, Haoran Stanford UniversityUnited States Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode Copy-and-Patch Compilation
Jun XuXu, Jun Stevens Institute of Technology Proving LTL Properties of Bitvector Programs and Decompiled Binaries
Tianyin XuXu, Tianyin University of Illinois at Urbana-ChampaignUnited States Continuous Configuration Testing
Tianyin XuXu, Tianyin Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Tianyin XuXu, Tianyin University of Illinois at Urbana-ChampaignUnited States Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Xuezheng XuXu, Xuezheng UNSW SydneyAustralia Automatic Synthesis of Data-Flow Analyzers
Yichen XuXu, Yichen Beijing University of Posts and TelecommunicationsChina Implementing Path-Dependent GADT Reasoning for Scala 3
Yuanchao XuXu, Yuanchao North Carolina State UniversityUnited States UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Ziyang XuXu, Ziyang Princeton UniversityUnited States SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust
Anton XueXue, Anton University of Pennsylvania Committee Member in Artifact Evaluation Committee within the SAS-track
Jingling XueXue, Jingling UNSW SydneyAustralia Automatic Synthesis of Data-Flow Analyzers Selective Context-Sensitivity for k-CFA with CFL-Reachability
Y Matthew YacavoneYacavone, Matthew GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Rohan YadavYadav, Rohan Stanford UniversityUnited States Compilation of Sparse Array Programming Models Compilation of Sparse Array Programming Models
Eran YahavYahav, Eran Technion PLDI 2021 PC Chair in Chairs within the SPLASH SIGPLAN Papers-track
Masaomi YamaguchiYamaguchi, Masaomi Tohoku UniversityJapan Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches
Pengbo YanYan, Pengbo University of MelbourneAustralia SecRSL: Security Separation Logic for C11 Release-Acquire Concurrency
Yichen YanYan, Yichen East China Normal UniversityChina Fully Automated Functional Fuzzing of Android Apps for Detecting Non-crashing Logic Bugs
Cambridge YangYang, Cambridge CSAIL Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Chenyang YangYang, Chenyang Accelerating Program Analyses in Datalog by Merging Library Facts
Jean YangYang, Jean Carnegie Mellon University Liquid Information Flow Control
Shannon YangYang, Shannon FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming
Peisen YaoYao, Peisen Hong Kong University of Science and Technology; Ant GroupChina Program Analysis via Efficient Symbolic Abstraction
Hasan YasarYasar, Hasan Carnegie Mellon UniversityUnited States Teaching DevOps: A Tale of Two Universities
Qianchuan YeYe, Qianchuan Purdue UniversityUnited States HACCLE: Metaprogramming for Secure Multi-Party Computation
Zachary YedidiaYedidia, Zachary Harvard UniversityUnited States Fast Incremental PEG Parsing
Di-De YenYen, Di-De Academia Sinica PyCT: A Python Concolic Tester Solving Not-Substring with Flat Abstraction
Neringa YoungYoung, Neringa Lithuania SIGPLAN Conference Manager in Organizing Committee for SPLASH 2021
Brennen YuYu, Brennen Columbia University, USA Intra-update Sniping Vulnerabilities in Smart Contracts
Fang YuYu, Fang National Chengchi University PyCT: A Python Concolic Tester
Charles YuanYuan, Charles Massachusetts Institute of TechnologyUnited States Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams
Samuel YvonYvon, Samuel A Small Scheme VM, Compiler and REPL in 4K
Z Bahman ZamaniZamani, Bahman University of IsfahanIran Session Chair of SLE/GPCE Session 7 (part of SLE) Committee Member in Program Committee within the SLE-track
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Session Chair of SLE/GPCE Session 6 (part of SLE) There Is More Than One Way to Zen Your Python Committee Member in Program Committee within the GPCE-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Jon ZeppieriZeppieri, Jon n.n.n.n. Runtime and Compiler Support for HAMTs
Ennan ZhaiZhai, Ennan Alibaba GroupUnited States Static Detection of Silent Misconfigurations with Deep Interaction Analysis Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Program Analysis via Efficient Symbolic Abstraction
Chengyu ZhangZhang, Chengyu East China Normal UniversityChina Generative Type-Aware Mutation for Testing SMT Solvers
Danfeng ZhangZhang, Danfeng Pennsylvania State UniversityUnited States SpecSafe: Detecting Cache Side Channels in a Speculative World
Fanlong ZHANGZHANG, Fanlong School of Computer, Guangdong University of Technology Scalable and Modular Robustness Analysis of Deep Neural Networks
Guoqiang ZhangZhang, Guoqiang North Carolina State University; FacebookUnited States Coarsening Optimization for Differentiable Programming Coarsening Optimization for Differentiable Programming UDF to SQL Translation through Compositional Lazy Inductive Synthesis
Jialu ZhangZhang, Jialu Yale UniversityUnited States Static Detection of Silent Misconfigurations with Deep Interaction Analysis Static Detection of Silent Misconfigurations with Deep Interaction Analysis
Lu ZhangZhang, Lu Peking UniversityChina Accelerating Program Analyses in Datalog by Merging Library Facts
Qirun ZhangZhang, Qirun Georgia Institute of Technology, USA Committee Member in Program Committee within the APLAS Research Papers-track
Qishen ZhangZhang, Qishen Vanderbilt UniversityUnited States Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Committee Member in Program Committee within the HATRA-track
Wei ZhangZhang, Wei Peking UniversityChina PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of Programming Submissions
Weixin ZhangZhang, Weixin University of Bristol, UK Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiangyu ZhangZhang, Xiangyu Purdue UniversityUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Xin ZhangZhang, Xin Peking UniversityChina Session Chair of Compilation / Transformation (mirror) (part of APLAS Research Papers) Accelerating Program Analyses in Datalog by Merging Library Facts Committee Member in Program Committee within the APLAS Research Papers-track
Xinyi ZhangZhang, Xinyi National University of SingaporeSingapore A Stepper for a Functional JavaScript Sublanguage
Chunqi ZhaoZhao, Chunqi Supporting Network Editing and Experimentation for Novice Deep Learning Programmers
David ZhaoZhao, David The University of Sydney The Choice Construct in the Soufflé Language
Jingjing ZhaoZhao, Jingjing National University of SingaporeSingapore A Stepper for a Functional JavaScript Sublanguage
Tian ZhaoZhao, Tian University of Wisconsin-Milwaukee Session Chair of Session 1 (part of REBLS) A Concurrency Model for JavaScript with Cooperative Cancellation Committee Member in Program Committee within the REBLS-track
Xueyuan ZhaoZhao, Xueyuan Carnegie Mellon University, USA Armada: Low-Effort Verification of High-Performance Concurrent Programs
Zirui Neil ZhaoZhao, Zirui Neil University of Illinois at Urbana-ChampaignUnited States PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of Programming Submissions
Yunhui ZhengZheng, Yunhui IBM ResearchUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Yuyi ZhongZhong, Yuyi School of Computing, National University of Singapore Scalable and Modular Robustness Analysis of Deep Neural Networks
Zhe ZhouZhou, Zhe Purdue UniversityUnited States Data-Driven Abductive Inference of Library Specifications
Ziqiao ZhouZhou, Ziqiao Microsoft ResearchUnited States Interpretable Noninterference Measurement and Its Application to Processor Designs
Amy ZhuZhu, Amy University of WashingtonUnited States Rewrite Rule Inference Using Equality Saturation Rewrite Rule Inference Using Equality Saturation
YungYu ZhuangZhuang, YungYu National Central UniversityTaiwan PC Member in Program Committee within the DLS-track
Lukasz ZiarekZiarek, Lukasz University at BuffaloUnited States A Multiparty Session Typing Discipline for Fault-Tolerant Event-Driven Distributed Programming REBLS Steering Committee Member in Steering Committee within the REBLS-track PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Conrad ZimmermanZimmerman, Conrad Brown UniversityUnited States Implementation of an End-to-End Gradual Verification System
Abdul ZreikaZreika, Abdul The University of Sydney The Choice Construct in the Soufflé Language
Elena ZuccaZucca, Elena University of Genova Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the GPCE-track
Lenore ZuckZuck, Lenore UICUnited States Committee Member in Program Committee within the SAS-track
Gefei ZuoZuo, Gefei University of MichiganUnited States Execution reconstruction: Harnessing failure reoccurrences for failure reproduction
Ö Mert ÖzkayaÖzkaya, Mert Yeditepe UniversityTurkey PC Member in Program Committee within the DSM-track
Ş Andrei ŞtefănescuŞtefănescu, Andrei GaloisUnited States A Type System for Extracting Functional Specifications from Memory-Safe Imperative Programs
Š Artjoms ŠinkarovsŠinkarovs, Artjoms Heriot-Watt University, UK Extracting The Power of Dependent Types

SPLASH 2021 Contributors

Results (1316)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia