East Hall 1 - SPLASH 2026

VenueOakland Marriott City Center

Room nameEast Hall 1

Capacity259

Room InformationNo extra information available

Program

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-07:00) Pacific Time (US & Canada).

Use conference time zone: (GMT-07:00) Pacific Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	Debugging and Fault LocalizationOOPSLA at East Hall 1

10:30 18m Talk		Debugging Debugging Information Using Dynamic Call Trees OOPSLA J. Ryan Stinnett King's College London, Stephen Kell King's College London DOI Pre-print
10:48 18m Talk		Automated Debugging of Datalog Programs OOPSLA Jiashen Wei Nanjing University, China, Baoyuan Luo Nanjing University, China, Runshuo Xie Nanjing University, China, Yun Qi Nanjing University, Yiyu Zhang Nanjing University, Xizao Wang Nanjing University, Xintao Niu Nanjing University, Zhiqiang Zuo Nanjing University
11:06 18m Talk		Accurate Residues for Floating-Point Debugging OOPSLA Yumeng He University of Utah, Pavel Panchekha University of Utah
11:24 18m Talk		Prosecutor: Bayesian Counterfactual Fault Localization OOPSLA Sara Baradaran University of Southern California, Yifei Huang University of Southern California, Wei Le Iowa State University, Mukund Raghothaman University of Southern California
11:42 18m Talk		Specy: Learning Specifications for Distributed Systems from Event Traces OOPSLA Mike He Princeton University, Ankush Desai Snowflake, Aishwarya Jagarapu Amazon Web Services, Doug Terry LinkedIn, Sharad Malik Princeton University, Aarti Gupta Princeton University Pre-print

13:30 - 15:00	Distributed and Replicated SystemsOOPSLA at East Hall 1

13:30 18m Talk		Frashokereti: Non-aborting Optimistically Replicated Objects OOPSLA Eric Chan University of California, Riverside, Javad Saberlatibari University of California Riverside, Mohsen Lesani University of California at Santa Cruz
13:48 18m Talk		PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types OOPSLA Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Annette Bieniusa RPTU Kaiserslautern-Landau, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE Pre-print
14:06 18m Talk		Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems OOPSLA Elliott Slaughter SLAC National Accelerator Laboratory, Rupanshu Soi Stanford University, Michael Bauer NVIDIA, Alex Aiken Stanford University
14:24 18m Talk		Composing CRDTs Convergent by Construction OOPSLA Alexander Städing Dominguez University of St. Gallen, George Zakhour University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen DOI Pre-print
14:42 18m Talk		Augur: Predicting View Serializability Violations in Relational Data Store Applications OOPSLA Chujun Geng The Ohio State University, USA, Noah Charlton Ohio State University, Spyros Blanas Ohio State University, Michael D. Bond Ohio State University, Yang Wang The Ohio State University

15:30 - 17:00	Compiler Analysis and TransformationOOPSLA at East Hall 1

15:30 18m Talk		Spatial and Temporal Decomposition for Faster Translation Validation OOPSLA Benjamin Mikek Georgia Institute of Technology, Chathur Bommineni Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology, Thomas Reps University of Wisconsin-Madison
15:48 18m Talk		Efficient Extraction for Effectful E-Graphs OOPSLA Oliver Flatt University of Washington, Anjali Pal University of Washington, Yihong Zhang University of Washington, Ryan Tjoa Jane Street, Kirsten Graham University of Washington, Alex Fischman University of Washington, Chandrakana Nandi Certora, Eli Rosenthal , Zachary Tatlock University of Washington, Haobin Ni University of Washington
16:06 18m Talk		Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs OOPSLA Bodhisatwa Chatterjee Georgia Institute of Technology, Neeraj Jadhav Georgia Institute of Technology, Santosh Pande Georgia Institute of Technology
16:24 18m Talk		Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution OOPSLA Charitha Saumya Intel, Muhammad Hassan Virginia Tech, Rohan Gangaraju Purdue University, Milind Kulkarni Purdue University, Kirshanthan Sundararajah Virginia Tech DOI Authorizer link Pre-print

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	Fuzzing and Test GenerationOOPSLA at East Hall 1

10:30 18m Talk		Hunting CUDA Bugs at Scale with cuFuzz OOPSLA Mohamed Tarek Ibn Ziad NVIDIA, Christos Kozyrakis Stanford University, USA Link to publication DOI Pre-print Media Attached
10:48 18m Talk		RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling OOPSLA Yuchong Xie Hong Kong University of Science and Technology, Kaikai Zhang Hong Kong University of Science and Technology, Yu Liu Fudan University, Rundong Yang Fudan University, Ping Chen Fudan University, Shuai Wang Hong Kong University of Science and Technology, Dongdong She HKUST (The Hong Kong University of Science and Technology)
11:06 18m Talk		Metamorphic Testing for Infrastructure-as-Code Engines OOPSLA David Spielmann University of St. Gallen, George Zakhour University of St. Gallen, Dominik Arnold University of Zurich, Matteo Biagiola University of St. Gallen and Università della Svizzera italiana, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen Pre-print
11:24 18m Talk		Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios OOPSLA Minsu Kim Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
11:42 18m Talk		OBsmith: LLM-powered JavaScript Obfuscator Testing OOPSLA Shan Jiang UT Austin, Chenguang Zhu Meta AI, Sarfraz Khurshid University of Texas at Austin

13:30 - 15:00	Dynamic Language Compilers and VMsOOPSLA at East Hall 1 Chair(s): Jonathan Bell Northeastern University

13:30 18m Talk		Understanding and Finding JIT Compiler Performance Bugs OOPSLA Zijian Yi The University of Texas at Austin, Cheng Ding The University of Texas at Austin, August Shi The University of Texas at Austin, Milos Gligoric The University of Texas at Austin
13:48 18m Talk		IRIDIUM: A Framework for Statically Optimizing JavaScript Programs OOPSLA Meetesh Kalpesh Mehta IIT Bombay, Anirudh Garg IIT Bombay, Aneeket Yadav IIT Delhi, Manas Thakur IIT Bombay
14:06 18m Talk		Pyriscope: Precise and Low-overhead Python Control Flow Tracing via Sparse Hardware-based Events OOPSLA Xinchen Yao Nanjing University, Wu Daiyou Nanjing University, China, Zhiqiang Zuo Nanjing University
14:24 18m Talk		TwinString: Preserving String Semantics with Off-Heap Data on the JVM OOPSLA Júnior Löff Università della Svizzera italiana, Daniele Bonetta VU Amsterdam, Walter Binder USI Lugano
14:42 18m Talk		Experimental Evaluation Methodology for The Era of No Steady Performance OOPSLA Jaromír Antoch Charles University, Walter Binder USI Lugano, Lubomír Bulej Charles University, Francois Farquet Oracle Labs, Vojtech Horky Charles University, Aleksandar Prokopec Oracle Labs, Andrea Rosà Università della Svizzera italiana, Petr Tuma Charles University

15:30 - 17:00	Compiler Optimization and Code GenerationOOPSLA at East Hall 1 Chair(s): Kirshanthan Sundararajah Virginia Tech

15:30 18m Talk		Class-Dictionary Specialization With Rank-2 Polymorphic Functions OOPSLA Yong Qi Foo National University of Singapore, Michael D. Adams National University of Singapore Link to publication DOI Pre-print
15:48 18m Talk		Automatic Propagation of Profile Information through the Optimization Pipeline OOPSLA Elisa Frohlich Universidade Federal de Minas Gerais, Angelica Moreira Microsoft Research, Fernando Magno Quintão Pereira Federal University of Minas Gerais
16:06 18m Talk		Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions OOPSLA Devansh Jain University of Illinois at Urbana-Champaign, Akash Pardeshi University of Illinois at Urbana-Champaign, Marco Frigo University of Illinois at Urbana-Champaign, Kaustubh Khulbe University of Illinois at Urbana-Champaign, Krut Patel NVIDIA, Saatvik Lochan University of Illinois Urbana-Champaign, Jai Arora University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign
16:24 18m Talk		Symbolic Basic Block Profiling for Machine Learning Kernels OOPSLA Jingyu Qiu University of Rochester, Rongcui Dong University of Rochester, Sreepathi Pai University of Rochester
16:42 18m Talk		FILTR: Compiling Bioinformatics Recurrences OOPSLA Bala Vinaithirthan Stanford University, Shiv Sundram Stanford University, Sneha Goenka Princeton University, Fredrik Kjolstad Stanford University

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	Analysing Dependencies and AlarmsOOPSLA at East Hall 1 Chair(s): Manu Sridharan University of California at Riverside

10:30 18m Talk		Floating-Point Usage on GitHub: a Large-Scale Study of Statically Typed Languages OOPSLA Andrea Gilot Uppsala University, Tobias Wrigstad Uppsala University, Eva Darulova Uppsala University DOI Pre-print
10:48 18m Talk		A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs OOPSLA Zhongyi Wang Zhejiang University, Tengjie Lin Zhejiang University, Mingshuai Chen Zhejiang University, Haokun Li Peking University, Mingqi Yang Zhejiang University, Xiao Yi The Chinese University of Hong Kong, Shengchao Qin Xidian University, Yixing Luo Beijing Institute of Control Engineering, Xiaofeng Li Beijing Institute of Control Engineering, Bin Gu Beijing Institute of Control Engineering, Liqiang Lu Zhejiang University, Jianwei Yin Zhejiang University
11:06 18m Talk		Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation OOPSLA Haoran Lin Peking University, Zhenyu Yan Peking University, Xin Zhang Peking University DOI

13:30 - 15:00	Property-Based Testing and Test QualityOOPSLA at East Hall 1 Chair(s): Jonathan Bell Northeastern University

13:30 18m Talk		Block Tests OOPSLA Kevin Guan Cornell University, Pengyue Jiang Cornell University, Milos Gligoric The University of Texas at Austin, Owolabi Legunsen Cornell University
13:48 18m Talk		Detecting Flaky Tests by Controlling Nondeterministic API Behavior OOPSLA Hengchen Yuan The University of Texas at Austin, Jiefang Lin The University of Texas at Austin, August Shi The University of Texas at Austin
14:06 18m Talk		Random Testing via Runtime Abstract Interpretation OOPSLA Zain K Aamer University of Pennsylvania, Benjamin C. Pierce University of Pennsylvania
14:24 18m Talk		Testing Theorems, Fully Automatically OOPSLA Segev Elazar Mittelman University of Maryland, College Park, Harrison Goldstein University at Buffalo, SUNY, Leonidas Lampropoulos University of Maryland at College Park
14:42 18m Talk		Fail Faster: Staging and Fast Randomness for High-Performance PBT OOPSLA Cynthia Richey University of Pennsylvania, Joseph W. Cutler Jane Street, Harrison Goldstein University at Buffalo, SUNY, Benjamin C. Pierce University of Pennsylvania

15:30 - 17:00	Languages for Data and InteractionOOPSLA at East Hall 1

15:30 18m Talk		Timeline: Adding the time dimension to spreadsheets OOPSLA Tomas Petricek Charles University, Tomáš Boďa Charles University Pre-print
15:48 18m Talk		Direct Manipulation and Natural Language Programming, Together at Last? OOPSLA Parker Ziegler University of California at Berkeley, David Minh-Duy Cao University of California, Berkeley, Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley Pre-print
16:06 18m Talk		Geo: A Query Rewrite Framework for Graph Pattern Mining OOPSLA Nazanin Yousefian Simon Fraser University, Kasra Jamshidi Simon Fraser University, Keval Vora Simon Fraser University, Anders Miltner Simon Fraser University
16:24 18m Talk		Synthesizing Graph Queries from Demonstrations OOPSLA Xiaoyu Liu Simon Fraser University, Qikang Liu Simon Fraser University, Evan Dyce Simon Fraser University, Keval Vora Simon Fraser University, Yuepeng Wang Simon Fraser University
16:42 18m Talk		Semi-Declarative Language for Combinatorial Search OOPSLA Ziyi Yang National University of Singapore, Ilya Sergey National University of Singapore

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	Security and Testing of LLM AgentsISSTA Research papers at East Hall 1

10:30 18m Talk		AgentBreaker: Evaluating Context-Aware Indirect Prompt Injection Risks in Modern Web Agents ISSTA Research papers Yongbi Son KAIST, Changoo Lee KAIST, Dongwon Shin KAIST, Byoungyoung Lee Seoul National University, South Korea, Sanghyun Hong Oregon State University, Sooel Son KAIST
10:48 18m Talk		AgentInspect: Diagnosing Behavioral Failures in Artificial Intelligence Agents ISSTA Research papers Ruchira Manke Tulane University, Mohammad Wardat Oakland University, USA, Foutse Khomh Polytechnique Montréal, Hridesh Rajan Tulane University
11:06 18m Talk		Datura: Progressive Red Teaming Testing for Tool Invocation Chain in LLM Agents ISSTA Research papers Yuchen Shao East China Normal University, Shanghai Innovation Institute, Ziqun Bao East China Normal University, Yuheng Huang The University of Tokyo, Yuling Shi Shanghai Jiao Tong University, Mingyu Weng East China Normal University, Yiwen Sun East China Normal University, Long Yang East China Normal University, Shanghai Innovation Institute, Lei Ma The University of Tokyo & University of Alberta, Ting Su East China Normal University, Chengcheng Wan East China Normal University, Shanghai Innovation Institute
11:24 18m Talk		Function Calling as a Flexible LLM Defense Add-On: Capability and Application Exploration ISSTA Research papers Zhenlan Ji Nara Institute of Science and Technology, Daoyuan Wu Lingnan University, Wenxuan Wang Hong Kong University of Science and Technology, Pingchuan Ma Zhejiang University of Technology, Shuai Wang Hong Kong University of Science and Technology, Lei Ma The University of Tokyo & University of Alberta, Juergen Rahmel HSBC
11:42 18m Talk		Red-Teaming Coding Agents from a Tool-Invocation Perspective: An Empirical Security Assessment ISSTA Research papers Yuchong Xie Hong Kong University of Science and Technology, Mingyu Luo Fudan University, Zesen Liu Hong Kong University of Science and Technology, Zhixiang Zhang Fudan University, Kaikai Zhang Hong Kong University of Science and Technology, Yu Liu Fudan University, Ci Tao Fudan university, Changhui Wang Fudan university, Zongjie Li The Hong Kong University of Science and Technology, Ping Chen Fudan University, Shuai Wang Hong Kong University of Science and Technology, Dongdong She HKUST (The Hong Kong University of Science and Technology)

13:30 - 15:00	LLM-Based Code GenerationISSTA Research papers at East Hall 1

13:30 18m Research paper		Steering Tree-of-Thought Reasoning via Deductive Verification ISSTA Research papers Haoliang Cheng Nanjing University, Enyi Tang Nanjing University, Shuoxiao Zhang Nanjing University, Jiahe Mao Nanjing University, Yanling Fu Nanjing University, Zhiyuan Ma Nanjing University, Keyu Cui Nanjing University, Yuchuan Liu Nanjing University, Yu Tian Nanjing University, Xinyu Gao Nanjing University, Haibin Wang Qingying Feifan Company
13:48 18m Talk		Seeing is Coding: On the Effectiveness of Vision Language Models in Code Understanding ISSTA Research papers Yuling Shi Shanghai Jiao Tong University, Chaoxiang Xie Hohai University, Zhensu Sun Singapore Management University, Yeheng Chen Shanghai Jiao Tong University, Chenxu Zhang Imperial College London, Longfei Yun UC San Diego, Chengcheng Wan East China Normal University, Shanghai Innovation Institute, Hongyu Zhang Chongqing University, David Lo Singapore Management University, Xiaodong Gu Shanghai Jiao Tong University
14:06 18m Talk		Self-Adaptive Code Representation: Grammar-Guided or Token-Based? ISSTA Research papers Qingyuan Liang Peking University, Zhao Zhang Peking University, Chen Liu Peking University, Zeyu Sun National Key Laboratory of Space Integrated Information System, Institute of Software, Chinese Academy of Sciences, Zheng Lin Kwai Inc., Yueyi Xiao Peking University, Haotian Zhang , Yingfei Xiong Peking University, Lu Zhang Peking University
14:24 18m Talk		AdaptAgent: A Multi-agent, Domain-Guided Reasoning Framework for Code Adaptation ISSTA Research papers Xiaokai Rong University of Texas at Dallas, Hridya Dhulipala University of Texas at Dallas, Aashish Yadavally University of Central Florida, Tien N. Nguyen University of Texas at Dallas
14:42 18m Talk		What Makes In-Context Examples Effective for Code Generation? ISSTA Research papers Dongze Li The Hong Kong University of Science and Technology and Guangzhou HKUST Fok Ying Tung Research Institute, Songqiang Chen The Hong Kong University of Science and Technology, Jialun Cao The Hong Kong University of Science and Technology and Guangzhou HKUST Fok Ying Tung Research Institute, Shing-Chi Cheung Hong Kong University of Science and Technology

15:30 - 17:00	Machine Learning Models and EcosystemsISSTA Research papers at East Hall 1

15:30 18m Talk		Automated Modernization of Machine Learning Engineering Notebooks for Reproducibility ISSTA Research papers Bihui Jin University of Waterloo, Kaiyuan Wang Google, Pengyu Nie University of Waterloo Pre-print
15:48 18m Talk		Code-MUE: Measuring Code LLM' Uncertainty through Execution-based Semantic Interaction GraphsDistinguished Paper ISSTA Research papers xiaoning ren , Yinxing Xue Institute of AI for Industries, Chinese Academy of Sciences , Lei Ma The University of Tokyo & University of Alberta, Yuheng Huang The University of Tokyo
16:06 18m Talk		Hidden Licensing Risks in the PTMware Ecosystem ISSTA Research papers Bo Wang Beijing Jiaotong University, Yueyang Chen Beijing Jiaotong University, Jieke Shi Singapore Management University, Minghui Li Beijing Jiaotong University, Yunbo Lyu Singapore Management University, Yinan Wu North Carolina State University, Youfang Lin Beijing Jiaotong University, Zhou Yang University of Alberta; CIFAR AI Chair; Alberta Machine Intelligence Institute
16:24 18m Talk		StateTree: A Tree-Based Modeling Approach for Fault Detection in Recurrent Neural Networks ISSTA Research papers Xinyu Gao Nanjing University, Shuoxiao Zhang Nanjing University, Minghui Wei Nanjing University, Xiao Zhang Nanjing University, An Guo The Hong Kong Polytechnic Universituy, Enyi Tang Nanjing University
16:42 18m Talk		TensorLock: Recovering Model Dependency for Model Supply Chain ISSTA Research papers Susheng Wu Fudan University, Ziqian Chen Fudan University, Chengyuan Li Fudan University, Kaifeng Huang Tongji University, Zekai Chen Fudan University, Yijian Wu Fudan University, Bihuan Chen Fudan University, Yiheng Cao Fudan University, Zhuotong Zhou Fudan University, Yiheng Huang Fudan University, Xin Peng Fudan University

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00	Fuzzing and Exploit GenerationISSTA Research papers at East Hall 1

10:30 18m Talk		PoCE: Automated Proof-of-Concept Synthesis using Large Language Models for Robust Validation ISSTA Research papers Tanusree Das Tithy The University of Texas at Arlington, Lamia Hasan Rodoshi The University of Texas at Arlington, Ayman Rafid Azahar The University of Texas at Arlington, Amlan Abhidarshi The University of Texas at Austin, Tabassum Faruk The University of Texas at Arlington, Fahmid Al Rifat , Faysal Hossain Shezan University of Texas at Arlington
10:48 18m Talk		PAGENT: Program Analysis Guided LLM Agent for Proof-of-Concept Generation ISSTA Research papers Achintya Desai University of California, Santa Barbara, Md Shafiuzzaman University of California at Santa Barbara, Wenbo Guo University of California, Santa Barbara, Tevfik Bultan University of California at Santa Barbara
11:06 18m Talk		RPCSpecter: Detecting Blockchain RPC Bugs through a Specification-Driven, Constraint-Aware Fuzzing ApproachDistinguished Paper ISSTA Research papers Yuming Xiao Sun Yat-sen University, Yuhong Nan Sun Yat-sen University, Zhijie Zhong Sun Yat-sen University, Mingxi Ye Sun Yat-sen University, Zibin Zheng Sun Yat-sen University
11:24 18m Talk		Repair-Driven Greybox Fuzzing ISSTA Research papers Bachir Bendrissou Imperial College London, Alastair F. Donaldson Imperial College London, Cristian Cadar Imperial College London
11:42 18m Talk		Exploiting Ethereum Rollback Semantics: Profit-Driven Attack Synthesis and Off-Chain Misinterpretation Testing ISSTA Research papers Yixuan Liu Nanyang Technological University, Singapore, Xinlei Li Nanyang Technological University, Yi Li Nanyang Technological University Pre-print

13:30 - 15:00	Mobile and Software SecurityISSTA Research papers at East Hall 1

13:30 18m Talk		Checked-In Secret Detection: Strings are All You Need ISSTA Research papers Zhengdong Huang Southern University of Science and Technology, Kevin Li , Jinqiu Yang Concordia University, Yepang Liu Southern University of Science and Technology, Lili Wei McGill University
13:48 18m Talk		Ghosts in the Memory: Detecting Unintended Sensitive Data in Android Apps ISSTA Research papers Seonghyeon Song Sungkyunkwan University, Taeyoung Kim Sungkyunkwan University, Woojoo Kim Sungkyunkwan University, Seojin Park Sungkyunkwan University, Sungjae Hwang Sungkyunkwan University, Hyoungshick Kim Sungkyunkwan University
14:06 18m Talk		Is "Knowing It's Malicious'' Enough? Evaluating LLMs for Fine-Grained Malware Behavior Auditing ISSTA Research papers Xinran Zheng University College London, Xingzhi Qian University College London, Yiling He University College London, Shuo Yang The University of Hong Kong, Lorenzo Cavallaro University College London
14:24 18m Talk		Secrets Unlocked: Evaluating LLMs for Secrets Detection in Android Apps ISSTA Research papers Marco Alecci University of Luxembourg, Jordan Samhi University of Luxembourg, Luxembourg, Tegawendé F. Bissyandé University of Luxembourg, Jacques Klein University of Luxembourg
14:42 18m Talk		The Illusion of Success: Learning-Based Android Malware Detectors (Replicability Study)Distinguished Paper ISSTA Research papers Michael Tegegn University of British Columbia, Julia Rubin The University of British Columbia

15:30 - 17:00	Supply Chain and Binary AnalysisISSTA Research papers at East Hall 1

15:30 18m Talk		Inferring 1-Minimal Trigger Configurations for Assessing Linux Kernel CVE Triggerability ISSTA Research papers Tongjie Wei School of Cyber Science and Engineering, Nanjing University of Science and Technology, Peng Zhang School of Cyber Science and Engineering, Nanjing University of Science and Technology, Zhiwen Hu School of Cyber Science and Engineering, Nanjing University of Science and Technology, Xupu Hu School of Cyber Science and Engineering, Nanjing University of Science and Technology, Chen Lyu Shandong Normal University, Gangyan Zeng School of Cyber Science and Engineering, Nanjing University of Science and Technology
15:48 18m Talk		Beyond Similarity Scores: Evidence-Based Third-Party Library Detection for C/C++ BinariesDistinguished Paper ISSTA Research papers CHENGYUE LIU , Zhengzi Xu Imperial Global Singapore, Lyuye Zhang Nanyang Technological University, Wu Jiahui Nanyang Technological University, Singapore, Kaixuan Li Nanyang Technological University, Yang Liu Nanyang Technological University Pre-print
16:06 18m Talk		Applying System Call Filtering to Real-World Binaries (Experience Paper) ISSTA Research papers Soumyakant Priyadarshan Bloomberg, Seyedhamed Ghavamnia Bloomberg
16:24 18m Talk		ProgSCA: Software Composition Analysis via Program-Level Modeling ISSTA Research papers Peihong Li Tsinghua University, Cheng Li Huazhong University of Science and Technology, guyuchen , Yanzhe Hu Huazhong University of Science and Technology, Liheng Chen Institute of Information Engineering, Chinese Academy of Sciences, Zeyu Gao Tsinghua University, Hao Wang Peking University, Chao Zhang Tsinghua University
16:42 18m Talk		CLASScanner: Efficient C++ Class Recovery from Binaries Driven by Object Flow Graphs ISSTA Research papers JiaMing Wang Tsinghua University, GongMing Wang Huazhong University of Science and Technology, Songtao Yang Zhongguancun Laboratory, Xi Cao Science City (Guangzhou) Digital Technology Group Co., Ltd., Chao Zhang Tsinghua University

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
East Hall 1							OOPSLA Debugging and Fault Localization																																				OOPSLA Distributed and Replicated Systems																								OOPSLA Compiler Analysis and Transformation

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
East Hall 1							OOPSLA Fuzzing and Test Generation																																				OOPSLA Dynamic Language Compilers and VMs																								OOPSLA Compiler Optimization and Code Generation

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
East Hall 1							OOPSLA Analysing Dependencies and Alarms																																				OOPSLA Property-Based Testing and Test Quality																								OOPSLA Languages for Data and Interaction

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
East Hall 1							ISSTA Research papers Security and Testing of LLM Agents																																				ISSTA Research papers LLM-Based Code Generation																								ISSTA Research papers Machine Learning Models and Ecosystems

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
East Hall 1							ISSTA Research papers Fuzzing and Exploit Generation																																				ISSTA Research papers Mobile and Software Security																								ISSTA Research papers Supply Chain and Binary Analysis

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
East Hall 1							SPLASH OOPSLA Debugging Debugging Information Using Dynamic Call Trees 10:30 - 10:48				SPLASH OOPSLA Automated Debugging of Datalog Programs 10:48 - 11:06			SPLASH OOPSLA Accurate Residues for Floating-Point Debugging 11:06 - 11:24				SPLASH OOPSLA Prosecutor: Bayesian Counterfactual Fault Localization 11:24 - 11:42			SPLASH OOPSLA Specy: Learning Specifications for Distributed Systems from Event Traces 11:42 - 12:00																						SPLASH OOPSLA Frashokereti: Non-aborting Optimistically Replicated Objects 13:30 - 13:48				SPLASH OOPSLA PRDTs: Composable Design and Verification of Consensus Protocols using ... 13:48 - 14:06			SPLASH OOPSLA Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Di ... 14:06 - 14:24				SPLASH OOPSLA Composing CRDTs Convergent by Construction 14:24 - 14:42			SPLASH OOPSLA Augur: Predicting View Serializability Violations in Relational Data St ... 14:42 - 15:00										SPLASH OOPSLA Spatial and Temporal Decomposition for Faster Translation Validation 15:30 - 15:48				SPLASH OOPSLA Efficient Extraction for Effectful E-Graphs 15:48 - 16:06			SPLASH OOPSLA Phaedrus: Predicting Dynamic Application Behavior with Lightweight Gene ... 16:06 - 16:24				SPLASH OOPSLA Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Sym ... 16:24 - 16:42

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
East Hall 1							SPLASH OOPSLA Hunting CUDA Bugs at Scale with cuFuzz 10:30 - 10:48				SPLASH OOPSLA RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling 10:48 - 11:06			SPLASH OOPSLA Metamorphic Testing for Infrastructure-as-Code Engines 11:06 - 11:24				SPLASH OOPSLA Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundan ... 11:24 - 11:42			SPLASH OOPSLA OBsmith: LLM-powered JavaScript Obfuscator Testing 11:42 - 12:00																						SPLASH OOPSLA Understanding and Finding JIT Compiler Performance Bugs 13:30 - 13:48				SPLASH OOPSLA IRIDIUM: A Framework for Statically Optimizing JavaScript Programs 13:48 - 14:06			SPLASH OOPSLA Pyriscope: Precise and Low-overhead Python Control Flow Tracing via Spa ... 14:06 - 14:24				SPLASH OOPSLA TwinString: Preserving String Semantics with Off-Heap Data on the JVM 14:24 - 14:42			SPLASH OOPSLA Experimental Evaluation Methodology for The Era of No Steady Performance 14:42 - 15:00										SPLASH OOPSLA Class-Dictionary Specialization With Rank-2 Polymorphic Functions 15:30 - 15:48				SPLASH OOPSLA Automatic Propagation of Profile Information through the Optimization P ... 15:48 - 16:06			SPLASH OOPSLA Automatically Generating ML Compiler Backends from Tensor Accelerator I ... 16:06 - 16:24				SPLASH OOPSLA Symbolic Basic Block Profiling for Machine Learning Kernels 16:24 - 16:42			SPLASH OOPSLA FILTR: Compiling Bioinformatics Recurrences 16:42 - 17:00

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
East Hall 1							SPLASH OOPSLA Floating-Point Usage on GitHub: a Large-Scale Study of Statically Typed ... 10:30 - 10:48				SPLASH OOPSLA A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthe ... 10:48 - 11:06			SPLASH OOPSLA Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exp ... 11:06 - 11:24																													SPLASH OOPSLA Block Tests 13:30 - 13:48				SPLASH OOPSLA Detecting Flaky Tests by Controlling Nondeterministic API Behavior 13:48 - 14:06			SPLASH OOPSLA Random Testing via Runtime Abstract Interpretation 14:06 - 14:24				SPLASH OOPSLA Testing Theorems, Fully Automatically 14:24 - 14:42			SPLASH OOPSLA Fail Faster: Staging and Fast Randomness for High-Performance PBT 14:42 - 15:00										SPLASH OOPSLA Timeline: Adding the time dimension to spreadsheets 15:30 - 15:48				SPLASH OOPSLA Direct Manipulation and Natural Language Programming, Together at Last? 15:48 - 16:06			SPLASH OOPSLA Geo: A Query Rewrite Framework for Graph Pattern Mining 16:06 - 16:24				SPLASH OOPSLA Synthesizing Graph Queries from Demonstrations 16:24 - 16:42			SPLASH OOPSLA Semi-Declarative Language for Combinatorial Search 16:42 - 17:00

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
East Hall 1							ISSTA Research papers AgentBreaker: Evaluating Context-Aware Indirect Prompt Injection Risks ... 10:30 - 10:48				ISSTA Research papers AgentInspect: Diagnosing Behavioral Failures in Artificial Intelligence ... 10:48 - 11:06			ISSTA Research papers Datura: Progressive Red Teaming Testing for Tool Invocation Chain in LL ... 11:06 - 11:24				ISSTA Research papers Function Calling as a Flexible LLM Defense Add-On: Capability and Appli ... 11:24 - 11:42			ISSTA Research papers Red-Teaming Coding Agents from a Tool-Invocation Perspective: An Empiri ... 11:42 - 12:00																						ISSTA Research papers Steering Tree-of-Thought Reasoning via Deductive Verification 13:30 - 13:48				ISSTA Research papers Seeing is Coding: On the Effectiveness of Vision Language Models in Cod ... 13:48 - 14:06			ISSTA Research papers Self-Adaptive Code Representation: Grammar-Guided or Token-Based? 14:06 - 14:24				ISSTA Research papers AdaptAgent: A Multi-agent, Domain-Guided Reasoning Framework for Code A ... 14:24 - 14:42			ISSTA Research papers What Makes In-Context Examples Effective for Code Generation? 14:42 - 15:00										ISSTA Research papers Automated Modernization of Machine Learning Engineering Notebooks for R ... 15:30 - 15:48				ISSTA Research papersDistinguished Paper Code-MUE: Measuring Code LLM' Uncertainty through Execution-based Seman ... 15:48 - 16:06			ISSTA Research papers Hidden Licensing Risks in the PTMware Ecosystem 16:06 - 16:24				ISSTA Research papers StateTree: A Tree-Based Modeling Approach for Fault Detection in Recurr ... 16:24 - 16:42			ISSTA Research papers TensorLock: Recovering Model Dependency for Model Supply Chain 16:42 - 17:00

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
East Hall 1							ISSTA Research papers PoCE: Automated Proof-of-Concept Synthesis using Large Language Models ... 10:30 - 10:48				ISSTA Research papers PAGENT: Program Analysis Guided LLM Agent for Proof-of-Concept Generation 10:48 - 11:06			ISSTA Research papersDistinguished Paper RPCSpecter: Detecting Blockchain RPC Bugs through a Specification-Drive ... 11:06 - 11:24				ISSTA Research papers Repair-Driven Greybox Fuzzing 11:24 - 11:42			ISSTA Research papers Exploiting Ethereum Rollback Semantics: Profit-Driven Attack Synthesis ... 11:42 - 12:00																						ISSTA Research papers Checked-In Secret Detection: Strings are All You Need 13:30 - 13:48				ISSTA Research papers Ghosts in the Memory: Detecting Unintended Sensitive Data in Android Apps 13:48 - 14:06			ISSTA Research papers Is "Knowing It's Malicious'' Enough? Evaluating LLMs for Fine-Grained M ... 14:06 - 14:24				ISSTA Research papers Secrets Unlocked: Evaluating LLMs for Secrets Detection in Android Apps 14:24 - 14:42			ISSTA Research papersDistinguished Paper The Illusion of Success: Learning-Based Android Malware Detectors (Repl ... 14:42 - 15:00										ISSTA Research papers Inferring 1-Minimal Trigger Configurations for Assessing Linux Kernel C ... 15:30 - 15:48				ISSTA Research papersDistinguished Paper Beyond Similarity Scores: Evidence-Based Third-Party Library Detection ... 15:48 - 16:06			ISSTA Research papers Applying System Call Filtering to Real-World Binaries (Experience Paper) 16:06 - 16:24				ISSTA Research papers ProgSCA: Software Composition Analysis via Program-Level Modeling 16:24 - 16:42			ISSTA Research papers CLASScanner: Efficient C++ Class Recovery from Binaries Driven by Objec ... 16:42 - 17:00

Room information: East Hall 1

This program is tentative and subject to change.

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

ISSTA Research papers

ISSTA Research papers

ISSTA Research papers

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

ISSTA Research papers

ISSTA Research papers

ISSTA Research papers

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tracks

SPLASH/ISSTA 2026

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: East Hall 1

This program is tentative and subject to change.

Program Display Configuration

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change

OOPSLA

OOPSLA

OOPSLA

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

ISSTA Research papers

ISSTA Research papers

ISSTA Research papers

Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change

ISSTA Research papers

ISSTA Research papers

ISSTA Research papers

Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change

Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change

Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change

Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change

Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change

Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change

Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change

Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change

Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change

Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change