East Hall 2 - SPLASH 2026

VenueOakland Marriott City Center

Room nameEast Hall 2

Capacity646

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	LLM Agents for Program AnalysisOOPSLA at East Hall 2 Chair(s): Yun Lin Shanghai Jiao Tong University

10:30 18m Talk		Process-Centric Analysis of Agentic Software Systems OOPSLA Shuyang Liu University of Illinois at Urbana-Champaign, Yang Chen University of Illinois at Urbana-Champaign, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Jatin Ganhotra IBM Research, Reyhaneh Jabbarvand University of Illinois at Urbana-Champaign
10:48 18m Talk		MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents OOPSLA Gengyang Xu Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Dongwei Xiao Hong Kong University of Science and Technology, Yiteng Peng Hong Kong University of Science and Technology, Shuai Wang Hong Kong University of Science and Technology
11:06 18m Talk		Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection OOPSLA Zong Cao Imperial Global Singapore, Yuqiang Sun Nanyang Technological University, Zhengzi Xu Imperial Global Singapore, Kaixuan Li Nanyang Technological University, Yeqi Fu National University of Singapore, Yiran Zhang Nanyang Technological University, Ziqiao Kong Nanyang Technological University, Yang Liu Nanyang Technological University
11:24 18m Talk		Agent-Based Automated Remediation for Vulnerabilities in Maven Projects OOPSLA Lyuye Zhang Nanyang Technological University, He Ye University College London (UCL), Federica Sarro University College London, Yuqiang Sun Nanyang Technological University, Yang Liu Nanyang Technological University
11:42 18m Talk		LLM-Based Alarm Resolution Guided by Bayesian Program Analysis OOPSLA Yifan Zhang Peking University, Yuanfeng Shi Peking University, Haoran Lin Peking University, Yingfei Xiong Peking University, Xin Zhang Peking University

13:30 - 15:00	Separation LogicOOPSLA at East Hall 2 Chair(s): Ilya Sergey National University of Singapore

13:30 18m Talk		Sound State Encodings in Translational Separation Logic Verifiers OOPSLA Hongyi Ling ETH Zurich, Thibault Dardinier New York University, Ellen Arlt MPI-SWS, Peter Müller ETH Zurich
13:48 18m Talk		Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands OOPSLA Nicolas Klose ETH Zurich, Peter Müller ETH Zurich
14:06 18m Talk		Sound and Complete Invariant-Based Heap Encodings OOPSLA Zafer Esen Uppsala University, Philipp Ruemmer University of Regensburg and Uppsala University, Tjark Weber Uppsala University Link to publication DOI Pre-print
14:24 18m Talk		Systematic Design of Separation Logics OOPSLA Lorenzo Gazzella Università di Pisa, Roberto Bruni University of Pisa, Roberta Gori Diaprtimento di Informatica, Universita' di Pisa, Italy
14:42 18m Talk		RGSep under Release/Acquire Consistency OOPSLA Ellen Arlt MPI-SWS, Viktor Vafeiadis MPI-SWS

15:30 - 17:00	Effects, Capabilities, and ImmutabilityOOPSLA at East Hall 2 Chair(s): Alex Potanin Australian National University

15:30 18m Talk		Revisiting Row Polymorphism for Set-Theoretic Types OOPSLA Mickaël Laurent Sorbonne Université — LIP6, Pierre Donat-Bouillud Czech Technical University in Prague, Filip Křikava Czech Technical University in Prague, Jan Vitek Northeastern University
15:48 18m Talk		Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness OOPSLA Yuyan Bao Augusta University, Tiark Rompf Purdue University
16:06 18m Talk		Transitive, Abstract, and Class Polymorphic Immutability OOPSLA Aosen Xiong University of Waterloo, Yudi Bai University of Waterloo, Haifeng Shi University of Waterloo, Lian Sun University of Waterloo, Mier Ta University of Waterloo, Werner Dietl University of Waterloo
16:24 18m Talk		Handling Exceptions and Effects with Automatic Resource Analysis OOPSLA Ethan Chu Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University, Yiyang Guo Carnegie Mellon University

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

10:30 - 12:00	Pointer and Dataflow AnalysisOOPSLA at East Hall 2

10:30 18m Talk		Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis OOPSLA Yuxuan He School of Informatics, Xiamen University, Ruilin Jiang School of Informatics, Xiamen University, He Zhang School of Informatics, Xiamen University, Qingkai Shi Nanjing University, Huaxun Huang School of Informatics, Xiamen University, Rongxin Wu Xiamen University
10:48 18m Talk		Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis OOPSLA Jinpeng Wang Nanjing University, Yufei Liang Nanjing University, Zhongsheng Zhan Nanjing University, Tian Tan Nanjing University, Yue Li Nanjing University Pre-print
11:06 18m Talk		Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis OOPSLA Chenyu Zhou University of Southern California, Jingbo Wang Purdue University, Chao Wang University of Southern California
11:24 18m Talk		When FPGA Meets Dataflow Analysis: An Explorative Step OOPSLA Fang Wei Nanjing University, Qinlin Chen Nanjing University, Nairen Zhang Nanjing University, Jiacai Cui Nanjing University, Tian Tan Nanjing University, Zhiqiang Zuo Nanjing University, Yue Li Nanjing University
11:42 18m Talk		Beyond Nominality: Faster Rapid Type Analysis in the Presence of Structural Subtyping OOPSLA Elton Pinto Georgia Institute of Technology, Milind Chabbi Uber Technologies

13:30 - 15:00	Quantum ProgrammingOOPSLA at East Hall 2 Chair(s): Jens Palsberg University of California at Los Angeles

13:30 18m Talk		Compiling Quantum Regular Language States OOPSLA Armando Bellante Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST), Reinis Irmejs Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST), Marta Florido-Llinàs Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST), María Cea Fernández Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST), Marianna Crupi Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST), Matthew Kiser TUM School of Natural Sciences; IQM Quantum Computers, J. Ignacio Cirac Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology (MCQST)
13:48 18m Talk		Quantum Monte Carlo Estimation via Probabilistic Programming OOPSLA Seungmin Jeon KAIST, Jaeho choi , Jonguk Jeon KAIST, Kanguk Lee KAIST, Kyeongmin Cho Rebellions, Sukyoung Ryu KAIST, Jeehoon Kang FuriosaAI
14:06 18m Talk		Synthesis of Compact and Expressive Quantum-Circuit Optimizations OOPSLA Wei Qiang Columbia University, Ronghui Gu Columbia University; CertiK Pre-print
14:24 18m Talk		Granthi: Higher-Order Quantum Programming via Unitary Wiring OOPSLA Samson Abramsky University College London, Radha Jagadeesan College of CDM, Depaul
14:42 18m Talk		Verifying Repeat-Until-Success Protocols using Automata OOPSLA Jyun-Ao Lin National Taipei University of Technology, Yu-Fang Chen Academia Sinica, Jakub Havlík Brno University of Technology, Ondřej Lengál Brno University of Technology, Fang-Yi Lo Academia Sinica, Wei-Lun Tsai Graduate Institute of Electronics Engineering, National Taiwan University, You-Jie Wu National Taipei University of Technology

15:30 - 17:00	Refinement Types and Functional ProgrammingOOPSLA at East Hall 2 Chair(s): Nadia Polikarpova University of California at San Diego

15:30 18m Talk		PLEX: Normalization for Refinement Types OOPSLA Alessio Ferrarini IMDEA Software Institute and Universidad Politécnica de Madrid, Niki Vazou IMDEA Software Institute, Wouter Swierstra Utrecht University, Netherlands
15:48 18m Talk		First-Class Refinement Types for Scala OOPSLA Matt Bovel EPFL, Viktor Kunčak EPFL, Switzerland, Martin Odersky EPFL
16:06 18m Talk		Effectively Propositional Higher-Order Functional Programming OOPSLA Nicholas V. Lewchenko University of Colorado Boulder, Kunha Kim University of Colorado Boulder, Bor-Yuh Evan Chang University of Colorado Boulder & Amazon, Gowtham Kaki University of Colorado at Boulder
16:24 18m Talk		DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types OOPSLA Timon Böhler Technical University of Darmstadt, Tobias Reinhard TU Darmstadt, David Richter Technical University of Darmstadt, Mira Mezini TU Darmstadt; hessian.AI; National Research Center for Applied Cybersecurity ATHENE Pre-print

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

10:30 - 12:00	Concurrent and Distributed SystemsISSTA Research papers at East Hall 2

10:30 18m Talk		SemantiX: A Compatibility Checker between Applications and Compositions of Distributed SystemsDistinguished Paper ISSTA Research papers Yifei Sun Inria, ENS de Lyon, Univ. Grenoble Alpes, Ji-Yong Shin Northeastern University
10:48 18m Talk		CONCUR: Benchmarking LLMs for Concurrent Code Generation ISSTA Research papers Jue Huang University of Queensland, Tarek Mahmud Assistant Professor, Texas A&M University-Kingsville, Corina S. Păsăreanu Carnegie Mellon University; NASA Ames, Guowei Yang University of Queensland
11:06 18m Talk		Testing Computation Pushdown in Distributed Database Systems ISSTA Research papers Jinsheng Ba The Chinese University of Hong Kong, Shenzhen, Zuming Jiang The University of Hong Kong, Zhendong Su ETH Zurich
11:24 18m Talk		ConFL: Explainable Concurrent Fault Localization via Hierarchy-Guided LLM Reasoning ISSTA Research papers Shuai Shao University of Connecticut, Dingbang Wang University of Connecticut, Yiming Zeng University of Connecticut, Tingting Yu University of Connecticut
11:42 18m Talk		NCFuzz: Configuration-guided Network Service Fuzzing ISSTA Research papers Xuesong Bai University of California, Irvine, Hengkai Ye Pennsylvania State University, Shenghan Zheng Dartmouth College, Fenglu Zhang China Telecom, Hong Hu Pennsylvania State University, Zhou Li University of California, Irvine

13:30 - 15:00	Agentic Software DevelopmentISSTA Research papers at East Hall 2

13:30 18m Talk		Compiling Large Multi-Modal Requirement Documents into Runnable Software Systems: From an Agentic Test-Driven Perspective ISSTA Research papers Weiyu Kong Shanghai Jiao Tong University, Yun Lin Shanghai Jiao Tong University, Xiwen Teoh National University of Singapore, Duc-Minh Nguyen Shanghai Jiao Tong University, Ruofei Ren Shanghai Jiao Tong University, Jiaxin Chang Shanghai Jiao Tong University, Haoxu Hu Shanghai Jiao Tong University, Haoyu Chen Shanghai Jiao Tong University
13:48 18m Talk		CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems ISSTA Research papers LYU ZONGYI The Hong Kong University of Science and Technology and Guangzhou HKUST Fok Ying Tung Research Institute, Zhenlan Ji Nara Institute of Science and Technology, Songqiang Chen The Hong Kong University of Science and Technology, Liwen Wang The Hong Kong University of Science and Technology, Yuheng Huang The University of Tokyo, Shuai Wang Hong Kong University of Science and Technology, Shing-Chi Cheung Hong Kong University of Science and Technology
14:06 18m Talk		Towards Iterative End-to-End Software Development: A Feature-Driven Multi-Agent Framework ISSTA Research papers Junwei Liu Fudan University, Chen Xu Fudan University, Chong Wang Nanyang Technological University, Tong Bai Fudan University, Weitong Chen Fudan University, Kaseng Wong Fudan University, Yiling Lou University of Illinois at Urbana-Champaign, Xin Peng Fudan University
14:24 18m Talk		SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Execution and Delta Debugging ISSTA Research papers Phillip Entin REVEAL @ Software Institute – USI, Lugano, Switzerland, Wenchao Gu Technical University of Munich, Alexander Knapp University of Augsburg, Chunyang Chen TU Munich
14:42 18m Talk		NSync: Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents ISSTA Research papers Zhenning Yang University of Michigan, Hui Guan University of Massachusetts Amherst and Amazon Web Services, Victor Nicolet Amazon, Brandon Paulsen Amazon, Joey Dodds Amazon, Daniel Kroening Amazon, Ang Chen University of Michigan

15:30 - 17:00	LLM-Based Test Generation in PracticeISSTA Research papers at East Hall 2

15:48 18m Talk		Generating Project-Specific Test Cases with Requirement Validation Intention ISSTA Research papers Binhang Qi National University of Singapore, Yun Lin Shanghai Jiao Tong University, Xinyi Weng Shanghai Jiao Tong University, Yuhuan Huang Shanghai Jiao Tong University, Chenyan Liu Shanghai Jiao Tong University; National University of Singapore, Hailong Sun Beihang University, Zhi Jin Peking University, Wuhan University, Jin Song Dong National University of Singapore
16:06 18m Talk		Industrial Practice of LLM-based Test Case Carving and Assertion Generation (Experience Paper)Distinguished Paper ISSTA Research papers Haozhen You Fudan University, Zhen Dong Fudan University, Jingjing Wang ByteDance, Qiang Li ByteDance, Xin Peng Fudan University
16:24 18m Talk		Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation (Experience Paper)Distinguished Paper ISSTA Research papers Chen Yang Tianjin University, Junjie Chen Tianjin University
16:42 18m Talk		A Closer Look at the Use of Reinforcement Learning for Speeding Up Runtime Verification of Software Tests (Experience Paper) ISSTA Research papers Shinhae Kim Cornell University, Saikat Dutta Cornell University, Owolabi Legunsen Cornell University

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

10:30 - 12:00	Fault Localization and Root Cause AnalysisISSTA Research papers at East Hall 2

10:30 18m Talk		AutoCodeSherpa: Symbolic Explanations in AI Coding Agents ISSTA Research papers Sungmin Kang NUS, Haifeng Ruan National University of Singapore, Abhik Roychoudhury National University of Singapore Pre-print
10:48 18m Talk		Automated Classification, Root Cause Analysis, and Repair Recommendations for Failed Mobile Testing by Specialized LLM ISSTA Research papers Chun Li Nanjing University, Fei Wang Nanjing University, Minxue Pan Nanjing University, Zhong Li Nanjing University, Mengliang Zeng OPPO, Bin Zhang OPPO, Xuejiao Yu OPPO, Boyun Wang OPPO, Kaijian Hua OPPO, Xuandong Li Nanjing University
11:06 18m Talk		Characterizing Real-World Bugs in Tile Programs for Automated Bug DetectionDistinguished Paper ISSTA Research papers Ravishka Rathnasuriya The University of Texas - Dallas, Zihe Song University of Texas at Dallas, Nidhi Majoju University of Texas at Dallas, Tingxi Li The University of Texas at Dallas, Aaryaa Moharir The University of Texas at Dallas, Wei Yang UT Dallas, Tao Xie Peking University
11:24 18m Talk		Project-Scale Statement-Level Fault Localization via Multi-View Semantic Learning and Pairwise Reranking ISSTA Research papers Hongwei Yu Beihang University, Xu Wang Beihang University, Jian Zhang Nanyang Technological University, Xiangxin Meng Bytedance, Jiarui Li Beihang University, Yang Liu Nanyang Technological University, Chunming Hu Beihang University
11:42 18m Talk		Towards Explorative IRBL: Combining Semantic Retrieval with LLM-driven Iterative Code Exploration ISSTA Research papers Moumita Asad University of California, Irvine, Rafed Muhammad Yasir UC Irvine, Sam Malek University of California at Irvine

13:30 - 15:00	Robustness, Fairness, and Safety of AI ModelsISSTA Research papers at East Hall 2

13:30 18m Talk		ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs ISSTA Research papers Yuchen Yang University of Illinois Urbana-Champaign, Yifan Zhao University of Illinois Urbana-Champaign, Shubham Ugare University of Illinois Urbana-Champaign / Meta, Gagandeep Singh University of Illinois Urbana-Champaign, Sasa Misailovic University of Illinois Urbana-Champaign
13:48 18m Talk		CAST: A Compiler-Based Framework for Systematically Testing LLM Compositional Safety ISSTA Research papers Lu Yan Purdue University, Zhuo Zhang Columbia University, Xiangzhe Xu Purdue University, Shengwei An Virginia Tech, Guangyu Shen Purdue University, Zhou Xuan , Xuan Chen Purdue University, Xiangyu Zhang Purdue University
14:06 18m Talk		DDOR: Delta Debugging for Explainable Overrefusal Testing and Repair ISSTA Research papers Zhou Qinyan Southeast University, Peixin Zhang Singapore Management University, Jun Sun Singapore Management University, Haonan Zhang Zhejiang University, Dongxia Wang Zhejiang University
14:24 18m Talk		Fairness Invariants: A Relational Approach to Explaining and Mitigating Fairness Bugs ISSTA Research papers Ranit Debnath Akash University of Illinois Chicago, Ashish Kumar Pennsylvania State University, Gang (Gary) Tan Pennsylvania State University, Saeid Tizpaz-Niari University of Illinois Chicago Pre-print
14:42 18m Talk		Provably Lossless Acceleration of DNN Mutation Testing via Memoization ISSTA Research papers Ali Ghanbari Auburn University, Ben Greenman University of Utah, Sasan Tavakkol Google Research, Shibbir Ahmed Texas State University

15:30 - 17:00	Mobile and Web Application AnalysisISSTA Research papers at East Hall 2

15:30 18m Talk		Bridging User Feedback and System Diagnosis: Reproducing Mobile Performance Issues from Reviews ISSTA Research papers Zhengquan Li The Hong Kong University of Science and Technology (Guangzhou), Zhenhao Li York University, Sidong Feng The Chinese University of Hong Kong, Shenzhen, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Tao Zhang Macau University of Science and Technology, Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou)
16:06 18m Talk		FuncDroid: Towards Inter-Functional Flows for Comprehensive Mobile App GUI Testing ISSTA Research papers Jinlong He Institute of Software, Chinese Academy of Sciences, xiachangwei Institute of Software, Chinese Academy of Sciences, Binru Huang Institute of Software, Chinese Academy of Sciences, Jiwei Yan Institute of Software, Chinese Academy of Sciences, Jun Yan Institute of Software, Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences
16:24 18m Talk		RippleGUItester: Change-Aware Exploratory Testing ISSTA Research papers Yanqi Su Technical University of Munich, Michael Pradel CISPA Helmholtz Center for Information Security, Chunyang Chen TU Munich
16:42 18m Talk		ChromaEyes: Detecting Inconsistencies of User Interface Elements between Light and Dark Modes of Web Applications ISSTA Research papers K C Shweta Korea University, Byungchul Tak Kyungpook National University, Tegawendé F. Bissyandé University of Luxembourg, Dongsun Kim Korea University

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

10:30 - 12:00	Mutation Testing and Assertion GenerationISSTA Research papers at East Hall 2

10:30 18m Talk		Evaluating and Mitigating the Misguidance Effect of Buggy Code in LLM-Generated Unit Tests ISSTA Research papers Junda Zhao Department of Mechanical and Industrial Engineering, University of Toronto, Shurui Zhou University of Toronto, Eldan Cohen Department of Mechanical and Industrial Engineering, University of Toronto
10:48 18m Talk		How Does Killing Surviving Mutants Help Detect Real Bugs with Assertion Generation? A Controlled ExperimentDistinguished Paper ISSTA Research papers Hang Du University of California at Irvine, Vijay Krishna Palepu Microsoft, James Jones University of California at Irvine
11:06 18m Talk		LLMutantKiller: Using Large Language Models to Generate Tests that Kill Mutants ISSTA Research papers Farideh Khalili Northeastern University, Aidan Domondon Northeastern University, Harshit Garg Northeastern University, Frank Tip Northeastern University and Amazon Web Services Link to publication DOI
11:24 18m Talk		STARS: Static Analysis-guided Assertion Synthesis Using Large Language Models ISSTA Research papers Jialun Cao The Hong Kong University of Science and Technology and Guangzhou HKUST Fok Ying Tung Research Institute, Haoyu Wang Huazhong University of Science and Technology, Haoran Yan Huazhong University of Science and Technology, Ming Wen Huazhong University of Science and Technology, Michael Pradel CISPA Helmholtz Center for Information Security
11:42 18m Talk		Test vs Mutant: Adversarial LLM Agents for Robust Unit Test Generation ISSTA Research papers Pengyu Chang Shanghai Jiao Tong University, Yixiong Fang Shanghai Jiao Tong University, Silin Chen Shanghai Jiao Tong University, Yuling Shi Shanghai Jiao Tong University, Beijun Shen Shanghai Jiao Tong University, Xiaodong Gu Shanghai Jiao Tong University

13:30 - 15:00	Specification, Verification, and Symbolic ReasoningISSTA Research papers at East Hall 2

13:30 18m Talk		COEUR : COhesion and Exhaustiveness of User stories Representations ISSTA Research papers Marius Ortega De Vinci Higher Education and Onepoint, Hassan Imhah Onepoint, Nédra Mellouli De Vinci Higher Education, Christophe Rodrigues De Vinci Higher Education, Nicolas Travers De Vinci Higher Education Media Attached
13:48 18m Talk		Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code ISSTA Research papers Dimitrios Stamatios Bouras Peking University, Sergey Mechatev Peking University
14:06 18m Talk		KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification ISSTA Research papers Minghua Wang Ant Group, Yuxi Ling National University of Singapore, Mingzhi Gao Ant Group, Yuwei Liu Ant Group, Lin Huang Ant Group
14:24 18m Talk		LLM-Based Repair of Static Nullability Errors ISSTA Research papers Nima Karimipour University of California, Riverside, Pascal Joos CISPA Helmholtz Center for Information Security, Michael Pradel CISPA Helmholtz Center for Information Security, Martin Kellogg New Jersey Institute of Technology, Manu Sridharan University of California at Riverside Pre-print
14:42 18m Talk		Sakura: An Approach for Generating Complex Tests from Natural Language Test Descriptions ISSTA Research papers Tyler Stennett Georgia Institute of Technology, Rangeet Pan IBM Research, Bridget McGinn IBM Resesarch, Alessandro Orso University of Georgia, USA, Saurabh Sinha IBM Research

15:30 - 17:00	Hardware, Embedded, and Quantum SystemsISSTA Research papers at East Hall 2

15:30 18m Talk		AutoHIL: LLM-Based ECU Functional Test Generation through Domain Knowledge Augmentation ISSTA Research papers Sichen Gong Fudan University, Qicai Chen Fudan University, China, Bihuan Chen Fudan University, Wenzhuo Zhang Fudan University, China, Yukun Gao ANHUI GuarDrive Safety Technology, Xin Peng Fudan University
15:48 18m Talk		Fuzzing FPGA Synthesis and Simulation Tools via LLM-Generated Syntax-Valid HDL Codes ISSTA Research papers He Jiang Dalian University of Technology, Wen Zhao Dalian University of Technology, Shikai Guo Dalian Maritime University, Zhihao Xu Monash University and Southeast University, Xiaochen Li Dalian University of Technology, Rubing Huang Macau University of Science and Technology (MUST)
16:06 18m Talk		IterTestQ: Assembly-Level, Cross-Platform Testing of Quantum Computing Platforms ISSTA Research papers Matteo Paltenghi University of Stuttgart, Michael Pradel CISPA Helmholtz Center for Information Security
16:24 18m Talk		Towards Understanding the Bugs in Verilator, a Hardware Description Language CompilerDistinguished Paper ISSTA Research papers Songyan Jiang State Key Laboratory for Novel Software Technology, Nanjing University, Maolin Sun Nanjing University, Kang Chen State Key Laboratory for Novel Software Technology, Nanjing University, Qingyang Li Nanjing University, Yibiao Yang Nanjing University, Yuming Zhou Nanjing University
16:42 18m Talk		Uniting Bounded Verification and Transformer-Based Learning for Proactive IoT Security ISSTA Research papers Md Rashedul Hasan University of Nebraska-Lincoln, Hamid Bagheri University of Nebraska-Lincoln Media Attached

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 2							OOPSLA LLM Agents for Program Analysis																																				OOPSLA Separation Logic																								OOPSLA Effects, Capabilities, and Immutability

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 2							OOPSLA Pointer and Dataflow Analysis																																				OOPSLA Quantum Programming																								OOPSLA Refinement Types and Functional Programming

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 2							ISSTA Research papers Concurrent and Distributed Systems																																				ISSTA Research papers Agentic Software Development																								ISSTA Research papers LLM-Based Test Generation in Practice

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 2							ISSTA Research papers Fault Localization and Root Cause Analysis																																				ISSTA Research papers Robustness, Fairness, and Safety of AI Models																								ISSTA Research papers Mobile and Web Application Analysis

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 2							ISSTA Research papers Mutation Testing and Assertion Generation																																				ISSTA Research papers Specification, Verification, and Symbolic Reasoning																								ISSTA Research papers Hardware, Embedded, and Quantum Systems

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 2							SPLASH OOPSLA Process-Centric Analysis of Agentic Software Systems 10:30 - 10:48				SPLASH OOPSLA MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents 10:48 - 11:06			SPLASH OOPSLA Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection 11:06 - 11:24				SPLASH OOPSLA Agent-Based Automated Remediation for Vulnerabilities in Maven Projects 11:24 - 11:42			SPLASH OOPSLA LLM-Based Alarm Resolution Guided by Bayesian Program Analysis 11:42 - 12:00																						SPLASH OOPSLA Sound State Encodings in Translational Separation Logic Verifiers 13:30 - 13:48				SPLASH OOPSLA Abductive Inference of Separation Logic Specifications with Isorecursiv ... 13:48 - 14:06			SPLASH OOPSLA Sound and Complete Invariant-Based Heap Encodings 14:06 - 14:24				SPLASH OOPSLA Systematic Design of Separation Logics 14:24 - 14:42			SPLASH OOPSLA RGSep under Release/Acquire Consistency 14:42 - 15:00										SPLASH OOPSLA Revisiting Row Polymorphism for Set-Theoretic Types 15:30 - 15:48				SPLASH OOPSLA Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, a ... 15:48 - 16:06			SPLASH OOPSLA Transitive, Abstract, and Class Polymorphic Immutability 16:06 - 16:24				SPLASH OOPSLA Handling Exceptions and Effects with Automatic Resource Analysis 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 2							SPLASH OOPSLA Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Valu ... 10:30 - 10:48				SPLASH OOPSLA Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis 10:48 - 11:06			SPLASH OOPSLA Mechanically Translating Iterative Dataflow Analysis to Algebraic Progr ... 11:06 - 11:24				SPLASH OOPSLA When FPGA Meets Dataflow Analysis: An Explorative Step 11:24 - 11:42			SPLASH OOPSLA Beyond Nominality: Faster Rapid Type Analysis in the Presence of Struct ... 11:42 - 12:00																						SPLASH OOPSLA Compiling Quantum Regular Language States 13:30 - 13:48				SPLASH OOPSLA Quantum Monte Carlo Estimation via Probabilistic Programming 13:48 - 14:06			SPLASH OOPSLA Synthesis of Compact and Expressive Quantum-Circuit Optimizations 14:06 - 14:24				SPLASH OOPSLA Granthi: Higher-Order Quantum Programming via Unitary Wiring 14:24 - 14:42			SPLASH OOPSLA Verifying Repeat-Until-Success Protocols using Automata 14:42 - 15:00										SPLASH OOPSLA PLEX: Normalization for Refinement Types 15:30 - 15:48				SPLASH OOPSLA First-Class Refinement Types for Scala 15:48 - 16:06			SPLASH OOPSLA Effectively Propositional Higher-Order Functional Programming 16:06 - 16:24				SPLASH OOPSLA DeCo: A Core Calculus for Incremental Functional Programming with Gener ... 16:24 - 16:42

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 2							ISSTA Research papersDistinguished Paper SemantiX: A Compatibility Checker between Applications and Compositions ... 10:30 - 10:48				ISSTA Research papers CONCUR: Benchmarking LLMs for Concurrent Code Generation 10:48 - 11:06			ISSTA Research papers Testing Computation Pushdown in Distributed Database Systems 11:06 - 11:24				ISSTA Research papers ConFL: Explainable Concurrent Fault Localization via Hierarchy-Guided L ... 11:24 - 11:42			ISSTA Research papers NCFuzz: Configuration-guided Network Service Fuzzing 11:42 - 12:00																						ISSTA Research papers Compiling Large Multi-Modal Requirement Documents into Runnable Softwar ... 13:30 - 13:48				ISSTA Research papers CAM: A Causality-based Analysis Framework for Multi-Agent Code Generati ... 13:48 - 14:06			ISSTA Research papers Towards Iterative End-to-End Software Development: A Feature-Driven Mul ... 14:06 - 14:24				ISSTA Research papers SEDCoT: Enhancing LLM-Based COBOL Code Translation via Symbolic Executi ... 14:24 - 14:42			ISSTA Research papers NSync: Automated Cloud Infrastructure-as-Code Reconciliation with AI Agents 14:42 - 15:00														ISSTA Research papers Generating Project-Specific Test Cases with Requirement Validation Inte ... 15:48 - 16:06			ISSTA Research papersDistinguished Paper Industrial Practice of LLM-based Test Case Carving and Assertion Genera ... 16:06 - 16:24				ISSTA Research papersDistinguished Paper Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generatio ... 16:24 - 16:42			ISSTA Research papers A Closer Look at the Use of Reinforcement Learning for Speeding Up Runt ... 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 2							ISSTA Research papers AutoCodeSherpa: Symbolic Explanations in AI Coding Agents 10:30 - 10:48				ISSTA Research papers Automated Classification, Root Cause Analysis, and Repair Recommendatio ... 10:48 - 11:06			ISSTA Research papersDistinguished Paper Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection 11:06 - 11:24				ISSTA Research papers Project-Scale Statement-Level Fault Localization via Multi-View Semanti ... 11:24 - 11:42			ISSTA Research papers Towards Explorative IRBL: Combining Semantic Retrieval with LLM-driven ... 11:42 - 12:00																						ISSTA Research papers ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifia ... 13:30 - 13:48				ISSTA Research papers CAST: A Compiler-Based Framework for Systematically Testing LLM Composi ... 13:48 - 14:06			ISSTA Research papers DDOR: Delta Debugging for Explainable Overrefusal Testing and Repair 14:06 - 14:24				ISSTA Research papers Fairness Invariants: A Relational Approach to Explaining and Mitigating ... 14:24 - 14:42			ISSTA Research papers Provably Lossless Acceleration of DNN Mutation Testing via Memoization 14:42 - 15:00										ISSTA Research papers Bridging User Feedback and System Diagnosis: Reproducing Mobile Perform ... 15:30 - 15:48							ISSTA Research papers FuncDroid: Towards Inter-Functional Flows for Comprehensive Mobile App ... 16:06 - 16:24				ISSTA Research papers RippleGUItester: Change-Aware Exploratory Testing 16:24 - 16:42			ISSTA Research papers ChromaEyes: Detecting Inconsistencies of User Interface Elements betwee ... 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 2							ISSTA Research papers Evaluating and Mitigating the Misguidance Effect of Buggy Code in LLM-G ... 10:30 - 10:48				ISSTA Research papersDistinguished Paper How Does Killing Surviving Mutants Help Detect Real Bugs with Assertion ... 10:48 - 11:06			ISSTA Research papers LLMutantKiller: Using Large Language Models to Generate Tests that Kill ... 11:06 - 11:24				ISSTA Research papers STARS: Static Analysis-guided Assertion Synthesis Using Large Language ... 11:24 - 11:42			ISSTA Research papers Test vs Mutant: Adversarial LLM Agents for Robust Unit Test Generation 11:42 - 12:00																						ISSTA Research papers COEUR : COhesion and Exhaustiveness of User stories Representations 13:30 - 13:48				ISSTA Research papers Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code 13:48 - 14:06			ISSTA Research papers KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust ... 14:06 - 14:24				ISSTA Research papers LLM-Based Repair of Static Nullability Errors 14:24 - 14:42			ISSTA Research papers Sakura: An Approach for Generating Complex Tests from Natural Language ... 14:42 - 15:00										ISSTA Research papers AutoHIL: LLM-Based ECU Functional Test Generation through Domain Knowle ... 15:30 - 15:48				ISSTA Research papers Fuzzing FPGA Synthesis and Simulation Tools via LLM-Generated Syntax-Va ... 15:48 - 16:06			ISSTA Research papers IterTestQ: Assembly-Level, Cross-Platform Testing of Quantum Computing ... 16:06 - 16:24				ISSTA Research papersDistinguished Paper Towards Understanding the Bugs in Verilator, a Hardware Description Lan ... 16:24 - 16:42			ISSTA Research papers Uniting Bounded Verification and Transformer-Based Learning for Proacti ... 16:42 - 17:00

Room information: East Hall 2

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

ISSTA Research papers

ISSTA Research papers

ISSTA Research papers

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 2

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

ISSTA Research papers

ISSTA Research papers

ISSTA Research papers

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