SPLASH 2023 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1326)

( Ruanqianqian (Lisa) Huang(Lisa) Huang, Ruanqianqian University of California, San DiegoUnited States 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 UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Dave AbrahamsAbrahams, Dave AdobeUnited States Borrow checking Hylo
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 Stanford UniversityUnited 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 All the Languages Together
Adem AitAit, 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 Session Chair of verification 2 (part of SPLASH OOPSLA) Session Chair of separation logic (part of SPLASH OOPSLA) Session Chair of Interactivity and Visualization for Programmers (part of HATRA) Latte: Lightweight Aliasing Tracking for Java Discussion Latte: Lightweight Aliasing Tracking for Java Navigating your thesis and job search: sustainability and standing out [Invited Talk] 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 UtahUnited States Rhombus: A New Spin on Macros without All the Parentheses
Ana Almeida MatosAlmeida Matos, Ana University of LisbonPortugal AtomiS: Data-Centric Synchronization Made Practical
Bernardo AlmeidaAlmeida, Bernardo LASIGE, Faculty of Sciences, University of Lisbon Kind Inference for the FreeST Programming Language
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
Knut Anders StokkeAnders Stokke, Knut University of Bergen, NorwayNorway Towards Reusable GUI Structures
Andreas AndronikakisAndronikakis, Andreas University of ManchesterUnited Kingdom 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 LabsAustria Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Work in Progress)
Nia AngleAngle, Nia independentUnited States 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
Sven ApelApel, Sven Saarland UniversityGermany GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations
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 Session Chair of Paper presentations (part of FTSCS) 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 UniversitySweden Reference Capabilities for Flexible Memory Management
Angello AstorgaAstorga, Angello University of Illinois at Urbana-ChampaignUnited States Perception Contracts for Safety of ML-Enabled Systems
Team at Conference Publishing Consultingat Conference Publishing Consulting, Team Title Page
Eran AvneriAvneri, Eran TechnionIsrael Deep Learning Robustness Verification for Few-Pixel Attacks
B Afonso B. CaniçoB. Caniço, Afonso Iscte - Instituto Universitário de LisboaPortugal Witter: A Library for White-Box Testing of Introductory Programming Algorithms
Lorenzo BacchianiBacchiani, Lorenzo Behavioural up/down casting for statically typed languages
Casper Bach PoulsenBach Poulsen, Casper Delft University of TechnologyNetherlands Session Chair of Session 4 (part of GPCE) 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 Session Chair of Paper presentations 2 (part of FTSCS) 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
Anna BambergerBamberger, Anna From Static to Dynamic Access Control Policies via Attribute-Based Category Mining
Arko BanerjeeBanerjee, Arko University of Texas at AustinUnited States 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 Augusta UniversityUnited 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
Mikhail BarashBarash, Mikhail University of BergenNorway Towards Reusable GUI Structures Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Franco BarbaneraBarbanera, Franco Multicompatibility for Multiparty-Session Composition
Shraddha BarkeBarke, Shraddha University of California at San DiegoUnited States SIGPLAN-M Introduction 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 GaloisUnited States 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 Optimization-Aware Compiler-Level Event Profiling
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States PC Member in OOPSLA Review 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 Toulouse - ENACFrance 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
Jesper BengtsonBengtson, Jesper IT University of Copenhagen, Denmark Mechanising Multiparty Session Types: A Sound and Complete Projection
Nick BentonBenton, Nick Meta London 10-Year Most Influential Paper Talk: 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 Hong Kong University of Science and TechnologyChina Getting into the Flow: Towards 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 Session Chair of program analysis 2 (part of SPLASH OOPSLA) 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übingenGermany Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
Walter BinderBinder, Walter USI LuganoSwitzerland Automatically Generated Supernodes for AST Interpreters Improve Virtual-machine Performance Optimization-Aware Compiler-Level Event Profiling 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 UniversityAustralia 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
Sam BlackshearBlackshear, Sam Mysten Labs Sui Move: Modern Blockchain Programming with Objects
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the PAINT-track
Florin BlanaruBlanaru, Florin Axelera AINetherlands Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Clément BlaudeauBlaudeau, Clément InriaFrance A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model
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
CF Bolz-TereickBolz-Tereick, CF 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 Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance 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) Degrees of Separation: A Flexible Type System for Data Race Prevention 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 Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Formally Verifying Optimizations with Block Simulations
Dmitri BoulytchevBoulytchev, Dmitri Saint Petersburg State UniversityRussia Relational Solver for Java Generics Type System
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
Juliana BowlesBowles, Juliana University of St Andrews, St Andrews, UK Session Chair of Session VI (part of LOPSTR) A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification
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: Towards 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 - IST-ULisboaPortugal Session Chair of MPLR Session 3 (part of MPLR) Language Runtimes for the New Cloud Era Welcome from the Chairs CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract) Heap Size Adjustment with CPU Control 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 KentUnited Kingdom Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers (Poster Abstract) 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 - CNRS - Grenoble INP - VerimagFrance Formally Verifying Optimizations with Block Simulations
Aurel BílýBílý, Aurel ETH Zurich Compositional Reasoning about Advanced Iterator Patterns in Rust
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 TechnologyChina A Cocktail Approach to Practical Call Graph Construction
Zhuo CaiCai, Zhuo Hong Kong University of Science and TechnologyHong Kong 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é PSLFrance A Formal Framework to Measure the Incompleteness of Abstract Interpretations Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Huanqi CaoCao, Huanqi Tsinghua UniversityChina 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 A Logical Interpretation of Asynchronous Multiparty Compatibility 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 Multiparty Reactive Sessions Using Event Structures to model Multiparty Session Types: results and open problems 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; KU LeuvenBelgium Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Is Polyglot Programming Really a Thing? Exceptions all Over the Shop: Modular, Customizable, Language-independent Exception Handling Layer GPCE/SLE Awards
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 LisbonPortugal AtomiS: Data-Centric Synchronization Made Practical
Emmanuel ChaillouxChailloux, Emmanuel UPMC, France A Reusable Machine-Calculus for Automated Resource Analyses
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 at Boulder; AmazonUnited States Sponsorship Co-Chair in Organizing Committee for SPLASH 2023 Invited Speaker in Invited Speakers for SAS 2023 Session Chair of Sponsored Talks (part of SPLASH Sponsored Talks) Session Chair of Domain precision (part of SAS ) Lifting On-Demand Analysis to Higher-Order Languages Goal-Directed Abstract Interpretation and Event-Driven Frameworks 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 TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Luke CheesemanCheeseman, Luke Imperial College LondonUnited Kingdom When Concurrency Matters: Behaviour-Oriented Concurrency
Chao ChenChen, Chao Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Jocelyn (Qiaochu) ChenChen, Jocelyn (Qiaochu) University of Texas at AustinUnited States Data Extraction via Semantic Regular Expression Synthesis Committee Member in Judges within the SPLASH Student Research Competition-track
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
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 University of LondonUnited Kingdom Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Wenguang ChenChen, Wenguang Tsinghua University; Pengcheng LaboratoryChina 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 SinicaTaiwan 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 Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime ShopifyCanada Are we Heading Towards a Dynamic Language Winter? Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach 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 Polyglot Programming through Foreign Function Interfaces 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 Session Chair of Introductions & Papers (part of SPLASH -E) Teaching Programming with Graphics: Pitfalls and a Solution
Shardul ChiplunkarChiplunkar, Shardul EPFLSwitzerland Diagrammatic notations for interactive theorem proving
David ChisnallChisnall, David MicrosoftUnited Kingdom 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 TechnologyCzechia Solving String Constraints with Lengths by Stabilization
Jaemin ChoiChoi, Jaemin KAISTSouth Korea 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 Kingdom 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 Session Chair of Configuration testing (part of CONFLANG) Session Chair of Configuration languages (part of CONFLANG) Career Panel Committee Member in Judges within the SPLASH Student Research Competition-track 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 Microsoft Azure ResearchUnited Kingdom Reference Capabilities for Flexible Memory Management When Concurrency Matters: Behaviour-Oriented Concurrency
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Doctoral Symposium Chair in Organizing Committee for SPLASH 2023 Session Chair of program synthesis 1 (part of SPLASH OOPSLA) Session Chair of Formalisms and Synthesis (part of HATRA) REVIS: An Error Visualization Tool for Rust Discussion Discussion Introduction and Welcome 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 Session Chair of Modeling (part of SLE) Adaptive Structural Operational Semantics Practical Runtime Instrumentation of Software Languages: the Case of SciHook
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 TechnologyHong Kong The Bounded Pathwidth of Control-Flow Graphs Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
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 Mentor in Mentors within the SPLASH PLMW-track
Diana CostaCosta, Diana LASIGE, University of LisbonPortugal Local Organizer Chair in Organizing Committee for SPLASH 2023 DEI Chair in Organizing Committee for SPLASH 2023 Session Chair of Lunch (part of SPLASH DEI Activities) Session Chair of SPLASH-W (part of SPLASH DEI Activities) Session Chair of ST30 Day 1 Session 4 (part of ST30 ) Co-chair in Organizing Committee within the ST30 -track Co-chair in Programme Committee within the ST30 -track
Andreea CosteaCostea, Andreea 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 Session Chair of compilation and optimization 1 (part of SPLASH OOPSLA)
Will CrichtonCrichton, Will Brown UniversityUnited States Session Chair of Type Systems and Discussion (part of HATRA)
Will CrichtonCrichton, Will Brown UniversityUnited States Debugging Trait Errors as Logic Programs Discussion
Will CrichtonCrichton, Will Brown UniversityUnited States 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 UniversityUnited States 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 WaterlooCanada 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 10-Year Most Influential Paper Talk: 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 Towards Session-Typed Consensus Future Directions for Session Types 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 Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs Scaling up Roundoff Analysis of Functional Data Structure Programs
Marta Davila MateuDavila Mateu, Marta University of Southern CaliforniaUnited States Synthesizing Recursive Programs Through Dataflow Constraints
Emanuele De AngelisDe Angelis, Emanuele CNR-IASIItaly Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
Stephen De GabrielleDe Gabrielle, Stephen independentUnited Kingdom 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 MozillaNetherlands 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 Session Chair of GPCE 2022/23 Most Influential Papers (part of GPCE) Session Chair of GPCE/SLE Keynote (in Room XV) (part of SLE) GPCE Welcome by Chairs Ansible Is Turing Complete Cross-Level Debugging for Static Analysers GPCE/SLE Awards 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 Session Chair of Grammars and parsing (part of SLE) Committee Member in Program Committee within the SLE-track
Luiz de Sáde Sá, Luiz Intuitionistic Metric Temporal Logic
Ugo de'Liguorode'Liguoro, Ugo Università di Torino Session Chair of Session 5 (part of PPDP)
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 Session Chair of Language implementation (part of SLE) GPCE/SLE Awards Program Co-Chair in Organizing Committee within the SLE-track
Çağatay DemiralpDemiralp, Çağatay Massachusetts Institute of TechnologyUnited States 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
Remi DesmartinDesmartin, Remi Heriot-Watt University Towards a Certified Proof Checker for Deep Neural Network 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şıl DilligDillig, Işıl 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
Jonathan DiLorenzoDiLorenzo, Jonathan Cornell UniversityUnited States Mentor in Mentors within the SPLASH PLMW-track
Christos DimoulasDimoulas, Christos 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 Purdue UniversityUnited States Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Matthew DinmoreDinmore, Matthew Johns Hopkins Applied Physics Laboratory Session Chair of Essays 1 (part of SPLASH Onward! Papers) Whither Problem-Solving Environments?
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue 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
Steve DohrmannDohrmann, Steve IntelUnited States 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 Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning Stuttering for Free 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 LondonUnited Kingdom Committee Member in Steering Committee for SPLASH 2023 Reference Capabilities for Flexible Memory Management When Concurrency Matters: Behaviour-Oriented Concurrency 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 ChicagoUnited States 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 Live & Local Schema Change: Challenge Problems Document-oriented programming based on edit history 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
Sven EfftingeEfftinge, Sven Gitpod GmbH GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
Eric EideEide, Eric University of UtahUnited States Generating Conforming Programs With Xsmith
Yousef El-DardiryEl-Dardiry, Yousef TypeCellNetherlands 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 Session Chair of language semantics (part of SPLASH OOPSLA) Session Chair of effect systems (part of SPLASH OOPSLA) Session Chair of GPCE Tutorial (part of GPCE) GPCE/SLE Awards 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 Session Chair of Session I (part of LOPSTR) Session Chair of Session 4 (part of PPDP) Session Chair of Session 2 (part of PPDP) Session Chair of Session 6 (part of PPDP) Session Chair of Session 3 (part of PPDP) Session Chair of Session 8 (part of PPDP) Session Chair of Session 7 (part of PPDP) Symbolic analysis by using folding narrowing with irreducibility and SMT constraints Opening of PPDP
Guilherme EspadaEspada, Guilherme LASIGE, University of LisbonPortugal Video Co-Chair in Organizing Committee for SPLASH 2023
Sam EstepEstep, Sam Carnegie Mellon UniversityUnited States Penrose: Beautiful diagrams from plain text
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
Moritz EysholdtEysholdt, Moritz Gitpod GmbHGermany GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
F João F. FerreiraF. Ferreira, João INESC-ID and IST, University of LisbonPortugal PLMW Co-Chair in Organizing Committee for SPLASH 2023 Session Chair of Career Panel (part of SPLASH PLMW) Session Chair of Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions (part of SPLASH PLMW) Session Chair of Welcome, Ice Breaker, Mentoring Talk (part of SPLASH PLMW) 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 TechnologyHong Kong 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
Justus FasseFasse, Justus Université Grenoble-Alpes; KU Leuven Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs
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 Q FeldmanFeldman, Molly Q Oberlin CollegeUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2023 Session Chair of Wrap-up, SIGPLAN-M Introduction, Mentoring Sessions (part of SPLASH PLMW) Session Chair of Mentoring Talk & PhD Panel (part of SPLASH PLMW) Session Chair of Welcome, Ice Breaker, Mentoring Talk (part of SPLASH PLMW) Session Chair of Papers & Future Discussion (part of SPLASH -E) Committee Member 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 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 Session Chair of Session 10 (part of SAS ) Symbolic transformation of expressions in modular arithmetic
Kostas FerlesFerles, Kostas UT Austin Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maribel FernandezFernandez, Maribel King's College LondonUnited Kingdom From Static to Dynamic Access Control Policies via Attribute-Based Category Mining Unification Modulo Equational Theories in Languages with Binding Operators 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 OsloNorway Heap Size Adjustment with CPU Control
Jack FeserFeser, Jack Hamilton CollegeUnited States Inductive Program Synthesis Guided by Observational Program Similarity Committee Member in Judges within the SPLASH Student Research Competition-track
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Rhombus: A New Spin on Macros without All the Parentheses Committee Member in Program Committee within the REBLS-track
Fabio FioravantiFioravanti, Fabio University of Chieti-PescaraItaly Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
Jack FirthFirth, Jack independentUnited States 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 University of WashingtonUnited States 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 A Full Employment Theorem for PL Researchers: Domain-Specific Languages 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 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
Jordina Francès de MasFrancès de Mas, Jordina University of St Andrews, St Andrews, UK A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification
Julia FreemanFreeman, Julia Francis Marion UniversityUnited States Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
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 University of EdinburghUnited Kingdom Structural Subtyping as Parametric Polymorphism
Juan FumeroFumero, Juan University of ManchesterUnited Kingdom Session Chair of The Future of Runtimes (part of DLS) 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 John P. GallagherGallagher, John P. Roskilde University Session Chair of Session IV (part of LOPSTR) Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
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 UniversityChina 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 JKU LinzAustria Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Work in Progress)
Matthew GaudetGaudet, Matthew MozillaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Ada GavrilovskaGavrilovska, Ada Georgia Institute of TechnologyUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Session Chair of ST30 Day 2 Session 4 - Panel session (part of ST30 ) 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 PhD Panel Committee Member in Speakers & Panelists within the SPLASH PLMW-track
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
Pritam GharatGharat, Pritam Microsoft ResearchIndia Inference of Resource Management Specifications
Lorenzo GheriGheri, Lorenzo University of LiverpoolUnited Kingdom Multicompatibility for Multiparty-Session Composition The Concurrent Calculi Formalisation Benchmark Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection
Dan GhicaGhica, Dan HuaweiUnited Kingdom Programming Languages at Huawei
Mahdi GhorbaniGhorbani, Mahdi University of EdinburghUnited Kingdom Compiling Structured Tensor Algebra
Roberto GiacobazziGiacobazzi, Roberto University of ArizonaUnited States Session Chair of Quantum, neural (part of SAS ) A Formal Framework to Measure the Incompleteness of Abstract Interpretations How fitting is your abstract domain? 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
Noah GibbsGibbs, Noah ShopifyUnited Kingdom Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
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 (Radhia Cousot Young Researcher Best Paper Award)
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 MichiganUnited States Gradual Typing for Effect Handlers
Marco GiuntiGiunti, Marco Nova University of LisbonPortugal 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
Rolf Martin GlomsrudGlomsrud, Rolf Martin University of Bergen (Norway) Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Robert GlückGlück, Robert University of CopenhagenDenmark Session Chair of Session I (part of LOPSTR) Opening Remarks
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Hong Kong University of Science and TechnologyHong Kong Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs The Bounded Pathwidth of Control-Flow Graphs Exploiting the Sparseness of Control-Flow and Call Graphs for Efficient and On-Demand Algebraic Program Analysis
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 Session Chair of distribution & networking 2 (part of SPLASH OOPSLA) Session Chair of distribution & networking 1 (part of SPLASH OOPSLA) Implementing, verifying and debugging distributed event-based systems PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH PLMW-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 Committee Member in Program Committee within the LIVE-track
Kiran GopinathanGopinathan, Kiran National University of SingaporeSingapore Adventure of a Lifetime: Extract Method Refactoring for Rust Rhombus: A New Spin on Macros without All the Parentheses
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
Léo GourdinGourdin, Léo Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Formally Verifying Optimizations with Block Simulations
Gavin GrayGray, Gavin ETH ZurichSwitzerland 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 Session Chair of DSLs (part of SPLASH OOPSLA)
Ben GreenmanGreenman, Ben University of UtahUnited 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 University of UtahUnited 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 EngineeringChina Towards Better Semantics Exploration for Browser Fuzzing
Hugo Musso GualandiGualandi, Hugo Musso Czech Technical University in PragueCzechia Reusing Just-in-Time Compiled Code
Roberto GuancialeGuanciale, Roberto KTH Royal Institute of TechnologySweden 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 ResearchIsrael Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Arjun GuhaGuha, Arjun Northeastern University; RobloxUnited States Session Chair of SE4AI (part of SPLASH OOPSLA) Session Chair of security & privacy (part of SPLASH OOPSLA) 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 UNSWAustralia 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 UniversityChina 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 Université Paris-Saclay - CNRS - ENS Paris-Saclay - InriaFrance Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Lennard GäherGäher, Lennard MPI-SWSGermany 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 TU 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 Queen's University BelfastUnited Kingdom 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 Session Chair of Configuration analysis (part of CONFLANG) Cached call-by-name: incremental evaluation of configurations Committee Member in Organizing Committee within the CONFLANG-track
Travis HanceHance, Travis Carnegie Mellon UniversityUnited States Verus: Verifying Rust Programs using Linear Ghost Types Leaf: Modularity for Temporary Sharing in Separation Logic
Jonas HansenHansen, Jonas ETH Zurich Compositional Reasoning about Advanced Iterator Patterns in Rust
Michael HanusHanus, Michael Kiel UniversityGermany Session Chair of Session II (part of LOPSTR) Session Chair of Session 1 (part of PPDP) GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
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 EdinburghUnited Kingdom Compiling Structured Tensor Algebra
Wilhelm HasselbringHasselbring, Wilhelm Kiel UniversityGermany GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
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 TechnologyCzechia 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 TechnologyUnited States Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)
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 Hydroflow: A Compiler Target for Fast, Correct Distributed Programs
Nathan HendersonHenderson, Nathan University of AlbertaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark 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 Creating a learnable and inclusive programming language A Framework for the Localization of Programming Languages Career Panel Committee Member in Program Committee within the SLE-track Committee Member in Speakers & Panelists within the SPLASH PLMW-track Mentor in Mentors 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 Session Chair of Session 8 (part of SAS ) A Rule-Based Approach for Designing and Composing Abstract Domains On-The-Fly Verification via Incremental, Interactive Abstract Interpretation with CiaoPP and VeriFly Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation 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 Toward Studying Example-based Live Programming in CS/SE Education A Penny a Function: Towards Cost Transparent Cloud Programming 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 TU WienAustria 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 TechnologyCzechia 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
Jesse HoobergsHoobergs, Jesse KU LeuvenBelgium Modular educational languages
Jozef HoomanHooman, Jozef TNO; Radboud University NijmegenNetherlands Towards an Industrial Stateful Software Rejuvenation Toolchain Using Model Learning
Joshua HorowitzHorowitz, Joshua University of Washington Committee Member in Program Committee within the LIVE-track
Tony HoskingHosking, Tony Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2023 Session Chair of Session #3 (part of VMIL)
Johannes HostertHostert, Johannes ETH ZurichGermany Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Jon HowellHowell, Jon VMware ResearchUnited States Verus: Verifying Rust Programs using Linear Ghost Types Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols Leaf: Modularity for Temporary Sharing in Separation Logic
Chiao HsiehHsieh, Chiao 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 Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples 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 UniversityAustralia Improving Garbage Collection Observability with Performance Tracing
Yifei HuangHuang, Yifei University of Southern CaliforniaUnited States 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 Functional collection programming with semi-ring dictionaries 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 MozillaCanada CacheIR: The Benefits of a Structured Representation for Inline Caches
Hidetsugu IrieIrie, Hidetsugu University of TokyoJapan A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Omri IsacIsac, Omri The Hebrew University of Jerusalem Towards a Certified Proof Checker for Deep Neural Network Verification
Jemma IssroffIssroff, Jemma ShopifyUnited States Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Anastasia IsychevIsychev, Anastasia Technical University of ViennaAustria 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; IST-ULisboaPortugal CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract)
Alex IvanovIvanov, Alex Google Configuration testing for Borg at Google
Dmitry IvanovIvanov, Dmitry TomTom Relational Solver for Java Generics Type System
Yusuke IzawaIzawa, Yusuke IBM Research - TokyoJapan A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
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 GlasgowUnited Kingdom CHERI Performance Enhancement for a Bytecode Interpreter Morello MicroPython: A Python Interpreter for CHERI
Bart JacobsJacobs, Bart KU LeuvenBelgium Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs
Frederik Krogsdal JacobsenJacobsen, Frederik Krogsdal Technical University of DenmarkDenmark The Concurrent Calculi Formalisation Benchmark
Rijul JainJain, Rijul Williams College Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
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 10-Year Most Influential Paper Talk: 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 Committee Member in Judges within the SPLASH Student Research Competition-track
Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Songlin JiaJia, Songlin Purdue UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Junchen JiangJiang, Junchen University of ChicagoUnited States 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 Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Yu JiangJiang, Yu Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis Towards Better Semantics Exploration for Browser Fuzzing
Yuxuan JiangJiang, Yuxuan Purdue UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Adrian JohnstoneJohnstone, Adrian Royal Holloway University of London, UKUnited Kingdom Session Chair of Inference and automation (part of SLE) 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 (Work in Progress) CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract) Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image Committee Member in Program Committee within the GPCE-track
Jaehwang JungJung, Jaehwang KAISTSouth 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 A Rule-Based Approach for Designing and Composing Abstract Domains Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jaakko JärviJärvi, Jaakko University of Bergen Towards Reusable GUI Structures
K Junichiro KadomotoKadomoto, Junichiro The University of Tokyo A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Daniel KaestnerKaestner, Daniel AbsIntGermany Invited Speaker in Invited Speakers for SAS 2023 Session Chair of Modular arithmetic and numeric analysis (part of SAS ) Abstract Interpretation in Industry - Experience and Lessons Learned
Gowtham KakiKaki, Gowtham University of Colorado at BoulderUnited States Session Chair of refactoring (part of SPLASH OOPSLA) Session Chair of verification 1 (part of SPLASH OOPSLA) 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 (Poster Abstract) 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 University of the Netherlands; University of AmsterdamNetherlands Formal Abstractions for Packet Scheduling
Siddhartha KasivajhulaKasivajhula, Siddhartha independentUnited States Rhombus: A New Spin on Macros without All the Parentheses
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology (AIST)Japan LIVE 2023 Closing LIVE 2023 Opening Co-chair in Organizing 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
Guy KatzKatz, Guy Hebrew UniversityIsrael Towards a Certified Proof Checker for Deep Neural Network Verification
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 Session Chair of Session III (part of LOPSTR) 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 Meta LondonUnited Kingdom 10-Year Most Influential Paper Talk: 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 Unifying Framework
Sharjeel KhanKhan, Sharjeel Georgia Institute of TechnologyUnited States 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 TechnologyUnited States Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)
Jaewoo KimKim, Jaewoo KAISTSouth Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Andy KingKing, Andy KentUnited Kingdom Session Chair of Error location and scaling (part of SAS ) Polynomial Analysis of Modular Arithmetic
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 independentUnited States Rhombus: A New Spin on Macros without All the Parentheses
Kerim KochekovKochekov, Kerim 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
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 ResearchUnited Kingdom 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
Ekaterina KomandantskayaKomandantskaya, Ekaterina Heriot-Watt University, UKUnited Kingdom Towards a Certified Proof Checker for Deep Neural Network Verification
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
Dmitry KosarevKosarev, Dmitry Saint-Petersburg State University Relational Solver for Java Generics Type System
Christos KotselidisKotselidis, Christos 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 Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Peter KourzanovKourzanov, Peter IMECBelgium Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
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 TechnologyCzechia 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 Nanopass Attribute Grammars Sharing Trees and Contextual Information: Re-imagining Forwarding in 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 UniversityUnited 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 University in PragueCzechia 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
Marija KulašKulaš, Marija Fernuniversität in HagenGermany A Term Matching Algorithm and Substitution Generality
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
Mirko KöhlerKöhler, Mirko TU Darmstadt Mixed & Verified Consistency with Propel & ConOpY Safe Combination of Data-centric and Operation-centric Consistency
Jan KöhnleinKöhnlein, Jan Gitpod GmbHGermany GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
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 ResearchIndia Inference of Resource Management Specifications
Chun Kit LamLam, Chun Kit Hong Kong University of Science and TechnologyHong Kong The Bounded Pathwidth of Control-Flow Graphs
Xavier LambeinLambein, Xavier Belgium PAW: a programmable and visual audio workstation
Christos LamprakosLamprakos, Christos National Technical University of Athens; KU LeuvenGreece Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
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 (Poster Abstract) Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers Dynamic Library Compartmentalization AST vs. Bytecode: Interpreters in the Age of Meta-Compilation
Jens Kanstrup LarsenLarsen, Jens Kanstrup DTUDenmark 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 Coccinelle: Impact and Internals Coccinelle: Impact and Internals Committee Member in Program Committee within the GPCE-track
Matthew Alan Le BrunLe Brun, Matthew Alan University of GlasgowMalta 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<:
Janggun LeeLee, Janggun KAISTSouth Korea 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 TechnologyCzechia Solving String Constraints with Lengths by Stabilization
David LeopoldsederLeopoldseder, David Oracle LabsAustria Diagnosing Compiler Performance by Comparing Optimization Decisions Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)
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 Initializing Global Objects: Time and Order TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism Simple Reference Immutability for System F<:
Elaine LiLi, Elaine NYUUnited States Complete Multiparty Session Type Projection with Automata
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 UNSWAustralia 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 TechnologyChina Towards Better Semantics Exploration for Browser Fuzzing
Daniel R. LicataLicata, Daniel R. Wesleyan UniversityUnited States Gradual Typing for Effect Handlers
Jörg LiebigLiebig, Jörg GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations
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
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 Committee Member in Program Committee within the LIVE-track
Cong LiuLiu, Cong University of Texas at DallasUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Fengyun LiuLiu, Fengyun Oracle LabsSwitzerland Initializing Global Objects: Time and Order A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model
Hongyu LiuLiu, Hongyu University of Texas at San AntonioUnited States 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 AmherstUnited States 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 ChicagoUnited States Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Yunhe LiuLiu, Yunhe Cornell UniversityUnited States Formal Abstractions for Packet Scheduling
Paul LiétarLiétar, Paul Imperial College LondonUnited Kingdom 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 Artificial Languages are Dead. Long Live Artificial Languages! 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 ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Developers
Duncan LowtherLowther, Duncan University of GlasgowUnited Kingdom CHERI Performance Enhancement for a Bytecode Interpreter Morello MicroPython: A Python Interpreter for CHERI
Petr LozovLozov, Petr Sain Petersburg State University, SPbGU Relational Solver for Java Generics Type System
Shan LuLu, Shan Microsoft; 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 Committee Member 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
Pedro López-GarcíaLópez-García, Pedro IMDEA Software Institute A Rule-Based Approach for Designing and Composing Abstract Domains Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation
M Cong MaMa, Cong University of WaterlooCanada 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 A Brief Introduction to the Flix Programming Language 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 – LS2N, Université de NantesFrance 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 ChicagoUnited States 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
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
Sonia MarinMarin, Sonia University of BirminghamUnited Kingdom A Logical Interpretation of Asynchronous Multiparty Compatibility
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of MPLR Session 4 (part of MPLR) Session Chair of Beyond the Language (part of DLS) Session Chair of Looking Outward (part of DLS) Most Notable Paper Award Don’t Trust Your Profiler: An Empirical Study on the Precision and Accuracy of Java Profilers (Poster Abstract) 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 BraunschweigGermany 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 Committee Member in Program Committee within the LIVE-track
Christoph MathejaMatheja, Christoph DTUDenmark A Deductive Verification Infrastructure for Probabilistic Programs
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 ReachUnited States 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 IIT BombayIndia Debugging Dynamic Language Features in a Multi-Tier Virtual Machine Reusing Just-in-Time Compiled Code
Shawn MeierMeier, Shawn University of Colorado at 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 Session Chair of Keynote 3 (part of SPLASH OOPSLA) Session Chair of Keynote 2 (part of SPLASH OOPSLA) 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 Committee Member in Judges within the SPLASH Student Research Competition-track
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-ChampaignUnited States 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 Technical session 2 (part of REBLS) 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 UniversityUnited States Saggitarius: A DSL for Specifying Grammatical Domains
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - 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 GaloisUnited States Bring Your Own Data Structures to Datalog
Federico MoraMora, Federico University of California at BerkeleyUnited States Message Chains for Distributed System Verification
José MoralesMorales, José IMDEA Software InstituteSpain Co-chair in Organizing Committee for SAS 2023 Session Chair of Session 8 (part of SAS ) A Rule-Based Approach for Designing and Composing Abstract Domains Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation Radhia Cousot Award and PC report Opening PC Chair in Program Committee within the SAS -track
Andreia MordidoMordido, Andreia LASIGE, University of LisbonPortugal Kind Inference for the FreeST Programming Language
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 at AmherstUnited States Session Chair of MPLR Session 1 (part of MPLR) Welcome from the Chairs 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 École PolytechniqueFrance 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 Session Chair of compilation & optimization 2 (part of SPLASH OOPSLA) Committee Member in External Review / Artifact Evaluation Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH PLMW-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 Extraction of Virtual Machine Execution Traces Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation Generating Java Interfaces for Accessing Foreign Objects in GraalVM (Work in Progress)
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 about Advanced Iterator Patterns in Rust 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 PennsylvaniaUnited States 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 Session Chair of program synthesis 2 (part of SPLASH OOPSLA) Session Chair of probabilistic (part of SPLASH OOPSLA) Session Chair of software development (part of SPLASH OOPSLA) 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. CertoraUnited States PC Member in Program Committee within the SAS -track
Amirmohammad NazariNazari, Amirmohammad University of Southern CaliforniaUnited States Explainable Program Synthesis by Localizing Specifications
Luca NegriniNegrini, Luca Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Max S. NewNew, Max S. University of MichiganUnited States Session Chair of type systems 2 (part of SPLASH OOPSLA) Session Chair of type systems 1 (part of SPLASH OOPSLA) Gradual Typing for Effect Handlers Committee Member in Judges within the SPLASH Student Research Competition-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
David NewellNewell, David Google Measuring Configuration in Code
Rumyana NeykovaNeykova, Rumyana Brunel University London PC Member in Programme Committee within the ST30 -track
Bach Nguyen TrongNguyen Trong, Bach Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples
Wode NiNi, Wode Columbia University Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
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
Stefano M. NicolettiNicoletti, Stefano M. Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
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 Session Chair of Essays 2 (part of SPLASH Onward! Papers) All Languages are Dynamic programmingLanguage as Language; Reference Capabilities for Flexible Memory Management 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
Milan NosáľNosáľ, Milan ValeSoft, s.r.o.Slovakia JaMaBuild: Mass Building of Java Projects
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 Committee Member 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 Capture Tracking in Scala Degrees of Separation: A Flexible Type System for Data Race Prevention
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
Dan OlteanuOlteanu, Dan University of ZurichSwitzerland Functional collection programming with semi-ring dictionaries
Cyrus OmarOmar, Cyrus University of MichiganUnited States Session Chair of Papers & Group Discussion (part of SPLASH -E) 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 WashingtonUnited States 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 University of ManchesterUnited Kingdom A Multifaceted Memory Analysis of Java Benchmarks
Michail PapadimitriouPapadimitriou, Michail University of ManchesterUnited 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-MadisonUnited States Synthesizing Specifications
Sunho ParkPark, Sunho KAISTSouth Korea Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Azure ResearchUnited Kingdom Session Chair of MPLR Session 2 (part of MPLR) Reference Capabilities for Flexible Memory Management When Concurrency Matters: Behaviour-Oriented Concurrency
Matthew J. ParkinsonParkinson, Matthew J. PC Member in Program Committee within the MPLR-track
Bryan ParnoParno, Bryan Carnegie Mellon UniversityUnited States Verus: Verifying Rust Programs using Linear Ghost Types Leaf: Modularity for Temporary Sharing in Separation Logic
Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Lionel ParreauxParreaux, Lionel Hong Kong University of Science and TechnologyChina Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference Committee Member in Program Committee within the GPCE-track
John ParrishParrish, John Georgia Institute of TechnologyUnited States Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)
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
Grant PassmorePassmore, Grant Imandra Inc. Towards a Certified Proof Checker for Deep Neural Network Verification
Deesha PatelPatel, Deesha McMaster University, Canada Yes, Configuring is Good, But Have You Ever Tried Justifying?
Aaron PattersonPatterson, Aaron ShopifyUnited States Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Hervé PaulinoPaulino, Hervé Nova University of LisbonPortugal 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 Purdue UniversityUnited States Approximating Type Stability in the Julia JIT
Jan PeleskaPeleska, Jan Probabilistic Risk Assessment of an Obstacle Detection System for GoA 4 Freight Trains
Xuanyu PengPeng, Xuanyu Peking UniversityChina 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 IMECBelgium Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
Kirstin PetersPeters, Kirstin Augsburg UniversityGermany Session Chair of ST30 Day 1 Session 1 (part of ST30 ) 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 UniversityCzechia Live & Local Schema Change: Challenge Problems Document-oriented programming based on edit history 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 CaliforniaGreece 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
Alberto PettorossiPettorossi, Alberto University of Rome Tor Vergata, Italy Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
Lucas PeñaPeña, Lucas University of Illinois at Urbana-ChampaignUnited States Complete First-Order Reasoning for Properties of Functional Programs
Andrej PečimúthPečimúth, Andrej Oracle Labs; Charles UniversityCzechia Diagnosing Compiler Performance by Comparing Optimization Decisions Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract) Remote Just-in-Time Compilation for Dynamic Languages
Daniel PfefferPfeffer, Daniel JKU LinzAustria On the Applicability of Annotation-Based Source Code Modification in Kotlin (Work in Progress)
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 Session Chair of ST30 Day 2 Session 2 (part of ST30 ) 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 independentUnited States Rhombus: A New Spin on Macros without All the Parentheses
Siraphob PhipathananunthPhipathananunth, Siraphob Yale UniversityUnited States Towards the formal verification of Wigderson's algorithm
Luna Phipps-CostinPhipps-Costin, Luna Northeastern UniversityUnited States PhD Panel Continuing WebAssembly with Effect Handlers Committee Member in Speakers & Panelists within the SPLASH PLMW-track
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 Array Bytecode Support in MicroJIT
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland Diagrammatic notations for interactive theorem proving Committee Member in Reviewers within the SPLASH Student Research Competition-track
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom C2TACO: Lifting Tensor Code to TACO Message Chains for Distributed System Verification
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Grounded Copilot: How Programmers Interact with Code-Generating Models PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the HATRA-track
Guillermo PolitoPolito, Guillermo Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStALFrance PC Member in Program Committee within the MPLR-track
Josh PollockPollock, Josh MIT CSAILUnited States Language Model Agents Enable Semi-Formal Programming
Justin PombrioPombrio, Justin UnaffiliatedUnited States A Pretty Expressive Printer
Hernán Ponce de LeónPonce de León, Hernán HuaweiGermany Static Analysis of Memory Models for SMT Encodings
Sorawee PorncharoenwasePorncharoenwase, Sorawee University of WashingtonUnited States Generating Conforming Programs With Xsmith A Pretty Expressive Printer Rhombus: A New Spin on Macros without All the Parentheses
Chris PorterPorter, Chris IBM T.J. Watson ResearchUnited States Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics
Alex PotaninPotanin, Alex Australian National UniversityAustralia Committee Member in Steering Committee for SPLASH 2023 Session Chair of Beyond Language? (part of SPLASH Onward! Papers) Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track Mentor in Mentors within the SPLASH PLMW-track
Hannah PotterPotter, Hannah University of WashingtonUnited States Live Pattern Matching with Typed Holes
Michael PradelPradel, Michael University of StuttgartGermany PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nuno PreguicaPreguica, Nuno NOVA LINCS, FCT, Universidade NOVA de Lisboa How to Enforce and Verify Invariants in Weakly Consistent Databases
Matija PretnarPretnar, Matija University of LjubljanaSlovenia Continuing WebAssembly with Effect Handlers
José ProençaProença, José Institute of Engineering of Porto – Polytechnic of Porto (ISEP/IPP)Portugal Committee Member in Program Committee within the FTSCS-track
Maurizio ProiettiProietti, Maurizio CNR-IASIItaly Session Chair of Session V (part of LOPSTR) Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism Optimization-Aware Compiler-Level Event Profiling
Corinne PulgarPulgar, Corinne École de Technologie Supérieure (ETS)Canada Yes, Configuring is Good, But Have You Ever Tried Justifying?
Rahul PurandarePurandare, Rahul University of Nebraska-LincolnUnited States Rapid: Region-Based Pointer Disambiguation
Alexander PutmanPutman, Alexander Google Utilizing the LSP to inform and teach users on config languages
Jorge A. PérezPérez, Jorge A. University of GroningenNetherlands Termination in Concurrency, Revisited The Expressiveness of Session Types Multiparty Reactive Sessions PC Member in Programme Committee within the ST30 -track
Q Shaz QadeerQadeer, Shaz Meta, Inc.United States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Siyuan Brant QianQian, Siyuan Brant University of Illinois at Urbana-Champaign; Zhejiang UniversityUnited States Synthesizing Precise Static Analyzers for Automatic Differentiation
R Dimi RacordonRacordon, Dimi Northeastern University, USAUnited States Borrow checking Hylo Oxidize: A Step-Debugger for Static Semantics Committee Member in Program Committee within the IWACO-track
Florian RademacherRademacher, Florian RWTH Aachen University Deriving Integrated Multi-Viewpoint Modeling Languages from Heterogeneous Modeling Languages: An Experience Report
Arjun RadhakrishnaRadhakrishna, Arjun MicrosoftUnited States Explainable Program Synthesis by Localizing Specifications
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates Explainable Program Synthesis by Localizing Specifications
Mukund RaghothamanRaghothaman, Mukund University of Southern California Committee Member in Judges within the SPLASH Student Research Competition-track
Franco RaimondiRaimondi, Franco AmazonUnited Kingdom Lifting On-Demand Analysis to Higher-Order Languages
Gautier RaimondiRaimondi, Gautier Inria Type-directed Program Transformation for Constant-Time Enforcement
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Committee Member in Steering Committee for SPLASH 2023 Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Jan-Paul Ramos-DavilaRamos-Davila, Jan-Paul Cornell UniversityUnited States Video Co-Chair in Organizing Committee for SPLASH 2023
Marianna RapoportRapoport, Marianna Amazon Web ServicesCanada PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
António RavaraRavara, António Nova University of LisbonPortugal Session Chair of ST30 Day 2 Session 3 (part of ST30 ) Behavioural up/down casting for statically typed languages AtomiS: Data-Centric Synchronization Made Practical PC Member in Programme Committee within the ST30 -track
Patrick ReinRein, Patrick University of Potsdam; Hasso Plattner InstituteGermany Toward Studying Example-based Live Programming in CS/SE Education
Tobias ReinhardReinhard, Tobias KU LeuvenBelgium Completeness Thresholds for Memory Safety: Unbounded Guarantees Via Bounded Proofs
Alex ReinkingReinking, Alex UC BerkeleyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Thierry RenauxRenaux, Thierry Vrije Universiteit BrusselBelgium Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Alex RendaRenda, Alex Massachusetts Institute of TechnologyUnited States Turaco: Complexity-Guided Data Sampling for Training Neural Surrogates of Programs
Lisa RennelsRennels, Lisa University of California at BerkeleyUnited States How Domain Experts Use an Embedded DSL
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States Synthesizing Specifications
György RethyRethy, György ETH Zurich Beehive SPIR-V Toolkit: A Composable and Functional API for Runtime SPIR-V Code Generation
Francisco RibeiroRibeiro, Francisco HASLab/INESC TEC & Universidade do MinhoPortugal GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
Francisco RibeiroRibeiro, Francisco University of Minho & HASLab, INESCTEC Large Language Models for Automated Program Repair
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Committee Member in Program Committee within the GPCE-track
Wilmer RicciottiRicciotti, Wilmer University of Edinburgh, UKItaly Comprehending queries over finite maps
Cynthia RicheyRichey, Cynthia University of WashingtonUnited States Equality Saturation Theory Exploration à la Carte
Nicolaj Richs-JensenRichs-Jensen, Nicolaj Department of Computer Science, University of CopenhagenDenmark The Implementation of A Type-Safe Structure Editor
Félix RidouxRidoux, Félix Univ Rennes / IMDEA Software InstituteFrance A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award)
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States PC Member in Program Committee within the SAS -track
Nathan RingoRingo, Nathan University of Minnesota Nanopass Attribute Grammars
Anton Risberg AlakülaRisberg Alaküla, Anton Lund UniversitySweden CodeProber: Live Compiler Exploration
Xavier RivalRival, Xavier Inria; ENS; CNRS; PSL UniversityFrance Session Chair of Cost/precision trade-offs and acceleration (part of SAS ) A Product of Shape and Sequence Abstractions (Radhia Cousot Young Researcher Best Paper Award)
Jacques RobinRobin, Jacques ESIEA, Paris, France Generating Constraint Programs for Variability Model Reasoning: A DSL and Solver-Agnostic Approach
Juri Di RoccoRocco, Juri Di University of L'AquilaItaly Committee Member in Program Committee within the SLE-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Andreas RossbergRossberg, Andreas IndependentGermany Keeping the asm in Wasm – Running high-level languages on a low-level VM Is Wasm Becoming Garbage? (Keynote) Mutually Iso-Recursive Subtyping Continuing WebAssembly with Effect Handlers
Andrea RosàRosà, Andrea USI LuganoSwitzerland Session Chair of Session #1 (part of VMIL) Session Chair of Session #2: Keynote (part of VMIL) Closing Remarks Opening Remarks Optimization-Aware Compiler-Level Event Profiling PC Chair in Program Committee within the VMIL-track Committee Member in Organizing Committee within the VMIL-track
Ori RothRoth, Ori TechnionIsrael Fluent APIs in Functional Languages
Tobias RothRoth, Tobias Technische Universität Darmstadt Reusing Single-Language Analyses for Static Analysis of Multi-Language Programs
Raven RothkopfRothkopf, Raven Barnard CollegeUnited States Rose: Extensible Autodiff on the Web
Subhajit RoyRoy, Subhajit IIT KanpurIndia Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Cindy Rubio-GonzálezRubio-González, Cindy University of California at DavisUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bernhard RumpeRumpe, Bernhard 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 Committee Member in Program Committee within the SLE-track General Chair in Organizing Committee within the GPCE-track
Claudio RussoRusso, Claudio Microsoft Research Collecting Garbage on the Blockchain
Louis RustenholzRustenholz, Louis Universidad Politécnica de Madrid (UPM) and IMDEA Software InstituteSpain Publicity Chair in Organizing Committee for SAS 2023 Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Sukyoung RyuRyu, Sukyoung KAISTSouth Korea PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
S Aleksandar S. DimovskiS. Dimovski, Aleksandar Mother Teresa University, SkopjeNorth Macedonia Generalized Program Sketching by Abstract Interpretation and Logical Abduction Error Invariants for Fault Localization via Abstract Interpretation
Caz SaaltinkSaaltink, Caz Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Hannes SaffrichSaffrich, Hannes University of Freiburg Polymorphic Typestate for Session Types
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala University and Nat. Tech. Univ. of AthensSweden PC Member in Program Committee within the MPLR-track
Arash SahebolamriSahebolamri, Arash Syracuse UniversityUnited States Bring Your Own Data Structures to Datalog
Brett SaikiSaiki, Brett University of WashingtonUnited States Equality Saturation Theory Exploration à la Carte
Shuichi SakaiSakai, Shuichi University of TokyoJapan A Functional Reactive Programming Language for Wirelessly Connected Shape-Changeable Chiplet-Based Computers
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Session Chair of AI4SE (part of SPLASH OOPSLA) Mixed & Verified Consistency with Propel & ConOpY Creed for Speed: Comprehensive Infrastructure as Code Testing Extensible Testing for Infrastructure as Code Safe Combination of Data-centric and Operation-centric Consistency Type-Safe Dynamic Placement with First-Class Placed Values PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the VMIL-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Organizing Committee within the REBLS-track
Roopsha SamantaSamanta, Roopsha Purdue UniversityUnited States Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions Explainable Program Synthesis by Localizing Specifications
Georgia SamaritakiSamaritaki, Georgia University of AmsterdamNetherlands Transforming an internal textual DSL into a Blended Modelling Environment
Michael SammlerSammler, Michael MPI-SWSGermany Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Alex Sanchez-SternSanchez-Stern, Alex University of MassachusettsUnited 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
Nathaniel SandsSands, Nathaniel University of Southern CaliforniaUnited States Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Chuta SanoSano, Chuta McGill UniversityCanada Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Committee Member in Organizing Committee within the REBLS-track
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the CONFLANG-track
André L. SantosSantos, André L. University Institute of Lisbon, Portugal PescaJ: A projectional editor for Java featuring scattered code aggregation Code Merging Using Transformations and Member Identity Witter: A Library for White-Box Testing of Introductory Programming Algorithms
Julia SapiñaSapiña, Julia Symbolic analysis by using folding narrowing with irreducibility and SMT constraints
João SaraivaSaraiva, João HASLab/INESC TEC, University of MinhoPortugal Session Chair of Tools and Demonstrations (part of SLE) GPCE/SLE Awards GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair General Chair in Organizing Committee within the SLE-track
Advait SarkarSarkar, Advait Microsoft Research and University of CambridgeUnited Kingdom Will code remain a relevant user interface for end-user programming with generative AI models?
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress) Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
John SarracinoSarracino, John 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
Miyu SatoSato, Miyu Japan Women's UniversityJapan KOGI: A Seamless Integration of ChatGPT into Jupyter Environments for Programming Education
Arvind SatyanarayanSatyanarayan, Arvind MIT CSAILUnited States Language Model Agents Enable Semi-Formal Programming
Prateek SaxenaSaxena, Prateek National University of SingaporeSingapore User-Customizable Transpilation of Scripting Languages
Ömer Faruk SayilirSayilir, Ömer Faruk University of Twente Crossover: Towards Compiler-enabled COBOL-C Interoperability
Alceste ScalasScalas, Alceste DTUDenmark Session Chair of ST30 Day 2 Session 1 (part of ST30 ) The Concurrent Calculi Formalisation Benchmark P4R-Type: A Verified API for P4 Control Plane Programs Committee Member in Organizing Committee within the ST30 -track
Roland SchatzSchatz, Roland Johannes Kepler University Linz Hybrid Execution: Combining Ahead-of-Time and Just-in-Time Compilation
Johannes SchicklingSchickling, Johannes None Local-First in Practice: Learnings of building a high-performance, local-first music app
Daniel SchoepeSchoepe, Daniel AmazonUnited Kingdom Session Chair of Synthesis and applications (part of SAS ) Lifting On-Demand Analysis to Higher-Order Languages PC Member in Program Committee within the SAS -track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium The Bright Future of Debuggers: Challenges and Opportunities Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Ryan SchroederSchroeder, Ryan University of California at Santa BarbaraUnited States Aliasing Limits on Translating C to Safe Rust
Philipp SchröerSchröer, Philipp RWTH Aachen UniversityGermany A Deductive Verification Infrastructure for Probabilistic Programs
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark Committee Member in Program Committee within the SPLASH Onward! Papers-track
Sandro SchulzeSchulze, Sandro Anhalt University of Applied SciencesGermany GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations
Sibylle SchuppSchupp, Sibylle Hamburg University of Technology Committee Member in Program Committee within the GPCE-track
Philipp SchusterSchuster, Philipp University of TübingenGermany From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers Back to Direct Style: Typed and Tight 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
Mathijs SchutsSchuts, Mathijs Philips; Radboud University NijmegenNetherlands Towards an Industrial Stateful Software Rejuvenation Toolchain Using Model Learning
Michael SchwarzSchwarz, Michael Technische Universität MünchenGermany Octagons Revisited - Elegant Proofs and Simplified Algorithms
Carsten SchürmannSchürmann, Carsten IT University of CopenhagenDenmark A Logical Interpretation of Asynchronous Multiparty Compatibility
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Session Chair of SLE Keynote (part of SLE) GPCE/SLE Awards Program Co-Chair in Organizing Committee within the SLE-track
Neil SculthorpeSculthorpe, Neil Nottingham Trent University, UK Committee Member in Program Committee within the SLE-track
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Committee Member in Program Committee within the FTSCS-track
Thomas SeedSeed, Thomas University of KentUnited Kingdom Polynomial Analysis of Modular Arithmetic
David SeekatzSeekatz, David UnaffiliatedCanada Lifting On-Demand Analysis to Higher-Order Languages
Helmut SeidlSeidl, Helmut Technische Universität MünchenGermany Octagons Revisited - Elegant Proofs and Simplified Algorithms PC Member in Program Committee within the SAS -track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Adventure of a Lifetime: Extract Method Refactoring for Rust PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Manuel SerranoSerrano, Manuel Inria; University of Côte d'AzurFrance Session Chair of Looking Inward (part of DLS) An Executable Semantics for Faster Development of Optimizing Python Compilers Committee Member in Program Committee within the DLS-track Chair in Program Committee within the REBLS-track
Sanjit A. SeshiaSeshia, Sanjit A. University of California at BerkeleyUnited States Message Chains for Distributed System Verification
Narges ShadabShadab, Narges University of California at RiversideUnited States Inference of Resource Management Specifications
Bhakti ShahShah, Bhakti University of Chicago Video Co-Chair in Organizing Committee for SPLASH 2023
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Session Chair of Session 1 (part of GPCE) GPCE Welcome by Chairs GPCE/SLE Awards Functional collection programming with semi-ring dictionaries Compiling Structured Tensor Algebra Committee Member in Judges within the SPLASH Student Research Competition-track Program Chair in Organizing Committee within the GPCE-track
Chung-chieh ShanShan, Chung-chieh Indiana UniversityUnited States Beginning Student Tables Exact Recursive Probabilistic Programming
Yuval ShapiraShapira, Yuval TechnionIsrael Deep Learning Robustness Verification for Few-Pixel Attacks
Aayush SharmaSharma, Aayush Indian Institute of Technology Mandi Debugging Dynamic Language Features in a Multi-Tier Virtual Machine
Jiasi ShenShen, Jiasi The Hong Kong University of Science and Technology Posters Co-Chair in Organizing Committee within the SPLASH Posters-track Co-chair in Organizers within the SPLASH Student Research Competition-track Committee Member in Program Committee within the SPLASH Onward! Papers-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
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Automated Translation of Functional Big Data Queries to SQL
David C. ShepherdShepherd, David C. Louisiana State UniversityUnited States Committee Member in Program Committee within the PAINT-track
Zhan ShiShi, Zhan Graduate School of Informatics, Kyoto UniversityJapan Partial Gradual Dependent Type Theory
Marina ShimchenkoShimchenko, Marina Uppsala UniversitySweden Heap Size Adjustment with CPU Control
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States Translating canonical SQL to imperative code in Coq 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
Jun ShirakoShirako, Jun Georgia Institute of TechnologyUnited States Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Ofir ShmuelShmuel, Ofir Open University of Israel ReactCOP: Modular and Scalable Web Development with Context-Oriented Programming
Sharon ShohamShoham, Sharon Tel Aviv UniversityIsrael Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Xujie SiSi, Xujie University of Toronto Posters Co-Chair in Organizing Committee for SPLASH 2023 Student Research Competition Co-Chair in Organizing Committee for SPLASH 2023 Session Chair of SPLASH Posters (part of SPLASH Posters) Session Chair of SPLASH SRC Talk Presentations (part of SPLASH Student Research Competition) Posters Co-Chair in Organizing Committee within the SPLASH Posters-track Co-chair in Organizers within the SPLASH Student Research Competition-track
Janet SiegmundSiegmund, Janet Chemnitz University of TechnologyGermany GPCE 2023 Most Influential Paper - Don’t Underestimate the Importance of Experiments: The Case of Preprocessor Annotations
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance PC Member in Program Committee within the SAS -track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning
Sam SilvestroSilvestro, Sam University of Texas at San AntonioUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Jerome SimeonSimeon, Jerome DocuSign, Inc.United States Translating canonical SQL to imperative code in Coq
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom CHERI Performance Enhancement for a Bytecode Interpreter Morello MicroPython: A Python Interpreter for CHERI Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track
Anmolpreet SinghSingh, Anmolpreet Indian Institute of Technology Mandi Debugging Dynamic Language Features in a Multi-Tier Virtual Machine
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMware ResearchUnited States Invited Speaker in Invited Speakers for SAS 2023 Building Trust and Safety in Artificial Intelligence with Abstract Interpretation Synthesizing Precise Static Analyzers for Automatic Differentiation PC Member in Program Committee within the SAS -track
Kartik SinghalSinghal, Kartik University of ChicagoUnited 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
David SirkinSirkin, David Stanford UniversityUnited States Committee Member in Program Committee within the PAINT-track
Rob SisonSison, Rob UNSW SydneyAustralia 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
KC SivaramakrishnanSivaramakrishnan, KC Tarides; IIT MadrasIndia Continuing WebAssembly with Effect Handlers
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece Committee Member in Steering Committee for SPLASH 2023
Jaclyn SmithSmith, Jaclyn Oxford UniversityUnited Kingdom Functional collection programming with semi-ring dictionaries
James SmithSmith, James stablekanren: Integrating Stable Model Semantics with miniKanren
Kento SogoSogo, Kento Tokyo Institute of Technology Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
Kristina SojakovaSojakova, Kristina 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
Daniel SokolowskiSokolowski, Daniel University of St. GallenSwitzerland Creed for Speed: Comprehensive Infrastructure as Code Testing Extensible Testing for Infrastructure as Code
Armando Solar-LezamaSolar-Lezama, Armando Massachusetts Institute of TechnologyUnited States Inductive Program Synthesis Guided by Observational Program Similarity PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Fu SongSong, Fu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, and University of Chinese Academy of Sciences Beijing, ChinaChina Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks Committee Member in Program Committee within the SAS -track
Youngju SongSong, Youngju MPI-SWSGermany Stuttering for Free
Paul SonnentagSonnentag, Paul Embark: a computational outliner for travel
Juha SorvaSorva, Juha Aalto UniversityFinland Teaching Programming with Graphics: Pitfalls and a Solution
Dimitrios SoudrisSoudris, Dimitrios National Technical University of AthensGreece Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
Janek SpadernaSpaderna, Janek University of Freiburg, Germany A silent semantics for isorecursive session types
David SpielmannSpielmann, David University of St. Gallen Creed for Speed: Comprehensive Infrastructure as Code Testing Extensible Testing for Infrastructure as Code
Simon SpiesSpies, Simon MPI-SWSGermany Melocoton: A Program Logic for Verified Interoperability Between OCaml and C
Manu SridharanSridharan, Manu University of California at RiversideUnited States Session Chair of program analysis 1 (part of SPLASH OOPSLA) Inference of Resource Management Specifications PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Daniel StachnikStachnik, Daniel Hasso Plattner InstituteGermany Visual Replacements: Cross-language Domain-specific Representations in Structured Editors
Yannick StadeStade, Yannick TUM School of Computation, Information and Technology, Technical University of MunichGermany Quantum Constant Propagation
Codrut StancuStancu, Codrut Oracle LabsSwitzerland Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
Francois-Xavier StandaertStandaert, Francois-Xavier Université Catholique de LouvainBelgium Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Caleb StanfordStanford, Caleb University of California, DavisUnited States Committee Member in Reviewers within the SPLASH Student Research Competition-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Towards a Certified Proof Checker for Deep Neural Network Verification
Yulia StartsevStartsev, Yulia Mozilla Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization
Jonathan Lindegaard StarupStarup, Jonathan Lindegaard Aarhus UniversityDenmark From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jan-Philipp SteghöferSteghöfer, Jan-Philipp XITASO GmbH IT & Software SolutionsGermany Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenario
Friedrich SteimannSteimann, Friedrich Fernuniversität in HagenGermany GPCE/SLE Awards Committee Member in Program Committee within the SPLASH Onward! Essays-track
Benno SteinStein, Benno MetaUnited Kingdom 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
Maoni StephensStephens, Maoni MicrosoftUnited States PC Member in Program Committee within the MPLR-track
Michel SteuwerSteuwer, Michel TU Berlin; University of EdinburghGermany Structural Subtyping as Parametric Polymorphism
Jovan StevanovicStevanovic, Jovan Oracle LabsSerbia CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract)
Leo StewenStewen, Leo Technical University of Munich Extending Automerge: Undo, Redo, and Move
Gareth StockwellStockwell, Gareth ARMUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Jouke StoelStoel, Jouke Axini BVNetherlands Transforming an internal textual DSL into a Blended Modelling Environment
Marielle StoelingaStoelinga, Marielle University of Twente and Radboud University, NijmegenNetherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Ilina StoilkovskaStoilkovska, Ilina AmazonUnited Kingdom Lifting On-Demand Analysis to Higher-Order Languages
Athanasios StratikopoulosStratikopoulos, Athanasios 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 Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Daniel StrüberStrüber, Daniel Chalmers \| University of Gothenburg / Radboud UniversitySweden Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenario Committee Member in Program Committee within the GPCE-track
Sandro StuckiStucki, Sandro AmazonSweden Lifting On-Demand Analysis to Higher-Order Languages Committee Member in Program Committee within the GPCE-track
Felix StutzStutz, Felix MPI-SWS Complete Multiparty Session Type Projection with Automata
Han SuSu, Han Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Lower Bounds for Possibly Divergent Probabilistic Programs
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Accelerating Fuzzing through Prefix-Guided Execution
Zhuo SuSu, Zhuo Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis
Isitha SubasingheSubasinghe, Isitha UNSW SydneyAustralia Verus: Verifying Rust Programs using Linear Ghost Types
Vikram SubramanianSubramanian, Vikram Google Applying Large Scale Diffing to Declarative Configuration Code for Production Safety
Yulei SuiSui, Yulei UNSWAustralia A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis PC Member in Program Committee within the SAS -track
Zachary SullivanSullivan, Zachary University of Oregon Closure Conversion in Little Pieces
Matúš SulírSulír, Matúš Technical University of KošiceSlovakia JaMaBuild: Mass Building of Java Projects
Alexander J. SummersSummers, Alexander J. University of British ColumbiaCanada Compositional Reasoning about Advanced Iterator Patterns in Rust
Chengnian SunSun, Chengnian University of WaterlooCanada Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction Building Dynamic System Call Sandbox with Partial Order Analysis
Jiaguang SunSun, Jiaguang Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis
Max SunSun, Max BCA ResearchCanada Video Co-Chair in Organizing Committee for SPLASH 2023
Yican SunSun, Yican Peking UniversityChina Synthesizing Efficient Memoization Algorithms
Zhensu SunSun, Zhensu Singapore Management UniversitySingapore Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Joshua SunshineSunshine, Joshua Carnegie Mellon UniversityUnited States Generating Domain-Specific Programs for Diagram Authoring with Large Language Models
Charles SuttonSutton, Charles Google ResearchUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Hector SuzanneSuzanne, Hector LIP6 - Sorbonne Université & CNRSFrance A Reusable Machine-Calculus for Automated Resource Analyses
Alaaeddin SwidanSwidan, Alaaeddin Open University of the Netherlands, The NetherlandsNetherlands A Framework for the Localization of Programming Languages
Tamás SzabóSzabó, Tamás GitHub NextGermany Committee Member in Program Committee within the SLE-track
Juan Pablo SáenzSáenz, Juan Pablo Politecnico di TorinoItaly Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track
Juraj SíčSíč, Juraj Brno University of TechnologyCzechia Solving String Constraints with Lengths by Stabilization
Emma SöderbergSöderberg, Emma Lund UniversitySweden Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jens Axel SøgaardSøgaard, Jens Axel independentDenmark Rhombus: A New Spin on Macros without All the Parentheses
T Marco T MorazanT Morazan, Marco Seton Hall UniversityUnited States Composing Turing Machines in FSM
Gerard TaboneTabone, Gerard University of MaltaMalta Session-Based Typechecking for Elixir Modules Using ElixirST
Marcel TaeumelTaeumel, Marcel University of Potsdam; Hasso Plattner InstituteGermany 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 Program Committee within the SPLASH Onward! Essays-track
Sofiene TaharTahar, Sofiene Concordia UniversityCanada Committee Member in Program Committee within the FTSCS-track
Ruby TahboubTahboub, Ruby University of Illinois, Urbana-ChampainUnited States Committee Member in Program Committee within the GPCE-track
Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Program Committee within the FTSCS-track
Orr TamirTamir, Orr Tel Aviv UniversityIsrael Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Gang (Gary) TanTan, Gang (Gary) Pennsylvania State UniversityUnited States Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Tian TanTan, Tian Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Shizhi TangTang, Shizhi Tsinghua UniversityChina Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Steven (Jiaxun) TangTang, Steven (Jiaxun) University of Massachusetts at AmherstUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Wenhao TangTang, Wenhao University of EdinburghUnited Kingdom Structural Subtyping as Parametric Polymorphism
Xuezhou TangTang, Xuezhou ShenZhen UniversityChina Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
Steven L. TanimotoTanimoto, Steven L. University of Washington, USA Committee Member in Program Committee within the LIVE-track
Yonggang TaoTao, Yonggang UNSWAustralia A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Olivier TardieuTardieu, Olivier IBM ResearchUnited States Committee Member in Program Committee within the REBLS-track
Joseph TassarottiTassarotti, Joseph NYUUnited States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ross TateTate, Ross United States PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Equality Saturation Theory Exploration à la Carte
Daniel TattersallTattersall, Daniel AmazonUnited States Lifting On-Demand Analysis to Higher-Order Languages
Marcelo TaubeTaube, Marcelo Tel Aviv UniversityIsrael Counterexample Driven Quantifier Instantiations with Applications to Distributed Protocols
Sanaz TavakolisomehTavakolisomeh, Sanaz University of OsloNorway Heap Size Adjustment with CPU Control
Hanneli TavanteTavante, Hanneli Unaffiliated Student Volunteer Co-Chair in Organizing Committee for SPLASH 2023 Student Volunteer Co-Chair in Organizers within the SPLASH Volunteers-track
André R. TelesTeles, André R. University Institute of Lisbon Code Merging Using Transformations and Member Identity
Ciprian TeodorovTeodorov, Ciprian ENSTA Bretagne Temporal Breakpoints for Multiverse Debugging
Aalok ThakkarThakkar, Aalok University of PennsylvaniaUnited States Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
Manas ThakurThakur, Manas IIT BombayIndia Debugging Dynamic Language Features in a Multi-Tier Virtual Machine Reusing Just-in-Time Compiled Code
Christoph ThiedeThiede, Christoph Hasso Plattner Institute, University of Potsdam, GermanyGermany Time-awareness in Object-exploration Tools: Toward In Situ Omniscient Debugging
Peter ThiemannThiemann, Peter University of Freiburg, Germany Session Chair of ST30 Day 1 Session 3 (part of ST30 ) Polymorphic Typestate for Session Types A silent semantics for isorecursive session types PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track PC Member in Programme Committee within the ST30 -track
Sewen ThyThy, Sewen Ahrefs Research, Yale-NUS CollegeSingapore Adventure of a Lifetime: Extract Method Refactoring for Rust
Christopher ThyssenThyssen, Christopher University of Kaiserslautern-Landau Collaborative offline-first applications in Education
Yongqiang TianTian, Yongqiang The Hong Kong University of Science and Technology; University of WaterlooCanada Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Zilu TianTian, Zilu EPFL Session Chair of Session 3 (part of GPCE) Multi-Stage Vertex-Centric Programming for Agent-Based Simulations
Ulyana TikhonovaTikhonova, Ulyana AxiniNetherlands Transforming an internal textual DSL into a Blended Modelling Environment
Eli TilevichTilevich, Eli Virginia TechUnited States Committee Member in Program Committee within the GPCE-track PC Member in Program Committee within the MPLR-track Committee Member in Program Commitee within the SPLASH -E-track
Dawit TiroreTirore, Dawit IT University of Copenhagen, Denmark Mechanising Multiparty Session Types: A Sound and Complete Projection
Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States PC Member in Program Committee within the SAS -track
Ben L. TitzerTitzer, Ben L. Carnegie Mellon UniversityUnited States PC Member in Program Committee within the MPLR-track
Shrey TiwariTiwari, Shrey Microsoft ResearchIndia Inference of Resource Management Specifications
Ryan TjoaTjoa, Ryan University of WashingtonUnited States Equality Saturation Theory Exploration à la Carte
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Beginning Student Tables Rhombus: A New Spin on Macros without All the Parentheses
Federico TomassettiTomassetti, Federico CEO at StrumentaItaly Committee Member in Program Committee within the PAINT-track
Bernardo ToninhoToninho, Bernardo NOVA-LINCS; Nova University of LisbonPortugal Intuitionistic Metric Temporal Logic PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track PC Member in Programme Committee within the ST30 -track
Emina TorlakTorlak, Emina Amazon Web Services, USAUnited States A Pretty Expressive Printer
Matías ToroToro, Matías University of ChileChile A Gradual Probabilistic Lambda Calculus 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
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the DLS-track
Minh-Thai TrinhTrinh, Minh-Thai Advanced Digital Sciences CenterSingapore Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Yun Chen TsaiTsai, Yun Chen 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
Yuta TsujiTsuji, Yuta Tokyo Institute of Technology Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
Kanae TsushimaTsushima, Kanae National Institute of Informatics, JapanJapan Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples GPT-3-Powered Type Error Debugging: Investigating the Use of Large Language Models for Code Repair
Petr TumaTuma, Petr Charles UniversityCzechia Diagnosing Compiler Performance by Comparing Optimization Decisions Diagnosing Compiler Performance by Comparing Optimization Decisions (Poster Abstract)
Emma TyeTye, Emma A Calculus of Delayed Reductions
U Tomoharu UgawaUgawa, Tomoharu University of TokyoJapan PC Member in Program Committee within the MPLR-track
Qurat Ul Ain AliUl Ain Ali, Qurat University of York United Kingdom Towards Efficient Model Comparison Using Automated Program Rewriting
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Session Chair of Session 1 (part of SAS ) A Formal Framework to Measure the Incompleteness of Abstract Interpretations
Cristian UrleaUrlea, Cristian CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Tarmo UustaluUustalu, Tarmo Reykjavik UniversityIceland Additive Cellular Automata Graded-Monadically
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Andres ValenciaValencia, Andres Colombia Formal Verification of a Mechanical Ventilator using UPPAAL
Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of TechnologyNetherlands 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
Mart van Assenvan Assen, Mart University of Twente Crossover: Towards Compiler-enabled COBOL-C Interoperability
Steffen van Bakelvan Bakel, Steffen A Calculus of Delayed Reductions
L. Thomas van Binsbergenvan Binsbergen, L. Thomas University of AmsterdamNetherlands Session Chair of Beyond Text? (part of SPLASH Onward! Papers) Adaptive Structural Operational Semantics Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the PAINT-track
Tom Van CutsemVan Cutsem, Tom imec-Distrinet KU-Leuven \| Nokia Bell LabsBelgium Committee Member in Program Committee within the REBLS-track
Jaco van de Polvan de Pol, Jaco Aarhus UniversityDenmark Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the SLE-track
Sam Van den VonderVan den Vonder, Sam Vrije Universiteit BrusselBelgium Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Onward! Papers PC Chair in Organizing Committee for SPLASH 2023 Committee Member in Steering Committee for SPLASH 2023 Session Chair of Keynote (part of SPLASH Onward! Papers) Session Chair of Joint Keynote with Onward! (part of SPLASH -E) Live & Local Schema Change: Challenge Problems Committee Member in Program Committee within the SLE-track PC Chair in Program Committee within the SPLASH Onward! Papers-track Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the PAINT-track
Peter van Hardenbergvan Hardenberg, Peter Ink & Switch LIVE 2023 Closing LIVE 2023 Opening Co-chair in Organizing Committee within the LIVE-track Committee Member in Organizing Committee within the PLF-track
Marcel van Lohuizenvan Lohuizen, Marcel CUESwitzerland Session Chair of Empirical studies & experience reports (part of CONFLANG) The Configuration Continuum: Using a Unified Model of Configuration to Prevent Outages Mentor in Mentors within the SPLASH PLMW-track Committee Member in Organizing Committee within the CONFLANG-track
Mats Van MolleVan Molle, Mats Vrije Universiteit Brussel Cross-Level Debugging for Static Analysers
Peter Van RoyVan Roy, Peter Université catholique de LouvainBelgium Committee Member in Program Committee within the REBLS-track
Riemer van Rozenvan Rozen, Riemer CWINetherlands Session Chair of Beyond Programming? (part of SPLASH Onward! Papers) Game Engine Wizardry for Programming Mischief Cascade: a Meta-Language for Change, Cause and Effect
Eric Van WykVan Wyk, Eric Department of Computer Science and Engineering, University of Minnesota, USAUnited States Session Chair of Session 2 (part of GPCE) Nanopass Attribute Grammars Sharing Trees and Contextual Information: Re-imagining Forwarding in Attribute Grammars
Bram VandenbogaerdeVandenbogaerde, Bram Vrije Universiteit Brussel Cross-Level Debugging for Static Analysers
Wim VanderbauwhedeVanderbauwhede, Wim University of Glasgow CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Wim VanhoofVanhoof, Wim University of Namur Predicate Anti-unification in (Constraint) Logic Programming
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal General Chair in Organizing Committee for SPLASH 2023 Committee Member in Steering Committee for SPLASH 2023 Session Chair of Announcements (part of SPLASH OOPSLA) Session Chair of Opening and Welcome (part of SPLASH OOPSLA) Session Chair of ST30 Day 1 Session 2 - Invited talk (part of ST30 ) A silent semantics for isorecursive session types What we learned from writing a book about session types Kind Inference for the FreeST Programming Language Committee Member in Steering Committee within the SPLASH Onward! Papers-track Committee Member in Onward! Steering Committee within the SPLASH Onward! Essays-track PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Martin VassorVassor, Martin University of Oxford, UK The Concurrent Calculi Formalisation Benchmark Benchmarks for Multiparty Session Types
Luís VeigaVeiga, Luís INESC-ID; IST-ULisboaPortugal CloudJIT: A Just-in-Time FaaS Optimizer (Work in Progress) CloudJIT: A Just-in-Time FaaS Optimizer (Poster Abstract)
Mauricio Verano MerinoVerano Merino, Mauricio Vrije Universiteit AmsterdamNetherlands Committee Member in Program Committee within the SLE-track Committee Member in Organizing Committee within the PAINT-track Committee Member in Program Committee within the PAINT-track
Shubham VermaVerma, Shubham University of New Brunswick Array Bytecode Support in MicroJIT
Simon Friis VindumVindum, Simon Friis Aarhus UniversityDenmark Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory
Jurgen VinjuVinju, Jurgen CWI; Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the PAINT-track
Mirko ViroliViroli, Mirko Alma Mater Studiorum - Università di Bologna Committee Member in Program Committee within the REBLS-track
Sandhya ViswanathanViswanathan, Sandhya IntelUnited States Unified Shared Memory: Friend or Foe? Understanding the Implications of Unified Memory on Managed Heaps
Jan VitekVitek, Jan Northeastern UniversityUnited States Committee Member in Steering Committee for SPLASH 2023 Prof. Strangelove or: How I Learned to Stop Worrying and Love Dynamic Languages Reusing Just-in-Time Compiled Code PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track PC Member in Program Committee within the MPLR-track
Adriana Laura VoineaVoinea, Adriana Laura CAPABLE: A Mechanised Imperative Language with Native Multiparty Session Types
Tomáš VojnarVojnar, Tomáš Brno University of TechnologyCzechia Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
Matthias VolkVolk, Matthias Netherlands Solving Queries for Boolean Fault Tree Logic via Quantified SAT
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands Randomized Testing of Byzantine Fault Tolerant Algorithms Mentor in Mentors within the SPLASH PLMW-track
Tanja E. J. VosVos, Tanja E. J. Universitat Politècnica de València and Open Universiteit Committee Member in Program Committee within the SPLASH Onward! Papers-track
Ryan VrecenarVrecenar, Ryan Sandia National LaboratoriesUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Dimitrios VytiniotisVytiniotis, Dimitrios Google DeepMindUnited Kingdom Scaling up machine learning without tears (and what do programming languages have to do with it) PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
W Philip WadlerWadler, Philip University of Edinburgh Committee Member in Program Committee within the GPCE-track
Christopher WagnerWagner, Christopher Purdue UniversityUnited States Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
David WalkerWalker, David Princeton UniversityUnited States Saggitarius: A DSL for Specifying Grammatical Domains PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chengcheng WanWan, Chengcheng East China Normal UniversityChina Run-Time Prevention of Software Integration Failures of Machine Learning APIs
Bo WangWang, Bo National University of SingaporeSingapore User-Customizable Transpilation of Scripting Languages
Chenglin WangWang, Chenglin Hong Kong University of Science and TechnologyChina Solving Conditional Linear Recurrences for Program Verification: The Periodic Case
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina BREWasm: A General Static Binary Rewriting Framework for WebAssembly
Jinpeng WangWang, Jinpeng Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
John WangWang, John University of Illinois at Urbana-ChampaignUnited States Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier
Ke WangWang, Ke United States An Explanation Method for Models of Code
Linzhang WangWang, Linzhang Nanjing UniversityChina An Explanation Method for Models of Code
Mingzhe WangWang, Mingzhe Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis Towards Better Semantics Exploration for Browser Fuzzing
Ruochen WangWang, Ruochen University of California, San DiegoUnited States REVIS: An Error Visualization Tool for Rust
Shangwen WangWang, Shangwen National University of Defense TechnologyChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Weihang WangWang, Weihang University of Southern California 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
Xiaoyin WangWang, Xiaoyin University of Texas at San Antonio Thorium: Verifiable, Dynamic, Reactive Software
Yu WangWang, Yu Nanjing UniversityChina An Explanation Method for Models of Code
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada 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
Alessandro WarthWarth, Alessandro Google Committee Member in Program Committee within the LIVE-track
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Committee Member in Program Committee within the REBLS-track
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
Guy WatsonWatson, Guy University of Utah Generating Conforming Programs With Xsmith
Conrad WattWatt, Conrad University of CambridgeUnited Kingdom PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Guannan WeiWei, Guannan Purdue UniversityUnited States Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies
Lili WeiWei, Lili McGill UniversityCanada Committee Member in Reviewers within the SPLASH Student Research Competition-track
Matthew WeidnerWeidner, Matthew Carnegie Mellon UniversityUnited States Proposal: Versioned Collaborative Documents Collabs implements collaborative data structures (CRDTs) with OOP principles
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Mixed & Verified Consistency with Propel & ConOpY Type-Safe Dynamic Placement with First-Class Placed Values PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the REBLS-track
Adam WelcWelc, Adam Mysten LabsUnited States Session Chair of Session #4 (part of VMIL) Sui Move: Modern Blockchain Programming with Objects PC Member in Program Committee within the VMIL-track
Ming WenWen, Ming Huazhong University of Science and TechnologyChina Two Birds with One Stone: Boosting Code Generation and Code Search via a Generative Adversarial Network
Shiwei WengWeng, Shiwei Johns Hopkins 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
Phillip WenigWenig, Phillip Hasso Plattner Institute, University of Potsdam Actix-Telepathy
Markus WeningerWeninger, Markus JKU LinzAustria On the Applicability of Annotation-Based Source Code Modification in Kotlin (Work in Progress)
Thomas WiesWies, Thomas New York UniversityUnited States Complete Multiparty Session Type Projection with Automata
Peter WilczynskiWilczynski, Peter Palantir Technologies Concept-Centric Software Development: An Experience Report
Max WillseyWillsey, Max UC BerkeleyUnited States Equality Saturation Theory Exploration à la Carte
Katrina WilsonWilson, Katrina Bucknell UniversityUnited States Clearing the Trail: Motivations for Maintenance Work in Open Source
Lu WilsonWilson, Lu tldrawUnited Kingdom CellPond: Spatial programming without escape
Christian WimmerWimmer, Christian Oracle LabsUnited States Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image PC Member in Program Committee within the MPLR-track
Manuel WimmerWimmer, Manuel JKU LinzAustria Committee Member in Program Committee within the SLE-track
Daniel Winograd-CortWinograd-Cort, Daniel Luminous ComputingUnited States Committee Member in Program Committee within the REBLS-track
Levin N. WinterWinter, Levin N. Delft University of TechnologyNetherlands Randomized Testing of Byzantine Fault Tolerant Algorithms
Jackson WoodruffWoodruff, Jackson University of EdinburghUnited Kingdom C2TACO: Lifting Tensor Code to TACO
Andreas WortmannWortmann, Andreas University of Stuttgart A Low-Code Platform for Systematic Component-Oriented Language Composition
Nicole WrenWren, Nicole Block; Georgia Institute of TechnologyUnited States Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Heap Size Adjustment with CPU Control Reference Capabilities for Flexible Memory Management When Concurrency Matters: Behaviour-Oriented Concurrency Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Organizing Committee within the IWACO-track
Bo WuWu, Bo Colorado School of MinesUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Dinghao WuWu, Dinghao Pennsylvania State UniversityUnited States Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Nicolas WuWu, Nicolas Imperial College LondonUnited Kingdom Sponsorship Co-Chair in Organizing Committee for SPLASH 2023 A Calculus of Delayed Reductions
Si Xing "Alan" WuWu, Si Xing "Alan" ShopifyCanada Evaluating YJIT’s Performance in a Production Context: A Pragmatic Approach
Zhiyong WuWu, Zhiyong National University of Defense TechnologyChina Towards Better Semantics Exploration for Browser Fuzzing
Eric WustrowWustrow, Eric University of Colorado BoulderUnited States Verifying Indistinguishability of Privacy-Preserving Protocols
X Polychronis XekalakisXekalakis, Polychronis NvidiaUnited States A Multifaceted Memory Analysis of Java Benchmarks
Enze XingXing, Enze University of WaterlooCanada Initializing Global Objects: Time and Order
Shale XiongXiong, Shale ARMUnited Kingdom A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
Yingfei XiongXiong, Yingfei Peking UniversityChina Synthesizing Efficient Memoization Algorithms Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
Chang XuXu, Chang Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Yichen XuXu, Yichen EPFL A Mechanized Theory of the Box Calculus Degrees of Separation: A Flexible Type System for Data Race Prevention
Yiwen XuXu, Yiwen Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis
Zhenyang XuXu, Zhenyang University of WaterlooCanada Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Jingling XueXue, Jingling UNSWAustralia A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis PC Member in Program Committee within the SAS -track
Sotirios XydisXydis, Sotirios National Technical University of AthensGreece Beyond RSS: Towards Intelligent Dynamic Memory Management (Work in Progress)
Y Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom GPCE Tutorial - Compile-time generative programming for OCaml: flexible, safe and efficient Committee Member in Program Committee within the GPCE-track
Hanmei YangYang, Hanmei University of Massachusetts at AmherstUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Peisen YaoYao, Peisen Zhejing UniversityChina Committee Member in Reviewers within the SPLASH Student Research Competition-track
Fangke YeYe, Fangke Georgia Institute of TechnologyUnited States Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Haolin YeYe, Haolin McGill University An optimal structure-aware code difference framework with MaxSAT-Solver
Wenjia YeYe, Wenjia University of Hong KongChina A Gradual Probabilistic Lambda Calculus
Gonzague YernauxYernaux, Gonzague University of Namur Predicate Anti-unification in (Constraint) Logic Programming
Pu (Luke) YiYi, Pu (Luke) Stanford UniversityUnited States Hardware-Aware Static Optimization of Hyperdimensional Computations
Zijing YinYin, Zijing Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Multicompatibility for Multiparty-Session Composition Asynchronous and Synchronous Mixed Sessions The Concurrent Calculi Formalisation Benchmark Beyond Types for Dyadic Interaction Benchmarks for Multiparty Session Types Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection Committee Member in Organizing Committee within the ST30 -track
James YouYou, James University of WaterlooCanada TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism
Jeffrey YoungYoung, Jeffrey Georgia Institute of TechnologyUnited States Towards Safe HPC: Productivity and Performance via Rust Interfaces for a Distributed C++ Actors Library (Work in Progress)
Neringa YoungYoung, Neringa Lithuania SIGPLAN Conference Manager in Organizing Committee for SPLASH 2023
Bowen YuYu, Bowen Tsinghua UniversityChina Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Yongwei YuanYuan, Yongwei Purdue UniversityUnited States Live Pattern Matching with Typed Holes
Chaewon YunYun, Chaewon Drexel UniversityUnited States Error Localization for Sequential Effect Systems
Z Enea ZaffanellaZaffanella, Enea University of Parma, ItalyItaly Session Chair of Session 5 (part of SAS ) Unconstrained Variable Oracles for Faster Static Analyses
Ahmed Khaled ZaherZaher, Ahmed Khaled 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
George ZakhourZakhour, George University of St. GallenSwitzerland Mixed & Verified Consistency with Propel & ConOpY Type-Safe Dynamic Placement with First-Class Placed Values
Foivos S. ZakkakZakkak, Foivos S. Red HatGreece A Multifaceted Memory Analysis of Java Benchmarks
Yannick ZakowskiZakowski, Yannick 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
Sebastian ZarnekowZarnekow, Sebastian GPCE 2022 Most Influential Paper - Xbase: Implementing Domain-Specific Languages for Java
Vadim ZaytsevZaytsev, Vadim University of Twente, NetherlandsNetherlands Session Chair of keynote (part of REBLS) Session Chair of Live programming and debugging (part of SLE) Crossover: Towards Compiler-enabled COBOL-C Interoperability Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the REBLS-track
Philipp ZechZech, Philipp Committee Member in Program Committee within the SLE-track
Antonio ZegarelliZegarelli, Antonio IMDEA Software InstituteSpain Design and implementation of facets of dynamic policies
Assaf ZeiraZeira, Assaf Too Software Could No-Code be Code? -- Toward a No-Code Programming Language for Citizen Developers
Brooklyn ZelenkaZelenka, Brooklyn Keynote: Feeling the Local-First Elephant: A Roadmap, Hidden Gems, and New Puzzles from the Field
Guangming ZengZeng, Guangming SynopsysUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Naijun ZhanZhan, Naijun Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Lower Bounds for Possibly Divergent Probabilistic Programs
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina A Cocktail Approach to Practical Call Graph Construction
Danfeng ZhangZhang, Danfeng Duke University; Pennsylvania State UniversityUnited States Quantifying and Mitigating Cache Side Channel Leakage with Differential Set
Guoqiang ZhangZhang, Guoqiang North Carolina State UniversityUnited States Automated Translation of Functional Big Data Queries to SQL
Jialu ZhangZhang, Jialu Yale 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
Mengxiao ZhangZhang, Mengxiao University of WaterlooCanada Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Nairen ZhangZhang, Nairen Nanjing UniversityChina The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Mutual Refinements of Context-Free Language Reachability PC Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Quan ZhangZhang, Quan Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis Towards Better Semantics Exploration for Browser Fuzzing
Tianyi ZhangZhang, Tianyi Purdue UniversityUnited States Committee Member in Program Committee within the HATRA-track
Weixing ZhangZhang, Weixing Chalmers \| University of GothenburgSweden Automated extraction of grammar optimization rule configurations in a metamodel-grammar co-evolution scenario
Xin ZhangZhang, Xin Peking UniversityChina Committee Member in Reviewers within the SPLASH Student Research Competition-track PC Member in Program Committee within the SAS -track
Xing ZhangZhang, Xing Peking UniversityChina Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
Yedi ZhangZhang, Yedi ShanghaiTech UniversityChina Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks
Gaosen ZhaoZhao, Gaosen University of WaterlooCanada Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
Jisheng ZhaoZhao, Jisheng Georgia Institute of TechnologyUnited States Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
Ye ZhengZheng, Ye Shenzhen UniversityChina Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
Chijin ZhouZhou, Chijin Tsinghua UniversityChina Building Dynamic System Call Sandbox with Partial Order Analysis Towards Better Semantics Exploration for Browser Fuzzing
Jie ZhouZhou, Jie University of RochesterUnited States Fat Pointers for Temporal Memory Safety of C
Jin ZhouZhou, Jin University of Massachusetts at AmherstUnited States MemPerf: Profiling Allocator-Induced Performance Slowdowns
Timothy ZhouZhou, Timothy University of Illinois Urbana-ChampaignUnited States Historiographer: Strongly-Consistent Distributed Reactive Programming with Minimal Locking
Yi ZhouZhou, Yi Carnegie Mellon UniversityUnited States Verus: Verifying Rust Programs using Linear Ghost Types
Amy ZhuZhu, Amy University of WashingtonUnited States Equality Saturation Theory Exploration à la Carte
Fengmin ZhuZhu, Fengmin CISPA - Helmholtz Center for Information SecurityGermany Automated Ambiguity Detection in Layout-Sensitive Grammars
Huibiao ZhuZhu, Huibiao East China Normal University, ShanghaiChina Committee Member in Program Committee within the FTSCS-track
Qianchao ZhuZhu, Qianchao Peking UniversityChina Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
Lukasz ZiarekZiarek, Lukasz University at BuffaloUnited States Validating IoT Devices with Rate-Based Session Types Committee Member in Organizing Committee within the REBLS-track
Noam ZilbersteinZilberstein, Noam Cornell UniversityUnited States PhD Panel Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning Committee Member in Speakers & Panelists within the SPLASH PLMW-track
Conrad ZimmermanZimmerman, Conrad Brown UniversityUnited States Latte: Lightweight Aliasing Tracking for Java Latte: Lightweight Aliasing Tracking for Java
Changwei ZouZou, Changwei UNSWAustralia A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis
Daming ZouZou, Daming ETH ZurichSwitzerland 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
Elena ZuccaZucca, Elena University of GenoaItaly Resource-Aware Soundness for Big-Step Semantics Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the GPCE-track
Damien ZuffereyZufferey, Damien SonarSourceSwitzerland Complete Multiparty Session Type Projection with Automata
Aron ZwaanZwaan, Aron Delft University of TechnologyNetherlands A Monadic Framework for Name Resolution in Multi-Phased Type Checkers
Å Alfred ÅkessonÅkesson, Alfred Lund University, SwedenSweden ComPOS: a DSL for Composing IoT Systems With Weak Connectivity
Ö Peter ÖlveczkyÖlveczky, Peter University of OsloNorway Session Chair of Opening, Keynote (part of FTSCS) Discussions, Closing Committee Member in Program Committee within the FTSCS-track Committee Member in Organizing Committee within the FTSCS-track
Erik ÖsterlundÖsterlund, Erik OracleSweden Heap Size Adjustment with CPU Control

SPLASH 2023 Contributors

Results (1326)

Tracks

Co-hosted Conferences

Workshops