SPLASH 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1121)

A Zain K AamerAamer, Zain K University of PennsylvaniaUnited States Random Testing via Runtime Abstract Interpretation Property-based Testing of Separation Logic Specifications (Long Talk) Property-based Testing of Separation Logic Specifications
Samson AbramskyAbramsky, Samson University College LondonUnited Kingdom Granthi: Higher-Order Quantum Programming via Unitary Wiring
Michael D. AdamsAdams, Michael D. National University of SingaporeSingapore Class-Dictionary Specialization with Rank-2 Polymorphic Functions Programming with Composable Recursive Patterns and Transformations
Eddie AftandilianAftandilian, Eddie XBOWUnited States Session Chair of REBASE 2 (part of SPLASH/ISSTA REBASE industry track) Session Chair of REBASE 6 (part of SPLASH/ISSTA REBASE industry track) Session Chair of REBASE 7 (part of SPLASH/ISSTA REBASE industry track) Welcome to REBASE Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track
Abhinav AgarwalAgarwal, Abhinav Rubrik, IncUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Chaitanya AgarwalAgarwal, Chaitanya New York UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Sudhanshu AgarwalAgarwal, Sudhanshu University of Illinois at Urbana-ChampaignUnited States Uncovering Hidden Memory Costs for Garbage Collection
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Committee Member in Steering Committee for SPLASH 2026 Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Sehyuk AhnAhn, Sehyuk KAISTRepublic of Korea P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
Willow AhrensAhrens, Willow Georgia Institute of TechnologyUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Alex AikenAiken, Alex Stanford UniversityUnited States Fully-Automatic Type Inference for Borrows with Lifetimes Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems Equivalence Checking of ML GPU Kernels
Jaya Vardhini AkurathiAkurathi, Jaya Vardhini University of Texas at Dallas CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track Session Chair of Set-Theoretic Types and Object Evolution (part of SPLASH OOPSLA)
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada Session Chair of Languages for Data and Interaction (part of SPLASH OOPSLA) Co-chair in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track Co-chair in SRC Committee within the SPLASH/ISSTA Student Research Competition-track Co-chair in Program Committee within the SPLASH/ISSTA Posters-track
Rivka AltshulerAltshuler, Rivka Open University of IsraelIsrael Escaping the DAG Dogma: Toward Modular Reactive Architectures
Aditya AnandAnand, Aditya Indian Institute of Technology BombayIndia Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Greg AndersonAnderson, Greg University of Texas at Austin, USA Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Michał AndryskowskiAndryskowski, Michał Imperial College London WGSLsmith: Randomised Testing for the WebGPU Shading Language
Jaromír AntochAntoch, Jaromír Charles UniversityCzechia Experimental Evaluation Methodology for the Era of No Steady Performance
Tomoyuki AotaniAotani, Tomoyuki Shibaura Institute of TechnologyJapan Commit-Window Observation Contracts for Reactive Entity-Component Systems
Ellen ArltArlt, Ellen MPI-SWSGermany RGSep under Release/Acquire Consistency Sound State Encodings in Translational Separation Logic Verifiers
Dominik ArnoldArnold, Dominik University of ZurichSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
Jai AroraArora, Jai University of Illinois at Urbana-ChampaignUnited States Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Sumeet Singh AroraArora, Sumeet Singh Meta Platforms Inc Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Erfan ArvanArvan, Erfan New Jersey Institute of Technology Template-Free Dynamic Invariant Detection Toward Reliable Automatic Proxies for Code Comprehensibility (Long Talk) Toward Reliable Automatic Proxies for Code Comprehensibility
Binamra AryalAryal, Binamra University of Texas at ArlingtonUnited States Single-Metric Size and Complexity Thresholds Fail to Forecast Refactoring
Aslan AskarovAskarov, Aslan Aarhus UniversityDenmark Fighting Supply Chain Attacks with Effect Systems
Eric AtkinsonAtkinson, Eric Binghamton University Co-chair in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Martin AvanziniAvanzini, Martin Inria Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Md Khairul AzmanAzman, Md Khairul Texas State University Knowing When a Cheap Model Is Enough: An Information Limit on Pre-Review Cost Routing for LLM Code Review
B Alexander BaiBai, Alexander New York UniversityUnited States Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots
Yudi BaiBai, Yudi University of WaterlooCanada Transitive, Abstract, and Class Polymorphic Immutability
Thomas BallBall, Thomas University of Washington (USA) and Lancaster University (UK)United States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Alexander BandukwalaBandukwala, Alexander University of MichiganUnited States Interactive Data Analysis with Lively Typed Tables
Yuyan BaoBao, Yuyan Augusta UniversityUnited States Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sara BaradaranBaradaran, Sara University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Prosecutor: Bayesian Counterfactual Fault Localization
Chinmayi Prabhu BaramashetruBaramashetru, Chinmayi Prabhu University of Oslo Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Shraddha BarkeBarke, Shraddha Microsoft Research, RedmondUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Agents as Software: A Programming Languages Agenda for Agent Reliability
Gilles BartheBarthe, Gilles MPI-SP; IMDEA Software InstituteGermany Decompiling for Constant-Time Analysis (Dis)Proving Spectre Security with Speculation-Passing Style
David BasinBasin, David ETH ZurichSwitzerland A Type System for Optimizing Dynamic IFC
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kevin BatzBatz, Kevin University of MünsterGermany Type-Directed Discretization of Probabilistic Programs
Michael BauerBauer, Michael NVIDIA ResearchUnited States Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems
Kent BeckBeck, Kent Gusto, Inc.United States The Augmented Forest
Kent BeckBeck, Kent ThinkiesUnited States OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Tom BeckmannBeckmann, Tom Kyoto University of Advanced ScienceJapan The Developer as Curator: A Canvas for Coding Agent Context
Kimaya BedarkarBedarkar, Kimaya Max Planck Institute for Software Systems (MPI-SWS)Germany Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Curated Semantic Mutants: Multi-Purpose Artifacts for Grading and Hinting Student Test Suites Session Chair of Dynamic Language Compilers and VMs (part of SPLASH OOPSLA) Session Chair of Property-Based Testing and Test Quality (part of SPLASH OOPSLA) Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Armando BellanteBellante, Armando Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and TechnologyGermany Compiling Quantum Regular Language States Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Moritz BellerBeller, Moritz Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Aaron BembenekBembenek, Aaron University of MelbourneAustralia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Niv BenaloulBenaloul, Niv Open University of IsraelIsrael Glassbox Debugging: Code as Interface for No-Code Code as Interface for No-Code
Griffin BerlsteinBerlstein, Griffin Cornell UniversityUnited States Understanding Accelerator Compilers via Performance Profiling
Frédéric BessonBesson, Frédéric Inria RennesFrance Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
Siddharth BhatBhat, Siddharth University of CambridgeUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled Reductions
Matteo BiagiolaBiagiola, Matteo USI Lugano; University of St. GallenSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
Annette BieniusaBieniusa, Annette Rheinland-Pfälzische Technische Universität Kaiserslautern-LandauGermany PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
David BinderBinder, David University of Kent, UKUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Walter BinderBinder, Walter USI LuganoSwitzerland Experimental Evaluation Methodology for the Era of No Steady Performance TwinString: Preserving String Semantics with Off-Heap Data on the JVM
Soneya Binta HossainBinta Hossain, Soneya University of Texas at DallasUnited States Session Chair of Testing & Quality Assurance (part of SPLASH/ISSTA Tool Demonstrations) CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
Christian BirdBird, Christian Microsoft ResearchUnited States The Conversation We're Not Having About AI in Peer Review
Lars BirkedalBirkedal, Lars Aarhus UniversityDenmark Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
Swarnendu BiswasBiswas, Swarnendu IIT KanpurIndia Designing GPU Data Structures for Efficient Memory Oversubscription
Mo BitarBitar, Mo KITGermany Differential Execution with Lexical Tracing
Sam BlackshearBlackshear, Sam Mysten LabsUnited States Tracking Borrows with Regular Expressions
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Essays-track
Spyros BlanasBlanas, Spyros Ohio State UniversityUnited States Augur: Predicting View Serializability Violations in Relational Data Store Applications
Lionel BlatterBlatter, Lionel MPI-SPGermany Decompiling for Constant-Time Analysis (Dis)Proving Spectre Security with Speculation-Passing Style
Zenas BoamahBoamah, Zenas Haverford College Measuring Per-Decision Propagation Work as a Formula-Dependent Signal
Laura BocchiBocchi, Laura University of KentUnited Kingdom Mixed Choice in Asynchronous Multiparty Session Types
Giacomo BoldiniBoldini, Giacomo Ca' Foscari University of VeniceItaly Modular Abstract Interpretation for Stack-Heap Analysis of C/C++ via LLVM IR
Andrea BombardaBombarda, Andrea University of BergamoItaly Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Chathur BommineniBommineni, Chathur Georgia Institute of TechnologyUnited States Spatial and Temporal Decomposition for Faster Translation Validation
Michael D. BondBond, Michael D. Ohio State UniversityUnited States Augur: Predicting View Serializability Violations in Relational Data Store Applications
Daniele BonettaBonetta, Daniele VU AmsterdamNetherlands TwinString: Preserving String Semantics with Off-Heap Data on the JVM Co-chair in Sponsorship Committee within the SPLASH/ISSTA Sponsorship-track
Andrew BonillaBonilla, Andrew Columbia University How Far Does Replication Pay Off? A Throughput-Area Study of Brute-Force SAT on an ECP5 FPGA
Alessandro BottaBotta, Alessandro University of Texas at Dallas CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
Thomas BourgeatBourgeat, Thomas EPFLSwitzerland A Language Approach to Fine-Grained Microarchitectural Observation Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Youcef BouzidBouzid, Youcef ENS Paris-SaclayFrance Decompiling for Constant-Time Analysis
Matt BovelBovel, Matt EPFLSwitzerland First-Class Refinement Types for Scala
Tomáš BoďaBoďa, Tomáš Charles UniversityCzechia Timeline: Adding the Time Dimension to Spreadsheets
Gilad BrachaBracha, Gilad F5United States It's Alive!: AI and Live Programming
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of TübingenGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
William BrandonBrandon, William Massachusetts Institute of TechnologyUnited States Fully-Automatic Type Inference for Borrows with Lifetimes
Oliver BračevacBračevac, Oliver EPFLSwitzerland Classifying Capabilities Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Roberto BruniBruni, Roberto University of PisaItaly Systematic Design of Separation Logics
Lubomír BulejBulej, Lubomír Charles UniversityCzechia Experimental Evaluation Methodology for the Era of No Steady Performance
Shawn BurnhamBurnham, Shawn Auburn University ADEPT: A Unified Framework for Deep Learning Test Adequacy
Markus BöckBöck, Markus TU WienAustria Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware
Timon BöhlerBöhler, Timon TU DarmstadtGermany DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Lukas BöhmeBöhme, Lukas Hasso Plattner Institute, University of Potsdam, Potsdam, GermanyGermany The Developer as Curator: A Canvas for Coding Agent Context
C Yuandao CaiCai, Yuandao Hong Kong University of Science and TechnologyChina Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Ben CaldwellCaldwell, Ben University of ChicagoUnited States TensorRocq: Enabling Diagrammatic Reasoning in Rocq
José Pablo CambroneroCambronero, José Pablo Google, USAUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Eric Hayden CampbellCampbell, Eric Hayden University of Texas at AustinUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
David Minh-Duy CaoCao, David Minh-Duy University of California at BerkeleyUnited States Direct Manipulation and Natural Language Programming, Together at Last?
Hongchen CaoCao, Hongchen ShanghaiTech UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Jialun CaoCao, Jialun The Hong Kong University of Science and Technology and Guangzhou HKUST Fok Ying Tung Research InstituteChina Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
Tianci CaoCao, Tianci Zhejiang UniversityChina Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
Zong CaoCao, Zong Imperial Global Singapore; Nanyang Technological UniversitySingapore Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Denis CarnierCarnier, Denis KU LeuvenBelgium Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
María Cea FernándezCea Fernández, María Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and TechnologyGermany Compiling Quantum Regular Language States
Ethan CecchettiCecchetti, Ethan University of Wisconsin-MadisonUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Milind ChabbiChabbi, Milind Uber TechnologiesUnited States Beyond Nominality: Faster Rapid Type Analysis in the Presence of Structural Subtyping
Eric Man ChanChan, Eric Man University of California at RiversideUnited States Frashokereti: Non-aborting Optimistically Replicated Objects
Jonathan ChanChan, Jonathan University of PennsylvaniaUnited States Commuting Conversions and Join Points for Call-by-Push-Value
Vincent H. ChanChan, Vincent H. University at Buffalo Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Satish ChandraChandra, Satish Meta Platforms, Inc.United States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track The Era of Coding Agents
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder; AmazonUnited States Committee Member in Steering Committee for SPLASH 2026 Session Chair of Verifying Real Systems (part of SPLASH OOPSLA) Effectively Propositional Higher-Order Functional Programming
Jiaxin ChangChang, Jiaxin Shanghai Jiao Tong UniversityChina EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Noah CharltonCharlton, Noah Ohio State UniversityUnited States Augur: Predicting View Serializability Violations in Relational Data Store Applications
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States Direct Manipulation and Natural Language Programming, Together at Last? Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bodhisatwa ChatterjeeChatterjee, Bodhisatwa NVIDIA, Georgia Institute of TechnologyUnited States Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Mainak ChaudhuriChaudhuri, Mainak IIT KanpurIndia Designing GPU Data Structures for Efficient Memory Oversubscription
Dong ChenChen, Dong Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Feiyu ChenChen, Feiyu Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond
Ge ChenChen, Ge Midea AIRCChina Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Guokai ChenChen, Guokai EPFLSwitzerland A Language Approach to Fine-Grained Microarchitectural Observation
Hongyu ChenChen, Hongyu Nanjing UniversityChina BackSmith: A Systematic Approach to Testing Compiler Backends
Jiawei ChenChen, Jiawei University of MichiganUnited States Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Jocelyn Qiaochu ChenChen, Jocelyn Qiaochu University of AlbertaCanada Session Chair of Synthesis and Specification (part of SPLASH OOPSLA) Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mingshuai ChenChen, Mingshuai Zhejiang UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mingyi ChenChen, Mingyi University of California, Irvine Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Ping ChenChen, Ping Fudan UniversityChina RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Qinlin ChenChen, Qinlin Nanjing UniversityChina When FPGA Meets Dataflow Analysis: An Explorative Step
Victor ChenChen, Victor The Ohio State University Towards Scalable and Verifiable Automated Translation from C to Safe Rust (Long Talk) Towards Scalable and Verifiable Automated Translation from C to Safe Rust
Wangyi ChenChen, Wangyi Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Wei ChenChen, Wei Hong Kong University of Science and TechnologyChina SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries
Wenyao ChenChen, Wenyao UNSW SydneyAustralia From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Xingchu ChenChen, Xingchu Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Yang ChenChen, Yang University of Illinois at Urbana-ChampaignUnited States Process-Centric Analysis of Agentic Software Systems
Yu-Fang ChenChen, Yu-Fang Academia SinicaTaiwan Verifying Repeat-until-Success Protocols using Automata
Yuanliang ChenChen, Yuanliang Renmin University of ChinaChina VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Yusen ChenChen, Yusen National University of Defense TechnologyChina Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
Zengxu ChenChen, Zengxu Nanjing UniversityChina Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Zhenbang ChenChen, Zhenbang National University of Defense TechnologyChina Online Input Grammar Synthesis Aided Symbolic Execution EUFⁿ: A Decidable Extension to the Theory of Equality with Uninterpreted Functions Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
Zhenyu ChenChen, Zhenyu Nanjing UniversityChina Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Zhicheng ChenChen, Zhicheng Texas A&M University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Luyu ChengCheng, Luyu Hong Kong University of Science and TechnologyChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Programming with Composable Recursive Patterns and Transformations
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Committee Member in Steering Committee for SPLASH 2026 Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track Session Chair of Staging and Metaprogramming (part of SPLASH OOPSLA)
Jeffrey ChingChing, Jeffrey Duke UniversityUnited States Sound Enforcement of Dynamic Release Information Flow Policy
Kyeongmin ChoCho, Kyeongmin RebellionsRepublic of Korea Quantum Monte Carlo Estimation via Probabilistic Programming
Jaeho choichoi, Jaeho HyperAccelRepublic of Korea Quantum Monte Carlo Estimation via Probabilistic Programming
Yunja ChoiChoi, Yunja Kyungpook National UniversitySouth Korea Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Chun Yong ChongChong, Chun Yong Monash University MalaysiaMalaysia Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models
Venkatesh ChoppellaChoppella, Venkatesh IIIT HyderabadIndia Committee Member in Program Committee within the SPLASH Onward! Papers-track
Sherman S. M. ChowChow, Sherman S. M. Chinese University of Hong KongHong Kong Staged Multi-step UTXO Workflows via Recursive Invariants
Mushfiqur Rahman ChowdhuryChowdhury, Mushfiqur Rahman New Jersey Institute of Technology Slice-Guided, Context-Augmented Large Language Model Inference of Java Nullability Annotations
Maria ChristakisChristakis, Maria TU WienAustria Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ethan ChuChu, Ethan Carnegie Mellon UniversityUnited States Handling Exceptions and Effects with Automatic Resource Analysis
Ravi ChughChugh, Ravi University of Chicago Integrating Blocks and Text in the Classroom
Alice ChungChung, Alice University of California, San Diego Towards Critical Abstraction for Software
J. Ignacio CiracCirac, J. Ignacio Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and TechnologyGermany Compiling Quantum Regular Language States
Jürgen CitoCito, Jürgen TU WienAustria Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware
Cliff ClickClick, Cliff meUnited States A Simple Compiler Tutorial
Michael CoblenzCoblenz, Michael University of California, San DiegoUnited States Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Sam CohenCohen, Sam University of Chicago Integrating Blocks and Text in the Classroom
Youyou CongCong, Youyou Institute of Science TokyoJapan Observations on Tracing Program Design through Natural Language Dialogue
Andreea CosteaCostea, Andreea TU DelftNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Landon CoxCox, Landon Microsoft ResearchUnited States GitHub Agentic Workflows Security: Under the Hood and Behind the Wheel
Will CrichtonCrichton, Will Brown UniversityUnited States Teaching About Tools For Thought Programme Committee in Program Committee within the SPLASH -E-track A Design Space Exploration of Async/Await Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Marianna CrupiCrupi, Marianna Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and TechnologyGermany Compiling Quantum Regular Language States
Jiacai CuiCui, Jiacai Nanjing UniversityChina When FPGA Meets Dataflow Analysis: An Explorative Step
Leyi (Angel) CuiCui, Leyi (Angel) Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Joseph W. CutlerCutler, Joseph W. University of PennsylvaniaUnited States Fail Faster: Staging and Fast Randomness for High-Performance PBT
D Loris D'AntoniD'Antoni, Loris University of California at San DiegoUnited States Incremental Program Synthesis from Event Logs
Emanuele D'OsualdoD'Osualdo, Emanuele University of KonstanzGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Frank DaiDai, Frank UnaffiliatedUnited States Fully-Automatic Type Inference for Borrows with Lifetimes
Yihan DaiDai, Yihan Peking UniversityChina Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Wu DaiyouDaiyou, Wu Nanjing UniversityChina Pyriscope: Precise and Low-Overhead Python Control Flow Tracing via Sparse Hardware-Based Events
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Andreas DannDann, Andreas Germany Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Li DaoxinDaoxin, Li National University of Singapore More Pie for the Little Typer
Thibault DardinierDardinier, Thibault EPFLSwitzerland Sound State Encodings in Translational Separation Logic Verifiers Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Session Chair of Probabilistic Programming (part of SPLASH OOPSLA)
Eva DarulovaDarulova, Eva Uppsala UniversitySweden Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Cristina DavidDavid, Cristina University of BristolUnited Kingdom TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
Charles de Harode Haro, Charles École Normale Supérieure \| Université PSLFrance Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Markus de Medeirosde Medeiros, Markus New York UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Committee Member in Steering Committee for SPLASH 2026
Shuiguang DengDeng, Shuiguang Zhejiang UniversityChina InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Ankush DesaiDesai, Ankush SnowflakeUnited States Specy: Learning Specifications for Distributed Systems from Event Traces
Vasudha DevarakondaDevarakonda, Vasudha Texas A&M UniversityUnited States Bonsai: Efficient and Optimal Automatic Tensor Rematerialization for Memory-Constrained DNN Training
Kyle DeweyDewey, Kyle California State University, NorthridgeUnited States Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Paolo Di BiaseDi Biase, Paolo Gran Sasso Science InstituteItaly Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs
Nongyu DiDi, Nongyu Nanjing UniversityChina Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
Werner DietlDietl, Werner University of WaterlooCanada Transitive, Abstract, and Class Polymorphic Immutability
Işıl DilligDillig, Işıl University of Texas at AustinUnited States Committee Member in Steering Committee for SPLASH 2026 Session Chair of SPLASH/OOPSLA Town Hall (part of SPLASH OOPSLA) Co-chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Elizabeth DinellaDinella, Elizabeth Bryn Mawr CollegeUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Cheng DingDing, Cheng University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Understanding and Finding JIT Compiler Performance Bugs
Ling DingDing, Ling Central University of Finance and EconomicsChina T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Session Chair of Ownership, Lifetimes and Regions (part of SPLASH OOPSLA) Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Oyendrila DobeDobe, Oyendrila Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Joey DoddsDodds, Joey AmazonUnited States Incremental Program Synthesis from Event Logs
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Session Chair of Debugging and Fault Localization (part of SPLASH OOPSLA) From Formal Methods to Fuzzing and Back WGSLsmith: Randomised Testing for the WebGPU Shading Language Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical UniversityCzechia Session Chair of Observing, Exploring and Assessing Student Work (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track Revisiting Row Polymorphism for Set-Theoretic Types
Jin Song DongDong, Jin Song National University of SingaporeSingapore EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Rongcui DongDong, Rongcui University of RochesterUnited States Symbolic Basic Block Profiling for Machine Learning Kernels
Wei DongDong, Wei National University of Defense TechnologyChina Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse EUFⁿ: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
Brijesh DongolDongol, Brijesh University of SurreyUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Eleanor DrageDrage, Eleanor University of CambridgeUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Essays-track
Derek DreyerDreyer, Derek MPI-SWSGermany Bringing Foundational Verification to Real-World Rust Code
Benjamin DriscollDriscoll, Benjamin Stanford UniversityUnited States Fully-Automatic Type Inference for Borrows with Lifetimes Equivalence Checking of ML GPU Kernels
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRS Committee Member in Steering Committee for SPLASH 2026
Bowen DuDu, Bowen Tongji UniversityChina SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
Hang DuDu, Hang University of California at IrvineUnited States The Mechanisms and Practice of Mutation Testing in Improving Software Quality (Long Talk) The Mechanisms and Practice of Mutation Testing in Improving Software Quality
Lucas DuDu, Lucas UC Davis Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Pengbo DuDu, Pengbo Beijing University of Posts and TelecommunicationsChina Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Yide DuDu, Yide National University of Defense TechnologyChina EUFⁿ: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
Kshitij DubeyDubey, Kshitij Microsoft ResearchIndia Equivalence Checking of ML GPU Kernels
Evan DyceDyce, Evan Simon Fraser UniversityCanada Synthesizing Graph Queries from Demonstrations
Marius DörbandtDörbandt, Marius Hasso Plattner Institute, University of PotsdamGermany Proxies All the Way Down: Bootstrapping a Userland Speculative Optimizer for the OpenSmalltalk VM
E Rebecca Williams EarleEarle, Rebecca Williams Northeastern University Curated Semantic Mutants: Multi-Purpose Artifacts for Grading and Hinting Student Test Suites
Jonathan EdwardsEdwards, Jonathan IndependentUnited States Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track
William EiersEiers, William Stevens Institute of Technology, USAUnited States Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Segev Elazar MittelmanElazar Mittelman, Segev University of MarylandUnited States Testing Theorems, Fully Automatically
Mehmet EmreEmre, Mehmet University of San FranciscoUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Co-chair in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track Co-chair in SRC Committee within the SPLASH/ISSTA Student Research Competition-track Co-chair in Program Committee within the SPLASH/ISSTA Posters-track
Sebastian ErdwegErdweg, Sebastian KITGermany Differential Execution with Lexical Tracing
Zafer EsenEsen, Zafer Uppsala UniversitySweden Sound and Complete Invariant-Based Heap Encodings
Tae Eun KimEun Kim, Tae KAISTSouth Korea Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Julia EvansEvans, Julia Canada Committee Member in Program Committee within the SPLASH Onward! Papers-track
Karine Even-MendozaEven-Mendoza, Karine King’s College LondonUnited Kingdom Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
F Tommi Rose FahyFahy, Tommi Rose Auburn University ADEPT: A Unified Framework for Deep Learning Test Adequacy
Moshood A. FakoredeFakorede, Moshood A. Louisiana State UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Andong FanFan, Andong University of TorontoCanada Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching
Chunrong FangFang, Chunrong Nanjing UniversityChina Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
François FarquetFarquet, François Oracle LabsSwitzerland Experimental Evaluation Methodology for the Era of No Steady Performance
Justus FasseFasse, Justus KU LeuvenBelgium Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Session Chair of LLMs for Code Generation (part of SPLASH OOPSLA) Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Ding FengFeng, Ding National University of Singapore, SingaporeSingapore More Pie for the Little Typer
Qiong FengFeng, Qiong Nanjing University of Science and TechnologyChina CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers
Ruitao FengFeng, Ruitao Southern Cross UniversityAustralia Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Wenbu FengFeng, Wenbu Tianjin UniversityChina Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Yu FengFeng, Yu University of California at Santa BarbaraUnited States Committee Member in Doctoral Symposium within the SPLASH/ISSTA Doctoral symposium-track
Florent Ferrari-DominguezFerrari-Dominguez, Florent ENS de LyonFrance Programming with Composable Recursive Patterns and Transformations
Alessio FerrariniFerrarini, Alessio IMDEA Software Institute; Universidad Politécnica de MadridSpain PLEX: Normalization for Refinement Types
Michael FicarraFicarra, Michael F5United States Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
David Anthony K. FieldsFields, David Anthony K. Seton Hall University Visualizing Turing Machines and Multitape Turing Machines
Jean-Christophe FilliatreFilliatre, Jean-Christophe CNRSFrance Author in Program Committee within the SPLASH -E-track
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs
Roman FischerFischer, Roman ETH ZurichSwitzerland A Type System for Optimizing Dynamic IFC
Alex FischmanFischman, Alex University of WashingtonUnited States Efficient Extraction for Effectful E-graphs
Matthew FlattFlatt, Matthew University of UtahUnited States Session Chair of Types for Dynamic Languages (part of SPLASH OOPSLA)
Oliver FlattFlatt, Oliver University of WashingtonUnited States Efficient Extraction for Effectful E-graphs
Ryan FleuryFleury, Ryan United States A Compiler And Visualizer Design For Debugger Visualization Expressions
Marta Florido-LlinàsFlorido-Llinàs, Marta Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and TechnologyGermany Compiling Quantum Regular Language States
Jonathan FooFoo, Jonathan Imperial College London Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases
Yong Qi FooFoo, Yong Qi National University of SingaporeSingapore Class-Dictionary Specialization with Rank-2 Polymorphic Functions
Simon FowlerFowler, Simon University of GlasgowUnited Kingdom Speak Now: Safe Actor Programming with Multiparty Session Types
Guy FrankelFrankel, Guy University of EdinburghUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Steven D. FraserFraser, Steven D. InnoxecUnited States OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Impresario in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Marco FrigoFrigo, Marco University of Illinois at Urbana-ChampaignUnited States Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Elisa FrohlichFrohlich, Elisa Federal University of Minas GeraisBrazil Automatic Propagation of Profile Information through the Optimization Pipeline
Aymeric FromherzFromherz, Aymeric InriaFrance Scylla: Translating an Applicative Subset of C to Safe Rust
Mikoláš FrommFromm, Mikoláš Charles University The Choose-Your-Own-Adventure Calculus
Hongfei FuFu, Hongfei Shanghai University of Finance and EconomicsChina Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities Staged Multi-step UTXO Workflows via Recursive Invariants Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jingzhou FuFu, Jingzhou Tsinghua UniversityChina Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Xiaopeng FuFu, Xiaopeng Beijing Institute of Technology; Zhongguancun LaboratoryChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Yeqi FuFu, Yeqi National University of SingaporeSingapore Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Youxin FuFu, Youxin Nanjing UniversityChina Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
G Daniel Galán PascualGalán Pascual, Daniel ETH ZurichSwitzerland A Type System for Optimizing Dynamic IFC
Rohan GangarajuGangaraju, Rohan University of Texas at AustinUnited States Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Jatin GanhotraGanhotra, Jatin IBMUnited States Process-Centric Analysis of Agentic Software Systems
junhao gaogao, junhao University of California, San Diego OLIVE: Output-Level Iterative Verification Engine
Kai GaoGao, Kai University of Science and Technology BeijingChina OmniJinja: A Cross-Language VS Code Extension for Jinja Application Development
Ying GaoGao, Ying Beihang University; Zhongguancun LaboratoryChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Andrés M. GarcedGarced, Andrés M. Seton Hall University Visualizing Turing Machines and Multitape Turing Machines
Aayush GargGarg, Aayush Luxembourg Institute of Science and TechnologyLuxembourg Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Anirudh GargGarg, Anirudh IIT BombayIndia IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Deepak GargGarg, Deepak MPI-SWSGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Harshit GargGarg, Harshit Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Shiven GarisaGarisa, Shiven Heritage High School CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
Lorenzo GazzellaGazzella, Lorenzo University of PisaItaly Systematic Design of Separation Logics
Paul GazzilloGazzillo, Paul University of Central FloridaUnited States Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Chujun GengGeng, Chujun Ohio State UniversityUnited States Augur: Predicting View Serializability Violations in Relational Data Store Applications
Ali GhanbariGhanbari, Ali Auburn UniversityUnited States ADEPT: A Unified Framework for Deep Learning Test Adequacy
Golnaz GharachorluGharachorlu, Golnaz University of Ottawa Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Saugata GhoseGhose, Saugata University of Illinois at Urbana-ChampaignUnited States Uncovering Hidden Memory Costs for Garbage Collection
Paola GianniniGiannini, Paola University of Eastern PiedmontItaly Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Andrea GilotGilot, Andrea Uppsala UniversitySweden Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Vladimir GladshteinGladshtein, Vladimir National University of SingaporeSingapore Infinitary Relational Logic
Elena GlassmanGlassman, Elena Harvard UniversityUnited States In the Age of AI Coding Agents, Keeping the Engineer in Software Engineering
Milos GligoricGligoric, Milos University of Texas at AustinUnited States MGQL: An Executable, Small-Step Semantics of GQL Understanding and Finding JIT Compiler Performance Bugs Block Tests Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Maciej GodekGodek, Maciej Gdynia Maritime University Programs Should Be Comics, Their Execution — Animation
Sneha GoenkaGoenka, Sneha Princeton UniversityUnited States Filtr: Compiling Bioinformatics Recurrences
Amir K. GoharshadyGoharshady, Amir K. Gran Sasso Science InstituteItaly A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs
Satyajit GokhaleGokhale, Satyajit AmazonUnited States Co-chair in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Session Chair of Compiler Analysis and Transformation (part of SPLASH OOPSLA) Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Harrison GoldsteinGoldstein, Harrison University at BuffaloUnited States Programme Committee in Program Committee within the SPLASH -E-track Session Chair of Testing Compilers and Solvers (part of SPLASH OOPSLA) Fail Faster: Staging and Fast Randomness for High-Performance PBT Testing Theorems, Fully Automatically Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kiran GopinathanGopinathan, Kiran BasisUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kiran GopinathanGopinathan, Kiran University College LondonUnited Kingdom Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Colin S. GordonGordon, Colin S. Drexel UniversityUnited States Committee Member in Steering Committee for SPLASH 2026 Chair in Steering Committee within the SPLASH Onward! Steering Committee-track Normalization by Origin, Not by Shape Committee Member in Program Committee within the SPLASH Onward! Essays-track
Roberta GoriGori, Roberta University of PisaItaly Systematic Design of Separation Logics
Amber GorzynskiGorzynski, Amber Imperial College London WGSLsmith: Randomised Testing for the WebGPU Shading Language
Kirsten GrahamGraham, Kirsten University of WashingtonUnited States Efficient Extraction for Effectful E-graphs
Gavin GrayGray, Gavin Brown UniversityUnited States A Design Space Exploration of Async/Await
Simon Oddershede GregersenGregersen, Simon Oddershede CISPA Helmholtz Center for Information SecurityGermany Co-chair in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Karuna GrewalGrewal, Karuna Cornell University, USA Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed Systems
Karuna GrewalGrewal, Karuna Cornell University Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed Systems (Long Talk)
Alex GroceGroce, Alex Northern Arizona UniversityUnited States (This is Not a Paper About) Mutation Driven Development
Tobias GrosserGrosser, Tobias University of CambridgeUnited Kingdom Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled Reductions
Dan GrossmanGrossman, Dan University of WashingtonUnited States Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jan GrünkeGrünke, Jan TU BraunschweigGermany RAT-CAT-SAT: Model Checking Memory Consistency Models
Bin GuGu, Bin Beijing Institute of Control EngineeringChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Ronghui GuGu, Ronghui Columbia UniversityUnited States Synthesis of Compact and Expressive Quantum-Circuit Optimizations Verifying Economic Security of Smart Contracts via Unintended Return
Zinan GuGu, Zinan The State Key Laboratory of Blockchain and Data Security, Zhejiang University Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
Kevin GuanGuan, Kevin Cornell UniversityUnited States Block Tests
Zhichao GuanGuan, Zhichao Peking UniversityChina Localizing Type Errors for Syntactic Sugar by Lifting
Roberto GuancialeGuanciale, Roberto KTH Royal Institute of TechnologySweden Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Madi GudinGudin, Madi Amherst CollegeUnited States Commuting Conversions and Join Points for Call-by-Push-Value
Ege Berkay GulcanGulcan, Ege Berkay Delft University of TechnologyNetherlands Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Haonan GuoGuo, Haonan National University of Defense TechnologyChina Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Philip GuoGuo, Philip University of California San DiegoUnited States Towards Critical Abstraction for Software
Yiyang GuoGuo, Yiyang Carnegie Mellon UniversityUnited States Handling Exceptions and Effects with Automatic Resource Analysis
Zihan GuoGuo, Zihan Sun Yat-sen UniversityChina Staged Multi-step UTXO Workflows via Recursive Invariants
Aarti GuptaGupta, Aarti Princeton UniversityUnited States Specy: Learning Specifications for Distributed Systems from Event Traces
Sachin GuptaGupta, Sachin eBay Inc. HeapLens: An IDE-Integrated Tool for Heap Dump Analysis with In-Editor Source Bridging and LLM-Assisted Diagnosis
Aisha GurbanliGurbanli, Aisha Azerbaijan State University of Economics (UNEC) ActionTaint: Framework-Aware Taint Analysis for Next.js Server Actions
Lennard GäherGäher, Lennard MPI-SWSGermany Bringing Foundational Verification to Real-World Rust Code
Tobias GürtlerGürtler, Tobias Saarland University; Saarland Informatics CampusGermany noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
H Huong HaHa, Huong RMIT UniversityAustralia Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Julian HaasHaas, Julian Technische Universität DarmstadtGermany PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
Thomas HaasHaas, Thomas TU BraunschweigGermany RAT-CAT-SAT: Model Checking Memory Consistency Models
Jakob HainHain, Jakob Purdue University, USAUnited States A Typed Intermediate Representation for Dynamic Languages (TOPLAS)
Haotian HanHan, Haotian Wuhan UniversityChina CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Negar HashemiHashemi, Negar University of AucklandNew Zealand Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Muhammad HassanHassan, Muhammad Virginia TechUnited States Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution ThunderFork: Splitting SMT queries with targeted control-flow transformations
Jakub HavlíkHavlík, Jakub Brno University of TechnologyCzechia Verifying Repeat-until-Success Protocols using Automata
Devamardeep HayatpurHayatpur, Devamardeep University of California, San Diego Towards Critical Abstraction for Software
Fei HeHe, Fei Tsinghua University; Key Laboratory for Information System Security; Beijing National Research Center for Information Science and TechnologyChina Learning Symmetric Invariants from Symmetric Samples
Mengting HeHe, Mengting Pennsylvania State UniversityUnited States SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Mike HeHe, Mike Princeton UniversityUnited States Specy: Learning Specifications for Distributed Systems from Event Traces
Ningyu HeHe, Ningyu Hong Kong Polytechnic UniversityHong Kong When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Siyuan HeHe, Siyuan Purdue UniversityUnited States When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Yumeng HeHe, Yumeng University of UtahUnited States Accurate Residues for Floating-Point Debugging
Yuxuan HeHe, Yuxuan Xiamen UniversityChina Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Zhixuan HeHe, Zhixuan University of California, San Diego OLIVE: Output-Level Iterative Verification Engine
Tim A. D. HendersonHenderson, Tim A. D. GoogleUnited States The Real World is Messy: Examining the Productivity Impact of Automatically Reverting Bad Changes
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Martin HenzHenz, Martin National University of SingaporeSingapore More Pie for the Little Typer Co-chair in Program Committee within the SPLASH -E-track
Yann HerklotzHerklotz, Yann EPFLSwitzerland Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Felienne HermansHermans, Felienne Vrije Universiteit AmsterdamNetherlands Committee Member in Steering Committee for SPLASH 2026 Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track Chair in Program Committee within the SPLASH Onward! Essays-track
Michael HicksHicks, Michael University of Pennsylvania and AWSUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Keara HillHill, Keara Binghamton University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Daniel HillerströmHillerström, Daniel Category Labs and The University of EdinburghUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jonas Kastberg HinrichsenHinrichsen, Jonas Kastberg Aalborg UniversityDenmark Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
Robert HirschfeldHirschfeld, Robert Hasso Plattner Institute; University of PotsdamGermany Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track Proxies All the Way Down: Bootstrapping a Userland Speculative Optimizer for the OpenSmalltalk VM The Developer as Curator: A Canvas for Coding Agent Context Committee Member in Program Committee within the SPLASH Onward! Essays-track
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Handling Exceptions and Effects with Automatic Resource Analysis
Steven HoltzenHoltzen, Steven Northeastern UniversityUnited States Workshops Co-Chair in Workshops within the SPLASH/ISSTA Workshops-track
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the SPLASH Onward! Papers-track
Jintai HongHong, Jintai Xiamen UniversityChina SmartFuzz: Leveraging Large Language Models and Feature Composition to Generate High-Quality Seeds for Database Fuzzing
Weijiang HongHong, Weijiang National University of Defense TechnologyChina Online Input Grammar Synthesis Aided Symbolic Execution EUFⁿ: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
Vojtech HorkyHorky, Vojtech Charles UniversityCzechia Experimental Evaluation Methodology for the Era of No Steady Performance
Wanzhu HouHou, Wanzhu University of Wisconsin-Madison FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
Jon HowellHowell, Jon VMware ResearchUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chiao HsiehHsieh, Chiao Kyoto UniversityJapan Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Raymond HuHu, Raymond Queen Mary University of LondonUnited Kingdom Speak Now: Safe Actor Programming with Multiparty Session Types Mixed Choice in Asynchronous Multiparty Session Types Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Zhenjiang HuHu, Zhenjiang Peking UniversityChina Localizing Type Errors for Syntactic Sugar by Lifting
Fei HuangHuang, Fei AlibabaChina InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Heqing HuangHuang, Heqing City University of Hong KongChina Revisiting Path Coverage Tracing from a Node-Centric View
Huaxun HuangHuang, Huaxun Xiamen UniversityChina Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States ReFun: Reconstructing Function Boundaries in EVM Bytecode Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
peishan huanghuang, peishan National University of Defense TechnologyChina Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
Xiangdong HuangHuang, Xiangdong Tsinghua UniversityChina Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Yifei HuangHuang, Yifei University of Southern CaliforniaUnited States Prosecutor: Bayesian Counterfactual Fault Localization
Zhiyong HuangHuang, Zhiyong National University of SingaporeSingapore EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
François HubletHublet, François ETH ZurichSwitzerland A Type System for Optimizing Dynamic IFC
Guerney HuntHunt, Guerney IBM ResearchUnited States Bringing Foundational Verification to Real-World Rust Code
Wei HuoHuo, Wei Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Soha HusseinHussein, Soha Ain Shams University, EgyptEgypt Co-chair in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track Co-chair in SRC Committee within the SPLASH/ISSTA Student Research Competition-track Co-chair in Program Committee within the SPLASH/ISSTA Posters-track
Sander HuyghebaertHuyghebaert, Sander Vrije Universiteit Brussel Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
I Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Refined² Environment Classifiers
Reinis IrmejsIrmejs, Reinis Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and TechnologyGermany Compiling Quantum Regular Language States
Anastasia IsychevIsychev, Anastasia University of SydneyAustralia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
J Reyhaneh JabbarvandJabbarvand, Reyhaneh University of Illinois at Urbana-ChampaignUnited States Process-Centric Analysis of Agentic Software Systems
Dejice JacobJacob, Dejice University of GlasgowUnited Kingdom CapOpt: Capability-Aware Superoptimization for Secure and Provably Faster Code
Bart JacobsJacobs, Bart KU LeuvenBelgium Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Jules JacobsJacobs, Jules ETH Zurich; Jane StreetSwitzerland Type-Directed Discretization of Probabilistic Programs Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Hans-Arno JacobsenJacobsen, Hans-Arno University of TorontoCanada ReFun: Reconstructing Function Boundaries in EVM Bytecode
Neeraj JadhavJadhav, Neeraj Georgia Institute of TechnologyUnited States Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Radha JagadeesanJagadeesan, Radha DePaul UniversityUnited States Granthi: Higher-Order Quantum Programming via Unitary Wiring
Aishwarya JagarapuJagarapu, Aishwarya Amazon Web ServicesUnited States Specy: Learning Specifications for Distributed Systems from Event Traces
Aila JahromiJahromi, Aila University of California, San Diego OLIVE: Output-Level Iterative Verification Engine
Devansh JainJain, Devansh University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Joel JakubovicJakubovic, Joel Charles UniversityCzechia Towards Concise Binding Semantics of Late-Bound OOP Systems
Nagendra Kumar JamadagniJamadagni, Nagendra Kumar UC San Diego Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Kasra JamshidiJamshidi, Kasra Simon Fraser UniversityCanada Geo: A Query Rewrite Framework for Graph Pattern Mining
Abhinav JangdaJangda, Abhinav Microsoft ResearchUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nutdranai JaruthikornJaruthikorn, Nutdranai The Chinese University of Hong Kong Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Jean-Baptiste JeanninJeannin, Jean-Baptiste University of MichiganUnited States Proof Interfaces for Exploratory Mathematics Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Jonguk JeonJeon, Jonguk KAISTRepublic of Korea Quantum Monte Carlo Estimation via Probabilistic Programming
Seungmin JeonJeon, Seungmin KAISTRepublic of Korea Quantum Monte Carlo Estimation via Probabilistic Programming
Seokhun JeongJeong, Seokhun KAISTRepublic of Korea P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
Yong-Hwan JeongJeong, Yong-Hwan Kyungpook National University Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Aaron JeyarajJeyaraj, Aaron Fluidstack Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yoon-Chan JhiJhi, Yoon-Chan Technology Research, Samsung SDS, Seoul, South Korea SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs
Fuqi JiaJia, Fuqi Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Validating Optimizing SMT Solvers via Cross-Theory Approximation
Songlin JiaJia, Songlin Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Anxiao JiangJiang, Anxiao Texas A&M UniversityUnited States Bonsai: Efficient and Optimal Automatic Tensor Rematerialization for Memory-Constrained DNN Training
Bo JiangJiang, Bo Bytedance Network TechnologyChina EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Jinan JiangJiang, Jinan Hong Kong Polytechnic UniversityHong Kong Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Pengyue JiangJiang, Pengyue Cornell UniversityUnited States Block Tests
Ruilin JiangJiang, Ruilin Xiamen UniversityChina Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Shan JiangJiang, Shan University of Texas at AustinUnited States OBsmith: LLM-Powered JavaScript Obfuscator Testing
Yu JiangJiang, Yu Tsinghua UniversityChina Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yuxuan JiangJiang, Yuxuan SambaNova Systems Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Matthieu JimenezJimenez, Matthieu SnT, University of LuxembourgLuxembourg PyMut4SE: Comprehensive Mutation Testing for Python Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Hu JunjieJunjie, Hu Xidian UniversityChina Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
K Aditi KabraKabra, Aditi Carnegie Mellon UniversityUnited States Hybrid Game Control Envelope Synthesis
Ismet Burak KadronKadron, Ismet Burak University of California at Santa BarbaraUnited States Committee Member in Program Committee within the SPLASH/ISSTA Posters-track
Gowtham KakiKaki, Gowtham University of Colorado BoulderUnited States Effectively Propositional Higher-Order Functional Programming Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Diana KalinichenkoKalinichenko, Diana Jane Street Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Pankaj Kumar KalitaKalita, Pankaj Kumar IBM ResearchIndia LLM-Assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles, and Natural Language
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Commit-Window Observation Contracts for Reactive Entity-Component Systems
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
Mehant KammakomatiKammakomati, Mehant IBM India Research Lab From Bug Reports to Reproduction Tests: A Multi-Patch, Multi-Level Feedback-Guided Approach with an IBM Torch Spyre Industrial Case Study
Jeehoon KangKang, Jeehoon FuriosaAIRepublic of Korea Quantum Monte Carlo Estimation via Probabilistic Programming
Yidi KaoKao, Yidi Auburn University ADEPT: A Unified Framework for Deep Learning Test Adequacy
Neeraj KayalKayal, Neeraj Microsoft ResearchIndia Equivalence Checking of ML GPU Kernels
Piyus KediaKedia, Piyus IIIT DelhiIndia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matthew KeenanKeenan, Matthew University of Michigan Proof Interfaces for Exploratory Mathematics
Sascha KehrliKehrli, Sascha MPI-SWSGermany Bringing Foundational Verification to Real-World Rust Code
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track Session Chair of Semantics and Calculi (part of SPLASH OOPSLA)
Stephen KellKell, Stephen King's College LondonUnited Kingdom Debugging Debugging Information using Dynamic Call Trees
Stephen KellKell, Stephen King's College LondonUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Martin KelloggKellogg, Martin New Jersey Institute of TechnologyUnited States Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Divij KhaitanKhaitan, Divij Microsoft Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Mikail KhanKhan, Mikail Carnegie Mellon UniversityUnited States Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots
Mahmoud KhawajaKhawaja, Mahmoud Cairo University - Faculty of Engineering Query Analyzer: Framework-Agnostic, Confidence-Based N+1 Detection for the JVM
Nishant KheterpalKheterpal, Nishant University of MichiganUnited States Proof Interfaces for Exploratory Mathematics
Chin KhorKhor, Chin Iowa State University VarCHEKER: A Variability-based Static Analyzer for Python Applications
Kaustubh KhulbeKhulbe, Kaustubh University of Illinois at Urbana-ChampaignUnited States Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States OBsmith: LLM-Powered JavaScript Obfuscator Testing
Jieung KimKim, Jieung Yonsei UniversitySouth Korea Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jinwoo KimKim, Jinwoo University of California at San DiegoUnited States Incremental Program Synthesis from Event Logs
Kunha KimKim, Kunha University of Colorado BoulderUnited States Effectively Propositional Higher-Order Functional Programming
Minsu KimKim, Minsu Korea UniversityRepublic of Korea Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Youyang KimKim, Youyang Kyungpook National University Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Tom J KingKing, Tom J University of Houston RepairFormer: Automated Repair of Structured Inputs Using Transformers
Matthew KiserKiser, Matthew TU Munich; IQM Quantum ComputersGermany Compiling Quantum Regular Language States
Aleks KissingerKissinger, Aleks University of OxfordUnited Kingdom TensorRocq: Enabling Diagrammatic Reasoning in Rocq
Fredrik KjolstadKjolstad, Fredrik Stanford UniversityUnited States Filtr: Compiling Bioinformatics Recurrences Deegen: A JIT-Capable VM Generator for Dynamic Languages Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nicolas KloseKlose, Nicolas ETH ZurichSwitzerland Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
Michalis KokologiannakisKokologiannakis, Michalis ETH ZurichSwitzerland A Formal Account of the Wasm 3.0 Concurrency Model Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ziqiao KongKong, Ziqiao Nanyang Technological UniversitySingapore Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
James KoppelKoppel, James Massachusetts Institute of Technology, USA Committee Member in Program Committee within the SPLASH Onward! Papers-track
Joomy KorkutKorkut, Joomy BloombergUnited States The Last Mile of Certified Programming Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Paraschos KoutrisKoutris, Paraschos University of Wisconsin-MadisonUnited States FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
Christos KozyrakisKozyrakis, Christos NVIDIA; Stanford UniversityUnited States Hunting CUDA Bugs at Scale with cuFuzz
Maite KramarzKramarz, Maite University of TorontoCanada Mechanised Semantics of Multi-stage Programming
Rrezarta KrasniqiKrasniqi, Rrezarta University of North Carolina at CharlotteUnited States Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Vivek Krishna ChoppaKrishna Choppa, Vivek Amazon Web Services, USAUnited States Cohesive Agent Teams with Central Agent Registry
Rahul KrishnaKrishna, Rahul IBM ResearchUnited States Process-Centric Analysis of Agentic Software Systems
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Committee Member in Steering Committee for SPLASH 2026 A Design Space Exploration of Async/Await
Srđan KrstićKrstić, Srđan ETH ZurichSwitzerland A Type System for Optimizing Dynamic IFC
Sebastián KrynskiKrynski, Sebastián Czech Technical University in PragueCzechia A Typed Intermediate Representation for Dynamic Languages (TOPLAS)
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bhargav KulkarniKulkarni, Bhargav University of UtahUnited States Semantics for 2D Rasterization
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Kouta KumamotoKumamoto, Kouta Institute of Science Tokyo Observations on Tracing Program Design through Natural Language Dialogue
Viktor KunčakKunčak, Viktor EPFLSwitzerland First-Class Refinement Types for Scala
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Committee Member in Doctoral Symposium within the SPLASH/ISSTA Doctoral symposium-track
Haechan KwonKwon, Haechan KAISTRepublic of Korea P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
Young-Woo KwonKwon, Young-Woo Kyungpook National UniversitySouth Korea Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Filip KřikavaKřikava, Filip Czech Technical UniversityCzechia Committee Member in Steering Committee for SPLASH 2026 A Typed Intermediate Representation for Dynamic Languages (TOPLAS) Revisiting Row Polymorphism for Set-Theoretic Types Session Chair of REBASE 1 (part of SPLASH/ISSTA REBASE industry track) Session Chair of REBASE 5 (part of SPLASH/ISSTA REBASE industry track) Session Chair of REBASE 4 (part of SPLASH/ISSTA REBASE industry track) Welcome to REBASE Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows
L Salvatore La TorreLa Torre, Salvatore Università degli Studi di SalernoItaly Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs
Kevin LaeuferLaeufer, Kevin Cornell UniversityUnited States Understanding Accelerator Compilers via Performance Profiling Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Vincent LafeychineLafeychine, Vincent Université Paris-Saclay - CNRS - ENS Paris-Saclay - Inria - LMFFrance Bringing Foundational Verification to Real-World Rust Code
Sumit LahiriLahiri, Sumit IIT Kanpur; QualcommIndia LLM-Assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles, and Natural Language
Mahesh LakshminarasimhanLakshminarasimhan, Mahesh AMD USA Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Chun Kit LamLam, Chun Kit Hong Kong University of Science and TechnologyHong Kong A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs
Leonidas LampropoulosLampropoulos, Leonidas University of MarylandUnited States Testing Theorems, Fully Automatically Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Julien LangeLange, Julien Royal Holloway, University of LondonUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Andreas Stenbæk LarsenLarsen, Andreas Stenbæk Aarhus UniversityDenmark Fighting Supply Chain Attacks with Effect Systems
Chris LattnerLattner, Chris Modular, a Qualcomm company Mojo: Towards One Systems Language for All Hardware
Andrea LattuadaLattuada, Andrea VMware ResearchSwitzerland Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jonathan LaurentLaurent, Jonathan KITGermany Hybrid Game Control Envelope Synthesis
Mickaël LaurentLaurent, Mickaël Charles UniversityCzechia A Typed Intermediate Representation for Dynamic Languages (TOPLAS) Revisiting Row Polymorphism for Set-Theoretic Types Implementing Set-Theoretic Types Type Inference for Functional and Imperative Dynamic Languages
Lucie le Blancle Blanc, Lucie Session Chair of Developer Tools, Diagnostics & Automation (part of SPLASH/ISSTA Tool Demonstrations)
Jack LeLe, Jack Do Machines Struggle Where Humans Do? Obfuscation as a Probe of Human and Machine Code Comprehension
Wei LeLe, Wei Iowa State UniversityUnited States Prosecutor: Bayesian Counterfactual Fault Localization
Jaehyun LeeLee, Jaehyun KAISTRepublic of Korea P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
Joonghoon LeeLee, Joonghoon Korea UniversitySouth Korea Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
Kanguk LeeLee, Kanguk KAISTRepublic of Korea Quantum Monte Carlo Estimation via Probabilistic Programming
Myungho LeeLee, Myungho Samsung SDSSouth Korea SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs
Seokhyun LeeLee, Seokhyun Korea University, South KoreaSouth Korea Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
Yunjeong LeeLee, Yunjeong National University of SingaporeSingapore Grammar Repair with Examples and Tree Automata
James Lee-JonesLee-Jones, James Imperial College LondonUnited Kingdom Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Block Tests Committee Member in Doctoral Symposium within the SPLASH/ISSTA Doctoral symposium-track
Daniel LehmannLehmann, Daniel Google, GermanyGermany Session Chair of REBASE 8 (part of SPLASH/ISSTA REBASE industry track) Session Chair of REBASE 3 (part of SPLASH/ISSTA REBASE industry track) Session Chair of REBASE 9 (part of SPLASH/ISSTA REBASE industry track)
Daniel LehmannLehmann, Daniel GoogleGermany Welcome to REBASE
Daniel LehmannLehmann, Daniel Google, GermanyGermany Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA LISTFrance AADT: Abstract Abstract Data Types
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada Intro and Welcome Chair in Doctoral Symposium within the SPLASH/ISSTA Doctoral symposium-track
Ondřej LengálLengál, Ondřej Brno University of TechnologyCzechia Verifying Repeat-until-Success Protocols using Automata
Mohsen LesaniLesani, Mohsen University of California at Santa CruzUnited States Session Chair of Distributed and Replicated Systems (part of SPLASH OOPSLA) Frashokereti: Non-aborting Optimistically Replicated Objects Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Annabel LevyLevy, Annabel University of MarylandUnited States Commuting Conversions and Join Points for Call-by-Push-Value
Alexander K. LewLew, Alexander K. Yale UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nicholas V. LewchenkoLewchenko, Nicholas V. University of Colorado BoulderUnited States Effectively Propositional Higher-Order Functional Programming
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Binhua LiLi, Binhua AlibabaChina InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Guochang LiLi, Guochang Zhejiang UniversityChina InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Guoqiang LiLi, Guoqiang Shanghai Jiao Tong UniversityChina Staged Multi-step UTXO Workflows via Recursive Invariants
Haofeng LiLi, Haofeng Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Context-Free Language Reachability via Efficient Relation Chaining
Haokun LiLi, Haokun Peking UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
Haonan LiLi, Haonan MBZUAIUnited Arab Emirates A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Haonan LiLi, Haonan University of California at Riverside, USA After the Hitchhiker's Guide: Toward Principled LLM Assistance for Static Analysis After the Hitchhiker's Guide: Toward Principled LLM Assistance for Static Analysis (Long Talk)
Ka Wing LiLi, Ka Wing University of CambridgeUnited Kingdom Mechanised Semantics of Multi-stage Programming
Kaixuan LiLi, Kaixuan Nanyang Technological UniversitySingapore Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Lian LiLi, Lian Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun LaboratoryChina Context-Free Language Reachability via Efficient Relation Chaining
Qingan LiLi, Qingan Wuhan UniversityChina CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Shaohua LiLi, Shaohua The Chinese University of Hong KongHong Kong SAR China Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Wei LiLi, Wei UNSW SydneyAustralia From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Xiaofeng LiLi, Xiaofeng Beijing Institute of Control EngineeringChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Xiaohong LiLi, Xiaohong Tianjin UniversityChina Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Xitao LiLi, Xitao Xi'an Jiaotong UniversityChina Code–Test Co-translation: Towards Practical and Effective Program Migration in the Wild
Xupeng LiLi, Xupeng CertiKUnited States Verifying Economic Security of Smart Contracts via Unintended Return
Yanqi LiLi, Yanqi Beijing University of Posts and TelecommunicationsChina LARTS: Language Abstractions for Real-Time and Secure Systems
Yeting LiLi, Yeting Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Yichuan LiLi, Yichuan Nanjing University of Science and TechnologyChina ReFun: Reconstructing Function Boundaries in EVM Bytecode
Yongbin LiLi, Yongbin AlibabaChina InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Yue LiLi, Yue Nanjing UniversityChina When FPGA Meets Dataflow Analysis: An Explorative Step Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yuekang LiLi, Yuekang University of New South WalesAustralia Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Yuqing LiLi, Yuqing Tianjin UniversityChina Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Zenan LiLi, Zenan ETH ZurichSwitzerland Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
Zhen LiLi, Zhen Beijing University of Posts and TelecommunicationsChina Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Qihao LianLian, Qihao Peking UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Hongliang LiangLiang, Hongliang Beijing University of Posts and TelecommunicationsChina Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation LARTS: Language Abstractions for Real-Time and Secure Systems
Jie LiangLiang, Jie Beihang UniversityChina Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Peng LiangLiang, Peng Wuhan University, ChinaChina CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers
Sijie LiangLiang, Sijie Peking UniversityChina Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Yufei LiangLiang, Yufei Nanjing UniversityChina Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis
Haoran LinLin, Haoran Peking UniversityChina LLM-Based Alarm Resolution Guided by Bayesian Program Analysis Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
Jiefang LinLin, Jiefang University of Texas at AustinUnited States Detecting Flaky Tests by Controlling Nondeterministic API Behavior
Jyun-Ao LinLin, Jyun-Ao National Taipei University of TechnologyTaiwan Verifying Repeat-until-Success Protocols using Automata Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Li LinLin, Li Xiamen UniversityChina SmartFuzz: Leveraging Large Language Models and Feature Composition to Generate High-Quality Seeds for Database Fuzzing
Tengjie LinLin, Tengjie Zhejiang UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Tong-Nong LinLin, Tong-Nong University of Texas at AustinUnited States MGQL: An Executable, Small-Step Semantics of GQL
Yuanyi LinLin, Yuanyi HuaweiChina LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Yun LinLin, Yun Shanghai Jiao Tong UniversityChina Session Chair of LLM Agents for Program Analysis (part of SPLASH OOPSLA) EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Hongyi LingLing, Hongyi ETH ZurichSwitzerland Sound State Encodings in Translational Separation Logic Verifiers
Yuxi LingLing, Yuxi National University of SingaporeSingapore Infinitary Relational Logic
Chen LiuLiu, Chen Peking UniversityChina Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond
CHENGYUE LIULIU, CHENGYUE Nanyang Technological UniversitySingapore From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Chenke LiuLiu, Chenke Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Quantum Uncomputation of Clean and Dirty Ancilla Qubits
Chenyan LiuLiu, Chenyan Shanghai Jiao Tong University; National University of SingaporeChina EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Dong LiuLiu, Dong Beijing University of Posts and TelecommunicationsChina LARTS: Language Abstractions for Real-Time and Secure Systems
Dugang LiuLiu, Dugang Shenzhen University Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
Jiatong LiuLiu, Jiatong Monash University RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets DebugTracker: Lightweight Process Evidence for Classroom Debugging LPR+: Diverse Transformations for LLM-Aided Program Reduction
Jiawei LiuLiu, Jiawei Shanghai Jiao Tong UniversityChina EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Jing LiuLiu, Jing Max Planck Institute for Security and Privacy Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Liangxin LiuLiu, Liangxin Beihang UniversityChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Qikang LiuLiu, Qikang Simon Fraser UniversityCanada Synthesizing Graph Queries from Demonstrations
Shenghan LiuLiu, Shenghan Beijing University of Posts and TelecommunicationsChina Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Shuyang LiuLiu, Shuyang University of Illinois at Urbana-ChampaignUnited States Process-Centric Analysis of Agentic Software Systems
Sirui LiuLiu, Sirui National University of Defense TechnologyChina Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Ting LiuLiu, Ting Xi'an Jiaotong UniversityChina Code–Test Co-translation: Towards Practical and Effective Program Migration in the Wild
Xiaoyu LiuLiu, Xiaoyu Simon Fraser UniversityCanada Synthesizing Graph Queries from Demonstrations
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization Agent-Based Automated Remediation for Vulnerabilities in Maven Projects Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Ye LiuLiu, Ye Nanjing UniversityChina Detecting Silent Java GC Bugs via Anomalous Runtime Behavior
Yu LiuLiu, Yu Fudan UniversityChina RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Zhaoxiang LiuLiu, Zhaoxiang Kansas State UniversityUnited States ZSafe: Proving the Safety of Proprietary Hardware Designs in Zero Knowledge
Fang-Yi LoLo, Fang-Yi Academia SinicaTaiwan Verifying Repeat-until-Success Protocols using Automata
Saatvik LochanLochan, Saatvik University of Illinois at Urbana-ChampaignUnited States Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Crista LopesLopes, Crista University of California IrvineUnited States OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
David H. LorenzLorenz, David H. Open University of IsraelIsrael Escaping the DAG Dogma: Toward Modular Reactive Architectures Glassbox Debugging: Code as Interface for No-Code
Jie LuLu, Jie Institute of Computing Technology at Chinese Academy of SciencesChina Context-Free Language Reachability via Efficient Relation Chaining
Kangjie LuLu, Kangjie University of MinnesotaUnited States CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Liqiang LuLu, Liqiang Zhejiang UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Xu LuLu, Xu Xidian UniversityChina OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs
Zeyu LuLu, Zeyu Nanjing UniversityChina Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models
Justin LubinLubin, Justin University of California at BerkeleyUnited States Direct Manipulation and Natural Language Programming, Together at Last?
Aran LunzerLunzer, Aran Independent Software Engineer Croquetify: Transforming Single-User Functional Reactive Programs into Multi-User Applications
Baoyuan LuoLuo, Baoyuan Nanjing UniversityChina Automated Debugging of Datalog Programs
Ning LuoLuo, Ning University of Illinois at Urbana-ChampaignUnited States ZSafe: Proving the Safety of Proprietary Hardware Designs in Zero Knowledge
Yixing LuoLuo, Yixing Beijing Institute of Control EngineeringChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Yunlai LuoLuo, Yunlai National University of Defense TechnologyChina Online Input Grammar Synthesis Aided Symbolic Execution
Zhongdi LuoLuo, Zhongdi Chinese University of Hong Kong Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
luojiushenzi luojiushenzi Beijing Institute of Technology; Zhongguancun LaboratoryChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Robyn LutzLutz, Robyn Iowa State UniversityUnited States VarCHEKER: A Variability-based Static Analyzer for Python Applications
Matthew LutzeLutze, Matthew Aarhus University Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Júnior LöffLöff, Júnior USI LuganoSwitzerland TwinString: Preserving String Semantics with Off-Heap Data on the JVM
M Fuchen MaMa, Fuchen Tsinghua UniversityChina VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Jie MaMa, Jie Beihang University; Zhongguancun LaboratoryChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Ke MaMa, Ke National University of Defense TechnologyChina Online Input Grammar Synthesis Aided Symbolic Execution
Xiaotian MaMa, Xiaotian Nanjing University of Science and TechnologyChina CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers
Xiaoxing MaMa, Xiaoxing Nanjing UniversityChina Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
Yun MaMa, Yun Peking UniversityChina Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Zhongkui MaMa, Zhongkui The University of QueenslandAustralia Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Fighting Supply Chain Attacks with Effect Systems
Ole Lehrmann MadsenMadsen, Ole Lehrmann Aarhus UniversityDenmark Objects and classes will do
Enrico MagnagoMagnago, Enrico Amazon Web Services Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Petr MajMaj, Petr Czech Technical University RCKid: Designing a Programming Language Through Its Editors
Sharad MalikMalik, Sharad Princeton UniversityUnited States Specy: Learning Specifications for Distributed Systems from Event Traces
Lu MaltsisMaltsis, Lu University of Manchester Typed Template Fuzzing
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dennis ManclMancl, Dennis MSWX Software ExpertsUnited States OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Raconteur in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Ravi MangalMangal, Ravi Colorado State UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Bing MaoMao, Bing State Key Laboratory for Novel Software Technology at Nanjing UniversityChina CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Petros MarkopoulosMarkopoulos, Petros UC San Diego Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Stefan MarrMarr, Stefan Johannes Kepler University LinzAustria Committee Member in Program Committee within the SPLASH Onward! Papers-track
Mark MarronMarron, Mark University of Kentucky Committee Member in Program Committee within the SPLASH Onward! Papers-track Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Hidehiko MasuharaMasuhara, Hidehiko Institute of Science TokyoJapan Observations on Tracing Program Design through Natural Language Dialogue
Umang MathurMathur, Umang National University of SingaporeSingapore Committee Member in Doctoral Symposium within the SPLASH/ISSTA Doctoral symposium-track
Nicholas MatsakisMatsakis, Nicholas AWSUnited States What Agentic Development Means for Rust (and Vice Versa)
Kathryn S McKinleyMcKinley, Kathryn S Google Programming Languages in the Agentic Coding Era: Agentic Coding is not going to save C++
Sergey MechtaevMechtaev, Sergey Peking UniversityChina Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Meetesh Kalpesh MehtaMehta, Meetesh Kalpesh IIT BombayIndia IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Roland MeierMeier, Roland armasuisseSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
Charith MendisMendis, Charith University of Illinois at Urbana-ChampaignUnited States Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
jonathan mendozamendoza, jonathan University of California, San Diego OLIVE: Output-Level Iterative Verification Engine
Boning MengMeng, Boning Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Quantum Uncomputation of Clean and Dirty Ancilla Qubits
Ruijie MengMeng, Ruijie CISPA Helmholtz Center for Information SecurityGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
YUAN MengtingMengting, YUAN Wuhan UniversityChina CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Bertrand MeyerMeyer, Bertrand Eiffel Software OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Roland MeyerMeyer, Roland TU BraunschweigGermany RAT-CAT-SAT: Model Checking Memory Consistency Models
Mira MeziniMezini, Mira Technische Universität Darmstadt; ATHENE; hessian.AIGermany Committee Member in Steering Committee for SPLASH 2026 OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Kristopher MicinskiMicinski, Kristopher Syracuse UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Benjamin MikekMikek, Benjamin Georgia Institute of TechnologyUnited States Spatial and Temporal Decomposition for Faster Translation Validation
Amin Milani FardMilani Fard, Amin New York Institute of TechnologyCanada Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track Committee Member in Program Committee within the SPLASH/ISSTA Posters-track
Mae MilanoMilano, Mae Princeton UniversityUnited States Session Chair of Security and Information Flow (part of SPLASH OOPSLA) Fully-Automatic Type Inference for Borrows with Lifetimes Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Todd MillsteinMillstein, Todd University of California at Los AngelesUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Anders MiltnerMiltner, Anders Simon Fraser UniversityCanada Geo: A Query Rewrite Framework for Graph Pattern Mining Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Eliot MirandaMiranda, Eliot Cadence Design Systems Proxies All the Way Down: Bootstrapping a Userland Speculative Optimizer for the OpenSmalltalk VM
Alexandra Mirrlees-BlackMirrlees-Black, Alexandra Australian National UniversityAustralia Type-Safe Monotonic Object Evolution
Sasa MisailovicMisailovic, Sasa University of Illinois Urbana-ChampaignUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ashish MishraMishra, Ashish IIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
John MitchellMitchell, John Stanford UniversityUnited States Tracking Borrows with Regular Expressions
Dimitris MitropoulosMitropoulos, Dimitris University of AthensGreece Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Stefan MitschMitsch, Stefan DePaul UniversityUnited States Hybrid Game Control Envelope Synthesis
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
Hasan MohsinMohsin, Hasan Imperial College LondonUnited Kingdom WGSLsmith: Randomised Testing for the WebGPU Shading Language
Abtin MolaviMolavi, Abtin University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
David MonniauxMonniaux, David Université Grenoble Alpes - CNRS - Grenoble INP - VerimagFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Seokhyeon MoonMoon, Seokhyeon Samsung SDSSouth Korea SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs
Marco MorazanMorazan, Marco Seton Hall UniversityUnited States Session Chair of Language and Environment Design for Learners (part of SPLASH -E) Visualizing Turing Machines and Multitape Turing Machines
Angelica MoreiraMoreira, Angelica Microsoft ResearchUnited States Automatic Propagation of Profile Information through the Optimization Pipeline Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Xiaofeng MouMou, Xiaofeng Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Cameron MoyMoy, Cameron Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia Type-Safe Monotonic Object Evolution Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Rajdeep MukherjeeMukherjee, Rajdeep Amazon, USAUnited States Specification-Driven Code Validation via Automated Test Generation and Mutation Analysis
Adithya MuraliMurali, Adithya University of Wisconsin-MadisonUnited States Agents as Software: A Programming Languages Agenda for Agent Reliability
Yuito MuraseMurase, Yuito Kyoto UniversityJapan Refined² Environment Classifiers
Emerson Murphy-HillMurphy-Hill, Emerson MicrosoftUnited States The Conversation We're Not Having About AI in Peer Review
Andrew MyersMyers, Andrew Cornell University SIGPLAN Chair in Steering Committee for SPLASH 2026
Aniruddha MysoreMysore, Aniruddha Amazon Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark SIGPLAN Vice Chair in Steering Committee for SPLASH 2026 Session Chair of SPLASH/OOPSLA Town Hall (part of SPLASH OOPSLA) Co-chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Birger Møller-PedersenMøller-Pedersen, Birger University of OsloNorway Objects and classes will do
Peter MüllerMüller, Peter ETH ZurichSwitzerland Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands Sound State Encodings in Translational Separation Logic Verifiers Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
N Egor NamakonovNamakonov, Egor Aarhus UniversityDenmark Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Abutalib NamazovNamazov, Abutalib Massachusetts Institute of Technology The Spreadsheet Was the Constitution
Kedar NamjoshiNamjoshi, Kedar Nokia Bell LabsUnited States Committee Member in Steering Committee for SPLASH 2026
Chandrakana NandiNandi, Chandrakana Certora; University of WashingtonUnited States Session Chair of Smart Contracts and Blockchain (part of SPLASH OOPSLA) Efficient Extraction for Effectful E-graphs Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Noor NashidNashid, Noor University of British ColumbiaCanada Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Amirmohammad NazariNazari, Amirmohammad University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Rumyana NeykovaNeykova, Rumyana Brunel University London Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Dat NguyenNguyen, Dat Texas A&M UniversityUnited States Bonsai: Efficient and Optimal Automatic Tensor Rematerialization for Memory-Constrained DNN Training
Khanh NguyenNguyen, Khanh Texas A&M UniversityUnited States Bonsai: Efficient and Optimal Automatic Tensor Rematerialization for Memory-Constrained DNN Training
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Kim NguyễnNguyễn, Kim Université Paris-SaclayFrance Implementing Set-Theoretic Types Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Haobin NiNi, Haobin University of WashingtonUnited States Efficient Extraction for Effectful E-graphs
Amir NiarakiNiaraki, Amir Musco Sports Lighting VarCHEKER: A Variability-based Static Analyzer for Python Applications
Victor NicoletNicolet, Victor AmazonUnited States Incremental Program Synthesis from Event Logs
Yuge NieNie, Yuge Nanjing UniversityChina Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models
Xintao NiuNiu, Xintao Nanjing UniversityChina Automated Debugging of Datalog Programs
Milan NosáľNosáľ, Milan ValeSoft, s.r.o.Slovakia Diffpoints: Breakpoints Comparing Values of Variables
Todd NowackiNowacki, Todd Mysten LabsUnited States Tracking Borrows with Regular Expressions
Clemens Nylandsted KlokmoseNylandsted Klokmose, Clemens Aarhus UniversityDenmark Committee Member in Steering Committee for SPLASH 2026 Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track
O Martin OderskyOdersky, Martin EPFLSwitzerland First-Class Refinement Types for Scala Classifying Capabilities
Hakjoo OhOh, Hakjoo Korea UniversityRepublic of Korea Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification
Yoshiki OhshimaOhshima, Yoshiki Independent Contractor, Shizuoka UniversityUnited States Croquetify: Transforming Single-User Functional Reactive Programs into Multi-User Applications
Santiago Arranz OlmosOlmos, Santiago Arranz MPI-SPGermany Decompiling for Constant-Time Analysis (Dis)Proving Spectre Security with Speculation-Passing Style
Mitchell OlsthoornOlsthoorn, Mitchell Delft University of TechnologyNetherlands Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Cyrus OmarOmar, Cyrus University of MichiganUnited States Proof Interfaces for Exploratory Mathematics Interactive Data Analysis with Lively Typed Tables Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Alessandro OrsoOrso, Alessandro University of GeorgiaUnited States Co-chair in Sponsorship Committee within the SPLASH/ISSTA Sponsorship-track
Wojciech OzgaOzga, Wojciech IBM Research ZurichSwitzerland Bringing Foundational Verification to Real-World Rust Code
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Session Chair of Runtime Systems and Performance (part of SPLASH OOPSLA) Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse Workshops Co-Chair in Workshops within the SPLASH/ISSTA Workshops-track
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Symbolic Basic Block Profiling for Machine Learning Kernels
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Anjali PalPal, Anjali University of WashingtonUnited States Efficient Extraction for Effectful E-graphs
Jens PalsbergPalsberg, Jens University of California at Los AngelesUnited States Session Chair of Quantum Programming (part of SPLASH OOPSLA)
Pavel PanchekhaPanchekha, Pavel University of UtahUnited States Semantics for 2D Rasterization Accurate Residues for Floating-Point Debugging
Santosh PandePande, Santosh Georgia Institute of TechnologyUnited States Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Awanish PandeyPandey, Awanish IIT RoorkeeIndia Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Mike PapadakisPapadakis, Mike University of LuxembourgLuxembourg PyMut4SE: Comprehensive Mutation Testing for Python Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Brent PappasPappas, Brent University of Central FloridaUnited States Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Akash PardeshiPardeshi, Akash University of Illinois at Urbana-ChampaignUnited States Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
James ParkerParker, James Ossa NetworkUnited States ZSafe: Proving the Safety of Proprietary Hardware Designs in Zero Knowledge
Gennaro ParlatoParlato, Gennaro University of Molise Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs
Lionel ParreauxParreaux, Lionel Hong Kong University of Science and TechnologyHong Kong Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching Programming with Composable Recursive Patterns and Transformations
Krut PatelPatel, Krut NVIDIAUnited States Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Vipin PatelPatel, Vipin IIT KanpurIndia Designing GPU Data Structures for Efficient Memory Oversubscription
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Session Chair of Teaching Formal Foundations (part of SPLASH -E) Co-chair in Program Committee within the SPLASH -E-track
Ovi PaulPaul, Ovi University of Houston RepairFormer: Automated Repair of Structured Inputs Using Transformers
Andreas PavlogiannisPavlogiannis, Andreas Aarhus UniversityDenmark A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs
Mathias PayerPayer, Mathias EPFLSwitzerland CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Hila PelegPeleg, Hila TechnionIsrael Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sixiang PengPeng, Sixiang Hong Kong University of Science and TechnologyChina SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries
Yiteng PengPeng, Yiteng Hong Kong University of Science and TechnologyChina MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
Zongrui PengPeng, Zongrui Tsinghua UniversityChina Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas GeraisBrazil Automatic Propagation of Profile Information through the Optimization Pipeline Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Michael PerscheidPerscheid, Michael SAP Innovation Center PotsdamGermany The Developer as Curator: A Canvas for Coding Agent Context
Gustavo PetriPetri, Gustavo Amazon Web ServicesUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Tomas PetricekPetricek, Tomas Charles UniversityCzechia The Choose-Your-Own-Adventure Calculus Timeline: Adding the Time Dimension to Spreadsheets Towards Critical Abstraction for Software
Colin PfingstlPfingstl, Colin ETH ZurichSwitzerland A Type System for Optimizing Dynamic IFC
Nguyen PhamPham, Nguyen EPFLSwitzerland Classifying Capabilities
Tri Minh-Triet PhamPham, Tri Minh-Triet MilaCanada Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Valentina PiantadosiPiantadosi, Valentina University of MoliseItaly Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Jean Pichon-PharabodPichon-Pharabod, Jean Aarhus UniversityDenmark Committee Member in Program Committee within the SPLASH Onward! Papers-track
Lauren PickPick, Lauren The Chinese University of Hong Kong Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lauren PickPick, Lauren The Chinese University of Hong KongHong Kong SAR China Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Random Testing via Runtime Abstract Interpretation Fail Faster: Staging and Fast Randomness for High-Performance PBT
Elton PintoPinto, Elton Georgia Institute of TechnologyUnited States Beyond Nominality: Faster Rapid Type Analysis in the Presence of Structural Subtyping
Kai PischkePischke, Kai University of OxfordUnited Kingdom Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland A Language Approach to Fine-Grained Microarchitectural Observation
André PlatzerPlatzer, André KITGermany Hybrid Game Control Envelope Synthesis
Laura PleinPlein, Laura CISPA Helmholtz Center for Information SecurityGermany PyMut4SE: Comprehensive Mutation Testing for Python
Gabriel PoesiaPoesia, Gabriel Stanford University Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Elizabeth PolgreenPolgreen, Elizabeth University of EdinburghUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Nadia PolikarpovaPolikarpova, Nadia University of California at San DiegoUnited States Committee Member in Steering Committee for SPLASH 2026 Session Chair of Refinement Types and Functional Programming (part of SPLASH OOPSLA) Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Samuel D. PollardPollard, Samuel D. Sandia National LaboratoriesUnited States Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Hernán Ponce de LeónPonce de León, Hernán Huawei Dresden Research CenterGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Pedro Pontes GarcíaPontes García, Pedro Cornell UniversityUnited States Understanding Accelerator Compilers via Performance Profiling
Alex PotaninPotanin, Alex Australian National UniversityAustralia Steering Committee Chair in Steering Committee for SPLASH 2026 Co-chair in SIGPLAN papers track committee within the SPLASH SIGPLAN track-track OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track Session Chair of Effects, Capabilities, and Immutability (part of SPLASH OOPSLA)
Michael PradelPradel, Michael CISPA Helmholtz Center for Information SecurityGermany Session Chair of Fuzzing and Test Generation (part of SPLASH OOPSLA) Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matija PretnarPretnar, Matija University of LjubljanaSlovenia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Christopher PriebePriebe, Christopher UC San Diego Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Henrijs PrincisPrincis, Henrijs University of Bristol TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Experimental Evaluation Methodology for the Era of No Steady Performance
Jonathan ProtzenkoProtzenko, Jonathan GoogleUnited States Scylla: Translating an Applicative Subset of C to Safe Rust
Bill PughPugh, Bill University of Maryland, College Park Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Q Shaz QadeerQadeer, Shaz MicrosoftUnited States Tracking Borrows with Regular Expressions
Binhang QiQi, Binhang National University of SingaporeSingapore EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Yun QiQi, Yun Nanjing UniversityChina Automated Debugging of Datalog Programs
Ruixiang QianQian, Ruixiang Nanjing UniversityChina Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Wei QiangQiang, Wei Columbia UniversityUnited States Synthesis of Compact and Expressive Quantum-Circuit Optimizations
Shengchao QinQin, Shengchao Xidian UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
Jingyu QiuQiu, Jingyu University of RochesterUnited States Symbolic Basic Block Profiling for Machine Learning Kernels
Hon Kwan Shun QuinsonQuinson, Hon Kwan Shun The Chinese University of Hong Kong Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Iwan QuémeraisQuémerais, Iwan ENS-LyonFrance Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom A Formal Account of the Wasm 3.0 Concurrency Model
Dimi RacordonRacordon, Dimi HES-SO Valais/WallisSwitzerland Programme Committee in Program Committee within the SPLASH -E-track
Jonathan Ragan-KelleyRagan-Kelley, Jonathan Massachusetts Institute of TechnologyUnited States Fully-Automatic Type Inference for Borrows with Lifetimes
Mukund RaghothamanRaghothaman, Mukund University of Southern CaliforniaUnited States Prosecutor: Bayesian Counterfactual Fault Localization Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Masud RahmanRahman, Masud Dalhousie UniversityCanada Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Kia RahmaniRahmani, Kia Durable AIUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Gokul RajivRajiv, Gokul National University of SingaporeSingapore Grammar Repair with Examples and Tree Automata
Robert RandRand, Robert University of ChicagoUnited States TensorRocq: Enabling Diagrammatic Reasoning in Rocq
Francesca RandoneRandone, Francesca TU Wien Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Joseph RaskindRaskind, Joseph SUNY Binghamton Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Savitha RaviRavi, Savitha UC San Diego Generating Property-Based Tests for Web Applications
John RegehrRegehr, John University of UtahUnited States Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled Reductions Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Baber RehmanRehman, Baber University of Hong KongHong Kong SAR China Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Tobias ReinhardReinhard, Tobias TU DarmstadtGermany DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
George RennieRennie, George University of CambridgeUnited Kingdom Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled Reductions
Thomas RepsReps, Thomas University of Wisconsin-MadisonUnited States Spatial and Temporal Decomposition for Faster Translation Validation
Gregor RichardsRichards, Gregor University of WaterlooCanada Type-Safe Monotonic Object Evolution
Cynthia RicheyRichey, Cynthia University of PennsylvaniaUnited States Fail Faster: Staging and Fast Randomness for High-Performance PBT
David RichterRichter, David TU DarmstadtGermany DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Filip RihaRiha, Filip Czech Technical University in Prague bench: A Programmable Command-Line Framework for Complex Benchmarking Workflows Co-chair in Student Volunteer Committee within the SPLASH/ISSTA Student Volunteers-track
Gema Rodríguez-PérezRodríguez-Pérez, Gema Department of Computer Science, Mathematics, Physics and Statistics, University of British Columbia, Okanagan CampusCanada Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Yi RongRong, Yi Columbia UniversityUnited States Verifying Economic Security of Smart Contracts via Unintended Return
Eli RosenthalRosenthal, Eli GoogleUnited States Efficient Extraction for Effectful E-graphs
Marcus RosselRossel, Marcus Technische Universität DarmstadtGermany Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Andrea RosàRosà, Andrea USI LuganoSwitzerland Experimental Evaluation Methodology for the Era of No Steady Performance
Joseph RotellaRotella, Joseph Northeastern University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Subhajit RoyRoy, Subhajit IIT KanpurIndia LLM-Assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles, and Natural Language
Baptiste RozièreRozière, Baptiste Mistral AIFrance Building Code Models: Scale and Beyond
Philipp RuemmerRuemmer, Philipp University of Regensburg; Uppsala UniversityGermany Sound and Complete Invariant-Based Heap Encodings
Neea RuschRusch, Neea Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Sukyoung RyuRyu, Sukyoung KAISTRepublic of Korea Committee Member in Steering Committee for SPLASH 2026 P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification Quantum Monte Carlo Estimation via Probabilistic Programming
S Javad SaberlatibariSaberlatibari, Javad University of California at RiversideUnited States Frashokereti: Non-aborting Optimistically Replicated Objects
Ahsanul Ameen SabitSabit, Ahsanul Ameen University of Texas at Dallas CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Composing CRDTs Convergent by Construction Metamorphic Testing for Infrastructure-as-Code Engines
Adrian SampsonSampson, Adrian Cornell UniversityUnited States Understanding Accelerator Compilers via Performance Profiling Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track
Aamod SaneSane, Aamod FLAME UniversityIndia Assignment Has Never Existed: Programs Are Difference Equations
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Advait SarkarSarkar, Advait Microsoft Research, University of Cambridge, University College LondonUnited Kingdom Committee Member in Program Committee within the SPLASH Onward! Papers-track
Srinjoy SarkarSarkar, Srinjoy IIT KanpurIndia Designing GPU Data Structures for Efficient Memory Oversubscription
Vivek SarkarSarkar, Vivek Georgia Institute of TechnologyUnited States Committee Member in Steering Committee for SPLASH 2026
Federica SarroSarro, Federica University College LondonUnited Kingdom Agent-Based Automated Remediation for Vulnerabilities in Maven Projects
Charitha SaumyaSaumya, Charitha IntelUnited States Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Ina SchaeferSchaefer, Ina KITGermany Committee Member in Program Committee within the SPLASH Onward! Papers-track
Douglas C. SchmidtSchmidt, Douglas C. William & MaryUnited States OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Peter SchrammelSchrammel, Peter Diffblue LtdUnited Kingdom Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs
Tom SchrijversSchrijvers, Tom KU LeuvenBelgium Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matthew SchwennesenSchwennesen, Matthew University of Wisconsin - Madison Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Vit SeflSefl, Vit Charles UniversityCzechia Programme Committee in Program Committee within the SPLASH -E-track
Elan SemenovaSemenova, Elan Northeastern University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
William D. SennSenn, William D. Tarleton State University Aiki: Designing a Programming Language from a Criterion of Apprehension
Ilya SergeySergey, Ilya National University of SingaporeSingapore Committee Member in Steering Committee for SPLASH 2026 Session Chair of Separation Logic (part of SPLASH OOPSLA) Tracking Borrows with Regular Expressions Grammar Repair with Examples and Tree Automata Semi-declarative Language for Combinatorial Search Infinitary Relational Logic
Marco ServettoServetto, Marco VUW Normalization by Origin, Not by Shape
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shuai ShaoShao, Shuai University of ConnecticutUnited States SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Arindam SharmaSharma, Arindam Imperial College London TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation
Rahul SharmaSharma, Rahul Google DeepMindIndia Equivalence Checking of ML GPU Kernels
Upamanyu SharmaSharma, Upamanyu Massachusetts Institute of Technology Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Dongdong SheShe, Dongdong Hong Kong University of Science and TechnologyChina RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Elena ShermanSherman, Elena Boise State UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
August ShiShi, August University of Texas at AustinUnited States Detecting Flaky Tests by Controlling Nondeterministic API Behavior Understanding and Finding JIT Compiler Performance Bugs
Chenghang ShiShi, Chenghang Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina Context-Free Language Reachability via Efficient Relation Chaining
Dalong ShiShi, Dalong Aviation Industry Corporation of ChinaChina Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Haifeng ShiShi, Haifeng University of WaterlooCanada Transitive, Abstract, and Class Polymorphic Immutability
Jingyi ShiShi, Jingyi Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Qingkai ShiShi, Qingkai Nanjing UniversityChina Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
Yuanfeng ShiShi, Yuanfeng Peking UniversityChina LLM-Based Alarm Resolution Guided by Bayesian Program Analysis
Andrew Shi-hwa ChenShi-hwa Chen, Andrew Minnesota State University MoorheadUnited States Relational Agenda Programming: A Uniform Execution Model for Embedded Reasoning Systems
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Avraham ShinnarShinnar, Avraham IBM ResearchUnited States Bringing Foundational Verification to Real-World Rust Code
Ali ShokriShokri, Ali University of HoustonUnited States RepairFormer: Automated Repair of Structured Inputs Using Transformers
Mihaela SighireanuSighireanu, Mihaela Université Paris-Saclay - ENS Paris-Saclay - CNRS - LMFFrance AADT: Abstract Abstract Data Types
Florian SihlerSihler, Florian Ulm UniversityGermany Author in Program Committee within the SPLASH -E-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Alexandra SilvaSilva, Alexandra Cornell UniversityUnited States Type-Directed Discretization of Probabilistic Programs
Julien SimonnetSimonnet, Julien Université Paris-Saclay - CEA LISTFrance AADT: Abstract Abstract Data Types
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Committee Member in Steering Committee for SPLASH 2026 CapOpt: Capability-Aware Superoptimization for Secure and Provably Faster Code
Leif SingerSinger, Leif Ghost FoundationGermany Committee Member in Program Committee within the SPLASH Onward! Essays-track
Abhishek Kr SinghSingh, Abhishek Kr IIIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Satnam SinghSingh, Satnam HarmonicUnited States Formal Verification of Hardware With An AI Theorem Prover
Vidush SinghalSinghal, Vidush Purdue UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Akshat SinhaSinha, Akshat Rubrik, Inc Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Saurabh SinhaSinha, Saurabh IBM ResearchUnited States Process-Centric Analysis of Agentic Software Systems
Zachary D. SiscoSisco, Zachary D. The Chinese University of Hong Kong, Shenzhen Committee Member in Program Committee within the SPLASH/ISSTA Posters-track
Elliott SlaughterSlaughter, Elliott SLAC National Accelerator LaboratoryUnited States Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems
David A SmithSmith, David A Independent Software Engineer Croquetify: Transforming Single-User Functional Reactive Programs into Multi-User Applications
Sunbeom SoSo, Sunbeom Korea UniversityRepublic of Korea Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Rupanshu SoiSoi, Rupanshu Stanford UniversityUnited States Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems
Sergi Soler ArrufatSoler Arrufat, Sergi EPFLSwitzerland A Language Approach to Fine-Grained Microarchitectural Observation
Linhai SongSong, Linhai Institute of Computing Technology at Chinese Academy of SciencesChina SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Wei SongSong, Wei Nanjing University of Science and TechnologyChina ReFun: Reconstructing Function Boundaries in EVM Bytecode CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
César Soto-ValeroSoto-Valero, César KTH: Royal Institute of TechnologySweden Committee Member in Program Committee within the SPLASH Onward! Papers-track
William SpencerSpencer, William University of ChicagoUnited States TensorRocq: Enabling Diagrammatic Reasoning in Rocq
David SpielmannSpielmann, David University of St. GallenSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
Manu SridharanSridharan, Manu University of California at RiversideUnited States Committee Member in Steering Committee for SPLASH 2026 Session Chair of Analysing Dependencies and Alarms (part of SPLASH OOPSLA)
Ridhi SrikanthSrikanth, Ridhi University of California, San Diego PEPPER: Native Shell Scripting in Python
Guy SteeleSteele, Guy Tech SquaresUnited States OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Leo StefanescoStefanesco, Leo University of CambridgeUnited Kingdom Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled Reductions
Michel SteuwerSteuwer, Michel TU BerlinGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
J. Ryan StinnettStinnett, J. Ryan King's College LondonUnited Kingdom Debugging Debugging Information using Dynamic Call Trees
Kathryn StoleeStolee, Kathryn North Carolina State UniversityUnited States Committee Member in Program Committee within the SPLASH Onward! Essays-track
Filip StrömbäckStrömbäck, Filip Linköping UniversitySweden Committee Member in Program Committee within the SPLASH Onward! Papers-track
Alexander Städing DominguezStäding Dominguez, Alexander University of St. GallenSwitzerland Composing CRDTs Convergent by Construction
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Revisiting Path Coverage Tracing from a Node-Centric View
Yulei SuiSui, Yulei University of New South WalesAustralia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matúš SulírSulír, Matúš Technical University of KošiceSlovakia Diffpoints: Breakpoints Comparing Values of Variables
Nick SumnerSumner, Nick Simon Fraser UniversityCanada Committee Member in Program Committee within the SPLASH/ISSTA Posters-track
Chang-ai SunSun, Chang-ai University of Science and Technology BeijingChina OmniJinja: A Cross-Language VS Code Extension for Jinja Application Development
Chengnian SunSun, Chengnian University of WaterlooCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chenyang SunSun, Chenyang Hong Kong University of Science and TechnologyChina SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries
Jiechen SunSun, Jiechen IndependentChina T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Jun SunSun, Jun Singapore Management UniversitySingapore Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lian SunSun, Lian University of WaterlooCanada Transitive, Abstract, and Class Polymorphic Immutability
Maolin SunSun, Maolin Nanjing UniversityChina Validating Optimizing SMT Solvers via Cross-Theory Approximation
Sipeng SunSun, Sipeng The Chinese University of Hong Kong Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Weidi SunSun, Weidi Peking UniversityChina Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
Xiaoyang SunSun, Xiaoyang University of LeedsUnited Kingdom CapOpt: Capability-Aware Superoptimization for Secure and Provably Faster Code
Yifei SunSun, Yifei Inria, ENS de Lyon, Univ. Grenoble AlpesFrance Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yu SunSun, Yu University of Science and Technology Beijing OmniJinja: A Cross-Language VS Code Extension for Jinja Application Development
Yuqiang SunSun, Yuqiang Nanyang Technological UniversitySingapore Agent-Based Automated Remediation for Vulnerabilities in Maven Projects Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Srinivas SundarSundar, Srinivas Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia TechUnited States Session Chair of Compiler Optimization and Code Generation (part of SPLASH OOPSLA) Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shiv SundramSundram, Shiv Stanford UniversityUnited States Filtr: Compiling Bioinformatics Recurrences
Sahil SunejaSuneja, Sahil IBM ResearchUnited States Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Wouter SwierstraSwierstra, Wouter Utrecht UniversityNetherlands PLEX: Normalization for Refinement Types
T Marco T MorazanT Morazan, Marco Seton Hall UniversityUnited States An Approach to Introduce Hoare Logic in the Undergraduate CS Curriculum: In Memoriam of Tony Hoare
Mier TaTa, Mier University of WaterlooCanada Transitive, Abstract, and Class Polymorphic Immutability
Marcel TaeumelTaeumel, Marcel University of Potsdam; Hasso Plattner InstituteGermany Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track Proxies All the Way Down: Bootstrapping a Userland Speculative Optimizer for the OpenSmalltalk VM
Byungchul TakTak, Byungchul Kyungpook National University Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Gourav TakharTakhar, Gourav IIT KanpurIndia LLM-Assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles, and Natural Language
Jean-Pierre TalpinTalpin, Jean-Pierre InriaFrance Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
Jun TanTan, Jun IndependentChina When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion
Tian TanTan, Tian Nanjing UniversityChina When FPGA Meets Dataflow Analysis: An Explorative Step Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis
Shuyang TangTang, Shuyang Shanghai Jiao Tong UniversityChina Staged Multi-step UTXO Workflows via Recursive Invariants
Yazhou TangTang, Yazhou Zhejiang UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
Yutian TangTang, Yutian University of GlasgowUnited Kingdom Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models
Yichen TaoTao, Yichen University of MichiganUnited States Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Mohamed Tarek Ibn ZiadTarek Ibn Ziad, Mohamed NVIDIAUnited States Hunting CUDA Bugs at Scale with cuFuzz
Zachary TatlockTatlock, Zachary University of WashingtonUnited States Session Chair of Proof Automation and Theorem Proving (part of SPLASH OOPSLA) Efficient Extraction for Effectful E-graphs
Doug TerryTerry, Doug LinkedInUnited States Specy: Learning Specifications for Distributed Systems from Event Traces
Aalok ThakkarThakkar, Aalok Ashoka UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Manas ThakurThakur, Manas IIT BombayIndia Session Chair of Pointer and Dataflow Analysis (part of SPLASH OOPSLA) IRIDIUM: A Framework for Statically Optimizing JavaScript Programs Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Shriya ThakurThakur, Shriya University of Massachusetts, LowellUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Michelle ThalakotturThalakottur, Michelle Northeastern UniversityUnited States Co-chair in Student Volunteer Committee within the SPLASH/ISSTA Student Volunteers-track
Christoph ThiedeThiede, Christoph Hasso Plattner Institute, University of PotsdamGermany Proxies All the Way Down: Bootstrapping a Userland Speculative Optimizer for the OpenSmalltalk VM
Peter ThiemannThiemann, Peter University of FreiburgGermany Session Chair of Session Types and Concurrency (part of SPLASH OOPSLA) Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Aditya ThimmaiahThimmaiah, Aditya University of Texas at AustinUnited States MGQL: An Executable, Small-Step Semantics of GQL
Simon ThompsonThompson, Simon University of KentUnited Kingdom Mixed Choice in Asynchronous Multiparty Session Types
Sverrir ThorgeirssonThorgeirsson, Sverrir ETH ZurichSwitzerland Committee Member in Steering Committee for SPLASH 2026 Opening Remarks Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track Chair in Program Committee within the SPLASH Onward! Papers-track
Yongqiang TianTian, Yongqiang Monash UniversityHong Kong SAR China RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers DebugTracker: Lightweight Process Evidence for Classroom Debugging LPR+: Diverse Transformations for LLM-Aided Program Reduction
Amin TimanyTimany, Amin Aarhus UniversityDenmark Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Frank TipTip, Frank Northeastern University and Amazon Web ServicesUnited States Committee Member in Steering Committee for SPLASH 2026 Co-chair in SIGPLAN papers track committee within the SPLASH SIGPLAN track-track Opening Remarks
Ashish TiwariTiwari, Ashish MicrosoftUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ryan TjoaTjoa, Ryan Jane StreetUnited States Efficient Extraction for Effectful E-graphs
Matías ToroToro, Matías University of ChileChile Committee Member in Program Committee within the SPLASH Onward! Papers-track
Wei-Lun TsaiTsai, Wei-Lun National Taiwan UniversityTaiwan Verifying Repeat-until-Success Protocols using Automata
Yanlun TuTu, Yanlun Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Petr TumaTuma, Petr Charles UniversityCzechia Experimental Evaluation Methodology for the Era of No Steady Performance
Sophia TuranoTurano, Sophia Seton Hall University Visualizing Turing Machines and Multitape Turing Machines
Alexi TurcotteTurcotte, Alexi CISPAGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
U Katsuhiro UenoUeno, Katsuhiro Niigata UniversityJapan Programme Committee in Program Committee within the SPLASH -E-track
Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
V Viktor VafeiadisVafeiadis, Viktor MPI-SWSGermany RGSep under Release/Acquire Consistency A Formal Account of the Wasm 3.0 Concurrency Model
Simcha van Collemvan Collem, Simcha Radboud University Nijmegen Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Committee Member in Steering Committee within the SPLASH Onward! Steering Committee-track
Sören van der Wallvan der Wall, Sören TU BraunschweigGermany Decompiling for Constant-Time Analysis
Eric Van WykVan Wyk, Eric University of Minnesota, Twin CitiesUnited States Committee Member in Steering Committee for SPLASH 2026
Dimitris VardoulakisVardoulakis, Dimitris NVIDIA The Anatomy of Machine Learning Compilers
Vasco T. VasconcelosVasconcelos, Vasco T. LASIGE, University of LisbonPortugal Committee Member in Steering Committee for SPLASH 2026
Niki VazouVazou, Niki IMDEA Software InstituteSpain PLEX: Normalization for Refinement Types
Julien VerlaguetVerlaguet, Julien SkipLabs TBA
Jan Liam VerterVerter, Jan Liam Charles UniversityCzechia The Choose-Your-Own-Adventure Calculus
Jakob Schneider VillumsenVillumsen, Jakob Schneider Aarhus UniversityDenmark Fighting Supply Chain Attacks with Effect Systems
Bala VinaithirthanVinaithirthan, Bala Stanford UniversityUnited States Filtr: Compiling Bioinformatics Recurrences
Jan VitekVitek, Jan Charles UniversityCzechia Co-chair in SIGPLAN papers track committee within the SPLASH SIGPLAN track-track A Typed Intermediate Representation for Dynamic Languages (TOPLAS) Revisiting Row Polymorphism for Set-Theoretic Types Type Inference for Functional and Imperative Dynamic Languages A Taste of Verse
Adriana Laura VoineaVoinea, Adriana Laura University of GlasgowUnited Kingdom Mixed Choice in Asynchronous Multiparty Session Types
Vesal VojdaniVojdani, Vesal University of TartuEstonia Session Chair of Program Analysis, Verification & Debugging (part of SPLASH/ISSTA Tool Demonstrations)
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Keval VoraVora, Keval Simon Fraser UniversityCanada Geo: A Query Rewrite Framework for Graph Pattern Mining Synthesizing Graph Queries from Demonstrations
W April WangWang, April ETH ZürichSwitzerland Committee Member in Program Committee within the SPLASH Onward! Papers-track
Chao WangWang, Chao University of Southern CaliforniaUnited States Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chenglong WangWang, Chenglong University of Washington, USA Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Di WangWang, Di Peking UniversityChina Localizing Type Errors for Syntactic Sugar by Lifting Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Dingbang WangWang, Dingbang University of ConnecticutUnited States Committee Member in Poster and Demo Committee within the SPLASH/ISSTA Tool Demonstrations-track
Haijun WangWang, Haijun Xi'an Jiaotong UniversityChina Code–Test Co-translation: Towards Practical and Effective Program Migration in the Wild
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Haozhi WangWang, Haozhi University of Alberta DSLReasoning: Evaluating LLM Program Reasoning Beyond Pretrained Language Familiarity
Huacan WangWang, Huacan Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Huanting WangWang, Huanting University of LeedsUnited Kingdom CapOpt: Capability-Aware Superoptimization for Secure and Provably Faster Code
Ji WangWang, Ji National University of Defense TechnologyChina Online Input Grammar Synthesis Aided Symbolic Execution
Jingbo WangWang, Jingbo Purdue UniversityUnited States Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jinpeng WangWang, Jinpeng Nanjing UniversityChina Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis
Ke WangWang, Ke Nanjing UniversityChina Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses BackSmith: A Systematic Approach to Testing Compiler Backends Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lei WangWang, Lei Beijing University of Posts and TelecommunicationsChina LARTS: Language Abstractions for Real-Time and Secure Systems
Letian WangWang, Letian Xidian University OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs
Linzhang WangWang, Linzhang Nanjing UniversityChina Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses
Peixin WangWang, Peixin East China Normal UniversityChina A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Renxi WangWang, Renxi MBZUAIUnited Arab Emirates A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Sean WangWang, Sean Princeton UniversityUnited States Infinitary Relational Logic
Shaohua WangWang, Shaohua Central University of Finance and EconomicsChina T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Shuai WangWang, Shuai Hong Kong University of Science and TechnologyHong Kong MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
WenSheng WangWang, WenSheng Xidian University OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs
Xizao WangWang, Xizao Nanjing UniversityChina Automated Debugging of Datalog Programs
Yan WangWang, Yan Central University of Finance and EconomicsChina T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Yang WangWang, Yang Ohio State UniversityUnited States Augur: Predicting View Serializability Violations in Relational Data Store Applications
Yu WangWang, Yu Nanjing UniversityChina Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses BackSmith: A Systematic Approach to Testing Compiler Backends
Yuepeng WangWang, Yuepeng Simon Fraser UniversityCanada Synthesizing Graph Queries from Demonstrations Committee Member in SRC Committee within the SPLASH/ISSTA Student Research Competition-track
Yunkun WangWang, Yunkun Zhejiang UniversityChina InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Yunqian WangWang, Yunqian Tianjin UniversityChina Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Zheng WangWang, Zheng University of LeedsUnited Kingdom CapOpt: Capability-Aware Superoptimization for Secure and Provably Faster Code
Zhongyi WangWang, Zhongyi Zhejiang UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Ziteng WangWang, Ziteng University of Texas at AustinUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL A Formal Account of the Wasm 3.0 Concurrency Model
Tjark WeberWeber, Tjark Uppsala UniversitySweden Sound and Complete Invariant-Based Heap Encodings
Anjiang WeiWei, Anjiang Stanford UniversityUnited States Equivalence Checking of ML GPU Kernels
Fang WeiWei, Fang Nanjing UniversityChina When FPGA Meets Dataflow Analysis: An Explorative Step
Guannan WeiWei, Guannan Tufts UniversityUnited States When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots
Jiashen WeiWei, Jiashen Nanjing UniversityChina Automated Debugging of Datalog Programs
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Commuting Conversions and Join Points for Call-by-Push-Value
Pascal WeisenburgerWeisenburger, Pascal University of St. GallenSwitzerland Composing CRDTs Convergent by Construction
Cheng WenWen, Cheng Xidian UniversityChina Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
Henry WhitingWhiting, Henry University of UtahUnited States Semantics for 2D Rasterization
Max WillseyWillsey, Max University of California at BerkeleyUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Trey WoodliefWoodlief, Trey William & Mary CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Chiachih WuWu, Chiachih Amber GroupHong Kong When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Daoyuan WuWu, Daoyuan Lingnan UniversityHong Kong SAR China LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Haoyu WuWu, Haoyu Australian National UniversityAustralia Type-Safe Monotonic Object Evolution
Jiang WuWu, Jiang Xi'an Jiaotong UniversityChina Code–Test Co-translation: Towards Practical and Effective Program Migration in the Wild
Jiangchang WuWu, Jiangchang Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Jiarou WuWu, Jiarou Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond
Jielun WuWu, Jielun Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Katherine WuWu, Katherine Cornell UniversityUnited States Type-Directed Discretization of Probabilistic Programs
Rihui WuWu, Rihui University of New South Wales Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Rongxin WuWu, Rongxin Xiamen UniversityChina Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis SmartFuzz: Leveraging Large Language Models and Feature Composition to Generate High-Quality Seeds for Database Fuzzing
wenjie wuwu, wenjie Xidian University Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
You-Jie WuWu, You-Jie National Taipei University of TechnologyTaiwan Verifying Repeat-until-Success Protocols using Automata
Zhiyong WuWu, Zhiyong Tsinghua UniversityChina Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
X Jinwen XiXi, Jinwen Zhongguancun LaboratoryChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Shihao XiaXia, Shihao Pennsylvania State UniversityUnited States SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Xin XiaXia, Xin Zhejiang UniversityChina T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Dongwei XiaoXiao, Dongwei Hong Kong University of Science and TechnologyHong Kong MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Yang XiaoXiao, Yang Institute of Information Engineering at Chinese Academy of Sciences; University of Chinese Academy of SciencesChina From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Ningning XieXie, Ningning University of TorontoCanada Mechanised Semantics of Multi-stage Programming Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching
Peichu XieXie, Peichu IndependentChina Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Runshuo XieXie, Runshuo Nanjing UniversityChina Automated Debugging of Datalog Programs
Xiaofei XieXie, Xiaofei Singapore Management UniversitySingapore Code–Test Co-translation: Towards Practical and Effective Program Migration in the Wild
Xingyu XieXie, Xingyu MPI-SPGermany (Dis)Proving Spectre Security with Speculation-Passing Style
Yuchong XieXie, Yuchong Hong Kong University of Science and TechnologyChina RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Mingzhe XingXing, Mingzhe Zhongguancun LaboratoryChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Aosen XiongXiong, Aosen University of WaterlooCanada Transitive, Abstract, and Class Polymorphic Immutability
Yingfei XiongXiong, Yingfei Peking UniversityChina LLM-Based Alarm Resolution Guided by Bayesian Program Analysis Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Gengyang XuXu, Gengyang Hong Kong University of Science and TechnologyChina MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
Haoran XuXu, Haoran Stanford UniversityUnited States Deegen: A JIT-Capable VM Generator for Dynamic Languages
Haotian XuXu, Haotian Peking UniversityChina Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Jianhao XuXu, Jianhao Southeast UniversityChina CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Jin XuXu, Jin Tongji UniversityChina SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
Qiyuan XuXu, Qiyuan Nanyang Technological UniversitySingapore A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Runqing XuXu, Runqing KITGermany Differential Execution with Lexical Tracing
Tongtong XuXu, Tongtong HuaweiChina LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Yi XuXu, Yi Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Yichen XuXu, Yichen EPFLSwitzerland Classifying Capabilities
Zhengzi XuXu, Zhengzi Imperial Global SingaporeSingapore From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Zhijie XuXu, Zhijie Tsinghua UniversityChina Learning Symmetric Invariants from Symmetric Samples
Zhiwu XuXu, Zhiwu Shenzhen UniversityChina Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-Symbolic Program Specification Synthesis
Jingling XueXue, Jingling UNSW SydneyAustralia CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Xu XueXue, Xu University of Hong KongChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Y Aneeket YadavYadav, Aneeket IIT DelhiIndia IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Aashish YadavallyYadavally, Aashish University of Central FloridaUnited States T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Mechanised Semantics of Multi-stage Programming
Yuchi YamaguchiYamaguchi, Yuchi Institute of Science Tokyo ss: A Slide Description Language with Dependence-Scheduled Execution
Lidong YanYan, Lidong Nanjing University, Department of Computer Science and Technology, SSCT LabChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Zhen YanYan, Zhen Tsinghua UniversityChina VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Zhenyu YanYan, Zhenyu Peking UniversityChina Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
Dasheng YangYang, Dasheng KUKA SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Jinqiu YangYang, Jinqiu Concordia UniversityCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Mingqi YangYang, Mingqi Zhejiang UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Rundong YangYang, Rundong Fudan UniversityChina RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Sen YangYang, Sen Yale University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yibiao YangYang, Yibiao Nanjing UniversityChina Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models Validating Optimizing SMT Solvers via Cross-Theory Approximation
Ziyi YangYang, Ziyi National University of SingaporeSingapore Semi-declarative Language for Combinatorial Search
Andrey YaoYao, Andrey University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Peisen YaoYao, Peisen Zhejiang UniversityChina Phoenix: A Modular and Versatile Framework for C/C++ Pointer Analysis
Rui YaoYao, Rui Beijing Institute of Computer Technology and ApplicationChina LARTS: Language Abstractions for Real-Time and Secure Systems
Xinchen YaoYao, Xinchen Nanjing UniversityChina Pyriscope: Precise and Low-Overhead Python Control Flow Tracing via Sparse Hardware-Based Events
Xue YaoYao, Xue Monash University RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets DebugTracker: Lightweight Process Evidence for Classroom Debugging LPR+: Diverse Transformations for LLM-Aided Program Reduction
Yuan YaoYao, Yuan Nanjing UniversityChina Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
He YeYe, He University College LondonUnited Kingdom Agent-Based Automated Remediation for Vulnerabilities in Maven Projects
Leiqi YeYe, Leiqi University of Edinburgh Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Qianchuan YeYe, Qianchuan University at Buffalo, SUNYUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Qiuping YiYi, Qiuping Beijing University of Posts and TelecommunicationsChina Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation LARTS: Language Abstractions for Real-Time and Secure Systems
Xiao YiYi, Xiao Chinese University of Hong KongChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zijian YiYi, Zijian University of Texas at AustinUnited States Understanding and Finding JIT Compiler Performance Bugs
Jianwei YinYin, Jianwei Zhejiang UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Ayaka YorihiroYorihiro, Ayaka Cornell UniversityUnited States Understanding Accelerator Compilers via Performance Profiling
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Nazanin YousefianYousefian, Nazanin Simon Fraser UniversityCanada Geo: A Query Rewrite Framework for Graph Pattern Mining
Bin YuYu, Bin Xidian UniversityChina OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs
Nengkun YuYu, Nengkun Stony Brook UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Tailai YuYu, Tailai Peking UniversityChina Localizing Type Errors for Syntactic Sugar by Lifting
Tingting YuYu, Tingting University of ConnecticutUnited States SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Zehong YuYu, Zehong Tsinghua UniversityChina VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Zhenghong YuYu, Zhenghong University of Wisconsin-MadisonUnited States FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
Hengchen YuanYuan, Hengchen University of Texas at AustinUnited States Detecting Flaky Tests by Controlling Nondeterministic API Behavior
Shenghao YuanYuan, Shenghao Zhejiang UniversityChina Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
Yinliang YueYue, Yinliang Zhongguancun LaboratoryChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Z Ahmed Khaled ZaherZaher, Ahmed Khaled Hong Kong University of Science and TechnologyHong Kong A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs
George ZakhourZakhour, George University of St. GallenSwitzerland Composing CRDTs Convergent by Construction Metamorphic Testing for Infrastructure-as-Code Engines
Giacomo ZanattaZanatta, Giacomo Ca’ Foscari University of VeniceItaly Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Zhongsheng ZhanZhan, Zhongsheng Nanjing UniversityChina Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis
Bowen ZhangZhang, Bowen Hong Kong University of Science and TechnologyChina SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Committee Member in Steering Committee for SPLASH 2026 Diatom: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States Sound Enforcement of Dynamic Release Information Flow Policy Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Guoqiang ZhangZhang, Guoqiang Meta Platforms, IncUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Haoli ZhangZhang, Haoli Xidian University OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs
He ZhangZhang, He Xiamen UniversityChina Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Hui ZhangZhang, Hui KUKA SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Jinning ZhangZhang, Jinning Xidian University OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs
Kaikai ZhangZhang, Kaikai Hong Kong University of Science and TechnologyChina RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Kunbo ZhangZhang, Kunbo State Key Laboratory for Novel Software Technology at Nanjing UniversityChina CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Kunpeng ZhangZhang, Kunpeng Hong Kong University of Science and TechnologyHong Kong LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Lyuye ZhangZhang, Lyuye Nankai University; Nanyang Technological UniversityChina Agent-Based Automated Remediation for Vulnerabilities in Maven Projects
Miaomiao ZhangZhang, Miaomiao Tongji UniversityChina SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
Michael ZhangZhang, Michael Northeastern University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Nairen ZhangZhang, Nairen Nanjing UniversityChina When FPGA Meets Dataflow Analysis: An Explorative Step
Ning ZhangZhang, Ning Nanjing UniversityChina Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
Peng ZhangZhang, Peng Nanjing UniversityChina Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models
Qirun ZhangZhang, Qirun Georgia Institute of TechnologyUnited States Spatial and Temporal Decomposition for Faster Translation Validation
Qixiang ZhangZhang, Qixiang National University of Singapore More Pie for the Little Typer
Robert ZhangZhang, Robert University of Texas at AustinUnited States Co-chair in Student Volunteer Committee within the SPLASH/ISSTA Student Volunteers-track
Shuo ZhangZhang, Shuo Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond
Wenmeng ZhangZhang, Wenmeng National University of Defense TechnologyChina Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
Xin ZhangZhang, Xin Peking UniversityChina LLM-Based Alarm Resolution Guided by Bayesian Program Analysis Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yang ZhangZhang, Yang Beijing Institute of Computer Technology and ApplicationChina LARTS: Language Abstractions for Real-Time and Secure Systems
Yao ZhangZhang, Yao Tianjin UniversityChina Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Yi ZhangZhang, Yi Nanjing UniversityChina Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses
Yifan ZhangZhang, Yifan Peking UniversityChina LLM-Based Alarm Resolution Guided by Bayesian Program Analysis
Yihong ZhangZhang, Yihong University of WashingtonUnited States Efficient Extraction for Effectful E-graphs
Yiran ZhangZhang, Yiran Nanyang Technological UniversitySingapore Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Yiying ZhangZhang, Yiying University of California at San DiegoUnited States SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Yiyu ZhangZhang, Yiyu Nanjing UniversityChina Automated Debugging of Datalog Programs
Yue ZhangZhang, Yue AlibabaChina InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Yufeng ZhangZhang, Yufeng Hunan UniversityChina Online Input Grammar Synthesis Aided Symbolic Execution
Zehua ZhangZhang, Zehua Monash University RepoTrace: Browser-Assisted Evidence Collection for GitHub Research Datasets DebugTracker: Lightweight Process Evidence for Classroom Debugging LPR+: Diverse Transformations for LLM-Aided Program Reduction
Zhiyuan ZhangZhang, Zhiyuan MPI-SPGermany Decompiling for Constant-Time Analysis (Dis)Proving Spectre Security with Speculation-Passing Style
Hangdong ZhaoZhao, Hangdong Microsoft Gray Systems Lab FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
Jiali ZhaoZhao, Jiali HuaweiChina LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Jianhua ZhaoZhao, Jianhua Nanjing UniversityChina BackSmith: A Systematic Approach to Testing Compiler Backends
Junda ZhaoZhao, Junda Department of Mechanical and Industrial Engineering, University of Toronto Accurate Specification Recovery for Effective Test Generation (Long Talk) Accurate Specification Recovery for Effective Test Generation
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Qiyuan ZhaoZhao, Qiyuan National University of SingaporeSingapore Infinitary Relational Logic
Yaoyu ZhaoZhao, Yaoyu EPFLSwitzerland Classifying Capabilities
Yanan ZhengZheng, Yanan Yale UniversityUnited States T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Yijie ZhengZheng, Yijie National University of Defense TechnologyChina Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Yingying ZhengZheng, Yingying Institute of Software at Chinese Academy of SciencesChina Committee Member in Program Committee within the SPLASH/ISSTA Posters-track
Chen ZhiZhi, Chen Zhejiang UniversityChina InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Dinghong ZhongZhong, Dinghong Tufts UniversityUnited States Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots
Zihang ZhongZhong, Zihang Wuhan UniversityChina CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Anshunkang ZhouZhou, Anshunkang Hong Kong University of Science and TechnologyChina Diatom: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking
Chenyu ZhouZhou, Chenyu University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis
Jie ZhouZhou, Jie Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Li ZhouZhou, Li Institute of Software at Chinese Academy of SciencesChina Quantum Uncomputation of Clean and Dirty Ancilla Qubits
Ruiyu ZhouZhou, Ruiyu Nanjing University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Tengfei ZhouZhou, Tengfei KUKA SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Yuming ZhouZhou, Yuming Nanjing UniversityChina Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models Validating Optimizing SMT Solvers via Cross-Theory Approximation
Zhiping ZhouZhou, Zhiping Tianjin UniversityChina Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Ziyue ZhouZhou, Ziyue Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Chenguang ZhuZhu, Chenguang University of Texas at AustinUnited States OBsmith: LLM-Powered JavaScript Obfuscator Testing
Hao-Nan ZhuZhu, Hao-Nan Amazon Web Services Judge in Competition Judges within the SPLASH/ISSTA Student Research Competition-track Co-chair in Student Volunteer Committee within the SPLASH/ISSTA Student Volunteers-track
Ningyan ZhuZhu, Ningyan Midea AIRC Sema Core: An Open, Embeddable AI Coding Agent Runtime for the IDE and Beyond SemaPLC: An Open-Source Agentic IDE for Generation, Verification, and Simulation of PLC Programs from Natural Language
Siyuan ZhuZhu, Siyuan Peking University, China Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yanlin ZhuangZhuang, Yanlin Xiamen UniversityChina SmartFuzz: Leveraging Large Language Models and Feature Composition to Generate High-Quality Seeds for Database Fuzzing
Parker ZieglerZiegler, Parker University of California at BerkeleyUnited States Direct Manipulation and Natural Language Programming, Together at Last?
Zhiqiang ZuoZuo, Zhiqiang Nanjing UniversityChina Automated Debugging of Datalog Programs When FPGA Meets Dataflow Analysis: An Explorative Step Pyriscope: Precise and Low-Overhead Python Control Flow Tracing via Sparse Hardware-Based Events
Č Filip ČmilňákČmilňák, Filip Technical University of Košice Diffpoints: Breakpoints Comparing Values of Variables

SPLASH 2026 Contributors

Results (1121)

Tracks

SPLASH/ISSTA 2026

Co-hosted Conferences

Workshops

Co-hosted Symposia