Junior Ballroom 1&2 - SPLASH 2026

VenueOakland Marriott City Center

Room nameJunior Ballroom 1&2

Capacity148

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	Synthesis and SpecificationOOPSLA at Junior Ballroom 1&2 Chair(s): Jocelyn Qiaochu Chen University of Alberta

10:30 18m Talk		Grammar Repair with Examples and Tree Automata OOPSLA Yunjeong Lee National University of Singapore, Gokul Rajiv National University of Singapore, Singapore, Ilya Sergey National University of Singapore
10:48 18m Talk		Hybrid Game Control Envelope Synthesis OOPSLA Aditi Kabra Carnegie Mellon University, Jonathan Laurent Karlsruhe Institute of Technology, Stefan Mitsch DePaul University, André Platzer KIT
11:06 18m Talk		P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification OOPSLA Jaehyun Lee KAIST, Seokhun Jeong KAIST, Sehyuk Ahn KAIST, Haechan Kwon KAIST, Sukyoung Ryu KAIST
11:24 18m Talk		Commit-Window Observation Contracts for Reactive Entity-Component Systems OOPSLA Tomoyuki Aotani , Tetsuo Kamina Oita University
11:42 18m Talk		Incremental Program Synthesis from Event Logs OOPSLA Jinwoo Kim University of Wisconsin-Madison; Seoul National University, Victor Nicolet Amazon, Joey Dodds Amazon, Loris D'Antoni Amazon Web Services

13:30 - 15:00	Set-Theoretic Types and Object EvolutionOOPSLA at Junior Ballroom 1&2

13:30 18m Talk		Implementing Set-Theoretic Types OOPSLA Mickaël Laurent Sorbonne Université — LIP6, Kim Nguyễn Université Paris-Saclay
13:48 18m Talk		Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching OOPSLA Andong Fan University of Toronto, Lionel Parreaux HKUST (The Hong Kong University of Science and Technology), Ningning Xie University of Toronto
14:06 18m Talk		Type-Safe Monotonic Object Evolution OOPSLA Alexandra Mirrlees-Black Australian National University, Haoyu Wu Australian National University, Gregor Richards University of Waterloo, Fabian Muehlboeck Australian National University DOI Pre-print
14:24 18m Talk		Classifying Capabilities OOPSLA Nguyen Pham EPFL, LAMP, Oliver Bračevac EPFL, LAMP, Yichen Xu EPFL, Yaoyu Zhao EPFL, LAMP, Martin Odersky EPFL

15:30 - 17:00	LLMs for Code GenerationOOPSLA / SIGPLAN track at Junior Ballroom 1&2 Chair(s): Grigory Fedyukovich Florida State University

15:30 18m Talk		EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows OOPSLA Chenyan Liu Shanghai Jiao Tong University; National University of Singapore, Yun Lin Shanghai Jiao Tong University, Jiaxin Chang Shanghai Jiao Tong University, Jiawei Liu Shanghai Jiao Tong University, Binhang Qi National University of Singapore, Bo Jiang Bytedance Network Technology, Zhiyong Huang National University of Singapore, Jin Song Dong National University of Singapore
15:48 18m Talk		Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation OOPSLA Yihan Dai Peking University, Sijie Liang Beijing Forestry University, Haotian Xu Peking University, Peichu Xie Independent, Sergey Mechatev Peking University
16:06 18m Talk		T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics OOPSLA Yan Wang Central University of Finance and Economics, Ling Ding Central University of Finance and Economics, Jiechen Sun None, Tien N. Nguyen University of Texas at Dallas, Shaohua Wang Central University of Finance and Economics, Aashish Yadavally University of Central Florida, Xin Xia Zhejiang University, Yanan Zheng Yale University
16:24 18m Talk		InspectCoder: Dynamic Analysis-Driven Self Repair through interactive LLM-Debugger Collaboration OOPSLA Yunkun Wang Zhejiang University, Yue Zhang Tongyi Lab, Alibaba, China, Guochang Li Zhejiang university, Chen Zhi Zhejiang University, Binhua Li Tongyi Lab, Alibaba, China, Fei Huang Tongyi Lab, Alibaba, China, Yongbin Li Tongyi Lab, Alibaba, China, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies
16:42 18m Talk		TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation SIGPLAN track Henrijs Princis University of Bristol, Arindam Sharma Imperial College London, Cristina David University of Bristol

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

10:30 - 12:00	Proof Automation and Theorem ProvingOOPSLA at Junior Ballroom 1&2

10:30 18m Talk		Infinitary Relational Logic OOPSLA Vladimir Gladshtein , Qiyuan Zhao National University of Singapore, Yuxi Ling National University of Singapore, Sean Wang Princeton University, Ilya Sergey National University of Singapore
10:48 18m Talk		TensorRocq: Enabling diagrammatic reasoning in Rocq OOPSLA Ben Caldwell University of Chicago, William Spencer University of Chicago, Aleks Kissinger University of Oxford, Robert Rand University of Chicago
11:06 18m Talk		A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL OOPSLA Qiyuan Xu Nangyang Technology University, Renxi Wang MBZUAI, Peixin Wang East China Normal University, Haonan Li MBZUAI, Conrad Watt Nanyang Technological University

13:30 - 15:00	Session Types and ConcurrencyOOPSLA at Junior Ballroom 1&2 Chair(s): Peter Thiemann University of Freiburg

13:30 18m Talk		Speak Now: Safe Actor Programming with Multiparty Session Types OOPSLA Simon Fowler University of Glasgow, Raymond Hu Queen Mary University of London
13:48 18m Talk		Mixed Choice in Asynchronous Multiparty Session Types OOPSLA Laura Bocchi University of Kent, Raymond Hu Queen Mary University of London, Adriana Laura Voinea University of Glasgow, UK, Simon Thompson University of Kent (UK)
14:06 18m Talk		Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols OOPSLA Kai Pischke University of Oxford, Nobuko Yoshida University of Oxford
14:24 18m Talk		A Design Space Exploration of Async/Await OOPSLA Gavin Gray Brown University, Shriram Krishnamurthi Brown University, Will Crichton Brown University Pre-print

15:30 - 17:00	Runtime Systems and PerformanceOOPSLA at Junior Ballroom 1&2 Chair(s): Rohan Padhye Carnegie Mellon University and Antithesis

15:30 18m Talk		Uncovering Hidden Memory Costs for Garbage Collection OOPSLA Sudhanshu Agarwal University of Illinois Urbana-Champaign, Saugata Ghose University of Illinois Urbana-Champaign
15:48 18m Talk		Designing GPU Data Structures for Efficient Memory Oversubscription OOPSLA Vipin Patel Indian Institute of Technology Kanpur, Srinjoy Sarkar Indian Institute of Technology Kanpur, Swarnendu Biswas IIT Kanpur, Mainak Chaudhuri Indian Institute of Technology Kanpur
16:06 18m Talk		Bonsai: Efficient and Optimal Automatic Tensor Rematerialization for Memory-Constrained DNN Training OOPSLA Dat Nguyen Texas A&M University, Vasudha Devarakonda Texas A&M University, Khanh Nguyen Texas A&M University, Anxiao Jiang Texas A&M University
16:24 18m Talk		Understanding Accelerator Compilers via Performance Profiling OOPSLA Ayaka Yorihiro Cornell University, Griffin Berlstein Cornell University, Pedro Pontes García Cornell University, Kevin Laeufer Cornell University, Adrian Sampson Cornell University
16:42 18m Talk		A Language Approach to Fine-Grained Microarchitectural Observation OOPSLA Guokai Chen EPFL, Sergi Soler Arrufat EPFL, Clément Pit-Claudel EPFL, Thomas Bourgeat EPFL

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

10:30 - 12:00	Ownership, Lifetimes and RegionsOOPSLA at Junior Ballroom 1&2 Chair(s): Jenna DiVincenzo (Wise) Purdue University

10:30 18m Talk		Tracking Borrows with Regular Expressions OOPSLA Todd Nowacki Mysten Labs, Sam Blackshear Mysten Labs, John C. Mitchell Stanford University, Shaz Qadeer Meta, Inc., Ilya Sergey National University of Singapore
10:48 18m Talk		When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking OOPSLA Siyuan He Purdue University, Songlin Jia Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University
11:06 18m Talk		Fully-Automatic Type Inference for Borrows with Lifetimes OOPSLA William Brandon MIT, Benjamin Driscoll Stanford University, Frank Dai , Jonathan Ragan-Kelley MIT CSAIL, Mae Milano Princeton University, Alex Aiken Stanford University
11:24 18m Talk		Scylla: Translating an Applicative Subset of C to Safe Rust OOPSLA Aymeric Fromherz Inria, Jonathan Protzenko Google

13:30 - 15:00	Security and Information FlowOOPSLA at Junior Ballroom 1&2

13:30 18m Talk		(Dis)Proving Spectre Security with Speculation-Passing Style OOPSLA Santiago Arranz Olmos Max Planck Institute for Security and Privacy, Gilles Barthe MPI-SP; IMDEA Software Institute, Lionel Blatter Max Planck Institute for Security and Privacy, Xingyu Xie MPI-SP, Zhiyuan Zhang MPI-SP
13:48 18m Talk		Decompiling for Constant-Time Analysis OOPSLA Santiago Arranz Olmos Max Planck Institute for Security and Privacy, Gilles Barthe MPI-SP; IMDEA Software Institute, Lionel Blatter Max Planck Institute for Security and Privacy, Youcef Bouzid ENS Paris-Saclay, Sören van der Wall TU Braunschweig, Zhiyuan Zhang MPI-SP
14:06 18m Talk		Sound Enforcement of Dynamic Release Information Flow Policy OOPSLA Jeffrey Ching Duke University, Danfeng Zhang Duke University
14:24 18m Talk		A Type System for Optimizing Dynamic IFC OOPSLA Daniel Galán Pascual ETH Zurich, François Hublet ETH Zurich, Srđan Krstić ETH Zürich, Roman Fischer ETH Zurich, Colin Pfingstl ETH Zurich, David Basin ETH Zurich
14:42 18m Talk		Fighting Supply Chain Attacks with Effect Systems OOPSLA Magnus Madsen Aarhus University, Andreas Stenbæk Larsen Aarhus University, Jakob Schneider Villumsen Aarhus University, Aslan Askarov Aarhus University

15:30 - 17:00	Staging and MetaprogrammingOOPSLA at Junior Ballroom 1&2 Chair(s): Shigeru Chiba The University of Tokyo

15:30 18m Talk		When Do Staging Annotations Preserve Semantics? Mechanizing the Metatheory of Automatic Let-Insertion in Typed Multi-Stage Programming OOPSLA Jun Tan Independent, Guannan Wei Tufts University Pre-print
15:48 18m Talk		Refined^2 Environment Classifiers OOPSLA Yuito Murase Kyoto University, Japan, Atsushi Igarashi Kyoto University Pre-print
16:06 18m Talk		Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots OOPSLA Dinghong Zhong Tufts University, Alexander Bai New York University, Mikail Khan Carnegie Mellon University, Guannan Wei Tufts University Pre-print
16:24 18m Talk		Staged Multi-Step UTXO Workflows via Recursive Invariants OOPSLA Shuyang Tang Shanghai Jiao Tong University, Sherman S. M. Chow The Chinese University of Hong Kong, Hongfei Fu Shanghai Jiao Tong University, Zihan Guo Sun Yat-sen University, Guoqiang Li Shanghai Jiao Tong University
16:42 18m Talk		Mechanised Semantics of Multi-Stage Programming OOPSLA Ka Wing Li University of Cambridge, Maite Kramarz University of Toronto, Ningning Xie University of Toronto, Jeremy Yallop University of Cambridge DOI Pre-print

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

10:30 - 12:00	Program Analysis and Verification TechniquesISSTA Research papers at Junior Ballroom 1&2

10:30 18m Talk		Mathematically-Guided Detection of Floating-Point Errors ISSTA Research papers Youshuai Tan Macau University of Science and Technology, Zhanwei Zhang The Hong Kong University of Science and Technology (Guangzhou), Haonan Zhang University of Waterloo, Lianyu Zheng The Hong Kong University of Science and Technology (Guangzhou), Zishuo Ding The Hong Kong University of Science and Technology (Guangzhou), Jinfu Chen Wuhan University, Weiyi Shang University of Waterloo
10:48 18m Talk		PropCov: Effective Coverage Reporting for Property-Based Testing ISSTA Research papers Jesse Coultas University of Illinois Chicago, Joseph Wiseman University of Illinois Chicago, Luís Pina University of Illinois Chicago
11:06 18m Talk		Rust's Type Checker Implementation is Unsound: An Empirical Study on Soundness Bugs in rustc ISSTA Research papers Yusung Sim KAIST, Sukyoung Ryu KAIST, Jaemin Hong UNIST
11:24 18m Talk		Scitix: Scalable Constraint-Based Type Inference for Code Snippets with Missing Types ISSTA Research papers Yiwen Dong University of Waterloo, Zhenyang Xu University of Waterloo, Yongqiang Tian Monash University, Edward Lee University of Toronto at Scarborough, Ondřej Lhoták University of Waterloo, Chengnian Sun University of Waterloo
11:42 18m Talk		Solving String Split Constraints via Structural Relaxation ISSTA Research papers Rui Han Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Ziheng Wang Hangzhou Institute for Advanced Study, University of Chinese Academy of Sciences, Hangzhou, China, Baoquan Cui Institute of Software at Chinese Academy of Sciences, China, Yuhang Dong Laboratory of Parallel Software and Computational Science, Institution of Software Chinese Academy of Sciences, University of Chinese Academy of Sciences, Beijing, China, Fuqi Jia Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Feifei Ma Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Jian Zhang Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences

13:30 - 15:00	Software Evolution, Builds, and EcosystemsISSTA Research papers at Junior Ballroom 1&2

13:30 18m Talk		Automated Dependency Optimization for Artifact-Based Build Systems ISSTA Research papers Hongxu Xu University of Waterloo, Zhenyang Xu University of Waterloo, Shane McIntosh University of Waterloo, Chengnian Sun University of Waterloo Pre-print
13:48 18m Talk		BCaLLM: Call Graph-Guided Python Breaking Change Detection with Large Language Models ISSTA Research papers Wei Cheng Nanjing University, Chen Shen Nanjing University, Huan Zhang Nanjing University, Yuhan Wu Nanjing University, Jingyue Yang Nanjing University, Wei Hu Nanjing University
14:06 18m Talk		Guarding the Lifeline: A First Look and Automated Defect Diagnosis for ROS Central Index ISSTA Research papers Weijie Sun State Key Lab for Novel Software Technology and School of Computer Science, Nanjing University, China, Huiyan Wang Nanjing University, Ying Wang Northeastern University, Chang Xu Nanjing University
14:24 18m Talk		Names Are All You Need: Effective and Safe Regression Test Selection for Python ISSTA Research papers You Wang Zhejiang University, Michael Pradel CISPA Helmholtz Center for Information Security, Zhongxin Liu Zhejiang University
14:42 18m Talk		Profiling-Guided Bayesian Optimization of JVM ConfigurationsDistinguished Paper ISSTA Research papers Abdelrahman Baz The University of Texas at Austin, Wing Lam George Mason University, August Shi The University of Texas at Austin Pre-print

15:30 - 17:00	Smart Contract SecurityISSTA Research papers at Junior Ballroom 1&2

15:30 22m Talk		EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems ISSTA Research papers Yixuan Liu Nanyang Technological University, Singapore, Yuxin Dong Peking University, Ye Liu Beijing Institute of Technology, Yin Wu Xi'an Jiaotong University, Chengxuan Zhang Nanyang Technological University, Xiapu Luo Hong Kong Polytechnic University, Yi Li Nanyang Technological University Pre-print
15:52 22m Talk		TrapHunter: Exposing Covert Pathways in Trap Token Contracts ISSTA Research papers Yin Wu Xi'an Jiaotong University, Yixuan Liu Nanyang Technological University, Singapore, Yi Li Nanyang Technological University, Chenyang Peng Xi'an Jiaotong University, Hao Wu Xi'an Jiaotong University; Hong Kong Polytechnic University, Ming Fan Xi'an Jiaotong University, Ting Liu Xi'an Jiaotong University, Haijun Wang Xi'an Jiaotong University Pre-print
16:15 22m Talk		Augmenting Multi-Technique Static Analysis with Large Language Models: A Neuro-Symbolic Approach to Smart Contract Vulnerability Detection ISSTA Research papers Junxiang Wang Tongji University, Fu Song Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology, Miaomiao Zhang School of Computer Science and Technology, Tongji University, Bowen Du Tongji University, Rongcan Pei Tongji University
16:37 22m Talk		Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts ISSTA Research papers Ziqiao Kong Nanyang Technological University, Wanxu Xia Beihang University, Zhengwei Li Bitslab, Yi Lu BitsLab, Pan Li Bitslab, Liqun Yang School of Cyber Science and Technology, Beihang University, Yang Liu Nanyang Technological University, Xiapu Luo Hong Kong Polytechnic University, Shaohua Li The Chinese University of Hong Kong

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

10:30 - 12:00	WebAssembly, Compilers, and Bytecode AnalysisISSTA Research papers at Junior Ballroom 1&2

10:30 18m Talk		CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Compiler ISSTA Research papers Shangtong Cao Beijing University of Posts and Telecommunications, Tianlei Song , Qiuping Yi Beijing University of Posts and Telecommunications, Tianyu Chen Microsoft Research Asia, Guoai Xu Harbin Institute of Technology, Shenzhen, Ningyu He Hong Kong Polytechnic University, Haoyu Wang Huazhong University of Science and Technology
10:48 18m Talk		SmartDecompiler-R1: Enhancing Faithful and Explainable Smart Contract Bytecode Decompilation with Reinforcement Learning ISSTA Research papers Yilun Ma Zhejiang University, Lingxiao Tang Zhejiang University, Li Lin Zhejiang University, Zhipeng Gao Shanghai Institute for Advanced Study - Zhejiang University, Jiachi Chen Zhejiang University, Xin Xia Zhejiang University, Lingfeng Bao Zhejiang University
11:06 18m Talk		SymWeb: Feedback-Driven Context Exploration and Context-Aware Symbolic Execution for Browser-Embedded WebAssembly Vulnerability Detection ISSTA Research papers Yuanpeng Wang Peking University, Yeqi Fu National University of Singapore, Zhineng Zhong Key Laboratory of High-Confidence Software Technologies (MOE), School of Computer Science, Peking University, Zhenkai Liang National University of Singapore, Ding Li Peking University, Yao Guo Peking University, Xiangqun Chen Peking University
11:24 18m Talk		WASCII: Bridging WebAssembly Specifications and Implementations through LLM-Enhanced Validation ISSTA Research papers Yeqi Fu National University of Singapore, Kaihang Ji National University of Singapore, Yuanpeng Wang Peking University, Zong Cao Imperial Global Singapore, Jiahao Liu National University of Singapore, Ding Li Peking University, Yao Guo Peking University, Zhenkai Liang National University of Singapore
11:42 18m Talk		WITFuzz: Validity-Preserving Greybox Fuzzing for WebAssembly Interface Type Binding Generators ISSTA Research papers Hanqin Guan Peking University, Ningyu He Hong Kong Polytechnic University, Shangtong Cao Beijing University of Posts and Telecommunications, Yifeng Cai Peking University; Beijing Tongming Lake Information Technology Application Innovation Center, Yao Guo Peking University, Ding Li Peking University

13:30 - 15:00	Empirical Studies, Benchmarks, and ReplicationISSTA Research papers at Junior Ballroom 1&2

13:30 18m Talk		AsyncLeakBench: A Curated Benchmark of Asynchronous Resource Leaks in Open-Source Java Projects ISSTA Research papers Jinyoung Kim Sungkyunkwan University, Jinseok Heo Sungkyunkwan University, Dongwook Choi SungKyunKwan University, Eunseok Lee Sungkyunkwan University
13:48 18m Talk		Do Coverage and Mutation Scores of LLM-Generated Test Suites Correlate With Their Effectiveness? (Replicability Study)Distinguished Paper 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
14:06 18m Talk		An Empirical Study and Benchmark of Kubernetes Misconfiguration Scanners ISSTA Research papers Haeun Eom Sungkyunkwan University, Bohyun Suk Republic of Korea army, Sungjae Hwang Sungkyunkwan University
14:24 18m Talk		The Discreet Charm of the Bugeoisie: A First Look at Bug Reports Created by Researchers ISSTA Research papers Ji young Kim University of Illinois Urbana-Champaign, Jana Dragovic University of Illinois Urbana-Champaign, Alessandro Botta University of Texas at Dallas, T. M. Rithwanul Islam Jahangirnagar University, Alaa Mohamad American University of Beirut, Karim Sharaf The Egyptian E-Learning University-Alexandria University, Sejuti Sharmin Siddiqui University of Dhaka, Divyanshi Joshi Maharaja Agrasen Institute of Technology, Harini Anand PES University, Nurjemal Saryyeva National University of Singapore, Shubham Chapagain Tribhuvan University, Saad Nasir American International University-Bangladesh, Darko Marinov University of Illinois at Urbana-Champaign, Bogdan Alexandru Stoica University of Illinois Urbana-Champaign
14:42 18m Talk		Re-evaluating Detection of Equivalent Mutants Using LLMs: We Should Properly Measure How Far We AreDistinguished Paper ISSTA Research papers Arjun Tandon Indraprastha Institute of Information Technology Delhi, Mehmet Fırat Dündar ETH Zurich, Milkiyas Gebremichael Gebru Addis Ababa University, Darko Marinov University of Illinois at Urbana-Champaign, Yiling Lou University of Illinois at Urbana-Champaign, Wenxi Wang University of Virgina

15:30 - 17:00	Autonomous Driving SystemsISSTA Research papers at Junior Ballroom 1&2

15:30 22m Talk		Branch-Level Fault Localization in ADS Planning via Temporal Coverage Analysis ISSTA Research papers Sangmin Woo KAIST, Dohyun Kim KAIST, Donghwan Shin University of Sheffield, Yongdae Kim KAIST
15:52 22m Talk		Fixed-Point Guided ADS Scenario Generation via Multi-Modal LLM Reasoning and Software Testing ISSTA Research papers xudong zhang , Shihao Zhu State Key Laboratory of Computer Science,Institute of Software,Chinese Academy of Sciences,China, Yan Cai Key Laboratory of System Software (Chinese Academy of Sciences), Beijing, China;Institute of Software, Chinese Academy of Sciences, Beijing, China
16:15 22m Talk		MG-Fuzz: Model-Guided Fuzzing for Unsafe Scenario Discovery in Autonomous Driving Systems ISSTA Research papers Yulong Lyu Nanjing University, Ruiqi Hong Nanjing University, Jiawan Wang Nanjing University, Jun Sun Singapore Management University, Lei Bu Nanjing University
16:37 22m Talk		Poirot: Automatic Root Cause Analysis of Safety Violations in ADS Simulation Testing via Hypothetical ReasoningDistinguished Paper ISSTA Research papers You Lu Fudan University, Dingji Wang Fudan University, Kun Zhang Fudan University, Bihuan Chen Fudan University, Jiyan Zhang Fudan University, Xin Peng Fudan 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
Junior Ballroom 1&2							OOPSLA Synthesis and Specification																																				OOPSLA Set-Theoretic Types and Object Evolution																								OOPSLA + SIGPLAN track LLMs for Code Generation

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
Junior Ballroom 1&2							OOPSLA Proof Automation and Theorem Proving																																				OOPSLA Session Types and Concurrency																								OOPSLA Runtime Systems and Performance

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
Junior Ballroom 1&2							OOPSLA Ownership, Lifetimes and Regions																																				OOPSLA Security and Information Flow																								OOPSLA Staging and Metaprogramming

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
Junior Ballroom 1&2							ISSTA Research papers Program Analysis and Verification Techniques																																				ISSTA Research papers Software Evolution, Builds, and Ecosystems																								ISSTA Research papers Smart Contract Security

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
Junior Ballroom 1&2							ISSTA Research papers WebAssembly, Compilers, and Bytecode Analysis																																				ISSTA Research papers Empirical Studies, Benchmarks, and Replication																								ISSTA Research papers Autonomous Driving 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
Junior Ballroom 1&2							SPLASH OOPSLA Grammar Repair with Examples and Tree Automata 10:30 - 10:48				SPLASH OOPSLA Hybrid Game Control Envelope Synthesis 10:48 - 11:06			SPLASH OOPSLA P4-SpecTec: Integrating a Language Mechanization Framework into the Rea ... 11:06 - 11:24				SPLASH OOPSLA Commit-Window Observation Contracts for Reactive Entity-Component Systems 11:24 - 11:42			SPLASH OOPSLA Incremental Program Synthesis from Event Logs 11:42 - 12:00																						SPLASH OOPSLA Implementing Set-Theoretic Types 13:30 - 13:48				SPLASH OOPSLA Modular Type Safety for Traits with Extensible Variants and Deep Patter ... 13:48 - 14:06			SPLASH OOPSLA Type-Safe Monotonic Object Evolution 14:06 - 14:24				SPLASH OOPSLA Classifying Capabilities 14:24 - 14:42													SPLASH OOPSLA EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems ... 15:30 - 15:48				SPLASH OOPSLA Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation 15:48 - 16:06			SPLASH OOPSLA T-REX: Teaching Large Language Models to Reason with Verbalized Executi ... 16:06 - 16:24				SPLASH OOPSLA InspectCoder: Dynamic Analysis-Driven Self Repair through interactive L ... 16:24 - 16:42			SPLASH SIGPLAN track TreeCoder: Systematic Exploration and Optimisation of Decoding and Cons ... 16:42 - 17:00

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
Junior Ballroom 1&2							SPLASH OOPSLA Infinitary Relational Logic 10:30 - 10:48				SPLASH OOPSLA TensorRocq: Enabling diagrammatic reasoning in Rocq 10:48 - 11:06			SPLASH OOPSLA A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL 11:06 - 11:24																													SPLASH OOPSLA Speak Now: Safe Actor Programming with Multiparty Session Types 13:30 - 13:48				SPLASH OOPSLA Mixed Choice in Asynchronous Multiparty Session Types 13:48 - 14:06			SPLASH OOPSLA Top-down = Bottom-up: Sound and Complete Characterisations of Liveness ... 14:06 - 14:24				SPLASH OOPSLA A Design Space Exploration of Async/Await 14:24 - 14:42													SPLASH OOPSLA Uncovering Hidden Memory Costs for Garbage Collection 15:30 - 15:48				SPLASH OOPSLA Designing GPU Data Structures for Efficient Memory Oversubscription 15:48 - 16:06			SPLASH OOPSLA Bonsai: Efficient and Optimal Automatic Tensor Rematerialization for Me ... 16:06 - 16:24				SPLASH OOPSLA Understanding Accelerator Compilers via Performance Profiling 16:24 - 16:42			SPLASH OOPSLA A Language Approach to Fine-Grained Microarchitectural Observation 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
Junior Ballroom 1&2							SPLASH OOPSLA Tracking Borrows with Regular Expressions 10:30 - 10:48				SPLASH OOPSLA When Lifetimes Liberate: A Type System for Arenas with Higher-Order Rea ... 10:48 - 11:06			SPLASH OOPSLA Fully-Automatic Type Inference for Borrows with Lifetimes 11:06 - 11:24				SPLASH OOPSLA Scylla: Translating an Applicative Subset of C to Safe Rust 11:24 - 11:42																									SPLASH OOPSLA (Dis)Proving Spectre Security with Speculation-Passing Style 13:30 - 13:48				SPLASH OOPSLA Decompiling for Constant-Time Analysis 13:48 - 14:06			SPLASH OOPSLA Sound Enforcement of Dynamic Release Information Flow Policy 14:06 - 14:24				SPLASH OOPSLA A Type System for Optimizing Dynamic IFC 14:24 - 14:42			SPLASH OOPSLA Fighting Supply Chain Attacks with Effect Systems 14:42 - 15:00										SPLASH OOPSLA When Do Staging Annotations Preserve Semantics? Mechanizing the Metathe ... 15:30 - 15:48				SPLASH OOPSLA Refined^2 Environment Classifiers 15:48 - 16:06			SPLASH OOPSLA Compiling WebAssembly Concolic Execution with Staging, Continuations, a ... 16:06 - 16:24				SPLASH OOPSLA Staged Multi-Step UTXO Workflows via Recursive Invariants 16:24 - 16:42			SPLASH OOPSLA Mechanised Semantics of Multi-Stage Programming 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
Junior Ballroom 1&2							ISSTA Research papers Mathematically-Guided Detection of Floating-Point Errors 10:30 - 10:48				ISSTA Research papers PropCov: Effective Coverage Reporting for Property-Based Testing 10:48 - 11:06			ISSTA Research papers Rust's Type Checker Implementation is Unsound: An Empirical Study on So ... 11:06 - 11:24				ISSTA Research papers Scitix: Scalable Constraint-Based Type Inference for Code Snippets with ... 11:24 - 11:42			ISSTA Research papers Solving String Split Constraints via Structural Relaxation 11:42 - 12:00																						ISSTA Research papers Automated Dependency Optimization for Artifact-Based Build Systems 13:30 - 13:48				ISSTA Research papers BCaLLM: Call Graph-Guided Python Breaking Change Detection with Large L ... 13:48 - 14:06			ISSTA Research papers Guarding the Lifeline: A First Look and Automated Defect Diagnosis for ... 14:06 - 14:24				ISSTA Research papers Names Are All You Need: Effective and Safe Regression Test Selection fo ... 14:24 - 14:42			ISSTA Research papersDistinguished Paper Profiling-Guided Bayesian Optimization of JVM Configurations 14:42 - 15:00										ISSTA Research papers EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain E ... 15:30 - 15:52				ISSTA Research papers TrapHunter: Exposing Covert Pathways in Trap Token Contracts 15:52 - 16:15					ISSTA Research papers Augmenting Multi-Technique Static Analysis with Large Language Models: ... 16:15 - 16:37				ISSTA Research papers Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts 16:37 - 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
Junior Ballroom 1&2							ISSTA Research papers CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Com ... 10:30 - 10:48				ISSTA Research papers SmartDecompiler-R1: Enhancing Faithful and Explainable Smart Contract B ... 10:48 - 11:06			ISSTA Research papers SymWeb: Feedback-Driven Context Exploration and Context-Aware Symbolic ... 11:06 - 11:24				ISSTA Research papers WASCII: Bridging WebAssembly Specifications and Implementations through ... 11:24 - 11:42			ISSTA Research papers WITFuzz: Validity-Preserving Greybox Fuzzing for WebAssembly Interface ... 11:42 - 12:00																						ISSTA Research papers AsyncLeakBench: A Curated Benchmark of Asynchronous Resource Leaks in O ... 13:30 - 13:48				ISSTA Research papersDistinguished Paper Do Coverage and Mutation Scores of LLM-Generated Test Suites Correlate ... 13:48 - 14:06			ISSTA Research papers An Empirical Study and Benchmark of Kubernetes Misconfiguration Scanners 14:06 - 14:24				ISSTA Research papers The Discreet Charm of the Bugeoisie: A First Look at Bug Reports Create ... 14:24 - 14:42			ISSTA Research papersDistinguished Paper Re-evaluating Detection of Equivalent Mutants Using LLMs: We Should Pro ... 14:42 - 15:00										ISSTA Research papers Branch-Level Fault Localization in ADS Planning via Temporal Coverage A ... 15:30 - 15:52				ISSTA Research papers Fixed-Point Guided ADS Scenario Generation via Multi-Modal LLM Reasonin ... 15:52 - 16:15					ISSTA Research papers MG-Fuzz: Model-Guided Fuzzing for Unsafe Scenario Discovery in Autonomo ... 16:15 - 16:37				ISSTA Research papersDistinguished Paper Poirot: Automatic Root Cause Analysis of Safety Violations in ADS Simul ... 16:37 - 17:00

Room information: Junior Ballroom 1&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 + SIGPLAN track

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: Junior Ballroom 1&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 + SIGPLAN track

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