SPLASH 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1244)

( Ruanqianqian (Lisa) Huang(Lisa) Huang, Ruanqianqian University of California, San Diego Unfolding State Changes via Live State-First Debugging
A Rosa Abbasi BoroujeniAbbasi Boroujeni, Rosa Max Planck Institute for Software SystemsGermany Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
Supun AbeysingheAbeysinghe, Supun Purdue University Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Dave AbrahamsAbrahams, Dave AdobeUnited States Borrow checking Val
Rui AbreuAbreu, Rui Faculty of Engineering, University of PortoUnited States GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
Beniamino AccattoliAccattoli, Beniamino Inria & Ecole PolytechniqueFrance Sharing a Perspective on the lambda-Calculus
Sara AchourAchour, Sara MITUnited States Hardware-Aware Static Optimization of Hyperdimensional Computations
Omer S. AgacanAgacan, Omer S. Indiana University Collecting Garbage on the Blockchain
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Steering Committee for SPLASH 2023 Friday Keynote (Title Placeholder)
Adem Ait-FonollaAit-Fonolla, Adem IN3 - UOCSpain A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects
Efthimia AivaloglouAivaloglou, Efthimia Delft University of TechnologyNetherlands Committee Member in Program Committee within the SPLASH Onward! Papers-track
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Latte: Lightweight Aliasing Tracking for Java Discussion Latte: Lightweight Aliasing Tracking for Java Keynote: Jonathan Aldrich PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IWACO-track Committee Member in Organizing Committee within the HATRA-track
Karim AliAli, Karim University of Alberta PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Publications Co-Chair in Organizing Committee for SPLASH 2023
Amin AlipourAlipour, Amin University of HoustonUnited States Workshops Co-Chair in Organizing Committee for SPLASH 2023 Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Meghan AllenAllen, Meghan University of British ColumbiaCanada Exploring Engagement and Self-Efficacy in an Introductory Computer Science Course
Taylor AllredAllred, Taylor University of Utah Rhombus: A New Spin on Macros Without All the Parentheses
Lissette AlmonteAlmonte, Lissette Universidad Autónoma de MadridSpain Reuse and Automated Integration of Recommenders for Modelling Languages
Rajeev AlurAlur, Rajeev University of PennsylvaniaUnited States Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Peter AlvaroAlvaro, Peter University of California, Santa Cruz PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jose Nelson AmaralAmaral, Jose Nelson University of AlbertaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Nada AminAmin, Nada Harvard UniversityUnited States Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach Oxidize: A Step-Debugger for Static Semantics Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Committee Member in Program Committee within the DLS-track
Andreas AndronikakisAndronikakis, Andreas The University of Manchester A Multifaceted Memory Analysis of Java Benchmarks
Artur AndrzejakAndrzejak, Artur Heidelberg UniversityGermany Virtual Domain Specific Languages via Embedded Projectional Editing
Étienne AndréAndré, Étienne Université Sorbonne Paris Nord; LIPN; CNRSFrance Committee Member in Program Committee within the FTSCS-track
Florian AngererAngerer, Florian Oracle Labs Generating Java Interfaces for Accessing Foreign Objects in GraalVM
Ross AngleAngle, Ross independent Rhombus: A New Spin on Macros Without All the Parentheses
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the SPLASH Onward! Essays-track
Muhammad Waseem AnwarAnwar, Muhammad Waseem Department of Innovation, Design and Engineering Malardalen UniversitySweden Enabling Blended Modelling of Timing and Variability in EAST-ADL
Jesus ArandaAranda, Jesus Universidad del ValleColombia Formal Verification of a Mechanical Ventilator using UPPAAL
Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Unconstrained Variable Oracles for Faster Static Analyses Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Owen ArdenArden, Owen UC Santa CruzUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zena M. AriolaAriola, Zena M. University of OregonUnited States Closure Conversion in Little Pieces
Alasdair ArmstrongArmstrong, Alasdair University of Cambridge Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michael ArntzeniusArntzenius, Michael University of Birmingham, UK Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Cyrille ArthoArtho, Cyrille KTH Royal Institute of Technology, Sweden Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library Discussions, Closing Committee Member in Program Committee within the FTSCS-track Committee Member in Organizing Committee within the FTSCS-track
Ellen ArvidssonArvidsson, Ellen Uppsala University Reference Capabilities for Flexible Memory Management
Angello AstorgaAstorga, Angello University of Illinois at Urbana-ChampaignUnited States Perception Contracts for Safety of ML-Enabled Systems
Eran AvneriAvneri, Eran TechnionIsrael Deep Learning Robustness Verification for Few-Pixel Attacks
B Lorenzo BacchianiBacchiani, Lorenzo Behavioural up/down casting for statically typed languages
Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands A Monadic Framework for Name Resolution in Multi-Phased Type Checkers Committee Member in Program Committee within the SLE-track
Jean-Christophe BachBach, Jean-Christophe IMT Atlantique, Lab-STICC (UMR 6285)France Committee Member in Program Committee within the SLE-track
Kyungmin BaeBae, Kyungmin POSTECHSouth Korea Opening, Keynote: Bounded STL Model Checking for Hybrid Systems Committee Member in Program Committee within the FTSCS-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland University Workshops Co-Chair in Organizing Committee for SPLASH 2023 Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Michael Bak KoldsgaardBak Koldsgaard, Michael Department of Computer Science, University of CopenhagenDenmark The Implementation of A Type-Safe Structure Editor
Gogul BalakrishnanBalakrishnan, Gogul GoogleUnited States PC Member in Program Committee within the SAS -track
Kevin BaldorBaldor, Kevin The University of Texas at San Antonio Thorium: Verifiable, Dynamic, Reactive Software
Valter BalegasBalegas, Valter ElectricSQLPortugal Committee Member in Organizing Committee within the PLF-track
Sebastian BaltesBaltes, Sebastian SAP SE & University of AdelaideGermany A Penny a Function: Towards Cost Transparent Cloud Programming
Teodora BalutaBaluta, Teodora National University of SingaporeSingapore User-Customizable Transpilation of Scripting Languages
Stephanie BalzerBalzer, Stephanie Carnegie Mellon UniversityUnited States Future Directions for Session Types PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Arko BanerjeeBanerjee, Arko University of Texas at Austin Data Extraction via Semantic Regular Expression Synthesis
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Steering Committee Chair in Steering Committee within the SPLASH -E-track
Ajay BansalBansal, Ajay stablekanren: Integrating Stable Model Semantics with miniKanren
Yuyan BaoBao, Yuyan Computer and Cyber Sciences, Augusta University, Georgia, USAUnited States Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Carlos BaqueroBaquero, Carlos HASLab/INESC TEC & University of MinhoPortugal Can local-first really scale at the edge?
Olivier BaraisBarais, Olivier University of Rennes; Inria; CNRS; IRISAFrance Adaptive Structural Operational Semantics
Franco BarbaneraBarbanera, Franco Multicompatibility for Multiparty-Session Composition
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States Grounded Copilot: How Programmers Interact with Code-Generating Models
Konstantinos BarmpisBarmpis, Konstantinos University of YorkUnited Kingdom Towards Efficient Model Comparison Using Automated Program Rewriting
Dan BarowyBarowy, Dan Williams CollegeUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom PC Member in Program Committee within the VMIL-track
Langston BarrettBarrett, Langston Galois, Inc Bring Your Own Data Structures to Datalog
Matteo BassoBasso, Matteo Università della Svizzera italiana (USI), Switzerland Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shrutarshi BasuBasu, Shrutarshi Harvard UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Kevin BatzBatz, Kevin RWTH Aachen UniversityGermany A Deductive Verification Infrastructure for Probabilistic Programs
Guillaume BaudartBaudart, Guillaume InriaFrance Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2023 Co-chair in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hanno BeckerBecker, Hanno Amazon Web ServicesUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Tom BeckmannBeckmann, Tom Hasso Plattner InstituteGermany Visual Replacements: Cross-language Domain-specific Representations in Structured Editors A Penny a Function: Towards Cost Transparent Cloud Programming Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
David BenavidesBenavides, David Universidad de SevillaSpain Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead
Nick BentonBenton, Nick Microsoft Research, Cambridge Coq: the world's best macro assembler?
Véronique BenzakenBenzaken, Véronique Université Paris-Saclay - Laboratoire de Méthodes Formelles France Translating canonical SQL to imperative code in Coq
Frédéric BessonBesson, Frédéric Type-directed Program Transformation for Constant-Time Enforcement
Joan S BetancourtBetancourt, Joan S Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Ishan BhanukaBhanuka, Ishan HKUST (The Hong Kong University of Science and Technology) Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference
Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Resource-aware soundness for big-step semantics
Robert BiddleBiddle, Robert Carleton UniversityCanada programmingLanguage as Language;
Annette BieniusaBieniusa, Annette University of Kaiserslautern-LandauGermany Collaborative offline-first applications in Education PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the PLF-track
Armin BiereBiere, Armin University of Freiburg, GermanyGermany Committee Member in Program Committee within the FTSCS-track
David BinderBinder, David University of Tübingen Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference
Walter BinderBinder, Walter USI LuganoSwitzerland Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance Committee Member in Program Committee within the GPCE-track PC Member in Program Committee within the MPLR-track
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Stephen M. BlackburnBlackburn, Stephen M. Google, Australian National University Improving Garbage Collection Observability with Performance Tracing
Steve BlackburnBlackburn, Steve Google and Australian National UniversityAustralia PC Member in Program Committee within the VMIL-track Committee Member in Program Committee within the MPLR-track
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Florin BlanaruBlanaru, Florin - Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Mireille Blay-FornarinoBlay-Fornarino, Mireille Yes, Configuring is Good, But Have You Ever Tried Justifying?
Andrew BlinnBlinn, Andrew University of MichiganUnited States Totally Live Programming with Hazel (Progress Report)
Luc BläserBläser, Luc DFINITY FoundationSwitzerland Collecting Garbage on the Blockchain
Rose BohrerBohrer, Rose Worcester Polytechnic Institute Centering Humans in the Programming Languages Classroom: Building a Text for the Next Generation
Jérôme BoillotBoillot, Jérôme École Normale Supérieure, PSL University & INRIAFrance Symbolic transformation of expressions in modular arithmetic Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Pauline BolignanoBolignano, Pauline AmazonUnited Kingdom Lifting On-Demand Analysis to Higher-Order Languages
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Committee Member in Steering Committee within the DLS-track
Daniele BonettaBonetta, Daniele Oracle LabsUnited States Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance
Benjamin BonneauBonneau, Benjamin ENS PSL Formally Verifying Optimizations with Block Simulations
Dina BorregoBorrego, Dina NOVA LINCS, FCT, Universidade NOVA de Lisboa How to Enforce and Verify Invariants in Weakly Consistent Databases
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander EPFLSwitzerland Session Chair of IWACO Keynote Session (part of IWACO) Session Chair of IWACO Session 1 (part of IWACO) Session Chair of IWACO Session 2 (part of IWACO) Welcome to IWACO! Committee Member in Organizing Committee within the IWACO-track Program Chair in Program Committee within the IWACO-track
Sylvain BoulméBoulmé, Sylvain Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Formally Verifying Optimizations with Block Simulations
Thomas BourgeatBourgeat, Thomas EPFL Committee Member in Reviewers within the SPLASH Student Research Competition-track
Timothy BourkeBourke, Timothy Inria / École normale supérieure Committee Member in Program Committee within the REBLS-track
Peter BoylandBoyland, Peter University of California at Santa BarbaraUnited States Aliasing Limits on Translating C to Safe Rust
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Hybridisation Co-Chair in Organizing Committee for SPLASH 2023 From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference Back to Direct Style: Typed and Tight Committee Member in Program Committee within the IWACO-track
Tom BraunBraun, Tom Hasso Plattner Institute, University of Potsdam, Germany Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects
Mario BravettiBravetti, Mario Università di BolognaItaly Behavioural up/down casting for statically typed languages
Oliver BračevacBračevac, Oliver Galois, Inc.United States Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimizations Affordable with Precise Effect Dependencies Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
David BromanBroman, David KTH Royal Institute of TechnologySweden Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Lily BrownBrown, Lily RobloxUnited States Goals of the Luau Type System, Two Years On
Jean-Michel BruelBruel, Jean-Michel Université de Toulouse, FranceFrance Yes, Configuring is Good, But Have You Ever Tried Justifying?
Lelio BrunBrun, Lelio National Institute of InformaticsJapan Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Matthias BrunBrun, Matthias Temporal Breakpoints for Multiverse Debugging
Matthias BrunBrun, Matthias ETH ZurichSwitzerland Verus: Verifying Rust Programs using Linear Ghost Types
Rodrigo BrunoBruno, Rodrigo INESC-ID / Técnico, ULisboaPortugal Heap Size Adjustment with CPU Control CloudJIT: a Just-in-Time FaaS Optimizer Language Runtimes for the New Cloud Era PC Member in Program Committee within the VMIL-track General Chair in Organizing Committee within the MPLR-track
Alessio BucaioniBucaioni, Alessio Mälardalen University Enabling Blended Modelling of Timing and Variability in EAST-ADL
Humphrey BurchellBurchell, Humphrey University of Kent Don't Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Florena BuseBuse, Florena Delft University of TechnologyNetherlands Randomized Testing of Byzantine Fault Tolerant Algorithms
Alexandre BérardBérard, Alexandre Université Grenoble-Alpes Formally Verifying Optimizations with Block Simulations
Aurel BílýBílý, Aurel ETH Zurich Compositional Reasoning for Side-effectful Iterators and Iterator Adapters
Lukas BöhmeBöhme, Lukas Hasso Plattner Institute, University of PotsdamGermany A Penny a Function: Towards Cost Transparent Cloud Programming
Thorbjørn Bülow BringgaardBülow Bringgaard, Thorbjørn Department of Computer Science, University of CopenhagenDenmark The Implementation of A Type-Safe Structure Editor
C Jordi CabotCabot, Jordi Luxembourg Institute of Science and TechnologyLuxembourg A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects Committee Member in Program Committee within the SLE-track
Yuandao CaiCai, Yuandao Hong Kong University of Science and Technology, ChinaChina A Cocktail Approach to Practical Call Graph Construction
Zhuo CaiCai, Zhuo Hong Kong University of Science and Technology Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts
Zixian CaiCai, Zixian Australian National UniversityAustralia Improving Garbage Collection Observability with Performance Tracing
Luís CairesCaires, Luís INESC-ID / Instituto Superior Tecnico, University of LisbonPortugal Labelled Tensor Types in Session Based Programming Future Directions for Session Types
Marco CampionCampion, Marco INRIA & École Normale Supérieure \| Université PSL, ParisFrance A Formal Framework to Measure the Incompleteness of Abstract Interpretations Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Afonso CaniçoCaniço, Afonso Iscte - Instituto Universitário de LisboaPortugal Witter: A Library for White-Box Testing of Introductory Programming Algorithms
Huanqi CaoCao, Huanqi Tsinghua University Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Shangtong CaoCao, Shangtong Beijing University of Posts and TelecommunicationsChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Silvio CapobiancoCapobianco, Silvio Additive Cellular Automata Graded-Monadically
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Marco CarboneCarbone, Marco IT University of Copenhagen Mechanising Multiparty Session Types: A Sound and Complete Projection The Concurrent Calculi Formalisation Benchmark Committee Member in Organizing Committee within the ST30 -track
Luís CarvalhoCarvalho, Luís Semantic Versioning for Python Programs
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Reference Capabilities for Flexible Memory Management Committee Member in Program Committee within the IWACO-track
Ilaria CastellaniCastellani, Ilaria INRIA Sophia Antipolis, FranceFrance Using Event Structures to model Multiparty Session Types: results and open problems Multiparty Reactive Sessions Committee Member in Organizing Committee within the ST30 -track
David Castro-PerezCastro-Perez, David University of KentUnited Kingdom The Concurrent Calculi Formalisation Benchmark
Francky CatthoorCatthoor, Francky IMEC, Katholieke Universiteit Leuven Beyond RSS: Towards Intelligent Dynamic Memory Management
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling Layer Is Polyglot Programming Really a Thing?
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jan CederquistCederquist, Jan University of Lisbon AtomiS: Data-centric synchronization made practical
Tej ChajedChajed, Tej UW-MadisonUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Satish ChandraChandra, Satish Meta PlatformsUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder & AmazonUnited States Sponsorship Co-Chair in Organizing Committee for SPLASH 2023 Invited Speaker in Invited Speakers for SAS 2023 Goal-Directed Abstract Interpretation and Event-Driven Frameworks Lifting On-Demand Analysis to Higher-Order Languages Historia: Refuting Callback Reachability with Message-History Logics
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States How Domain Experts Use an Embedded DSL
Bodhisatwa ChatterjeeChatterjee, Bodhisatwa Georgia Institute of Technology Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Luke CheesemanCheeseman, Luke Imperial College London When Concurrency Matters: Behaviour-Oriented Concurrency
Chao ChenChen, Chao Georgia Institute of Technology Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina PC Member in Program Committee within the SAS -track
Mingshuai ChenChen, Mingshuai Zhejiang UniversityChina Lower Bounds for Possibly Divergent Probabilistic Programs
Qiaochu ChenChen, Qiaochu University of Texas at AustinUnited States Data Extraction via Semantic Regular Expression Synthesis
Qinlin ChenChen, Qinlin Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Sheng ChenChen, Sheng University of Louisiana at Lafayette Committee Member in Program Committee within the GPCE-track
Taolue ChenChen, Taolue Birkbeck University of LondonUnited Kingdom Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Wenguang ChenChen, Wenguang Tsinghua University Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Xiaohong ChenChen, Xiaohong University of Illinois at Urbana-ChampaignUnited States Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Xinyun ChenChen, Xinyun Committee Member in Reviewers within the SPLASH Student Research Competition-track
Yanbin ChenChen, Yanbin TUM School of Computation, Information and Technology, Technical University of MunichGermany Quantum Constant Propagation
Yanju ChenChen, Yanju University of California at Santa BarbaraUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Yifan ChenChen, Yifan Peking University Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Yu-Fang ChenChen, Yu-Fang Academia Sinica, Taiwan Solving String Constraints with Lengths by Stabilization PC Member in Program Committee within the SAS -track
James CheneyCheney, James University of EdinburghUnited Kingdom PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Xiao ChengCheng, Xiao University of Technology Sydney Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Marc ChevalierChevalier, Marc Switzerland Artifact Evaluation Chair in Organizing Committee for SAS 2023 Opening Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime ShopifyCanada Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach Are we Heading Towards a Dynamic Language Winter? Committee Member in Program Committee within the DLS-track
David ChiangChiang, David University of Notre DameUnited States Exact Recursive Probabilistic Programming
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Keynote Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the GPCE-track
Luca ChiodiniChiodini, Luca USI LuganoSwitzerland Teaching Programming with Graphics: Pitfalls and a Solution
Shardul ChiplunkarChiplunkar, Shardul EPFLSwitzerland Diagrammatic notations for interactive theorem proving
David ChisnallChisnall, David When Concurrency Matters: Behaviour-Oriented Concurrency
Khushboo ChitreChitre, Khushboo IIIT DelhiIndia Rapid: Region-based Pointer Disambiguation
Andrei ChişChiş, Andrei feenk, Switzerland Publicity Chair in Organizing Committee within the SLE-track
Chanhee ChoCho, Chanhee Carnegie Mellon UniversityUnited States Verus: Verifying Rust Programs using Linear Ghost Types
Minki ChoCho, Minki Seoul National UniversitySouth Korea Stuttering for Free
David ChocholatýChocholatý, David Brno University of Technology, Czech Republic Solving String Constraints with Lengths by Stabilization
Jaemin ChoiChoi, Jaemin Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Peter ChonChon, Peter Harvard University Oxidize: A Step-Debugger for Static Semantics
Nathan ChongChong, Nathan Amazon Web ServicesUnited States A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Vikraman ChoudhuryChoudhury, Vikraman University of GlasgowUnited States Classical Processes in modern dress
Jörg Christian KirchhofChristian Kirchhof, Jörg RWTH Aachen UniversityGermany Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Cheng-En ChuangChuang, Cheng-En University at BuffaloUnited States Validating IoT Devices with Rate-Based Session Types
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee within the HATRA-track
Benjamin ChungChung, Benjamin Northeastern University Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Pavel ChuprikovChuprikov, Pavel USI LuganoSwitzerland Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Luke ChurchChurch, Luke University of Cambridge \| Lund University \| Lark SystemsUnited Kingdom Discussion Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the PAINT-track Committee Member in Organizing Committee within the HATRA-track
Federico CiccozziCiccozzi, Federico Mälardalen UniversitySweden Enabling Blended Modelling of Timing and Variability in EAST-ADL
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Horatiu CirsteaCirstea, Horatiu LORIA, University of LorraineFrance Committee Member in Program Committee within the SLE-track
Jürgen CitoCito, Jürgen TU WienAustria Career Panel Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Organizing Committee within the CONFLANG-track Committee Member in Program Commitee within the SPLASH -E-track
Sylvan ClebschClebsch, Sylvan Azure Research When Concurrency Matters: Behaviour-Oriented Concurrency Reference Capabilities for Flexible Memory Management
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Doctoral Symposium Chair in Organizing Committee for SPLASH 2023 Discussion REVIS: An Error Visualization Tool for Rust Introduction and Welcome Discussion Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Organizing Committee within the HATRA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Albert CohenCohen, Albert GoogleFrance PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Benoit CombemaleCombemale, Benoit University of Rennes, Inria, CNRS, IRISAFrance Practical Runtime Instrumentation of Software Languages: the Case of SciHook Adaptive Structural Operational Semantics
Youyou CongCong, Youyou Tokyo Institute of TechnologyJapan Hybridisation Co-Chair in Organizing Committee for SPLASH 2023 PLMW Co-Chair in Organizing Committee for SPLASH 2023 Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators Committee Member in Program Committee within the GPCE-track Publicity Chair in Organizing Committee within the GPCE-track Committee Member in Organizing Committee within the SPLASH PLMW-track
Giovanna Kobus ConradoConrado, Giovanna Kobus Hong Kong University of Science and Technology (HKUST) Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis The Bounded Pathwidth of Control-flow Graphs
Breandan ConsidineConsidine, Breandan McGill UniversityCanada A Pragmatic Approach to Syntax Repair
Évelyne ContejeanContejean, Évelyne CNRS, ENS Paris-Saclay & Université Paris-Saclay Translating canonical SQL to imperative code in Coq
Mary Rose CookCook, Mary Rose United States Lude - build video games quickly
Chris CoppinsCoppins, Chris University of KentUnited Kingdom Polynomial Analysis of Modular Arithmetic
Camilo Correa RestrepoCorrea Restrepo, Camilo University of Paris 1 Pantheon-Sorbonne, Paris, France Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
David CortésCortés, David Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
João Costa SecoCosta Seco, João NOVA-LINCS; Nova University of LisbonPortugal Data-Dependent Confidentiality in DCR Graphs
Diana CostaCosta, Diana LASIGE, University of LisbonPortugal Local Organizer Chair in Organizing Committee for SPLASH 2023 Co-chair in Organizing Committee within the ST30 -track Co-chair in Programme Committee within the ST30 -track
Andreea CosteaCostea, Andreea School of Computing, National University Of SingaporeSingapore Publicity Co-Chair in Organizing Committee for SPLASH 2023 Web Co-Chair in Organizing Committee for SPLASH 2023 Adventure of a Lifetime: Extract Method Refactoring for Rust
Pascal CotretCotret, Pascal Lab-STICC CNRS UMR 6285, ENSTA BretagneFrance Gigue: A JIT Code Binary Generator for Hardware Testing
Patrick CousotCousot, Patrick PC Member in Program Committee within the SAS -track
Will CrichtonCrichton, Will Brown UniversityUnited States Debugging Trait Errors as Logic Programs Discussion
Will CrichtonCrichton, Will Brown University A Grounded Conceptual Model for Ownership Types in Rust
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the HATRA-track
Will CrichtonCrichton, Will Brown University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
John CriswellCriswell, John University of RochesterUnited States Fat Pointers for Temporal Memory Safety of C
Jaime CuartasCuartas, Jaime Universidad del ValleColombia Formal Verification of a Mechanical Ventilator using UPPAAL
Chen CuiCui, Chen University of Hong KongChina Greedy Implicit Bounded Quantification
Charlie CurtsingerCurtsinger, Charlie Grinnell College Committee Member in Steering Committee within the SPLASH -E-track
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain A Tool for the Definition and Deployment of Platform-Independent Bots on Open Source Projects
D Loris D'AntoniD'Antoni, Loris University of Wisconsin-MadisonUnited States Invited Speaker in Invited Speakers for SAS 2023 Verifying Infinitely Many Programs at Once Synthesizing Specifications
Matt D'SouzaD'Souza, Matt University of Waterloo TASTyTruffle: Just-in-time Specialization of Parametric Polymorphism
Liangrun DaDa, Liangrun TU Munich Extending Automerge: Undo, Redo, and Move
Pierre-Evariste DagandDagand, Pierre-Evariste IRIF / CNRS France Coq: the world's best macro assembler?
Francesco DagninoDagnino, Francesco University of GenoaItaly Resource-aware soundness for big-step semantics
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Ornela DardhaDardha, Ornela University of GlasgowUnited Kingdom Future Directions for Session Types Towards Session-Typed Consensus Structural Subtyping as Parametric Polymorphism PC Member in Programme Committee within the ST30 -track
Thibault DardinierDardinier, Thibault ETH ZurichSwitzerland Verification-Preserving Inlining in Automatic Separation Logic Verifiers
Pierce DarraghDarragh, Pierce University of UtahUnited States Generating Conforming Programs With Xsmith
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Scaling up Roundoff Analysis of Functional Data Structure Programs Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
Stephen De GabrielleDe Gabrielle, Stephen independent Rhombus: A New Spin on Macros Without All the Parentheses
Daan de Graafde Graaf, Daan Delft University of TechnologyNetherlands Randomized Testing of Byzantine Fault Tolerant Algorithms
Juan de Larade Lara, Juan Autonomous University of MadridSpain Reuse and Automated Integration of Recommenders for Modelling Languages
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for SPLASH 2023 Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data Committee Member in Program Committee within the DLS-track Committee Member in Steering Committee within the DLS-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the REBLS-track
Jan de Mooijde Mooij, Jan Mozilla CacheIR: The Benefits of a Structured Representation for Inline Caches
Jan de Muijnck-Hughesde Muijnck-Hughes, Jan University of StrathclydeUnited Kingdom CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Ansible Is Turing Complete Cross-Level Debugging for Static Analysers Committee Member in Program Committee within the GPCE-track General Chair in Organizing Committee within the GPCE-track
Luigi De RussisDe Russis, Luigi Politecnico di TorinoItaly Committee Member in Program Committee within the PAINT-track
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Australian National University, AustraliaAustralia Committee Member in Program Committee within the SLE-track
Luiz de Sáde Sá, Luiz Intuitionistic Metric Temporal Logic
Julien DeAntoniDeAntoni, Julien Committee Member in Program Committee within the REBLS-track
Ulan DegenbaevDegenbaev, Ulan Google Collecting Garbage on the Blockchain
Thomas DegueuleDegueule, Thomas CNRS, LaBRIFrance Program Co-Chair in Organizing Committee within the SLE-track
Çağatay DemiralpDemiralp, Çağatay MIT CSAIL Data Extraction via Semantic Regular Expression Synthesis
Patricia DerlerDerler, Patricia ZooxUnited States Committee Member in Program Committee within the FTSCS-track
Ankush DesaiDesai, Ankush Amazon Web ServicesUnited States Message Chains for Distributed System Verification
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kyle DeweyDewey, Kyle California State UniversityUnited States Aliasing Limits on Translating C to Safe Rust
Mariangiola DezaniDezani, Mariangiola Università di TorinoItaly Multicompatibility for Multiparty-Session Composition PC Member in Programme Committee within the ST30 -track
Cinzia Di GiustoDi Giusto, Cinzia Université Côte d'Azur; CNRSFrance Multiparty Reactive Sessions
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Program Committee within the SLE-track
Oscar DiazDiaz, Oscar University of the Basque Country, Spain Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead
Işil DilligDillig, Işil University of Texas at AustinUnited States Data Extraction via Semantic Regular Expression Synthesis Automated Translation of Functional Big Data Queries to SQL Inductive Program Synthesis Guided by Observational Program Similarity
Christos DimoulasDimoulas, Christos PLT @ Northwestern UniversityUnited States How Profilers Can Help Navigate Type Migration
Aleksandar S. DimovskiDimovski, Aleksandar S. Mother Teresa University, Skopje Committee Member in Program Committee within the GPCE-track
Shuo DingDing, Shuo Georgia Institute of TechnologyUnited States Mutual Refinements of Context-Free Language Reachability
Yi DingDing, Yi Massachusetts Institute of TechnologyUnited States Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Matthew DinmoreDinmore, Matthew Johns Hopkins Applied Physics Laboratory Whither Problem-Solving Environments?
Steve DohrmannDohrmann, Steve Intel Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Greta DolcettiDolcetti, Greta University of Parma - Department of Mathematical, Physical, and Computer SciencesItaly Unconstrained Variable Oracles for Faster Static Analyses
Paul DownenDownen, Paul University of Massachusetts LowellUnited States Closure Conversion in Little Pieces
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Deep Learning Robustness Verification for Few-Pixel Attacks PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Derek DreyerDreyer, Derek MPI-SWSGermany Stuttering for Free Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning Melocoton: A Program Logic for Verified Interoperability Between OCaml and C Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College London United Kingdom Committee Member in Steering Committee for SPLASH 2023 When Concurrency Matters: Behaviour-Oriented Concurrency Reference Capabilities for Flexible Memory Management Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Kuntai DuDu, Kuntai University of Chicago Run-Time Prevention of Software Integration Failures of Machine Learning APIs
José DuarteDuarte, José Actyx AG Local-first at Actyx
Quentin DUCASSEDUCASSE, Quentin Lab-STICC Gigue: A JIT Code Binary Generator for Hardware Testing
Jana DunfieldDunfield, Jana Queen's University, Kingston, OntarioCanada PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Thomas DurieuxDurieux, Thomas TU DelftNetherlands Empirical Study of the Docker Smell Impact
Greg DurrettDurrett, Greg University of Texas at AustinUnited States Data Extraction via Semantic Regular Expression Synthesis
Emanuele D’OsualdoD’Osualdo, Emanuele MPI-SWSGermany Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
E Jonathan EdwardsEdwards, Jonathan IndependentUnited States Document-oriented programming based on edit history Live & Local Schema Change: Challenge Problems Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the PAINT-track
Eric EideEide, Eric University of UtahUnited States Generating Conforming Programs With Xsmith
Yousef El-DardiryEl-Dardiry, Yousef TypeCell Local-first: experiments & lessons learned building TypeCell TypeCell: End-User Programming in Block-Based rich text documents
Demetrios G. EliadesEliades, Demetrios G. A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes
Michael EmmiEmmi, Michael Amazon Web ServicesUnited States PC Member in Program Committee within the SAS -track
Mehmet EmreEmre, Mehmet University of San FranciscoUnited States Aliasing Limits on Translating C to Safe Rust
Romina EramoEramo, Romina University of TeramoItaly Committee Member in Program Committee within the SLE-track
Sebastian ErdwegErdweg, Sebastian JGU MainzGermany Interactive Debugging of Datalog Programs Committee Member in Program Committee within the GPCE-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Oscar ErikssonEriksson, Oscar KTH Royal Institute of Technology Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Michael D. ErnstErnst, Michael D. University of WashingtonUnited States Inference of Resource Management Specifications
Martin ErwigErwig, Martin Oregon State UniversityUnited States Committee Member in Program Committee within the GPCE-track
Santiago EscobarEscobar, Santiago Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Video Co-Chair in Organizing Committee for SPLASH 2023
Patrick EugsterEugster, Patrick USI Lugano; Purdue UniversitySwitzerland Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the REBLS-track
Neil EvansEvans, Neil AWEUnited Kingdom Polynomial Analysis of Modular Arithmetic
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal PLMW Co-Chair in Organizing Committee for SPLASH 2023 Mentor in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Organizing Committee within the SPLASH PLMW-track
Luis F. GomesF. Gomes, Luis Carnegie Mellon UniversityPortugal Transforming Ideas into Code: Visual Sketching for ML Development
Alessandro FantechiFantechi, Alessandro University of Florence Committee Member in Program Committee within the FTSCS-track
Soroush FarokhniaFarokhnia, Soroush Hong Kong University of Science and Technology Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts
Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom Committee Member in Program Committee within the FTSCS-track
Luca FavalliFavalli, Luca Università degli Studi di Milano Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling Layer
Marc FeeleyFeeley, Marc Université de MontréalCanada An Executable Semantics for Faster Development of Optimizing Python Compilers
Tórur Feilberg ZachariassenFeilberg Zachariassen, Tórur Department of Computer Science, University of CopenhagenDenmark The Implementation of A Type-Safe Structure Editor
Molly FeldmanFeldman, Molly Oberlin CollegeUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2023 Author in Program Committee within the LIVE-track Committee Member in Organizing Committee within the SPLASH PLMW-track Co-chair in Program Commitee within the SPLASH -E-track Committee Member in Steering Committee within the SPLASH -E-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Committee Member in Program Committee within the DLS-track Committee Member in Steering Committee within the DLS-track
Matthias FelleisenFelleisen, Matthias PLT @ Northeastern UniversityUnited States How Profilers Can Help Navigate Type Migration
Shenghua FengFeng, Shenghua Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Lower Bounds for Possibly Divergent Probabilistic Programs
Kasra FerdowsiFerdowsi, Kasra University of California at San DiegoUnited States Committee Member in Program Committee within the HATRA-track
Jerome FeretFeret, Jerome INRIA ParisFrance Symbolic transformation of expressions in modular arithmetic
Kostas FerlesFerles, Kostas UT Austin Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom Unification modulo equational theories in languages with binding operators
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly PC Member in Program Committee within the SAS -track
Carla FerreiraFerreira, Carla NOVA University LisbonPortugal How to Enforce and Verify Invariants in Weakly Consistent Databases
Francisco FerreiraFerreira, Francisco Royal Holloway, University of London The Concurrent Calculi Formalisation Benchmark
Paulo FerreiraFerreira, Paulo University of Oslo / INESC-ID Heap Size Adjustment with CPU Control
John FeserFeser, John Massachusetts Institute of Technology Inductive Program Synthesis Guided by Observational Program Similarity
Robby FindlerFindler, Robby Northwestern UniversityUnited States Rhombus: A New Spin on Macros Without All the Parentheses Committee Member in Program Committee within the REBLS-track
Jack FirthFirth, Jack independent Rhombus: A New Spin on Macros Without All the Parentheses
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the SLE-track
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States Saggitarius: A DSL for Specifying Grammatical Domains
Kathi FislerFisler, Kathi Brown UniversityUnited States Committee Member in Steering Committee within the SPLASH -E-track
Matthew FlattFlatt, Matthew University of UtahUnited States Rhombus: A New Spin on Macros Without All the Parentheses Committee Member in Steering Committee within the DLS-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Oliver FlattFlatt, Oliver Equality Saturation Theory Exploration à la Carte
Alcides FonsecaFonseca, Alcides LASIGE, University of LisbonPortugal Publicity Co-Chair in Organizing Committee for SPLASH 2023 Web Co-Chair in Organizing Committee for SPLASH 2023 Latte: Lightweight Aliasing Tracking for Java Latte: Lightweight Aliasing Tracking for Java
Niklas ForsFors, Niklas Lund UniversitySweden ComPOS: a DSL for Composing IoT Systems With Weak Connectivity CodeProber: Live Compiler Exploration
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Committee Member in Steering Committee for SPLASH 2023
Nate FosterFoster, Nate Cornell UniversityUnited States Mentoring Talk 1 Formal Abstractions for Packet Scheduling Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Joseph FourmentFourment, Joseph EPFL A Mechanized Theory of the Box Calculus
Nikos FoutrisFoutris, Nikos The University of ManchesterUnited Kingdom Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation A Multifaceted Memory Analysis of Java Benchmarks
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the LIVE-track
Anthony C. J. FoxFox, Anthony C. J. ARMUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Session-Based Typechecking for Elixir Modules Using ElixirST
Juliana FrancoFranco, Juliana DeepMindUnited Kingdom PC Member in Program Committee within the MPLR-track
Andy FriesenFriesen, Andy Roblox Goals of the Luau Type System, Two Years On
Florian FrohnFrohn, Florian RWTH Aachen UniversityGermany ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
Damian FrölichFrölich, Damian University of AmsterdamNetherlands Adaptive Structural Operational Semantics
Rongxiao FuFu, Rongxiao The University of Edinburgh Structural Subtyping as Parametric Polymorphism
Juan FumeroFumero, Juan University of Manchester, UKUnited Kingdom Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps PC Member in Program Committee within the VMIL-track
G Catarina GamboaGamboa, Catarina Carnegie Mellon University and LASIGE, University of LisbonPortugal Student Volunteer Co-Chair in Organizing Committee for SPLASH 2023 Latte: Lightweight Aliasing Tracking for Java Latte: Lightweight Aliasing Tracking for Java Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
Joshua GancherGancher, Joshua Carnegie Mellon UniversityUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Pengfei GaoGao, Pengfei ShanghaiTech University Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Jose GarciaGarcia, Jose Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Deepak GargGarg, Deepak MPI-SWSGermany Compositional Security Definitions for Higher-Order Where Declassification
Antonio GarmendiaGarmendia, Antonio Universidad Autónoma de MadridSpain Reuse and Automated Integration of Recommenders for Modelling Languages
Julian GarnGarn, Julian Johannes Kepler University Linz Generating Java Interfaces for Accessing Foreign Objects in GraalVM
Matthew GaudetGaudet, Matthew MozillaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Ada GavrilovskaGavrilovska, Ada Georgia Institute of Technology Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom What we learned from writing a book about session types Classical Processes in modern dress Co-chair in Organizing Committee within the ST30 -track Co-chair in Programme Committee within the ST30 -track
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eduardo GeraldoGeraldo, Eduardo Data-Dependent Confidentiality in DCR Graphs
Ali GhanbariGhanbari, Ali Iowa State UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Lorenzo GheriGheri, Lorenzo University of OxfordUnited Kingdom Multicompatibility for Multiparty-Session Composition
Lorenzo GheriGheri, Lorenzo University of OxfordUnited Kingdom The Concurrent Calculi Formalisation Benchmark Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
Mahdi GhorbaniGhorbani, Mahdi University of EdinburghUnited Kingdom Compiling Structured Tensor Algebra
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States How fitting is your abstract domain? A Formal Framework to Measure the Incompleteness of Abstract Interpretations PC Member in Program Committee within the SAS -track
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Using Event Structures to model Multiparty Session Types: results and open problems Resource-aware soundness for big-step semantics
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the GPCE-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jürgen GieslGiesl, Jürgen RWTH Aachen UniversityGermany ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
Josselin GietGiet, Josselin Ecole Normale SupérieureFrance A Product of Shape and Sequence Abstractions
Noah GiibbsGiibbs, Noah Shopify Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Yossi GilGil, Yossi TechnionIsrael Fluent APIs in Functional Languages
Florian GilcherGilcher, Florian Germany Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Eric GiovanniniGiovannini, Eric University of Michigan Gradual Typing for Effect Handlers
Marco GiuntiGiunti, Marco NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa Behavioural up/down casting for statically typed languages AtomiS: Data-centric synchronization made practical
Elena GlassmanGlassman, Elena Harvard UniversityUnited States Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the HATRA-track
Mario GleirscherGleirscher, Mario University of BremenGermany Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar IST Austria, Austria Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs The Bounded Pathwidth of Control-flow Graphs
Harrison GoldsteinGoldstein, Harrison University of PennsylvaniaUnited States Committee Member in Program Committee within the HATRA-track
Anitha GollamudiGollamudi, Anitha University of Massachusetts LowellUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Francisco Gomes de Oliveira NetoGomes de Oliveira Neto, Francisco Chalmers University of Technology, Sweden / University of GothenburgSweden Committee Member in Program Commitee within the SPLASH -E-track
Hannah GommerstadtGommerstadt, Hannah Vassar College Committee Member in Program Commitee within the SPLASH -E-track
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the PAINT-track PC Member in Program Committee within the MPLR-track
April GonçalvesGonçalves, April Metastate AGDenmark Author in Program Committee within the LIVE-track
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Rhombus: A New Spin on Macros Without All the Parentheses Adventure of a Lifetime: Extract Method Refactoring for Rust
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Colin GordonGordon, Colin Drexel UniversityUnited States Error Localization for Sequential Effect Systems Trustworthy Formal Natural Language Specifications
Roberta GoriGori, Roberta University of PisaItaly PC Member in Program Committee within the SAS -track
Leo GourdinGourdin, Leo Université Grenoble-Alpes Formally Verifying Optimizations with Block Simulations
Gavin GrayGray, Gavin ETH Zürich Debugging Trait Errors as Logic Programs A Grounded Conceptual Model for Ownership Types in Rust
Ben GreenmanGreenman, Ben Brown University, USA Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2023
Ben GreenmanGreenman, Ben Brown UniversityUnited States How Profilers Can Help Navigate Type Migration Rhombus: A New Spin on Macros Without All the Parentheses
Ben GreenmanGreenman, Ben Brown University, USA Co-chair in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
Ben GreenmanGreenman, Ben Brown UniversityUnited States Committee Member in Program Committee within the HATRA-track
Ben GreenmanGreenman, Ben Brown University, USA Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Taylor Gregoire-WrightGregoire-Wright, Taylor Independent consultant Concept-Centric Software Development: An Experience Report
Gabor GreifGreif, Gabor DFINITYGermany Collecting Garbage on the Blockchain
Eric GriffisGriffis, Eric University of MichiganUnited States Live Pattern Matching with Typed Holes
Victor GrishchenkoGrishchenko, Victor Unaffiliated MVC, MVCC and Causal Trees
Dan GrossmanGrossman, Dan University of WashingtonUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
David GroveGrove, David IBM ResearchUnited States Committee Member in Steering Committee for SPLASH 2023
Bin GuGu, Bin Beijing Institute of Control Engineering, China Towards Better Semantics Exploration for Browser Fuzzing
Hugo Musso GualandiGualandi, Hugo Musso Czech Technical University in Prague Reusing Just-in-Time Compiled Code
Roberto GuancialeGuanciale, Roberto KTH P4R-Type: a Verified API for P4 Control Plane Programs
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Reuse and Automated Integration of Recommenders for Modelling Languages
Scott GuestGuest, Scott University of MichiganUnited States Live Pattern Matching with Typed Holes
Guy GuetaGueta, Guy VMWare Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Arjun GuhaGuha, Arjun Northeastern University and Roblox ResearchUnited States Continuing WebAssembly with Effect Handlers Committee Member in Steering Committee within the DLS-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yujiang GuiGui, Yujiang UNSW SydneyAustralia A Container-Usage-Pattern-based Context Debloating Approach for Object-Sensitive Pointer Analysis
Guanchen GuoGuo, Guanchen Peking UniversityChina Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
Lihua GuoGuo, Lihua Tsinghua University Towards Better Semantics Exploration for Browser Fuzzing
Philip GuoGuo, Philip University of California at San DiegoUnited States Unfolding State Changes via Live State-First Debugging
Xiangyu GuoGuo, Xiangyu Arizona State University stablekanren: Integrating Stable Model Semantics with miniKanren
Yao GuoGuo, Yao Peking UniversityChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Sankha Narayan GuriaGuria, Sankha Narayan University of KansasUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Armaël GuéneauGuéneau, Armaël Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Lennard GäherGäher, Lennard MPI-SWS & Saarland UniversityGermany Stuttering for Free
Tudor GîrbaGîrba, Tudor feenk.com Committee Member in Program Committee within the LIVE-track
H Christine H. FloodH. Flood, Christine Red Hat, Inc. PC Member in Program Committee within the VMIL-track Committee Member in Program Committee within the MPLR-track
Julian HaasHaas, Julian Technische Universität Darmstadt Committee Member in Organizing Committee within the PLF-track
Thomas HaasHaas, Thomas Technical University of BraunschweigGermany Static Analysis of Memory Models for SMT Encodings
Houssem HachmaouiHachmaoui, Houssem Translating canonical SQL to imperative code in Coq
Sean HadarHadar, Sean Technion Scalable Spreadsheet-driven End-User Applications with Incremental Computation
Ernst Moritz HahnHahn, Ernst Moritz Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
William HallahanHallahan, William Binghamton Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden P4R-Type: a Verified API for P4 Control Plane Programs PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the IWACO-track
Yann HamdaouiHamdaoui, Yann TweagFrance Cached call-by-name: incremental evaluation of configurations Committee Member in Organizing Committee within the CONFLANG-track
Travis HanceHance, Travis Carnegie Mellon UniversityUnited States Leaf: Modularity for Temporary Sharing in Separation Logic Verus: Verifying Rust Programs using Linear Ghost Types
Jonas HansenHansen, Jonas ETH Zurich Compositional Reasoning for Side-effectful Iterators and Iterator Adapters
Ben HardekopfHardekopf, Ben University of California at Santa BarbaraUnited States Aliasing Limits on Translating C to Safe Rust
Osman HasanHasan, Osman National University of Sciences & Technology Committee Member in Program Committee within the FTSCS-track
Shideh HashemianHashemian, Shideh University of Edinburgh Compiling Structured Tensor Algebra
William G HatchHatch, William G University of Utah Generating Conforming Programs With Xsmith
Matthias HauswirthHauswirth, Matthias USI LuganoSwitzerland Teaching Programming with Graphics: Pitfalls and a Solution
Vojtěch HavlenaHavlena, Vojtěch Brno University of Technology Solving String Constraints with Lengths by Stabilization
Chris HawblitzelHawblitzel, Chris Microsoft ResearchUnited States Verus: Verifying Rust Programs using Linear Ghost Types
Anne HaxthausenHaxthausen, Anne Denmark Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Akihiro HayashiHayashi, Akihiro Georgia Institute of Technology, USAUnited States Towards Safe HPC: Productivity and Performance via Rust interfaces for a Distributed C++ Actors library
Dongjie HeHe, Dongjie UNSWAustralia A Container-Usage-Pattern-based Context Debloating Approach for Object-Sensitive Pointer Analysis
Fei HeHe, Fei Tsinghua UniversityChina Automated Ambiguity Detection in Layout-Sensitive Grammars
Ningyu HeHe, Ningyu Peking UniversityChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Pinjia HeHe, Pinjia Chinese University of Hong Kong, ShenzhenChina Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Xiao HeHe, Xiao University of Science and Technology BeijingChina Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
Regina HebigHebig, Regina Chalmers University of Technology & University of GothenburgSweden Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenario
Görel HedinHedin, Görel Lund UniversitySweden ComPOS: a DSL for Composing IoT Systems With Weak Connectivity CodeProber: Live Compiler Exploration Committee Member in Program Committee within the SLE-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Maxwell HeiberHeiber, Maxwell MetaUnited Kingdom Going Static, Gradually: Semantic Soundness and Telling the Truth at Scale
Malte HeithoffHeithoff, Malte RWTH Aachen University Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Joseph M. HellersteinHellerstein, Joseph M. UC BerkeleyUnited States Thursday Keynote (Title Placeholder)
Nathan HendersonHenderson, Nathan University of Alberta CacheIR: The Benefits of a Structured Representation for Inline Caches
Troels HenriksenHenriksen, Troels University of Copenhagen, DenmarkDenmark Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Martin HenzHenz, Martin National University of SingaporeSingapore PC Chair in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track Committee Member in Steering Committee within the SPLASH -E-track
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands A Framework for the Localization of Programming Languages Career Panel Creating a learnable and inclusive programming language Committee Member in Program Committee within the SLE-track Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Manuel HermenegildoHermenegildo, Manuel Technical University of Madrid (UPM) and IMDEA Software InstituteSpain Co-chair in Organizing Committee for SAS 2023 Radhia Cousot Award and PC report Opening PC Chair in Program Committee within the SAS -track
Matthew HertzHertz, Matthew University at Buffalo PC Member in Program Committee within the MPLR-track
Michael HicksHicks, Michael Amazon Web Services and the University of MarylandUnited States Fat Pointers for Temporal Memory Safety of C
Daichi HidakaHidaka, Daichi Oita University Realizing Persistent Signals in JavaScript
Kesha HietalaHietala, Kesha Amazon Web ServicesUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thomas T. HildebrandtHildebrandt, Thomas T. University of CopenhagenDenmark Data-Dependent Confidentiality in DCR Graphs
Daniel HillerströmHillerström, Daniel Huawei Zurich Research CenterSwitzerland Structural Subtyping as Parametric Polymorphism Continuing WebAssembly with Effect Handlers
Michael HiltonHilton, Michael Carnegie Mellon UniversityUnited States SPLASH-E Co-Chair in Organizing Committee for SPLASH 2023 Co-chair in Program Commitee within the SPLASH -E-track
Andrew K. HirschHirsch, Andrew K. University at Buffalo, SUNYUnited States Compositional Security Definitions for Higher-Order Where Declassification Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Robert HirschfeldHirschfeld, Robert University of Potsdam; Hasso Plattner InstituteGermany Onward! Essays PC Chair in Organizing Committee for SPLASH 2023 Committee Member in Steering Committee for SPLASH 2023 Visual Replacements: Cross-language Domain-specific Representations in Structured Editors A Penny a Function: Towards Cost Transparent Cloud Programming Toward Studying Example-based Live Programming in CS/SE Education Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects Time-awareness in Object-exploration Tools: Toward In Situ Omniscient Debugging Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the SLE-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Onward! Essays PC Chair in Program Committee within the SPLASH Onward! Essays-track Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track PC Member in Program Committee within the MPLR-track
S. HitarthHitarth, S. Hong Kong University of Science and TechnologyHong Kong Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Christoph HochrainerHochrainer, Christoph Technical University of Vienna A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
Henry HoffmannHoffmann, Henry University of ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Tyler HollowayHolloway, Tyler Harvard University Exploratory Study on Multi-User Program Synthesis: A Multi-Wizard Approach
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lukáš HolíkHolík, Lukáš Brno University of Technology Solving String Constraints with Lengths by Stabilization
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Branching Compositional Data Transformations in jq, Visually Committee Member in Program Committee within the PAINT-track
Jozef HoomanHooman, Jozef TNO; Radboud University NijmegenNetherlands Towards an Industrial Stateful Software Rejuvenation Toolchain Using Model Learning
Joshua HorowitzHorowitz, Joshua University of Washington Author in Program Committee within the LIVE-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2023
Johannes HostertHostert, Johannes Saarland University, MPI-SWS Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Jon HowellHowell, Jon VMware ResearchUnited States Leaf: Modularity for Temporary Sharing in Separation Logic Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols Verus: Verifying Rust Programs using Linear Ghost Types
Chiao HsiehHsieh, Chiao Graduate School of Informatics, Kyoto UniversityJapan Perception Contracts for Safety of ML-Enabled Systems
Justin HsuHsu, Justin Cornell UniversityUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Future Directions for Session Types Validating IoT Devices with Rate-Based Session Types
Xiaowen HuHu, Xiaowen The University of Sydney Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects Committee Member in Program Committee within the SLE-track
David HuaHua, David University of WaterlooCanada Initializing Global Objects: Time and Order
Claire HuangHuang, Claire Australian National University Improving Garbage Collection Observability with Performance Tracing
Yifei HuangHuang, Yifei University of Southern California Explainable Program Synthesis by Localizing Specifications
John HuiHui, John Columbia University, New YorkUnited States Video Co-Chair in Organizing Committee for SPLASH 2023
Mathieu HuotHuot, Mathieu University of OxfordUnited Kingdom Compiling Structured Tensor Algebra
Paul HübnerHübner, Paul Delft University of TechnologyNetherlands A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
Hans HüttelHüttel, Hans Department of Computer Science, Aalborg UniversityDenmark The Implementation of A Type-Safe Structure Editor
I Jason IbrahimIbrahim, Jason DFINITY Foundation Collecting Garbage on the Blockchain
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the DLS-track
Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mirai IkebuchiIkebuchi, Mirai Kyoto UniversityJapan Committee Member in Reviewers within the SPLASH Student Research Competition-track
Kazuki IkemoriIkemori, Kazuki Tokyo Institute of Technology Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
Jeevana Priya InalaInala, Jeevana Priya Microsoft Research Committee Member in Reviewers within the SPLASH Student Research Competition-track
Apoorv IngleIngle, Apoorv University of IowaUnited States Video Co-Chair in Organizing Committee for SPLASH 2023
Grant IraciIraci, Grant University at BuffaloUnited States Validating IoT Devices with Rate-Based Session Types
Iain IrelandIreland, Iain Mozilla CacheIR: The Benefits of a Structured Representation for Inline Caches
Jemma IssroffIssroff, Jemma Shopify Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Anastasia IsychevIsychev, Anastasia Technical University of MunichGermany Scaling up Roundoff Analysis of Functional Data Structure Programs
Shachar ItzhakyItzhaky, Shachar TechnionIsrael Scalable Spreadsheet-driven End-User Applications with Incremental Computation
Serhii IvanenkoIvanenko, Serhii INESC-ID / Técnico, ULisboaPortugal CloudJIT: a Just-in-Time FaaS Optimizer
Alex IvanovIvanov, Alex Google Configuration testing for Borg at Google
J Nouraldin JaberJaber, Nouraldin Purdue UniversityUnited States Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
Daniel JacksonJackson, Daniel MIT Language Model Agents Enable Semi-Formal Programming Concept-Centric Software Development: An Experience Report
Dejice JacobJacob, Dejice University of Glasgow, UKUnited Kingdom CHERI Performance Enhancement for a Bytecode Interpreter Morello MicroPython: A Python Interpreter for CHERI
Frederik Krogsdal JacobsenJacobsen, Frederik Krogsdal The Concurrent Calculi Formalisation Benchmark
Michael B. JamesJames, Michael B. University of California at San DiegoUnited States Grounded Copilot: How Programmers Interact with Code-Generating Models
Abhinav JangdaJangda, Abhinav Microsoft ResearchUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Nico JansenJansen, Nico Software Engineering, RWTH Aachen UniversityGermany Seamless Code Generator Synchronization in the Composition of Heterogeneous Modeling Languages Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Corinna JaschekJaschek, Corinna Hasso Plattner Institute, University of PotsdamGermany Committee Member in Program Committee within the PAINT-track
Alan JeffreyJeffrey, Alan RobloxUnited States Goals of the Luau Type System, Two Years On Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the HATRA-track
Jonas JensenJensen, Jonas Semmle Coq: the world's best macro assembler?
Thomas P. JensenJensen, Thomas P. INRIA Rennes Type-directed Program Transformation for Constant-Time Enforcement
Faran JessaniJessani, Faran Google Applying Large Scale Diffing to Declarative Configuration Code for Production Safety
Ranjit JhalaJhala, Ranjit University of California at San DiegoUnited States Complete First-Order Reasoning for Properties of Functional Programs PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Samyak JhaveriJhaveri, Samyak UCIUnited States Cloning And Beyond: A Quantum Solution to Duplicate Code
Ruyi JiJi, Ruyi Peking UniversityChina Scaling up Program Synthesis to Efficient Algorithms Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Songlin JiaJia, Songlin Purdue University Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Junchen JiangJiang, Junchen University of Chicago Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Shengyi JiangJiang, Shengyi University of Hong KongChina Greedy Implicit Bounded Quantification
Yu JiangJiang, Yu Tsinghua UniversityChina Towards Better Semantics Exploration for Browser Fuzzing Building Dynamic System Call Sandbox With Partial Order Analysis
Yu JiangJiang, Yu Tsinghua UniversityChina Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Yuxuan JiangJiang, Yuxuan Purdue UniversityUnited States Graph IRs for Impure Higher-Order Languages - Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Jiaxun,Tang Jiaxun,Tang University of Massachusetts Amherst MemPerf: Profiling Allocator-Induced Performance Slowdowns
Adrian JohnstoneJohnstone, Adrian Royal Holloway University of London, UKUnited Kingdom A reference GLL implementation Committee Member in Program Committee within the SLE-track
Richard JonesJones, Richard University of KentUnited Kingdom PC Member in Program Committee within the MPLR-track
Sung-Shik JongmansJongmans, Sung-Shik Open University of the Netherlands; CWINetherlands PC Member in Programme Committee within the ST30 -track
Frédéric JouaultJouault, Frédéric ERIS Team, ESEO , France Temporal Breakpoints for Multiverse Debugging
Gwendal JouneauxJouneaux, Gwendal University of Rennes; Inria; IRISAFrance Adaptive Structural Operational Semantics
Vojin JovanovicJovanovic, Vojin Oracle LabsSwitzerland CloudJIT: a Just-in-Time FaaS Optimizer Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image Committee Member in Program Committee within the GPCE-track
Jaehwang JungJung, Jaehwang KAIST, South Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Ralf JungJung, Ralf ETH ZürichSwitzerland Committee Member in Reviewers within the SPLASH Student Research Competition-track
Daniel Jurjo RivasJurjo Rivas, Daniel IMDEA Software Institute and T.U. of Madrid (UPM)Spain Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
K Daniel KaestnerKaestner, Daniel AbsIntGermany Invited Speaker in Invited Speakers for SAS 2023 Abstract Interpretation in Industry - Experience and Lessons Learned
Gowtham KakiKaki, Gowtham University of Colorado BoulderUnited States Verifying Indistinguishability of Privacy-Preserving Protocols Historia: Refuting Callback Reachability with Message-History Logics PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sophie KalebaKaleba, Sophie University of KentUnited Kingdom Don't Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Konstantinos KallasKallas, Konstantinos University of PennsylvaniaUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eduard KamburjanKamburjan, Eduard University of OsloNorway Committee Member in Program Committee within the FTSCS-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of TsukubaJapan Committee Member in Program Committee within the GPCE-track
Shoaib KamilKamil, Shoaib Adobe Research Committee Member in Program Committee within the GPCE-track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Realizing Persistent Signals in JavaScript Committee Member in Program Committee within the REBLS-track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany A Deductive Verification Infrastructure for Probabilistic Programs Lower Bounds for Possibly Divergent Probabilistic Programs
Mahmut Taylan KandemirKandemir, Mahmut Taylan Pennsylvania State UniversityUnited States Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Chan Gu KangKang, Chan Gu Korea UniversitySouth Korea Modular Component-Based Quantum Circuit Synthesis
Jeehoon KangKang, Jeehoon KAISTSouth Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Tobias KappéKappé, Tobias Open Universiteit of the Netherlands and ILLC, University of Amsterdam Formal Abstractions for Packet Scheduling
Siddhartha KasivajhulaKasivajhula, Siddhartha independent Rhombus: A New Spin on Macros Without All the Parentheses
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan Co-chair in Organizing Committee within the LIVE-track Author in Program Committee within the LIVE-track
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen UniversityGermany A Deductive Verification Infrastructure for Probabilistic Programs Lower Bounds for Possibly Divergent Probabilistic Programs
Harpreet KaurKaur, Harpreet University of New Brunswick Array Bytecode Support in MicroJIT
Ryan KavanaghKavanagh, Ryan McGill UniversityCanada Mechanizing Session-Types Using a Structural View: Enforcing linearity without linearity
Piyus KediaKedia, Piyus IIIT DelhiIndia Rapid: Region-based Pointer Disambiguation
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2023 The importance of facing outwards: why dynamic languages can and should address the world Steering Committee Chair in Steering Committee within the SPLASH Onward! Papers-track Steering Committee Chair in Onward! Steering Committee within the SPLASH Onward! Essays-track
Chantal KellerKeller, Chantal Université Paris SaclayFrance Translating canonical SQL to imperative code in Coq
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Inference of Resource Management Specifications Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Rory KellyKelly, Rory University of British Columbia Exploring Engagement and Self-Efficacy in an Introductory Computer Science Course
Andrew KennedyKennedy, Andrew Facebook LondonUnited Kingdom Coq: the world's best macro assembler?
Kenneth KentKent, Kenneth University of New BrunswickCanada Array Bytecode Support in MicroJIT
Delia KesnerKesner, Delia Université Paris Cité - CNRS - IRIF; Institut Universitaire de FranceFrance Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unified Framework
Ahmed Khaled ZaherKhaled Zaher, Ahmed HKUSTEgypt Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis
Sharjeel KhanKhan, Sharjeel Georgia Institute of Technology Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Raffi KhatchadourianKhatchadourian, Raffi City University of New York (CUNY) Hunter CollegeUnited States Committee Member in Program Committee within the GPCE-track
Tsz Hang KiangKiang, Tsz Hang Georgia Institute of Technology Towards Safe HPC: Productivity and Performance via Rust interfaces for a Distributed C++ Actors library
Jaewoo KimKim, Jaewoo KAIST Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Andy KingKing, Andy KentUnited Kingdom Polynomial Analysis of Modular Arithmetic
Chun Kit LAMKit LAM, Chun Hong Kong University of Science and Technology (HKUST) The Bounded Pathwidth of Control-flow Graphs
Martin KleppmannKleppmann, Martin TU MunichGermany Extending Automerge: Undo, Redo, and Move Committee Member in Organizing Committee within the PLF-track
Alexander KnappKnapp, Alexander University of AugsburgGermany Committee Member in Program Committee within the FTSCS-track
Alex KnauthKnauth, Alex Northeastern UniversityUnited States Rhombus: A New Spin on Macros Without All the Parentheses
Kerim KochekovKochekov, Kerim Hong Kong University of Science and TechnologyTurkmenistan Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis
Jérémie KoenigKoenig, Jérémie Yale UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marios KogiasKogias, Marios Imperial College London & Microsoft Research When Concurrency Matters: Behaviour-Oriented Concurrency
Wen KokkeKokke, Wen University of Edinburgh PC Member in Programme Committee within the ST30 -track
Takashi KokubunKokubun, Takashi ShopifyUnited States Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Aashish KolluriKolluri, Aashish National University of SingaporeSingapore User-Customizable Transpilation of Scripting Languages
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Towards Efficient Model Comparison Using Automated Program Rewriting Committee Member in Program Committee within the SLE-track
Chaozhe KongKong, Chaozhe Peking UniversityChina Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Lingkun KongKong, Lingkun Rice UniversityUnited States Regular Expression Matching using Bit Vector Automata
Pieter KoopmanKoopman, Pieter Radboud University Nijmegen, NetherlandsNetherlands Strongly-Typed Multi-View Stack-Based Computations
Niklas KorzKorz, Niklas Alugha GmbHGermany Virtual Domain Specific Languages via Embedded Projectional Editing
Christos KotselidisKotselidis, Christos Pierer Innovation / The University of ManchesterUnited Kingdom Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps A Multifaceted Memory Analysis of Java Benchmarks
Peter KourzanovKourzanov, Peter imec Beyond RSS: Towards Intelligent Dynamic Memory Management
Georgia KouveliKouveli, Georgia ARM PC Member in Program Committee within the MPLR-track
Dimitrios KouzapasKouzapas, Dimitrios University of Cyprus A Semantic Framework for Automatic Composition of Decentralised Industrial Control Schemes
David KozakKozak, David Brno University of Technology, FITCzech Republic Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
Dexter KozenKozen, Dexter Cornell UniversityUnited States Formal Abstractions for Packet Scheduling
Andreas KrallKrall, Andreas Vienna University of Technology, AustriaAustria A pred-LL(*) Parsable Typed Higher-Order Macro System for Architecture Description Languages
Lucas KramerKramer, Lucas University of MinnesotaUnited States Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars Nanopass Attribute Grammars
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Proof Automation for Linearizability in Separation Logic
Eva KrebsKrebs, Eva Hasso Plattner Institute (HPI), University of Potsdam, GermanyGermany Toward Studying Example-based Live Programming in CS/SE Education Committee Member in Program Committee within the PAINT-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, United States A Grounded Conceptual Model for Ownership Types in Rust Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track
Neel KrishnaswamiKrishnaswami, Neel University of CambridgeUnited Kingdom PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Paul KrogmeierKrogmeier, Paul University of Illinois at Urbana-ChampaignUnited States Languages with Decidable Learning: A Meta-theorem
Alberto Krone-MartinsKrone-Martins, Alberto UC Irvine Cloning And Beyond: A Quantum Solution to Duplicate Code
Sebastián KrynskiKrynski, Sebastián Czech Technical UniversityCzechia Reusing Just-in-Time Compiled Code
Roland KuhnKuhn, Roland Actyx AGGermany Local-first at Actyx
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Randomized Testing of Byzantine Fault Tolerant Algorithms PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Committee Member in Program Committee within the HATRA-track
Kimio KuramitsuKuramitsu, Kimio Japan Women's UniversityJapan KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education
Ivan KurtevKurtev, Ivan Altran Netherlands Committee Member in Program Committee within the SLE-track
L Loïc LagadecLagadec, Loïc Lab-STICC CNRS UMR 6285, ENSTA BretagneFrance Gigue: A JIT Code Binary Generator for Hardware Testing Temporal Breakpoints for Multiverse Debugging
Shuvendu K. LahiriLahiri, Shuvendu K. Microsoft ResearchUnited States Inference of Resource Management Specifications
Akash LalLal, Akash Microsoft Research Inference of Resource Management Specifications
Christopher LamLam, Christopher University of Illinois, Urbana-ChampainUnited States Video Co-Chair in Organizing Committee for SPLASH 2023
Xavier LambeinLambein, Xavier Belgium PAW: a programmable and visual audio workstation
Christos LamprakosLamprakos, Christos National Technical University of Athens, Katholieke Universiteit Leuven Beyond RSS: Towards Intelligent Dynamic Memory Management
Julien LangeLange, Julien Royal Holloway University of London Committee Member in Program Committee within the SLE-track
Marcos Lara-ReinholdLara-Reinhold, Marcos Google Evolving a configuration language in place at Google scale
Octave LaroseLarose, Octave University of KentUnited Kingdom Don't Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTU P4R-Type: a Verified API for P4 Control Plane Programs
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Andrea LattuadaLattuada, Andrea VMware ResearchSwitzerland Verus: Verifying Rust Programs using Linear Ghost Types
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States Synthesizing Precise Static Analyzers for Automatic Differentiation
Jonathan LaurentLaurent, Jonathan Carnegie Mellon University / Karlsruhe Institute of Technology Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Julia LawallLawall, Julia InriaFrance Committee Member in Program Committee within the GPCE-track
Matthew Alan Le BrunLe Brun, Matthew Alan University of MaltaMalta Towards Session-Typed Consensus
Alexis Le GlaunecLe Glaunec, Alexis Rice UniversityUnited States Regular Expression Matching using Bit Vector Automata
Gurvan LE GUERNICLE GUERNIC, Gurvan DGA MI & Université de Rennes 1France Adaptive Structural Operational Semantics
Luka Le RouxLe Roux, Luka Lab-STICC CNRS UMR 6285, ENSTA BretagneFrance Temporal Breakpoints for Multiverse Debugging
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States PC Member in Program Committee within the VMIL-track PC Member in Program Committee within the MPLR-track
Dongjae LeeLee, Dongjae Seoul National UniversitySouth Korea Stuttering for Free
Edward LeeLee, Edward University of WaterlooCanada Simple Reference Immutability for System F-Sub
Janggun LeeLee, Janggun KAIST Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Yan LeiLei, Yan Chongqing UniversityChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Continuing WebAssembly with Effect Handlers
Benoît LelandaisLelandais, Benoît CEA/DAM/DIF, France Practical Runtime Instrumentation of Software Languages: the Case of SciHook
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance Reverse Template Processing using Abstract Interpretation
Ondřej LengálLengál, Ondřej Brno University of Technology Solving String Constraints with Lengths by Stabilization
David LeopoldsederLeopoldseder, David Oracle LabsAustria Diagnosing Compiler Performance by Comparing Optimization Decisions
Benjamin LernerLerner, Benjamin Northeastern University, United StatesUnited States Committee Member in Steering Committee within the SPLASH -E-track
Sorin LernerLerner, Sorin University of California at San DiegoUnited States Unfolding State Changes via Live State-First Debugging PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the LIVE-track
Dorian LeroyLeroy, Dorian CEA/DAM/DIF, France Practical Runtime Instrumentation of Software Languages: the Case of SciHook
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Simple Reference Immutability for System F-Sub TASTyTruffle: Just-in-time Specialization of Parametric Polymorphism Initializing Global Objects: Time and Order
Liyi LiLi, Liyi University of MarylandUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Paley LiLi, Paley Oracle Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
Peixuan LiLi, Peixuan Pennsylvania State UniversityUnited States Compositional Security Definitions for Higher-Order Where Declassification
Shanshan LiLi, Shanshan National University of Defense TechnologyChina Towards Better Semantics Exploration for Browser Fuzzing
Shaohua LiLi, Shaohua ETH ZurichSwitzerland Accelerating Fuzzing through Prefix-Guided Execution
Wei LiLi, Wei University of New South Wales A Container-Usage-Pattern-based Context Debloating Approach for Object-Sensitive Pointer Analysis
Yi LiLi, Yi Nanyang Technological UniversitySingapore Committee Member in Program Committee within the FTSCS-track
Yue LiLi, Yue Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Hongjin LiangLiang, Hongjin Nanjing UniversityChina PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Qing LiaoLiao, Qing Harbin Institute of Technology Towards Better Semantics Exploration for Browser Fuzzing
Dan LicataLicata, Dan Wesleyan UniversityUnited States Gradual Typing for Effect Handlers
Jay P. LimLim, Jay P. Yale UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Slim LimLim, Slim UC BerkeleyUnited States Committee Member in Program Committee within the HATRA-track
Bo LinLin, Bo National University of Defense TechnologyChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Fangzhen LinLin, Fangzhen Hong Kong University of Science and TechnologyChina Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Zhengyao LinLin, Zhengyao Carnegie Mellon UniversityUnited States Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Jens LinckeLincke, Jens University of Potsdam; Hasso Plattner InstituteGermany Visual Replacements: Cross-language Domain-specific Representations in Structured Editors
Jonathan Lindegaard StarupLindegaard Starup, Jonathan Aarhus UniversityDenmark From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Structural Subtyping as Parametric Polymorphism Continuing WebAssembly with Effect Handlers
Kirby LinvillLinvill, Kirby University of Colorado BoulderUnited States Verifying Indistinguishability of Privacy-Preserving Protocols
Michael LippautzLippautz, Michael Google PC Member in Program Committee within the MPLR-track
Geoffrey LittLitt, Geoffrey Embark: a computational outliner for travel
Geoffrey LittLitt, Geoffrey MIT Author in Program Committee within the LIVE-track
Cong LiuLiu, Cong University of California at RiversideUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Fengyun LiuLiu, Fengyun Oracle LabsSwitzerland Initializing Global Objects: Time and Order
Hongyu LiuLiu, Hongyu University of Texas at San Antonio MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jiangyi LiuLiu, Jiangyi Tsinghua UniversityChina Automated Ambiguity Detection in Layout-Sensitive Grammars
Jiaxiang LiuLiu, Jiaxiang Shenzhen UniversityChina Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
Tongping LiuLiu, Tongping University of Massachusetts at Amherst MemPerf: Profiling Allocator-Induced Performance Slowdowns
Yepang LiuLiu, Yepang Southern University of Science and TechnologyChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Yuhan LiuLiu, Yuhan University of Chicago Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Yunhe LiuLiu, Yunhe Cornell University Formal Abstractions for Packet Scheduling
Paul LiétarLiétar, Paul Imperial College London When Concurrency Matters: Behaviour-Oriented Concurrency
Devon LoehrLoehr, Devon Princeton UniversityUnited States Saggitarius: A DSL for Specifying Grammatical Domains
Francesco LogozzoLogozzo, Francesco FacebookUnited States PC Member in Program Committee within the SAS -track
Aaron LohLoh, Aaron McMaster University Yes, Configuring is Good, But Have You Ever Tried Justifying?
Crista LopesLopes, Crista University of California, IrvineUnited States Cloning And Beyond: A Quantum Solution to Duplicate Code Committee Member in Program Committee within the SPLASH Onward! Papers-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
José LopesLopes, José Instituto Universitário de Lisboa (ISCTE-IUL)Portugal PescaJ: A projectional editor for Java featuring scattered code aggregation
Raul LopezLopez, Raul Spain Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
David H. LorenzLorenz, David H. Open University of IsraelIsrael Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Developers
Duncan LowtherLowther, Duncan School of Computing Science, University of GlasgowUnited Kingdom CHERI Performance Enhancement for a Bytecode Interpreter Morello MicroPython: A Python Interpreter for CHERI
Shan LuLu, Shan University of ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Mart LubbersLubbers, Mart Radboud University Nijmegen Strongly-Typed Multi-View Stack-Based Computations
Justin LubinLubin, Justin University of California at BerkeleyUnited States Author in Program Committee within the LIVE-track Committee Member in Program Committee within the HATRA-track
Steven LyubomirskyLyubomirsky, Steven OctoMLUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ralf LämmelLämmel, Ralf Universität KoblenzGermany Committee Member in Program Committee within the SLE-track
M Cong MaMa, Cong University of Waterloo Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
José Nuno MacedoMacedo, José Nuno University of MinhoPortugal GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
Molly MacLarenMacLaren, Molly University of California, San DiegoUnited States REVIS: An Error Visualization Tool for Rust
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Perception Contracts for Safety of ML-Enabled Systems Languages with Decidable Learning: A Meta-theorem Complete First-Order Reasoning for Properties of Functional Programs
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Mentoring Talk 2 Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems Committee Member in Speakers & Panelists within the SPLASH PLMW-track
José Wesley De Souza MagalhãesMagalhães, José Wesley De Souza University of EdinburghUnited Kingdom C2TACO: Lifting Tensor Code to TACO
Samuel MaginotMaginot, Samuel Indiana University BloomingtonUnited States Beginning Student Tables
Aïssata MaigaMaiga, Aïssata Sweden Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Kenji MaillardMaillard, Kenji Inria Nantes & University of Chile PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Geoffrey MainlandMainland, Geoffrey Drexel UniversityUnited States Committee Member in Program Committee within the GPCE-track
Michael MaireMaire, Michael University of Chicago Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Frederic MalletMallet, Frederic Université Côte d'Azur, FranceFrance Committee Member in Program Committee within the FTSCS-track
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States Regular Expression Matching using Bit Vector Automata
Louis MandelMandel, Louis IBM Research, USA Translating canonical SQL to imperative code in Coq Committee Member in Program Committee within the REBLS-track
PRITAM MANOHAR GHARATMANOHAR GHARAT, PRITAM Microsoft Research IndiaIndia Inference of Resource Management Specifications
Xiaoguang MaoMao, Xiaoguang National University of Defense TechnologyChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Mariana MarasoiuMarasoiu, Mariana University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Benjamin MarianoMariano, Benjamin University of Texas at AustinUnited States Automated Translation of Functional Big Data Queries to SQL
Stefan MarrMarr, Stefan University of KentUnited Kingdom Don't Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers AST vs. Bytecode: Interpreters in the Age of Meta-Compilation Committee Member in Program Committee within the DLS-track Chair in Steering Committee within the DLS-track Committee Member in Program Committee within the SLE-track
Mark MarronMarron, Mark University of Kentucky Programming Languages for AI Programing Agents Toward Programming Languages for Reasoning -- Humans, Symbolic Systems, and AI Agents
Lina MarssoMarsso, Lina University of TorontoCanada Committee Member in Program Committee within the FTSCS-track
Kristóf MarussyMarussy, Kristóf Budapest University of Technology and EconomicsHungary Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
René MaseliMaseli, René TU Braunschweig Static Analysis of Memory Models for SMT Encodings
Dave MasonMason, Dave Toronto Metropolitan University (formerly Ryerson University)Canada Revisiting Dynamic Dispatch for Modern Architectures
Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Domain Precision in Galois Connection-less Abstract Interpretation How fitting is your abstract domain? PC Member in Program Committee within the SAS -track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Steering Committee for SPLASH 2023 Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the VMIL-track Author in Program Committee within the LIVE-track
Christoph MathejaMatheja, Christoph DTUDenmark A Deductive Verification Infrastructure for Probabilistic Programs
Ana MatosMatos, Ana University of Lisbon AtomiS: Data-centric synchronization made practical
Sergey MatskevichMatskevich, Sergey Drexel University, USA Trustworthy Formal Natural Language Specifications
Toni MattisMattis, Toni University of Potsdam; Hasso Plattner InstituteGermany Toward Studying Example-based Live Programming in CS/SE Education
Raúl MazoMazo, Raúl ENSTA BretagneFrance Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jay McCarthyMcCarthy, Jay University of Massachusetts Lowell & Reach Rhombus: A New Spin on Macros Without All the Parentheses
Colin McDonaldMcDonald, Colin University of Notre DameUnited States Exact Recursive Probabilistic Programming
James McKinnaMcKinna, James Heriot-Watt UniversityUnited Kingdom Structural Subtyping as Parametric Polymorphism
Kenneth L. McMillanMcMillan, Kenneth L. University of Texas at AustinUnited States Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Raul MedeirosMedeiros, Raul University of the Basque Country (UPV/EHU)Spain Unleashing the Power of Implicit Feedback in Software Product Lines: Benefits ahead
Meetesh Kalpesh MehtaMehta, Meetesh Kalpesh Indian Institute of Technology BombayIndia Debugging Dynamic Language Features in a Multi-Tier Virtual Machine Reusing Just-in-Time Compiled Code
Shawn MeierMeier, Shawn University of Colorado, BoulderUnited States Historia: Refuting Callback Reachability with Message-History Logics
Olivier MelanconMelancon, Olivier Université de Montréal An Executable Semantics for Faster Development of Optimizing Python Compilers
Kevin MenardMenard, Kevin Shopify JITs are Nice, but Why Aren’t We Using Them?
Alexandra MendesMendes, Alexandra Faculty of Engineering, University of Porto & INESC TECPortugal Committee Member in Program Commitee within the SPLASH -E-track
Jan MenzMenz, Jan MPI-SWSGermany Compositional Security Definitions for Higher-Order Where Declassification
Denis MerigouxMerigoux, Denis INRIAFrance Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marjan MernikMernik, Marjan University of MariborSlovenia Committee Member in Program Committee within the SLE-track
Roland MeyerMeyer, Roland TU BraunschweigGermany Static Analysis of Memory Models for SMT Encodings
Mira MeziniMezini, Mira TU DarmstadtGermany OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2023 Committee Member in Steering Committee for SPLASH 2023 PC Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Judith MichaelMichael, Judith RWTH Aachen UniversityGermany Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Bring Your Own Data Structures to Datalog
Aleandro MifsudMifsud, Aleandro University of Amsterdam & Axini BVNetherlands Transforming an internal textual DSL into a Blended Modelling Environment
Mae MilanoMilano, Mae University of California at BerkeleyUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the IWACO-track Program Chair in Program Committee within the IWACO-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic Institute PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the MPLR-track
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Anders MiltnerMiltner, Anders Simon Fraser UniversityCanada Saggitarius: A DSL for Specifying Grammatical Domains
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance PC Member in Program Committee within the SAS -track
Eliot MirandaMiranda, Eliot Cadence Design Systems Transpiling Slang Methods to C Functions: An Example of Static Polymorphism for Smalltalk VM Objects
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Synthesizing Precise Static Analyzers for Automatic Differentiation
Ashish MishraMishra, Ashish Purdue UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sayan MitraMitra, Sayan University of Illinois at Urbana-Champaign Perception Contracts for Safety of ML-Enabled Systems
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany Publications Co-Chair in Organizing Committee for SPLASH 2023 Session Chair of Keynote (part of PLF) PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the PLF-track Committee Member in Organizing Committee within the PLF-track Committee Member in Program Committee within the REBLS-track
Fatemeh MohammadiMohammadi, Fatemeh KU LeuvenBelgium Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Anshuman MohanMohan, Anshuman Cornell UniversityUnited States Formal Abstractions for Packet Scheduling
Facundo MolinaMolina, Facundo IMDEA Software InstituteSpain Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Alberto MomiglianoMomigliano, Alberto Università degli Studi di Milano The Concurrent Calculi Formalisation Benchmark
Raphaël MonatMonat, Raphaël Inria and University of LilleFrance Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Arnold MongMong, Arnold Princeton University Saggitarius: A DSL for Specifying Grammatical Domains
David MonniauxMonniaux, David CNRS/VERIMAGFrance Formally Verifying Optimizations with Block Simulations
Fabrizio MontesiMontesi, Fabrizio University of Southern DenmarkDenmark PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
David MoonMoon, David University of MichiganUnited States Totally Live Programming with Hazel (Progress Report) Live Pattern Matching with Typed Holes
Scott MooreMoore, Scott Galois, Inc.United States Bring Your Own Data Structures to Datalog
Federico MoraMora, Federico University of California, Berkeley Message Chains for Distributed System Verification
José MoralesMorales, José IMDEA Software InstituteSpain Co-chair in Organizing Committee for SAS 2023 Radhia Cousot Award and PC report Opening PC Chair in Program Committee within the SAS -track
Sosuke MoriguchiMoriguchi, Sosuke Tokyo Institute of TechnologyJapan Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
Eliot MossMoss, Eliot University of Massachusetts Amherst Welcome from the organizers PC Chair in Program Committee within the MPLR-track PC Chair in Organizing Committee within the MPLR-track
Sébastien MosserMosser, Sébastien McMaster UniversityCanada Yes, Configuring is Good, But Have You Ever Tried Justifying?
Peter D. MossesMosses, Peter D. Swansea University and Delft University of TechnologyNetherlands Online Name-Based Navigation for Software Meta-languages
João MotaMota, João NOVA School of Science and Technology Behavioural up/down casting for statically typed languages
Harshit Jitendra MotwaniMotwani, Harshit Jitendra Ghent UniversityBelgium Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
Sergio MoverMover, Sergio Ecole Polytechnique Historia: Refuting Callback Reachability with Message-History Logics
Yannick MoyMoy, Yannick AdaCoreFrance Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ike MulderMulder, Ike Radboud University NijmegenNetherlands Proof Automation for Linearizability in Separation Logic
Niek MullenersMulleners, Niek Utrecht UniversityNetherlands Committee Member in Program Committee within the HATRA-track
Dominic P. MulliganMulligan, Dominic P. Amazon Web ServicesUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Adithya MuraliMurali, Adithya University of Illinois at Urbana-ChampaignUnited States Complete First-Order Reasoning for Properties of Functional Programs
Girish MururuMururu, Girish Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Gunter MussbacherMussbacher, Gunter McGill UniversityCanada Adaptive Structural Operational Semantics Committee Member in Program Committee within the SLE-track
Hanspeter MössenböckMössenböck, Hanspeter JKU LinzAustria Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation Extraction of Virtual Machine Execution Traces Generating Java Interfaces for Accessing Foreign Objects in GraalVM
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Steering Committee for SPLASH 2023 Committee Member in Steering Committee within the SPLASH Onward! Papers-track SIGPLAN Observer in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Marius MüllerMüller, Marius University of TübingenGermany From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers Back to Direct Style: Typed and Tight
Peter MüllerMüller, Peter ETH ZurichSwitzerland Compositional Reasoning for Side-effectful Iterators and Iterator Adapters Verification-Preserving Inlining in Automatic Separation Logic Verifiers
N Sarah NadiNadi, Sarah University of AlbertaCanada PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mayur NaikNaik, Mayur University of Pennsylvania Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States PC Member in Program Committee within the SAS -track
Chandrakana NandiNandi, Chandrakana CertoraUnited States Equality Saturation Theory Exploration à la Carte Career Panel Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Speakers & Panelists within the SPLASH PLMW-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Daniele Nantes-SobrinhoNantes-Sobrinho, Daniele Imperial College LondonUnited Kingdom Termination in Concurrency, Revisited
Jorge A. NavasNavas, Jorge A. Certora, inc.United States PC Member in Program Committee within the SAS -track
Amirmohammad NazariNazari, Amirmohammad University of Southern California Explainable Program Synthesis by Localizing Specifications
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Max NewNew, Max University of Michigan Gradual Typing for Effect Handlers Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Julie L. NewcombNewcomb, Julie L. University of Washington Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track
David NewellNewell, David Google Measuring Configuration in Code
Rumyana NeykovaNeykova, Rumyana Brunel University London PC Member in Programme Committee within the ST30 -track
Stefano NicholettiNicholetti, Stefano Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Victor NicoletNicolet, Victor Amazon Web ServicesCanada Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Fabio NiephausNiephaus, Fabio Oracle Labs, PotsdamGermany PC Member in Program Committee within the VMIL-track
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Committee Member in Program Committee within the SLE-track
Rachit NigamNigam, Rachit Cornell UniversityUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ivica NikolićNikolić, Ivica National University of SingaporeSingapore User-Customizable Transpilation of Scripting Languages
Jianwei NiuNiu, Jianwei University of Texas at San AntonioUnited States Thorium: Verifiable, Dynamic, Reactive Software
James NobleNoble, James Research & ProgrammingNew Zealand All Languages are Dynamic Reference Capabilities for Flexible Memory Management programmingLanguage as Language; Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the IWACO-track
Thomas NollNoll, Thomas RWTH Aachen UniversityGermany Committee Member in Program Committee within the FTSCS-track
Vivek NotaniNotani, Vivek Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jacques NoyéNoyé, Jacques IMT Atlantique, Nantes, FranceFrance The LIFE of CUE
Manzi Aimé NtagengerwaNtagengerwa, Manzi Aimé University of Twente Crossover: Towards Compiler-enabled COBOL-C Interoperability
Clemens Nylandsted KlokmoseNylandsted Klokmose, Clemens Aarhus UniversityDenmark Author in Program Committee within the LIVE-track
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of EdinburghUnited Kingdom C2TACO: Lifting Tensor Code to TACO Committee Member in Program Committee within the GPCE-track
Momoka ObaraObara, Momoka Japan Women's UniversityJapan KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education
Yui ObaraObara, Yui Japan Women's University KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education
Alexander ObenauerObenauer, Alexander Embark: a computational outliner for travel
Martin OderskyOdersky, Martin EPFLSwitzerland Degrees of Separation: A Flexible Type System for Data Race Prevention Capture Tracking in Scala
Kazuhiro OgataOgata, Kazuhiro Japan Advanced Institute of Science and Technology Committee Member in Program Committee within the FTSCS-track
Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Modular Component-Based Quantum Circuit Synthesis
Carlos OlarteOlarte, Carlos CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Program Committee within the FTSCS-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong KongChina Greedy Implicit Bounded Quantification Committee Member in Program Committee within the SLE-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Luca OlivieriOlivieri, Luca Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Federico OlmedoOlmedo, Federico University of ChileChile A Gradual Probabilistic Lambda Calculus
Cyrus OmarOmar, Cyrus University of MichiganUnited States Totally Live Programming with Hazel (Progress Report) Live Pattern Matching with Typed Holes Committee Member in Program Committee within the HATRA-track Committee Member in Program Committee within the HATRA-track Committee Member in Program Commitee within the SPLASH -E-track
Ruben OpdebeeckOpdebeeck, Ruben Vrije Universiteit Brussel Ansible Is Turing Complete
James OrtizOrtiz, James Université de NamurBelgium Formal Verification of a Mechanical Ventilator using UPPAAL
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track Committee Member in Program Committee within the HATRA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Klaus OstermannOstermann, Klaus University of TübingenGermany From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers Back to Direct Style: Typed and Tight PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Marie-Pierre OudotOudot, Marie-Pierre CEA/DAM/DIF, France Practical Runtime Instrumentation of Software Languages: the Case of SciHook
P André PacakPacak, André JGU MainzGermany Interactive Debugging of Datalog Programs
Oded PadonPadon, Oded VMware ResearchUnited States Leaf: Modularity for Temporary Sharing in Separation Logic
Luca PadovaniPadovani, Luca University of CamerinoItaly The Concurrent Calculi Formalisation Benchmark Committee Member in Organizing Committee within the ST30 -track
Anjali PalPal, Anjali University of Washington Equality Saturation Theory Exploration à la Carte
Viktor PalmkvistPalmkvist, Viktor KTH Royal Institute of TechnologySweden Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers
Daniele PalombiPalombi, Daniele Tweag Cached call-by-name: incremental evaluation of configurations
Santosh PandePande, Santosh Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Orion PapadakisPapadakis, Orion The University of ManchesterUnited Kingdom A Multifaceted Memory Analysis of Java Benchmarks
Michail PapadimitriouPapadimitriou, Michail OctoMLUnited Kingdom A Multifaceted Memory Analysis of Java Benchmarks
Thorsten PapenbrockPapenbrock, Thorsten Philipps-Universität Marburg Actix-Telepathy
Aesha ParekhParekh, Aesha University of California at Santa BarbaraUnited States Aliasing Limits on Translating C to Safe Rust
Jihyeok ParkPark, Jihyeok Korea UniversitySouth Korea Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Kanghee ParkPark, Kanghee University of Wisconsin-Madison Synthesizing Specifications
Sunho ParkPark, Sunho KAIST Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Matthew ParkinsonParkinson, Matthew Azure Research, Microsoft, UKUnited Kingdom When Concurrency Matters: Behaviour-Oriented Concurrency Reference Capabilities for Flexible Memory Management
Matthew J. ParkinsonParkinson, Matthew J. PC Member in Program Committee within the MPLR-track
Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States Leaf: Modularity for Temporary Sharing in Separation Logic Verus: Verifying Rust Programs using Linear Ghost Types
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology) Getting Into The Flow: Better Type Error Messages for Constraint-Based Type Inference Committee Member in Program Committee within the GPCE-track
John ParrishParrish, John Georgia Institute of Technology Towards Safe HPC: Productivity and Performance via Rust interfaces for a Distributed C++ Actors library
Gaurav ParthasarathyParthasarathy, Gaurav ETH ZurichSwitzerland Verification-Preserving Inlining in Automatic Separation Logic Verifiers
Pardis PashakhanlooPashakhanloo, Pardis University of PennsylvaniaUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Michele PasquaPasqua, Michele University of VeronaItaly Domain Precision in Galois Connection-less Abstract Interpretation
Matthias PasquierPasquier, Matthias Ertosgener Temporal Breakpoints for Multiverse Debugging
Deesha PatelPatel, Deesha McMaster University, Canada Yes, Configuring is Good, But Have You Ever Tried Justifying?
Aaron PattersonPatterson, Aaron Shopify Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Hervé PaulinoPaulino, Hervé NOVA University of Lisbon AtomiS: Data-centric synchronization made practical
Joseph PaulusPaulus, Joseph Termination in Concurrency, Revisited
Daniel PekarekPekarek, Daniel Johannes Kepler University Linz Extraction of Virtual Machine Execution Traces
Artem PelenitsynPelenitsyn, Artem Northeastern UniversityRussia Approximating Type Stability in the Julia JIT
Jan PeleskaPeleska, Jan Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Lucas PenaPena, Lucas Complete First-Order Reasoning for Properties of Functional Programs
Xuanyu PengPeng, Xuanyu Peking University Synthesizing Efficient Memoization Algorithms
Elia PerantoniPerantoni, Elia University of VeronaItaly How fitting is your abstract domain?
Eloi PerdereauPerdereau, Eloi IMT Atlantique The LIFE of CUE
João Batista Pereira Matos JúniorPereira Matos Júnior, João Batista Sidia Instituto de Ciência e TecnologiaBrazil AtomiS: Data-centric synchronization made practical
Manu PerumkunnilPerumkunnil, Manu IMEC Beyond RSS: Towards Intelligent Dynamic Memory Management
Kirstin PetersPeters, Kirstin Augsburg UniversityGermany Asynchronous and Synchronous Mixed Sessions Committee Member in Programme Committee within the ST30 -track
Gustavo PetriPetri, Gustavo Amazon Web ServicesUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Tomas PetricekPetricek, Tomas Charles UniversityCzech Republic Document-oriented programming based on edit history Live & Local Schema Change: Challenge Problems Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the SPLASH Onward! Essays-track Committee Member in Program Committee within the PAINT-track
Georgios PetrouPetrou, Georgios University of Southern California Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Laure PetrucciPetrucci, Laure CNRS; LIPN; Université Sorbonne Paris NordFrance Committee Member in Program Committee within the FTSCS-track
Andrej PečimúthPečimúth, Andrej Oracle Labs Diagnosing Compiler Performance by Comparing Optimization Decisions Remote Just-in-Time Compilation for Dynamic Languages
Daniel PfefferPfeffer, Daniel Institute for System Software; Johannes Kepler University Linz, Austria On the Applicability of Annotation-based Source Code Modification in Kotlin
Jérôme PfeifferPfeiffer, Jérôme University of Stuttgart, GermanyGermany A Low-Code Platform for Systematic Component-Oriented Language Composition
Frank PfenningPfenning, Frank Carnegie Mellon University, USA Intuitionistic Metric Temporal Logic So what's the difference between a session type and an ordinary type anyway? PC Member in Programme Committee within the ST30 -track
Sam PhillipsPhillips, Sam independent Rhombus: A New Spin on Macros Without All the Parentheses
Luna Phipps-CostinPhipps-Costin, Luna Northeastern UniversityUnited States Continuing WebAssembly with Effect Handlers
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo Google PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Christoph PichlerPichler, Christoph Johannes Kepler University LinzAustria Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Mechanizing Session-Types Using a Structural View: Enforcing linearity without linearity
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Marius PirvuPirvu, Marius IBM