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 Compilation of Sparse Array Programming Models
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of Technology Compilation of Sparse Array Programming Models
Saman AmarasingheAmarasinghe, Saman Massachusetts Institute of TechnologyUnited States A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
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 Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
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 Synthesizing Contracts Correct Modulo a Test Generator PaCon: A Symbolic Analysis Approach for Tactic-Oriented Clustering of Programming Submissions
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 Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Reactive Probabilistic Programming 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 Safer at Any Speed: Automatic Context-Aware Safety Enhancement for Rust SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
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 Bach PoulsenBach Poulsen, 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 Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Reactive Probabilistic Programming Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming 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 Safer Exceptions for Scala Implementing Path-Dependent GADT Reasoning for Scala 3
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 g.bracha@f5.com ShapeRank: Rank Polymorphism meets Reactive Streams
Gilad BrachaBracha, Gilad F5 NetworksUnited States Enhancing Liveness with Exemplars in the Newspeak IDE
Gilad BrachaBracha, Gilad g.bracha@f5.com 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 Scooter & Sidecar: A domain-specific approach to writing secure migrations Towards a Verified Range Analysis for JavaScript JITs
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 Combining Object-Oriented Paradigm and Controlled Natural Language for Requirements Specification Volatility Metric to Detect Anomalies in Source Code Repositories 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 and Reasoning with Partial Observability Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Reactive Probabilistic Programming Programming with Neural Surrogates of Programs Programming with Neural Surrogates of Programs 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
Qiaochu ChenChen, Qiaochu University of Texas at Austin, USA Web Question Answering with Neurosymbolic Program Synthesis
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-Champaign Towards A Unified Proof Framework for Automated Fixpoint Reasoning Using Matching Logic A General Approach to Define Binders 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 Integration Verification Across Software and Hardware for a Simple Embedded System The Essence of Bluespec: A Core Language for Rule-Based Hardware Design 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 Compilation of Sparse Array Programming Models Compilation of Sparse Array Programming Models A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
Maria ChristakisChristakis, Maria MPI-SWSGermany Compositional Verification of Smart Contracts Through Communication Abstraction
Jörg Christian KirchhofChristian Kirchhof, Jörg RWTH Aachen UniversityGermany Understanding and Improving Model-Driven IoT Systems Through Accompanying Digital Twins Artifact and Reference Models for Generative AI Frameworks and Build Systems
Zachary ChuaChua, Zachary National University of SingaporeSingapore A Stepper for a Functional JavaScript Sublanguage
Ravi ChughChugh, Ravi University of ChicagoUnited States Program Sketching with Live Bidirectional Evaluation Filling Typed Holes with Live GUIs
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 Program Sketching with Live Bidirectional Evaluation Filling Typed Holes with Live GUIs
Benoit CombemaleCombemale, Benoit University of Rennes; Inria; IRISAFrance SEALS: A framework for building Self-Adaptive Virtual Machines Monilogging for Executable Domain-Specific Languages 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 UniversityCzech Republic 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 Automating the Synthesis of Recommender Systems for Modelling Languages New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific 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) PrintTalk: A Constraint-Based Imperative DSL for 3D Printing Poker: Visual Instrumentation of Reactive Programs with Programmable Probes Trampoline Variables: A General Method for State Accumulation in Reactive Programming 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) UDF to SQL Translation through Compositional Lazy Inductive Synthesis Web Question Answering with Neurosymbolic Program Synthesis Automated Policy Synthesis for System Call Sandboxing
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
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) Efficient Handling of String-Number Conversion Python 3 Types in the Wild: A Tale of Two Type Systems 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 The Semantics of Shared Memory in Intel CPU/FPGA Systems The Semantics of Shared Memory in Intel CPU/FPGA Systems Specifying and Testing GPU Workgroup Progress Models 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) The Pareto Distribution of Software Features and No-Code Towards the No-Code Era: A Vision and Plan for the Future of Software Development 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 FeldmanFeldman, Molly 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 Wellington Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Isaac Oscar GarianoGariano, Isaac Oscar Victoria University of WellingtonNew Zealand 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 Designing Types for R, Empirically Promises Are Made to Be Broken: Migrating R to Strict Semantics 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) Discussion and summary Introduction 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 Automating the Synthesis of Recommender Systems for Modelling Languages New Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific 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 Multi-modal Program Inference: A Marriage of Pre-trained Language Models and Component-Based Synthesis APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries
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 Cyclic Program Synthesis Liquid Information Flow Control
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 Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
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 Durable Functions: Semantics for Stateful Serverless DiffStream: Differential Output Testing for Stream Processing Programs An Order-Aware Dataflow Model for Parallel Unix Pipelines
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) Compilation of Sparse Array Programming Models Compilation of Sparse Array Programming Models Copy-and-Patch Compilation Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra
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 KoparkarKoparkar, Chaitanya 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 Efficient Tree-Traversals: Reconciling Parallelism and Dense Data Representations Vectorized Secure Evaluation of Decision Forests
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 Making Weak Memory Models Fair Decidable Verification under a Causally Consistent Shared Memory
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 Analysing the Performance and Costs of Reactive Programming Libraries in Java Dyninka: A FaaS Framework for Distributed Dataflow Applications
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 Scooter & Sidecar: A domain-specific approach to writing secure migrations Towards a Verified Range Analysis for JavaScript JITs 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 How Statically-Typed Functional Programmers Write Code Program Sketching with Live Bidirectional Evaluation
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 SkyQuery: An Aerial Drone Video Sensing Platform SkyQuery: An Aerial Drone Video Sensing Platform Deductive Optimization of Relational Data Storage
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 Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Statically Bounded-Memory Delayed Sampling for Probabilistic Streams Reactive Probabilistic Programming Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming 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) Static Analysis of Endian Portability by Abstract Interpretation A Multi-Language Static Analysis of Python Programs with Native C Extensions 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 Aparecida MoreiraMoreira, Angelica Aparecida 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 Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs IOOpt- Automatic Derivation of I/O complexity bounds for affine programs
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States