SPLASH 2026 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (528)

A Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Class-Dictionary Specialization With Rank-2 Polymorphic Functions
Eddie AftandilianAftandilian, Eddie GitHub NextUnited States Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track
Chaitanya AgarwalAgarwal, Chaitanya New York UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Willow AhrensAhrens, Willow Massachusetts 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
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
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
Dominik ArnoldArnold, Dominik University of Zurich Metamorphic Testing for Infrastructure-as-Code Engines
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
B Thomas BallBall, Thomas Microsoft ResearchUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Yuyan BaoBao, Yuyan Augusta UniversityUnited States 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
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
Osbert BastaniBastani, Osbert University of PennsylvaniaUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Kent BeckBeck, Kent Gusto, Inc.United States The Augmented Forest Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
Jonathan BellBell, Jonathan Northeastern UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Aaron BembenekBembenek, Aaron University of MelbourneAustralia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Matteo BiagiolaBiagiola, Matteo University of St. Gallen and Università della Svizzera italianaSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
David BinderBinder, David University of Kent, UKUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
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
Lionel BlatterBlatter, Lionel Max Planck Institute for Security and Privacy Decompiling for Constant-Time Analysis (Dis)Proving Spectre Security with Speculation-Passing Style
Laura BocchiBocchi, Laura University of KentUnited Kingdom Mixed Choice in Asynchronous Multiparty Session Types
Daniele BonettaBonetta, Daniele VU AmsterdamNetherlands Co-chair in Sponsorship Committee within the SPLASH/ISSTA Sponsorship-track
Youcef BouzidBouzid, Youcef ENS Paris-Saclay Decompiling for Constant-Time Analysis
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 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Markus BöckBöck, Markus TU WienAustria Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
Timon BöhlerBöhler, Timon Technical University of DarmstadtGermany DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
C 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
Hongchen CaoCao, Hongchen ShanghaiTech UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
Jonathan ChanChan, Jonathan University of PennsylvaniaCanada Commuting Conversions and Join Points for Call-By-Push-Value
Vincent ChanChan, Vincent 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
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
Sarah E. ChasinsChasins, Sarah E. University of California at BerkeleyUnited States 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
Jiawei ChenChen, Jiawei University of Michigan at Ann ArborUnited States Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Jocelyn Qiaochu ChenChen, Jocelyn Qiaochu New York University, University of AlbertaUnited States 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 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
Wenyao ChenChen, Wenyao UNSW Sydney From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Yang ChenChen, Yang University of Illinois at Urbana-ChampaignUnited States Process-Centric Analysis of Agentic Software Systems
Yuanliang ChenChen, Yuanliang Tsinghua University VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
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
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
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
Maria ChristakisChristakis, Maria TU WienAustria Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ethan ChuChu, Ethan Carnegie Mellon University Handling Exceptions and Effects with Automatic Resource Analysis
Jürgen CitoCito, Jürgen TU WienAustria Static Factorisation of Probabilistic Programs With User-Labelled Sample Statements and While Loops
Andreea CosteaCostea, Andreea TU DelftNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Will CrichtonCrichton, Will Brown UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Leyi (Angel) CuiCui, Leyi (Angel) Carnegie Mellon University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Joseph W. CutlerCutler, Joseph W. University of Pennsylvania Fail Faster: Staging and Fast Randomness for High-Performance PBT
D 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
Mila Dalla PredaDalla Preda, Mila University of VeronaItaly Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Thibault DardinierDardinier, Thibault EPFLSwitzerland 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
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
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
Pierre Donat-BouilludDonat-Bouillud, Pierre Czech Technical University in PragueCzechia Co-chair in Program Committee within the SPLASH -E-track
Jin Song DongDong, Jin Song National University of SingaporeSingapore EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Wei DongDong, Wei National University of Defense TechnologyChina Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
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
Benjamin DriscollDriscoll, Benjamin Stanford University Fully-Automatic Type Inference for Borrows with Lifetimes
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
E 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
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
F Chunrong FangFang, Chunrong Nanjing UniversityChina Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
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
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
Alessio FerrariniFerrarini, Alessio IMDEA Software Institute and Universidad Politécnica de Madrid PLEX: Normalization for Refinement Types
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 Chair in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
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
Hongfei FuFu, Hongfei Shanghai Jiao Tong UniversityChina Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities 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 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
Ying GaoGao, Ying School of Cyber Science and Technology, Beihang University; Zhongguancun Laboratory When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
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 University - Khoury College of Computer SciencesUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
Milos GligoricGligoric, Milos The University of Texas at AustinUnited States Understanding and Finding JIT Compiler Performance Bugs Block Tests Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
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 SUNY BuffaloUnited States Fail Faster: Staging and Fast Randomness for High-Performance PBT 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
Simon Oddershede GregersenGregersen, Simon Oddershede CISPA Helmholtz Center for Information SecurityGermany Co-chair in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
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
Aarti GuptaGupta, Aarti Princeton University Specy: Learning Specifications for Distributed Systems from Event Traces
Tobias GürtlerGürtler, Tobias Saarland University, Saarland Informatics CampusGermany noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
H 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
Muhammad HassanHassan, Muhammad Virginia TechUnited States Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
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
Yuxuan HeHe, Yuxuan School of Informatics, Xiamen University Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Troels HenriksenHenriksen, Troels University of CopenhagenDenmark Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Martin HenzHenz, Martin National University of SingaporeSingapore 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 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
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
Weijiang HongHong, Weijiang National University of Defense Technology, Changsha, China Online Input Grammar Synthesis Aided Symbolic Execution
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
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 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Xiangdong HuangHuang, Xiangdong Tsinghua University Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Zhiyong HuangHuang, Zhiyong National University of SingaporeSingapore EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
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
Sander HuyghebaertHuyghebaert, Sander Vrije Universiteit Brussel Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
I Anastasia IsychevIsychev, Anastasia TU WienAustria 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
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 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Neeraj JadhavJadhav, Neeraj Georgia Institute of Technology Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Aishwarya JagarapuJagarapu, Aishwarya Amazon Web Services Specy: Learning Specifications for Distributed Systems from Event Traces
Devansh JainJain, Devansh University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
Aaron JeyarajJeyaraj, Aaron Fluidstack Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
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
K Aditi KabraKabra, Aditi Carnegie Mellon University Hybrid Game Control Envelope Synthesis
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
Benjamin Lucien KaminskiKaminski, Benjamin Lucien Saarland University; University College LondonGermany noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
Piyus KediaKedia, Piyus IIIT DelhiIndia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-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
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
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
Fredrik KjolstadKjolstad, Fredrik Stanford University Deegen: A JIT-Capable VM Generator for Dynamic Languages Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Michalis KokologiannakisKokologiannakis, Michalis ETH ZurichSwitzerland 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
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
Rahul KrishnaKrishna, Rahul IBM ResearchUnited States Process-Centric Analysis of Agentic Software Systems
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu Delft University of TechnologyNetherlands Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Milind KulkarniKulkarni, Milind Purdue UniversityUnited States Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Filip KřikavaKřikava, Filip Czech Technical University in PragueCzechia Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track
L Mahesh LakshminarasimhanLakshminarasimhan, Mahesh AMD USA Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Leonidas LampropoulosLampropoulos, Leonidas University of Maryland at College ParkUnited States 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
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 Type inference for functional and imperative dynamic languages
Yunjeong LeeLee, Yunjeong National University of SingaporeSingapore Grammar Repair with Examples and Tree Automata
Owolabi LegunsenLegunsen, Owolabi Cornell UniversityUnited States Block Tests
Daniel LehmannLehmann, Daniel Google, GermanyGermany Co-chair in REBASE industry track within the SPLASH/ISSTA REBASE industry track-track
Caroline LemieuxLemieux, Caroline University of British ColumbiaCanada Chair in Doctoral Symposium within the SPLASH/ISSTA Doctoral symposium-track
Mohsen LesaniLesani, Mohsen University of California at Santa Cruz 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
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
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 University, ChinaChina 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
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
Yanqi LiLi, Yanqi Beijing University of Posts and TelecommunicationsChina LARTS: Language Abstractions for Real-Time and Secure Systems
Yongbin LiLi, Yongbin Tongyi Lab, Alibaba, China InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
Yue LiLi, Yue Nanjing UniversityChina 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
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
Haoran LinLin, Haoran Peking University 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
Tengjie LinLin, Tengjie Zhejiang University A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
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
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
Jiawei LiuLiu, Jiawei Shanghai Jiao Tong University EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Liangxin LiuLiu, Liangxin Beihang University When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
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
Yang LiuLiu, Yang Nanyang Technological UniversitySingapore Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Yu LiuLiu, Yu Fudan University RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Crista LopesLopes, Crista University of California IrvineUnited States Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
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
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
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
Matthew LutzeLutze, Matthew Aarhus University Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
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
Zhongkui MaMa, Zhongkui The University of QueenslandAustralia Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
Konstantinos MamourasMamouras, Konstantinos Rice UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Dennis ManclMancl, Dennis MSWX Software ExpertsUnited States Panelist 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
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 Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Ruijie MengMeng, Ruijie National University of Singapore, SingaporeSingapore 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
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 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
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
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
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
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
Angelica MoreiraMoreira, Angelica Microsoft ResearchCanada Automatic Propagation of Profile Information through the Optimization Pipeline
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
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 Associate Chair in OOPSLA Review Committee within the SPLASH OOPSLA-track
N Egor NamakonovNamakonov, Egor Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Chandrakana NandiNandi, Chandrakana CertoraUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Amirmohammad NazariNazari, Amirmohammad University of Southern CaliforniaUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
O Hakjoo OhOh, Hakjoo Korea UniversitySouth Korea Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
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
Alessandro OrsoOrso, Alessandro University of Georgia, USAUnited States Co-chair in Sponsorship Committee within the SPLASH/ISSTA Sponsorship-track
P Rohan PadhyePadhye, Rohan Carnegie Mellon UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track Workshops Co-Chair in Workshops within the SPLASH/ISSTA Workshops-track
Shankara PailoorPailoor, Shankara University of Texas at AustinUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Santosh PandePande, Santosh Georgia Institute of TechnologyUnited States Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
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
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
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
Gustavo PetriPetri, Gustavo Amazon Web ServicesUnited Kingdom Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Lauren PickPick, Lauren The Chinese University of Hong Kong Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Fail Faster: Staging and Fast Randomness for High-Performance PBT
Ruzica PiskacPiskac, Ruzica Yale UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
André PlatzerPlatzer, André KITGermany Hybrid Game Control Envelope Synthesis
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
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
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States Scylla: Translating an Applicative Subset of C to Safe Rust
Q Yong Qi FooQi Foo, Yong National University of SingaporeSingapore Class-Dictionary Specialization With Rank-2 Polymorphic Functions
Binhang QiQi, Binhang National University of SingaporeSingapore EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Ruixiang QianQian, Ruixiang Nanjing University Peeling off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Shengchao QinQin, Shengchao Xidian UniversityChina A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
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 Jonathan Ragan-KelleyRagan-Kelley, Jonathan MIT CSAIL Fully-Automatic Type Inference for Borrows with Lifetimes
Mukund RaghothamanRaghothaman, Mukund University of Southern California Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-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
Joseph RaskindRaskind, Joseph SUNY Binghamton Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
John RegehrRegehr, John University of UtahUnited States 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
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 TU DarmstadtGermany DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Tiark RompfRompf, Tiark Purdue UniversityUnited States When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Marcus RosselRossel, Marcus Technische Universität DarmstadtGermany Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Joseph RotellaRotella, Joseph Northeastern University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
S Guido SalvaneschiSalvaneschi, Guido University of St. GallenSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
Mark SantolucitoSantolucito, Mark Barnard College, Columbia University, USAUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Srinjoy SarkarSarkar, Srinjoy Indian Institute of Technology KanpurIndia Designing GPU Data Structures for Efficient Memory Oversubscription
Charitha SaumyaSaumya, Charitha Intel Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Douglas C. SchmidtSchmidt, Douglas C. William & MaryUnited States Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
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
Elan SemenovaSemenova, Elan Northeastern University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Ilya SergeySergey, Ilya National University of SingaporeSingapore Grammar Repair with Examples and Tree Automata
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
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
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
Ji-Yong ShinShin, Ji-Yong Northeastern UniversityUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Florian SihlerSihler, Florian Ulm UniversityGermany Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Abhishek Kr SinghSingh, Abhishek Kr IIIT HyderabadIndia Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
Sunbeom SoSo, Sunbeom Korea University Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Linhai SongSong, Linhai Pennsylvania State UniversityUnited States SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Thodoris SotiropoulosSotiropoulos, Thodoris ETH ZurichSwitzerland Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
David SpielmannSpielmann, David University of St. GallenSwitzerland Metamorphic Testing for Infrastructure-as-Code Engines
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Panelist in 40th Anniversary Committee within the SPLASH /OOPSLA @ 40 Panel-track
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
Yulei SuiSui, Yulei University of New South WalesAustralia Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Chengnian SunSun, Chengnian University of WaterlooCanada Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Jun SunSun, Jun Singapore Management UniversitySingapore Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Sipeng SunSun, Sipeng The Chinese University of Hong Kong Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yuqiang SunSun, Yuqiang Nanyang Technological University Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Kirshanthan SundararajahSundararajah, Kirshanthan Virginia Tech Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Wouter SwierstraSwierstra, Wouter Utrecht University, NetherlandsNetherlands PLEX: Normalization for Refinement Types
T Yazhou TangTang, Yazhou Zhejiang UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
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
Peter ThiemannThiemann, Peter University of FreiburgGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Simon ThompsonThompson, Simon University of Kent (UK)United Kingdom Mixed Choice in Asynchronous Multiparty Session Types
Sverrir ThorgeirssonThorgeirsson, Sverrir ETH ZurichSwitzerland Chair in Program Committee within the SPLASH Onward! Papers-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Ashish TiwariTiwari, Ashish MicrosoftUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Alexi TurcotteTurcotte, Alexi CISPAGermany Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
U Caterina UrbanUrban, Caterina Inria - École Normale SupérieureFrance Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
V Simcha van Collemvan Collem, Simcha Radboud University Nijmegen Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Sören van der Wallvan der Wall, Sören TU BraunschweigGermany Decompiling for Constant-Time Analysis
Niki VazouVazou, Niki IMDEA Software Institute PLEX: Normalization for Refinement Types
Jan VitekVitek, Jan Northeastern UniversityUnited States Type inference for functional and imperative dynamic languages
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
W 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
Haoyu WangWang, Haoyu Huazhong University of Science and TechnologyChina When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
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
Ke WangWang, Ke Nanjing UniversityChina 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
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
Shaohua WangWang, Shaohua Central University of Finance and EconomicsChina 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
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
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
Tjark WeberWeber, Tjark Uppsala UniversitySweden Sound and Complete Invariant-Based Heap Encodings
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States Commuting Conversions and Join Points for Call-By-Push-Value
Max WillseyWillsey, Max University of California at BerkeleyUnited States Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
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
Jielun WuWu, Jielun Nanjing UniversityChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
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
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
Ningning XieXie, Ningning University of TorontoCanada Mechanised Semantics of Multi-Stage Programming
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
Yingfei XiongXiong, Yingfei Peking UniversityChina 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
Jianhao XuXu, Jianhao Southeast University CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
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
Zhengzi XuXu, Zhengzi Imperial Global SingaporeSingapore Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Zhijie XuXu, Zhijie Tsinghua UniversityChina Learning Symmetric Invariants from Symmetric Samples
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
Jeremy YallopYallop, Jeremy University of CambridgeUnited Kingdom Mechanised Semantics of Multi-Stage Programming
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
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
Andrey YaoYao, Andrey University of Wisconsin-Madison Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Rui YaoYao, Rui Beijing Institute of Computer Technology and Application LARTS: Language Abstractions for Real-Time and Secure Systems
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
Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom 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
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
Hengchen YuanYuan, Hengchen The University of Texas at AustinUnited States Detecting Flaky Tests by Controlling Nondeterministic API Behavior
Yinliang YueYue, Yinliang Zhongguancun Laboratory When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Z George ZakhourZakhour, George University of St. GallenSwitzerland 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
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyChina Diatom: Polylithic Binary Lifting with Data-flow Summaries and Type-aware IR Linking Committee Member in OOPSLA Review Committee within the SPLASH OOPSLA-track
Danfeng ZhangZhang, Danfeng Duke UniversityUnited States 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
He ZhangZhang, He School of Informatics, Xiamen University Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
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
Michael ZhangZhang, Michael Northeastern University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
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
Robert ZhangZhang, Robert University of Texas at AustinUnited States Co-chair in Student Volunteer Committee within the SPLASH/ISSTA Student Volunteers-track
Xin ZhangZhang, Xin Peking UniversityChina 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
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
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
Zhiyuan ZhangZhang, Zhiyuan MPI-SP Decompiling for Constant-Time Analysis (Dis)Proving Spectre Security with Speculation-Passing Style
Jiali ZhaoZhao, Jiali Huawei LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Pinhan ZhaoZhao, Pinhan University of MichiganUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yijie ZhengZheng, Yijie National University of Defense Technology Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Chen ZhiZhi, Chen Zhejiang UniversityChina InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration
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
Ruiyu ZhouZhou, Ruiyu Nanjing University Committee Member in Artifact Evaluation Committee within the SPLASH Artifact evaluation-track
Yuming ZhouZhou, Yuming Nanjing UniversityChina Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness Using Large Language Models
Zhiping ZhouZhou, Zhiping Tianjin University Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
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

SPLASH 2026 Contributors

Results (528)

Tracks

SPLASH/ISSTA 2026

Co-hosted Conferences

Workshops

Co-hosted Symposia