SPLASH 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1066)

A Zain K AamerAamer, Zain K University of PennsylvaniaUnited States Random Testing via Runtime Abstract Interpretation
Samson AbramskyAbramsky, Samson University College LondonUnited Kingdom Granthi: Higher-Order Quantum Programming via Unitary Wiring
Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Class-Dictionary Specialization With Rank-2 Polymorphic Functions Programming with Composable Recursive Patterns and Transformations
Eddie AftandilianAftandilian, Eddie XBOWUnited States 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 Urbana-Champaign Uncovering Hidden Memory Costs for Garbage Collection
Sehyuk AhnAhn, Sehyuk KAIST 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 Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Saba AlimadadiAlimadadi, Saba Simon Fraser UniversityCanada 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 The Open University of Israel 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
Tomoyuki AotaniAotani, Tomoyuki Commit-Window Observation Contracts for Reactive Entity-Component Systems
Ellen ArltArlt, Ellen MPI-SWS RGSep under Release/Acquire Consistency Sound State Encodings in Translational Separation Logic Verifiers
Dominik ArnoldArnold, Dominik University of Zurich 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
Binamra AryalAryal, Binamra University of Texas at ArlingtonUnited States Single-Metric Size and Complexity Thresholds Fail to Forecast Refactoring
Aslan AskarovAskarov, Aslan Aarhus University 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 Waterloo 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 Michigan - Ann ArborUnited 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
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 Cornell UniversityUnited States Type-Directed Discretization of Probabilistic Programs
Michael BauerBauer, Michael NVIDIA 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 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 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 Technology (MCQST)Germany Compiling Quantum Regular Language States
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 Rennes Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
Siddharth BhatBhat, Siddharth University of Cambridge 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 University of St. Gallen and Università della Svizzera italianaSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
Annette BieniusaBieniusa, Annette RPTU 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 CoCoMUT: A Tool for Code-Context Mining and Automated Dataset Generation
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 KIT Differential Execution with Lexical Tracing
Sam BlackshearBlackshear, Sam Mysten Labs 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 University Augur: Predicting View Serializability Violations in Relational Data Store Applications
Lionel BlatterBlatter, Lionel Max Planck Institute for Security and Privacy 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 University 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
Youcef BouzidBouzid, Youcef ENS Paris-Saclay Decompiling for Constant-Time Analysis
Matt BovelBovel, Matt EPFLSwitzerland First-Class Refinement Types for Scala
Tomáš BoďaBoďa, Tomáš Charles University 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 MIT Fully-Automatic Type Inference for Borrows with Lifetimes
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland 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 Technical University of 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, Berkeley 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 University Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
Zong CaoCao, Zong Imperial Global SingaporeSingapore 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
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 ChanChan, Eric University of California, Riverside Frashokereti: Non-aborting Optimistically Replicated Objects
Jonathan ChanChan, Jonathan University of PennsylvaniaCanada 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 Effectively Propositional Higher-Order Functional Programming
Jiaxin ChangChang, Jiaxin Shanghai Jiao Tong University EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Noah CharltonCharlton, Noah Ohio State University 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 Georgia Institute of TechnologyUnited States Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Mainak ChaudhuriChaudhuri, Mainak Indian Institute of Technology Kanpur Designing GPU Data Structures for Efficient Memory Oversubscription
Dong ChenChen, Dong Huawei Technologies Co., Ltd 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 EPFL A Language Approach to Fine-Grained Microarchitectural Observation
Hongyu ChenChen, Hongyu Nanjing University BackSmith: A Systematic Approach to Testing Compiler Backends
Jiawei ChenChen, Jiawei University of Michigan at Ann ArborUnited States Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Jocelyn Qiaochu ChenChen, Jocelyn Qiaochu University of AlbertaCanada 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 University RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Qinlin ChenChen, Qinlin Nanjing UniversityChina When FPGA Meets Dataflow Analysis: An Explorative Step
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 The Hong Kong University of Science and TechnologyChina SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries
Wenyao ChenChen, Wenyao UNSW Sydney From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Xingchu ChenChen, Xingchu Institute of Information Engineering, CAS; School of Cyber Security, UCAS 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 China VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Yusen ChenChen, Yusen National University of Defense Technology Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
Zengxu ChenChen, Zengxu Nanjing University Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Zhenbang ChenChen, Zhenbang College of Computer, National University of Defense TechnologyChina Online Input Grammar Synthesis Aided Symbolic Execution EUF$^n$: 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 TechnologyHong Kong SAR China 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 within the SPLASH Onward! Steering Committee-track
Jeffrey ChingChing, Jeffrey Duke UniversityUnited States Sound Enforcement of Dynamic Release Information Flow Policy
Kyeongmin ChoCho, Kyeongmin RebellionsSouth Korea Quantum Monte Carlo Estimation via Probabilistic Programming
Jaeho choichoi, Jaeho 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 School of Information Technology, Monash University Malaysia 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. The Chinese University of Hong 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
J. Ignacio CiracCirac, J. Ignacio Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST) 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
Andreea CosteaCostea, Andreea TU DelftNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Will CrichtonCrichton, Will Brown UniversityUnited States 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 Technology (MCQST) 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. Jane Street Fail Faster: Staging and Fast Randomness for High-Performance PBT
D Loris D'AntoniD'Antoni, Loris Amazon Web ServicesUnited 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 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 University, China 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 New York UniversityUnited States Sound State Encodings in Translational Separation Logic Verifiers Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Eva DarulovaDarulova, Eva Uppsala University Floating-Point Usage on GitHub: a Large-Scale Study of Statically Typed Languages
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
Shuiguang DengDeng, Shuiguang Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier TechnologiesChina InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Ankush DesaiDesai, Ankush Snowflake Specy: Learning Specifications for Distributed Systems from Event Traces
Vasudha DevarakondaDevarakonda, Vasudha Texas A&M University 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 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 The University of Texas at Austin 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 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 Amazon Incremental Program Synthesis from Event Logs
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom 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
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical University in PragueCzechia 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 Rochester 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$^n$: 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 University Fully-Automatic Type Inference for Borrows with Lifetimes Equivalence Checking of ML GPU Kernels
Bowen DuDu, Bowen Tongji University SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
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 Telecommunications Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Yide DuDu, Yide College of Computer Science and Technology, NationalUniversity of Defense TechnologyChina EUF$^n$: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
Kshitij DubeyDubey, Kshitij Microsoft Research Equivalence Checking of ML GPU Kernels
Evan DyceDyce, Evan Simon Fraser University 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 Maryland, College Park 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
Francois FarquetFarquet, Francois Oracle Labs Experimental Evaluation Methodology for The Era of No Steady Performance
Justus FasseFasse, Justus Université Grenoble-Alpes; KU Leuven Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Grigory FedyukovichFedyukovich, Grigory Florida State UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-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 University 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
María Cea FernándezFernández, María Cea Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST) Compiling Quantum Regular Language States
Florent Ferrari-DominguezFerrari-Dominguez, Florent ENS de Lyon Programming with Composable Recursive Patterns and Transformations
Alessio FerrariniFerrarini, Alessio IMDEA Software Institute and Universidad Politécnica de Madrid PLEX: Normalization for Refinement Types
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 Zurich A Type System for Optimizing Dynamic IFC
Alex FischmanFischman, Alex University of Washington Efficient Extraction for Effectful E-Graphs
Oliver FlattFlatt, Oliver University of WashingtonUnited States Efficient Extraction for Effectful E-Graphs
Ryan FleuryFleury, Ryan 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 Technology (MCQST) 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 Impresario in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Marco FrigoFrigo, Marco University of Illinois at Urbana-Champaign Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Elisa FrohlichFrohlich, Elisa Universidade Federal de 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 Jiao Tong UniversityChina 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 School of Software, Tsinghua University Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Xiaopeng FuFu, Xiaopeng Zhongguancun Laboratory When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Yeqi FuFu, Yeqi National University of Singapore Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Youxin FuFu, Youxin Nanjing University Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
G Daniel Galán PascualGalán Pascual, Daniel ETH Zurich A Type System for Optimizing Dynamic IFC
Rohan GangarajuGangaraju, Rohan Purdue UniversityUnited States Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Jatin GanhotraGanhotra, Jatin IBM ResearchUnited 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 School of Cyber Science and Technology, Beihang University; Zhongguancun Laboratory 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 Bombay 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 Università di Pisa 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 The Ohio State University, USA 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 Urbana-Champaign 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 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 The 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
Sneha GoenkaGoenka, Sneha Princeton University Compiling Bioinformatics Recurrences
Amir K. GoharshadyGoharshady, Amir K. University of Oxford 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 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Harrison GoldsteinGoldstein, Harrison University at Buffalo, SUNYUnited States Programme Committee in Program Committee within the SPLASH -E-track 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 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 Diaprtimento di Informatica, Universita' di Pisa, Italy Systematic Design of Separation Logics
Amber GorzynskiGorzynski, Amber Imperial College London WGSLsmith: Randomised Testing for the WebGPU Shading Language
Kirsten GrahamGraham, Kirsten University of Washington 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
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 Engineering A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Ronghui GuGu, Ronghui Columbia University; CertiKUnited 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 College 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 Technology Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Yiyang GuoGuo, Yiyang Carnegie Mellon University Handling Exceptions and Effects with Automatic Resource Analysis
Zihan GuoGuo, Zihan Sun Yat-sen University Staged Multi-Step UTXO Workflows via Recursive Invariants
Aarti GuptaGupta, Aarti Princeton University 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 Darmstadt 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
Haotian HanHan, Haotian School of Computer Science, Wuhan University CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Mustahid HasanHasan, Mustahid William & MaryUnited States Can We Trust RefAgent? A Differential-Fuzzing Test of Functional Equivalence in Multi-agent-based Java Refactoring
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 Technology Verifying Repeat-Until-Success Protocols using Automata
Fei HeHe, Fei Tsinghua UniversityChina Learning Symmetric Invariants from Symmetric Samples
Mengting HeHe, Mengting The Pennsylvania State University 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 SAR China When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Siyuan HeHe, Siyuan Purdue University When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Yumeng HeHe, Yumeng University of Utah Accurate Residues for Floating-Point Debugging
Yuxuan HeHe, Yuxuan School of Informatics, Xiamen University 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 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 School of Informatics, Xiamen University SmartFuzz: Leveraging Large Language Models and Feature Composition to Generate High-Quality Seeds for Database Fuzzing
Weijiang HongHong, Weijiang National University of Defense Technology, Changsha, China Online Input Grammar Synthesis Aided Symbolic Execution EUF$^n$: 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 Tongyi Lab, Alibaba, China InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Heqing HuangHuang, Heqing City University of Hong Kong Revisiting Path Coverage Tracing from a Node-centric View
Huaxun HuangHuang, Huaxun School of Informatics, Xiamen University 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 Technology Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
Xiangdong HuangHuang, Xiangdong Tsinghua University Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Yifei HuangHuang, Yifei University of Southern California 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 Zurich A Type System for Optimizing Dynamic IFC
Guerney HuntHunt, Guerney independent Researcher Bringing Foundational Verification to Real-World Rust Code
Wei HuoHuo, Wei Institute of Information Engineering at 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^2 Environment Classifiers
Reinis IrmejsIrmejs, Reinis Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST) 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 DistriNet, Dept. CS, KU LeuvenBelgium Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Jules JacobsJacobs, Jules Jane StreetUnited States Type-Directed Discretization of Probabilistic Programs Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Hans-Arno JacobsenJacobsen, Hans-Arno University of Toronto ReFun: Reconstructing Function Boundaries in EVM Bytecode
Neeraj JadhavJadhav, Neeraj Georgia Institute of Technology Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Radha JagadeesanJagadeesan, Radha College of CDM, Depaul Granthi: Higher-Order Quantum Programming via Unitary Wiring
Aishwarya JagarapuJagarapu, Aishwarya Amazon Web Services 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-Champaign 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 University in PragueCzechia 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 University 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 Michigan at Ann ArborUnited States Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Jonguk JeonJeon, Jonguk KAIST Quantum Monte Carlo Estimation via Probabilistic Programming
Seungmin JeonJeon, Seungmin KAISTSouth Korea Quantum Monte Carlo Estimation via Probabilistic Programming
Seokhun JeongJeong, Seokhun KAISTSouth 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 University 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 The Hong Kong Polytechnic University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Pengyue JiangJiang, Pengyue Cornell University Block Tests
Ruilin JiangJiang, Ruilin School of Informatics, Xiamen University Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Shan JiangJiang, Shan UT 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 University 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 at BoulderUnited States Effectively Propositional Higher-Order Functional Programming Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Pankaj Kumar KalitaKalita, Pankaj Kumar IIT KanpurIndia 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 Research Equivalence Checking of ML GPU Kernels
Piyus KediaKedia, Piyus IIIT DelhiIndia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sascha KehrliKehrli, Sascha MPI-SWS 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
Stephen KellKell, Stephen King's College London 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
Divij KhaitanKhaitan, Divij Microsoft Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Mikail KhanKhan, Mikail Carnegie Mellon University 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
Chin KhorKhor, Chin Iowa State University VarCHEKER: A Variability-based Static Analyzer for Python Applications
Kaustubh KhulbeKhulbe, Kaustubh University of Illinois at Urbana-Champaign 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 Wisconsin-Madison; Seoul National UniversityUnited States Incremental Program Synthesis from Event Logs
Kunha KimKim, Kunha University of Colorado Boulder Effectively Propositional Higher-Order Functional Programming
Minsu KimKim, Minsu Korea University 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 TUM School of Natural Sciences; IQM Quantum Computers Compiling Quantum Regular Language States
Aleks KissingerKissinger, Aleks University of Oxford TensorRocq: Enabling diagrammatic reasoning in Rocq
Fredrik KjolstadKjolstad, Fredrik Stanford University 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 Zurich 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
Paraschos KoutrisKoutris, Paraschos University of Wisconsin-MadisonUnited States FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis
Christos KozyrakisKozyrakis, Christos Stanford University, USA 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 A Design Space Exploration of Async/Await
Srđan KrstićKrstić, Srđan ETH ZürichSwitzerland A Type System for Optimizing Dynamic IFC
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
Viktor KunčakKunčak, Viktor EPFL, SwitzerlandSwitzerland 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 KAIST 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 University in PragueCzechia Revisiting Row Polymorphism for Set-Theoretic Types 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
Vincent LafeychineLafeychine, Vincent Université Paris-Saclay, CNRS, ENS Paris-Saclay, INRIA, Laboratoire Méthodes Formelles, 91190, Gif-sur-Yvette, France.France Bringing Foundational Verification to Real-World Rust Code
Sumit LahiriLahiri, Sumit Indian Institute of Technology KanpurIndia 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 The Hong Kong University of Science and Technology (HKUST) A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland at College ParkUnited 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 University Fighting Supply Chain Attacks with Effect Systems
Chris LattnerLattner, Chris SiFive TBA
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 Karlsruhe Institute of Technology Hybrid Game Control Envelope Synthesis
Mickaël LaurentLaurent, Mickaël Charles UniversityFrance Revisiting Row Polymorphism for Set-Theoretic Types Implementing Set-Theoretic Types Type inference for functional and imperative dynamic languages
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 KAISTSouth 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 KAIST 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 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 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 Cruz Frashokereti: Non-aborting Optimistically Replicated Objects Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Annabel LevyLevy, Annabel University of Maryland, Baltimore County 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 Tongyi Lab, Alibaba, China InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Guochang LiLi, Guochang Zhejiang university 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 SKLP, Institute of Computing Technology, CASChina Context-Free Language Reachability via Efficient Relation Chaining
Haokun LiLi, Haokun Peking University 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 MBZUAI A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Ka Wing LiLi, Ka Wing University of Cambridge 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 SciencesChina 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 Sydney From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Xiaofeng LiLi, Xiaofeng Beijing Institute of Control Engineering 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 University Code–Test Co-Translation: Towards Practical and Effective Program Migration in the Wild
Xupeng LiLi, Xupeng CertiK 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 Tongyi Lab, Alibaba, China 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 UNSWAustralia Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Yuqing LiLi, Yuqing Tianjin University Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Zenan LiLi, Zenan ETH Zurich Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
Zhen LiLi, Zhen Beijing University of Posts and Telecommunications 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 ad 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 University 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 Beijing Forestry University 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 The University of Texas at Austin 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
Li LinLin, Li Zhejiang UniversityChina SmartFuzz: Leveraging Large Language Models and Feature Composition to Generate High-Quality Seeds for Database Fuzzing
Tengjie LinLin, Tengjie Zhejiang University 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 Austin MGQL: An Executable, Small-Step Semantics of GQL
Yuanyi LinLin, Yuanyi Huawei Technologies LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Yun LinLin, Yun Shanghai Jiao Tong UniversityChina 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 Zurich Sound State Encodings in Translational Separation Logic Verifiers
Yuxi LingLing, Yuxi National University of Singapore 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 From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Chenke LiuLiu, Chenke Institute of Software, Chinese Academy of Sciences; University of Chinese Academy 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 Telecommunications 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 University 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 University When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Qikang LiuLiu, Qikang Simon Fraser University Synthesizing Graph Queries from Demonstrations
Shenghan LiuLiu, Shenghan Beijing University of Posts and Telecommunications Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Shuyang LiuLiu, Shuyang Process-Centric Analysis of Agentic Software Systems
Sirui LiuLiu, Sirui National University of Defense Technology Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Ting LiuLiu, Ting Xi'an Jiaotong University 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 University RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Zhaoxiang LiuLiu, Zhaoxiang Kansas State University ZSafe: Proving the Safety of Proprietary Hardware Designs in Zero Knowledge
Fang-Yi LoLo, Fang-Yi Academia Sinica Verifying Repeat-Until-Success Protocols using Automata
Saatvik LochanLochan, Saatvik University of Illinois Urbana-Champaign Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Crista LopesLopes, Crista University of California IrvineUnited States 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 SKLP, Institute of Computing Technology, CAS, China 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 University 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 State Key Laboratory for Novel Software Technology, Nanjing University 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 University, China Automated Debugging of Datalog Programs
Ning LuoLuo, Ning UIUCUnited 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 National University of Defense Technology Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
luojiushenzi luojiushenzi Zhongguancun Laboratory 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 Università della Svizzera italiana 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 College of Computer, National University of Defense Technology, Changsha, China 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
Enrico MagnagoMagnago, Enrico Amazon Web Services Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Sharad MalikMalik, Sharad Princeton University 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 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 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
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)
Sergey MechatevMechatev, Sergey Peking University 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 armasuisse 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, Chinese Academy of Sciences; University of Chinese Academy of Sciences 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 School of Computer Science, Wuhan University, Wuhan, ChinaChina CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Bertrand MeyerMeyer, Bertrand Eiffel 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 TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENEGermany 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 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
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 University 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 C. MitchellMitchell, John C. Stanford University 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 University Hybrid Game Control Envelope Synthesis
Ragnar MogkMogk, Ragnar Technische Universität DarmstadtGermany PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
Aaryaa MoharirMoharir, Aaryaa The University of Texas at Dallas A First Look at Bugs in Tile-Based GPU Programming Frameworks
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 Visualizing Turing Machines and Multitape Turing Machines
Angelica MoreiraMoreira, Angelica Microsoft ResearchUnited States Automatic Propagation of Profile Information through the Optimization Pipeline
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
Rajdeep MukherjeeMukherjee, Rajdeep Amazon, USAUnited States Specification-Driven Code Validation via Automated Test Generation and Mutation Analysis
Yuito MuraseMurase, Yuito Kyoto University, JapanJapan Refined^2 Environment Classifiers
Aniruddha MysoreMysore, Aniruddha Amazon Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Co-chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
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 Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Chandrakana NandiNandi, Chandrakana CertoraUnited States 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
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 AmazonCanada Incremental Program Synthesis from Event Logs
Yuge NieNie, Yuge State Key Laboratory for Novel Software Technology, Nanjing University 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 Labs Tracking Borrows with Regular Expressions
Clemens Nylandsted KlokmoseNylandsted Klokmose, Clemens Aarhus UniversityDenmark 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 UniversitySouth 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 Max Planck Institute for Security and Privacy 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 Interactive Data Analysis with Lively Typed Tables
Alessandro OrsoOrso, Alessandro University of Georgia, USAUnited States Co-chair in Sponsorship Committee within the SPLASH/ISSTA Sponsorship-track
Wojciech OzgaOzga, Wojciech IBM Research Zurich Bringing Foundational Verification to Real-World Rust Code
P Rohan PadhyePadhye, Rohan Carnegie Mellon University and AntithesisUnited States 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 Washington Efficient Extraction for Effectful E-Graphs
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
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 University of Maryland at College Park 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 HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching Programming with Composable Recursive Patterns and Transformations
Krut PatelPatel, Krut NVIDIA Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Vipin PatelPatel, Vipin Indian Institute of Technology KanpurIndia Designing GPU Data Structures for Efficient Memory Oversubscription
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States 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 The 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 University 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
Colin PfingstlPfingstl, Colin ETH Zurich A Type System for Optimizing Dynamic IFC
Nguyen PhamPham, Nguyen EPFL, LAMPSwitzerland 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 Technology 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 Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-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 University Understanding Accelerator Compilers via Performance Profiling
Alex PotaninPotanin, Alex Australian National UniversityAustralia Co-chair in SIGPLAN papers track committee within the SPLASH SIGPLAN track-track Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Michael PradelPradel, Michael CISPA Helmholtz Center for Information SecurityGermany 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
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Experimental Evaluation Methodology for The Era of No Steady Performance
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States Scylla: Translating an Applicative Subset of C to Safe Rust
Q Shaz QadeerQadeer, Shaz Meta, Inc.United 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 University Automated Debugging of Datalog Programs
Ruixiang QianQian, Ruixiang Nanjing University 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-Lyon Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
R Azalea RaadRaad, Azalea Imperial College London; Soteria ToolsUnited 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 MIT CSAIL Fully-Automatic Type Inference for Borrows with Lifetimes
Mukund RaghothamanRaghothaman, Mukund University of Southern California 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 Singapore, 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 Darmstadt DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
George RennieRennie, George University of Cambridge 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 Pennsylvania Fail Faster: Staging and Fast Randomness for High-Performance PBT
David RichterRichter, David Technical University of DarmstadtGermany DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Filip RihaRiha, Filip Czech Technical University 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 University Verifying Economic Security of Smart Contracts via Unintended Return
Eli RosenthalRosenthal, Eli 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 Università della Svizzera italianaSwitzerland 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 and 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 KAISTSouth Korea 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 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 University Understanding Accelerator Compilers via Performance Profiling
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 Indian Institute of Technology KanpurIndia Designing GPU Data Structures for Efficient Memory Oversubscription
Federica SarroSarro, Federica University College LondonUnited Kingdom Agent-Based Automated Remediation for Vulnerabilities in Maven Projects
Charitha SaumyaSaumya, Charitha Intel 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 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
Ilya SergeySergey, Ilya National University of SingaporeSingapore 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
Rahul SharmaSharma, Rahul Google Deepmind 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 HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China 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 The University of Texas at AustinUnited States Detecting Flaky Tests by Controlling Nondeterministic API Behavior Understanding and Finding JIT Compiler Performance Bugs
Chenghang ShiShi, Chenghang SKLP, Institute of Computing Technology, CASChina Context-Free Language Reachability via Efficient Relation Chaining
Dalong ShiShi, Dalong AVIC International Digital Network Technology Co., Ltd. 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 Waterloo Transitive, Abstract, and Class Polymorphic Immutability
Jingyi ShiShi, Jingyi Institute of Information Engineering, Chinese Academy of Sciences; School of Cyber Security, University of Chinese Academy of Sciences 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 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 University 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 CEA LIST AADT: Abstract Abstract Data Types
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom 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 Laboratory 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 University Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Rupanshu SoiSoi, Rupanshu Stanford University Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems
Sergi Soler ArrufatSoler Arrufat, Sergi EPFL A Language Approach to Fine-Grained Microarchitectural Observation
Linhai SongSong, Linhai Pennsylvania State UniversityUnited States 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 Chicago TensorRocq: Enabling diagrammatic reasoning in Rocq
David SpielmannSpielmann, David University of St. GallenSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
Ridhi SrikanthSrikanth, Ridhi University of California, San Diego PEPPER: Native Shell Scripting in Python
Guy SteeleSteele, Guy Tech SquaresUnited States 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 The Hong Kong University of Science and Technology SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries
Jiechen SunSun, Jiechen None 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 Waterloo 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 University 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 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 University Compiling Bioinformatics Recurrences
Sahil SunejaSuneja, Sahil IBM ResearchUnited States Falconf: A Web-Based Tool for Misconfiguration Diagnosis via Log Analysis
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands 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 Waterloo 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 Indian Institute of Technology - Kanpur LLM assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles and Natural Language
Jean-Pierre TalpinTalpin, Jean-Pierre INRIA, France 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 the Metatheory of Automatic Let-Insertion in Typed Multi-Stage Programming
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 University 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 Glasgow, United KingdomUnited Kingdom Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Yichen TaoTao, Yichen University of Michigan 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 Efficient Extraction for Effectful E-Graphs
Doug TerryTerry, Doug LinkedIn 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 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 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Aditya ThimmaiahThimmaiah, Aditya The University of Texas at AustinUnited States MGQL: An Executable, Small-Step Semantics of GQL
Simon ThompsonThompson, Simon University of Kent (UK)United Kingdom Mixed Choice in Asynchronous Multiparty Session Types
Sverrir ThorgeirssonThorgeirsson, Sverrir ETH ZurichSwitzerland 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 Co-chair in SIGPLAN papers track committee within the SPLASH SIGPLAN track-track
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 Graduate Institute of Electronics Engineering, National Taiwan University 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
Dimitris VardoulakisVardoulakis, Dimitris NVIDIA The Anatomy of Machine Learning Compilers
Niki VazouVazou, Niki IMDEA Software Institute PLEX: Normalization for Refinement Types
Jan Liam VerterVerter, Jan Liam Charles UniversityCzechia The Choose-Your-Own-Adventure Calculus
Jakob Schneider VillumsenVillumsen, Jakob Schneider Aarhus University Fighting Supply Chain Attacks with Effect Systems
Bala VinaithirthanVinaithirthan, Bala Stanford University Compiling Bioinformatics Recurrences
Jan VitekVitek, Jan Northeastern UniversityUnited States Co-chair in SIGPLAN papers track committee within the SPLASH SIGPLAN track-track 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 Glasgow, UKUnited Kingdom Mixed Choice in Asynchronous Multiparty Session Types
Klaus von Gleissenthallvon Gleissenthall, Klaus Vrije Universiteit AmsterdamNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Keval VoraVora, Keval Simon Fraser University 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 University 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 Telecommunications 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 University Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler's Native Analyses
Peixin WangWang, Peixin East China Normal University A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Renxi WangWang, Renxi MBZUAI A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Sean WangWang, Sean Princeton University 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 TechnologyChina 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 The 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 University InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Yunqian WangWang, Yunqian Tianjin University 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 University 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 University When FPGA Meets Dataflow Analysis: An Explorative Step
Guannan WeiWei, Guannan Tufts UniversityUnited States When Do Staging Annotations Preserve Semantics? Mechanizing the Metatheory of Automatic Let-Insertion in Typed Multi-Stage Programming Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots
Jiashen WeiWei, Jiashen Nanjing University, China 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 Utah 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 Group 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 University Type-Safe Monotonic Object Evolution
Jiang WuWu, Jiang Xi'an Jiaotong University 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 University 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 Technology Verifying Repeat-Until-Success Protocols using Automata
Zhiyong WuWu, Zhiyong Tsinghua University, ChinaChina Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
X Jinwen XiXi, Jinwen Zhongguancun Laboratory When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Shihao XiaXia, Shihao The Pennsylvania State University 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 SAR China 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 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 Independent Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Runshuo XieXie, Runshuo Nanjing University, China 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-SPChina (Dis)Proving Spectre Security with Speculation-Passing Style
Yuchong XieXie, Yuchong Hong Kong University of Science and Technology RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Mingzhe XingXing, Mingzhe Zhongguancun Laboratory 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 Department of Computer Science and Engineering, The Hong Kong University of Science and TechnologyHong Kong SAR China 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 University Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Jianhao XuXu, Jianhao Southeast University CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Jin XuXu, Jin Tongji University SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
Qiyuan XuXu, Qiyuan Nangyang Technology University 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 EPFL 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 UNSWAustralia 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 Delhi 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 University 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 University 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 Application LARTS: Language Abstractions for Real-Time and Secure Systems
Xinchen YaoYao, Xinchen Nanjing University 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 London (UCL)United 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 The Chinese University of Hong Kong A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zijian YiYi, Zijian The University of Texas at Austin 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 University 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 KLISS, BNRist, School of Software, Tsinghua University 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 The 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 Laboratory 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 The Hong Kong University of Science and TechnologyHong Kong SAR China SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina 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 School of Informatics, Xiamen University 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 Technology RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Kunbo ZhangZhang, Kunbo Nanjing University CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Kunpeng ZhangZhang, Kunpeng The Hong Kong University of Science and Technology LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Lyuye ZhangZhang, Lyuye Nanyang Technological UniversitySingapore Agent-Based Automated Remediation for Vulnerabilities in Maven Projects
Miaomiao ZhangZhang, Miaomiao School of Computer Science and Technology, 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 University Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
Peng ZhangZhang, Peng State Key Laboratory for Novel Software Technology, Nanjing University 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 College of Computer Science and Technology, National University of Defense Technology, Changsha, China 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 Application 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 University Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Yiying ZhangZhang, Yiying University of California San Diego 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 Tongyi Lab, Alibaba, China 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-SP 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 Huawei LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Jianhua ZhaoZhao, Jianhua Nanjing University, China BackSmith: A Systematic Approach to Testing Compiler Backends
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 EPFL, LAMPSwitzerland Classifying Capabilities
Yanan ZhengZheng, Yanan Yale University T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Yijie ZhengZheng, Yijie National University of Defense Technology 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 University Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots
Zihang ZhongZhong, Zihang School of Computer Science, Wuhan University 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, 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 University 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 Meta AIUnited States OBsmith: LLM-powered JavaScript Obfuscator Testing
Hao-Nan ZhuZhu, Hao-Nan University of California, Davis 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 University 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 (1066)

Tracks

SPLASH/ISSTA 2026

Co-hosted Conferences

Workshops

Co-hosted Symposia