SPLASH/ISSTA 2026 (series) /
SPLASH/ISSTA 2026 Program
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Sun 4 OctDisplayed time zone: Pacific Time (US & Canada) change
Sun 4 Oct
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 90mTalk | Teaching About Tools For ThoughtKeynote SPLASH -E | ||
08:30 - 10:00 | Morning SessionPLMW @ SPLASH/ISSTA'26 at Grand Ballroom Salons E+F+G+H Chair(s): Milijana Surbatovich University of Maryland at College Park | ||
09:00 60mTalk | Welcome, conference advice and icebreaker PLMW @ SPLASH/ISSTA'26 | ||
08:30 - 10:00 | KeynoteHATRA at Grand Ballroom Salons G Chair(s): Michael Coblenz University of California, San Diego | ||
08:30 90mKeynote | The Next 700 Block-Based Editors HATRA Ravi Chugh University of Chicago | ||
08:30 - 10:00 | |||
08:30 10mTalk | Welcome SSNL Jon Aytac Sandia National Laboratories, Steven Holtzen Northeastern University, Todd Gamblin Lawrence Livermore National Laboratory | ||
08:40 50mTalk | We Can Know, we Must Know SSNL Philip Johnson-Freyd Sandia National Laboratories | ||
09:30 30mTalk | Todd Gamblin SSNL Todd Gamblin Lawrence Livermore National Laboratory | ||
08:30 - 10:00 | |||
09:00 5mTalk | Intro and Welcome Doctoral symposium | ||
09:05 2mTalk | Accurate Specification Recovery for Effective Test Generation Doctoral symposium | ||
09:08 2mTalk | Toward Reliable Automatic Proxies for Code Comprehensibility Doctoral symposium | ||
09:11 2mTalk | The Mechanisms and Practice of Mutation Testing in Improving Software Quality Doctoral symposium | ||
09:14 2mTalk | Towards Scalable and Verifiable Automated Translation from C to Safe Rust Doctoral symposium | ||
09:17 2mTalk | After the Hitchhiker's Guide: Toward Principled LLM Assistance for Static Analysis Doctoral symposium | ||
09:20 2mTalk | Property-based Testing of Separation Logic Specifications Doctoral symposium | ||
09:23 2mTalk | Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed Systems Doctoral symposium Karuna Grewal Cornell University, USA | ||
09:30 30mTalk | Toward Reliable Automatic Proxies for Code Comprehensibility (Long Talk) Doctoral symposium | ||
10:30 - 12:00 | Teaching Formal FoundationsSPLASH -E at Grand Ballroom Salons A+B Chair(s): Daniel Patterson Northeastern University | ||
10:30 30mTalk | An Approach to Introduce Hoare Logic in the Undergraduate CS Curriculum: In Memoriam of Tony Hoare SPLASH -E Marco T Morazan Seton Hall University DOI | ||
11:00 30mTalk | More Pie for the Little Typer SPLASH -E Qixiang Zhang National University of Singapore, Ding Feng National University of Singapore, Singapore, Li Daoxin National University of Singapore, Martin Henz National University of Singapore DOI | ||
11:30 30mTalk | Visualizing Turing Machines and Multitape Turing Machines SPLASH -E David Anthony K. Fields Seton Hall University, Sophia Turano Seton Hall University, Andrés M. Garced Seton Hall University, Marco Morazan Seton Hall University DOI | ||
10:30 - 12:00 | Main TalksPLMW @ SPLASH/ISSTA'26 at Grand Ballroom Salons E+F+G+H Chair(s): Max Willsey University of California at Berkeley | ||
10:30 45mTalk | AI, PL, and Compilers PLMW @ SPLASH/ISSTA'26 Fredrik Kjolstad Stanford University | ||
11:15 45mTalk | Managing undergraduate research, as mentor and mentee PLMW @ SPLASH/ISSTA'26 Mae Milano Princeton University | ||
10:30 - 12:00 | |||
10:30 45mTalk | Ironwright: A Rusty Bridge from Bounded Model Checking to Full Verification HATRA Yan Tong UC Santa Cruz, Sabrina Reis University of California, Santa Cruz, Lindsey Kuper University of California, Santa Cruz Pre-print | ||
11:15 45mTalk | Just Draw It: Widgets for Generating and Visualizing Graph Structures in Lean 4 HATRA Cruise Song Georgia Institute of Technology, Zhengyu (Brian ) Li Georgia Institute of Technology, Sage Binder University of Iowa, Vijay Ganesh Georgia Tech Link to publication | ||
10:30 - 12:00 | |||
10:30 20mTalk | Amal Ahmed SSNL Amal Ahmed Northeastern University, USA | ||
10:50 15mTalk | Lydia Zoghbi SSNL Lydia Zoghbi University of California, San Diego | ||
11:05 15mBreak | Social Break #1 SSNL | ||
11:20 20mTalk | J Tanner Slagel SSNL J Tanner Slagel NASA | ||
11:40 20mTalk | John Sarracino SSNL John Sarracino Lawrence Livermore National Laboratory | ||
10:30 - 12:00 | |||
10:30 30mTalk | The Mechanisms and Practice of Mutation Testing in Improving Software Quality (Long Talk) Doctoral symposium Hang Du University of California at Irvine | ||
11:00 30mTalk | Accurate Specification Recovery for Effective Test Generation (Long Talk) Doctoral symposium Junda Zhao Department of Mechanical and Industrial Engineering, University of Toronto | ||
11:30 30mTalk | Property-based Testing of Separation Logic Specifications (Long Talk) Doctoral symposium Zain K Aamer University of Pennsylvania | ||
12:00 - 13:30 | |||
13:30 - 15:00 | Language and Environment Design for LearnersSPLASH -E at Grand Ballroom Salons A+B Chair(s): Marco Morazan Seton Hall University | ||
13:30 30mTalk | Aiki: Designing a Programming Language from a Criterion of ApprehensionPresentation only SPLASH -E William D. Senn Tarleton State University File Attached | ||
14:00 30mTalk | Integrating Blocks and Text in the ClassroomPresentation only SPLASH -E File Attached | ||
14:30 30mTalk | RCKid: Designing a Programming Language Through Its EditorsPresentation only SPLASH -E Petr Maj Czech Technical University File Attached | ||
13:30 - 15:00 | Tech Talk SessionPLMW @ SPLASH/ISSTA'26 at Grand Ballroom Salons E+F+G+H Chair(s): Milijana Surbatovich University of Maryland at College Park | ||
13:30 30mTalk | The Art and Science of Teaching Rust PLMW @ SPLASH/ISSTA'26 Will Crichton Brown University | ||
14:00 30mTalk | Programming Languages and the Law PLMW @ SPLASH/ISSTA'26 Aymeric Fromherz Inria | ||
14:30 30mTalk | Before, During, and After: Tools for Thought in the Age of Tools for Slop PLMW @ SPLASH/ISSTA'26 Cyrus Omar University of Michigan | ||
13:30 - 15:00 | Session 2HATRA at Grand Ballroom Salons G Chair(s): Michael Coblenz University of California, San Diego | ||
13:30 45mTalk | Morphosyntactic Programming: Case, Mood, and Type-Directed Disambiguation for Turkish-Like Syntax HATRA Pre-print | ||
14:15 45mTalk | What Makes a Good Type Error for Units of Measure? HATRA Hila Peleg Technion | ||
13:30 - 15:00 | |||
13:30 20mTalk | Joshua Gancher SSNL Joshua Gancher Northeastern University | ||
13:50 20mTalk | Shibbir Ahmed SSNL Shibbir Ahmed Texas State University | ||
14:10 15mTalk | Social Break #2 SSNL | ||
14:25 20mTalk | Jon Bell SSNL Jonathan Bell Northeastern University | ||
14:45 15mTalk | Caspar Popova SSNL Caspar Popova University of Maryland College Park | ||
13:30 - 15:00 | |||
13:30 30mTalk | Safe<T>: Automaton-Theoretic Runtime Monitoring of Blackbox Distributed Systems (Long Talk) Doctoral symposium Karuna Grewal Cornell University | ||
14:00 30mTalk | After the Hitchhiker's Guide: Toward Principled LLM Assistance for Static Analysis (Long Talk) Doctoral symposium Haonan Li University of California at Riverside, USA | ||
14:30 30mTalk | Towards Scalable and Verifiable Automated Translation from C to Safe Rust (Long Talk) Doctoral symposium Victor Chen The Ohio State University | ||
15:00 - 15:30 | |||
15:30 - 17:00 | Observing, Exploring and Assessing Student WorkSPLASH -E at Grand Ballroom Salons A+B Chair(s): Pierre Donat-Bouillud Czech Technical University | ||
15:30 30mTalk | Curated Semantic Mutants: Multi-Purpose Artifacts for Grading and Hinting Student Test Suites SPLASH -E DOI | ||
16:00 30mTalk | Observations on Tracing Program Design through Natural Language DialoguePresentation only SPLASH -E Kouta Kumamoto Institute of Science Tokyo, Youyou Cong Institute of Science Tokyo, Hidehiko Masuhara Institute of Science Tokyo File Attached | ||
16:30 30mTalk | Proof Interfaces for Exploratory MathematicsPresentation only SPLASH -E Nishant Kheterpal University of Michigan, Matthew Keenan University of Michigan, Cyrus Omar University of Michigan, Jean-Baptiste Jeannin University of Michigan File Attached | ||
15:30 - 17:00 | Panel SessionPLMW @ SPLASH/ISSTA'26 at Grand Ballroom Salons E+F+G+H Chair(s): Milijana Surbatovich University of Maryland at College Park, Max Willsey University of California at Berkeley | ||
15:30 40mPanel | Career panel PLMW @ SPLASH/ISSTA'26 Ryan Tjoa Jane Street, Sukyoung Ryu KAIST, Pavel Panchekha University of Utah, Joomy Korkut Bloomberg | ||
16:10 40mPanel | Graduate-school panel PLMW @ SPLASH/ISSTA'26 Justin Lubin University of California at Berkeley, Katherine Wu Cornell University, Segev Elazar Mittelman University of Maryland, Oliver Flatt University of Washington | ||
16:50 5mTalk | SIGPLAN CARES PLMW @ SPLASH/ISSTA'26 Sukyoung Ryu KAIST | ||
16:55 5mDay closing | Closing remarks and feedback survey PLMW @ SPLASH/ISSTA'26 | ||
15:30 - 17:00 | |||
15:30 90mMeeting | Discussion HATRA Michael Coblenz University of California, San Diego, Jonathan Aldrich Carnegie Mellon University, Will Crichton Brown University | ||
15:30 - 17:00 | |||
15:30 15mTalk | Sam Pollard SSNL Samuel D. Pollard Sandia National Laboratories | ||
15:45 15mTalk | Zachary J. Sullivan SSNL Zachary Sullivan University of Oregon | ||
16:00 60mTalk | Breakout Groups SSNL | ||
15:30 - 17:00 | |||
15:30 90mSocial Event | Free Time for Attendees Doctoral symposium | ||
16:00 60mMeeting | John Vlissides Award Deliberations for Committee Doctoral symposium | ||
Mon 5 OctDisplayed time zone: Pacific Time (US & Canada) change
Mon 5 Oct
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | |||
08:30 10mOther | Opening Remarks SPLASH Keynotes | ||
08:40 60mTalk | In the Age of AI Coding Agents, Keeping the Engineer in Software Engineering SPLASH Keynotes | ||
08:30 - 10:00 | Session 1: Keynote TalkFTA at Grand Ballroom Salons C Chair(s): Armin Moin Purdue University, Aravind Machiry Purdue University Keynote talk by Vijay Sarvepalli, Principal Engineer, CERT division, Software Engineering Institute (SEI), Carnegie Mellon University (CMU), USA Title: Securing UEFI in the Age of AI: The Forgotten Footholds Sub-title: Persistence, trust chains, firmware invisibility, and why AI-era infrastructure raises the stakes for platform integrity. Keywords: UEFI, firmware, chain-of-trust, persistence, AI-era hardware, AI-assisted vulnerability research, invisible attacks, persistence. Time: 45 minutes plus 15 minutes Q&A Abstract: UEFI quietly underpins the trust model of modern computing, yet remains one of the least understood and least monitored software layers in the stack. As AI systems increasingly depend on trusted hardware initialization, provisioning, and teardown, firmware becomes an even more attractive foothold for advanced adversaries seeking persistence and invisibility beneath the operating system. This keynote explores enduring UEFI attack surfaces, from chain-of-trust failures to NVRAM misuse, and examines why modern AI-driven security research still struggles to meaningfully analyze firmware ecosystems. The talk concludes with a call to action for both the firmware and AI security communities to better protect the foundations of trusted compute. Speaker Bio: Vijay Sarvepalli currently serves as Principal Engineer of CERT division of Carnegie Mellon University’s Software Engineering Institute. Vijay is a seasoned professional with extensive expertise in software architecture, cybersecurity, and enterprise systems. As Principal Architect at the CERT Division of CMU’s SEI, he focuses on advancing software architecture practices with a particular emphasis on enhancing cybersecurity. | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Debugging and Fault LocalizationSPLASH OOPSLA at East Hall 1 Chair(s): Alastair F. Donaldson Imperial College London | ||
10:30 18mTalk | Debugging Debugging Information using Dynamic Call Trees SPLASH OOPSLA DOI Pre-print | ||
10:48 18mTalk | Automated Debugging of Datalog ProgramsDistinguished Paper SPLASH OOPSLA Jiashen Wei Nanjing University, Baoyuan Luo Nanjing University, Runshuo Xie Nanjing University, Yun Qi Nanjing University, Yiyu Zhang Nanjing University, Xizao Wang Nanjing University, Xintao Niu Nanjing University, Zhiqiang Zuo Nanjing University Link to publication DOI | ||
11:06 18mTalk | Accurate Residues for Floating-Point Debugging SPLASH OOPSLA DOI | ||
11:24 18mTalk | Prosecutor: Bayesian Counterfactual Fault Localization SPLASH OOPSLA Sara Baradaran University of Southern California, Yifei Huang University of Southern California, Wei Le Iowa State University, Mukund Raghothaman University of Southern California DOI | ||
11:42 18mTalk | Specy: Learning Specifications for Distributed Systems from Event Traces SPLASH OOPSLA Mike He Princeton University, Ankush Desai Snowflake, Aishwarya Jagarapu Amazon Web Services, Doug Terry LinkedIn, Sharad Malik Princeton University, Aarti Gupta Princeton University DOI Pre-print | ||
10:30 - 12:00 | LLM Agents for Program AnalysisSPLASH OOPSLA at East Hall 2 Chair(s): Yun Lin Shanghai Jiao Tong University | ||
10:30 18mTalk | Process-Centric Analysis of Agentic Software Systems SPLASH 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 DOI | ||
10:48 18mTalk | MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents SPLASH OOPSLA Gengyang Xu 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 DOI | ||
11:06 18mTalk | Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection SPLASH OOPSLA Zong Cao Imperial Global Singapore; Nanyang Technological University, 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 DOI | ||
11:24 18mTalk | Agent-Based Automated Remediation for Vulnerabilities in Maven Projects SPLASH OOPSLA Lyuye Zhang Nankai University; Nanyang Technological University, He Ye University College London, Federica Sarro University College London, Yuqiang Sun Nanyang Technological University, Yang Liu Nanyang Technological University DOI | ||
11:42 18mTalk | LLM-Based Alarm Resolution Guided by Bayesian Program Analysis SPLASH OOPSLA Yifan Zhang Peking University, Yuanfeng Shi Peking University, Haoran Lin Peking University, Yingfei Xiong Peking University, Xin Zhang Peking University DOI | ||
10:30 - 12:00 | REBASE 1REBASE industry track at Grand Ballroom Salons A+B Chair(s): Filip Křikava Czech Technical University | ||
10:30 15mDay opening | Welcome to REBASE REBASE industry track | ||
10:45 45mIndustry talk | Building Code Models: Scale and Beyond invited-talk REBASE industry track Baptiste Rozière Mistral AI | ||
11:30 30mIndustry talk | The Real World is Messy: Examining the Productivity Impact of Automatically Reverting Bad Changes REBASE industry track Tim A. D. Henderson Google | ||
10:30 - 12:00 | |||
10:30 30mTalk | Verification of Protocol Compliance by Symbolic Execution FTA DOI | ||
11:00 30mTalk | TianoForge: An Automated Bug Triage Approach for the TianoCore UEFI Firmware Development Community FTA Nazanin Siavash University of Colorado Colorado Springs (UCCS), Terrance E. Boult University of Colorado Colorado Springs (UCCS), Armin Moin Purdue University | ||
11:30 30mTalk | IAIA: Interrupt-Aware Index Analysis for SSD Firmware FTA Hyeongseo Yoo Seoul National University; Samsung Electronics, Kwangkeun Yi Seoul National University DOI | ||
10:30 - 12:00 | |||
10:30 90mTalk | Connecting programs and proof Summer School | ||
10:30 - 12:00 | Synthesis and SpecificationSPLASH OOPSLA at Junior Ballroom 1&2 Chair(s): Jocelyn Qiaochu Chen University of Alberta | ||
10:30 18mTalk | Grammar Repair with Examples and Tree Automata SPLASH OOPSLA Yunjeong Lee National University of Singapore, Gokul Rajiv National University of Singapore, Ilya Sergey National University of Singapore DOI | ||
10:48 18mTalk | Hybrid Game Control Envelope Synthesis SPLASH OOPSLA Aditi Kabra Carnegie Mellon University, Jonathan Laurent KIT, Stefan Mitsch DePaul University, André Platzer KIT DOI | ||
11:06 18mTalk | P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification SPLASH OOPSLA DOI | ||
11:24 18mTalk | Commit-Window Observation Contracts for Reactive Entity-Component Systems SPLASH OOPSLA DOI | ||
11:42 18mTalk | Incremental Program Synthesis from Event Logs SPLASH OOPSLA Jinwoo Kim University of California at San Diego, Victor Nicolet Amazon, Joey Dodds Amazon, Loris D'Antoni University of California at San Diego DOI | ||
10:30 - 12:00 | Types for Dynamic LanguagesSPLASH OOPSLA at Junior Ballroom 3&4 Chair(s): Matthew Flatt University of Utah | ||
10:30 18mTalk | Type Inference for Functional and Imperative Dynamic Languages SPLASH OOPSLA DOI | ||
10:48 18mTalk | Interactive Data Analysis with Lively Typed Tables SPLASH OOPSLA DOI Pre-print | ||
11:06 18mTalk | A Typed Intermediate Representation for Dynamic Languages (TOPLAS) SPLASH OOPSLA Mickaël Laurent Charles University, Jakob Hain Purdue University, USA, Filip Křikava Czech Technical University, Sebastián Krynski Czech Technical University in Prague, Jan Vitek Charles University | ||
10:30 - 12:00 | |||
10:30 30mTalk | Normalization by Origin, Not by Shape SPLASH Onward! Papers | ||
11:00 30mTalk | The Choose-Your-Own-Adventure Calculus SPLASH Onward! Papers Tomas Petricek Charles University, Jan Liam Verter Charles University, Mikoláš Fromm Charles University Pre-print | ||
11:30 40mTalk | The Spreadsheet Was the Constitution SPLASH Onward! Essays Abutalib Namazov Massachusetts Institute of Technology | ||
12:00 - 13:30 | |||
12:00 - 13:30 | Summer School Mentoring & SIGPLAN-M LunchSocial Events at Grand Ballroom Salons E+F+G+H Aspiring and current programming language researchers can request mentoring through the SIGPLAN long-term mentoring program. The program pairs mentors with mentees for a year-long mentoring relationship. Anyone of any seniority can be a mentor—senior graduate students, for example, make great mentors. | ||
13:30 - 15:00 | Distributed and Replicated SystemsSPLASH OOPSLA at East Hall 1 Chair(s): Mohsen Lesani University of California at Santa Cruz | ||
13:30 18mTalk | Frashokereti: Non-aborting Optimistically Replicated Objects SPLASH OOPSLA Eric Man Chan University of California at Riverside, Javad Saberlatibari University of California at Riverside, Mohsen Lesani University of California at Santa Cruz DOI | ||
13:48 18mTalk | PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types SPLASH OOPSLA Julian Haas Technische Universität Darmstadt, Ragnar Mogk Technische Universität Darmstadt, Annette Bieniusa Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau, Mira Mezini Technische Universität Darmstadt; ATHENE; hessian.AI DOI Pre-print | ||
14:06 18mTalk | Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems SPLASH OOPSLA Elliott Slaughter SLAC National Accelerator Laboratory, Rupanshu Soi Stanford University, Michael Bauer NVIDIA Research, Alex Aiken Stanford University DOI | ||
14:24 18mTalk | Composing CRDTs Convergent by Construction SPLASH 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 18mTalk | Augur: Predicting View Serializability Violations in Relational Data Store Applications SPLASH OOPSLA Chujun Geng Ohio State University, Noah Charlton Ohio State University, Spyros Blanas Ohio State University, Michael D. Bond Ohio State University, Yang Wang Ohio State University DOI | ||
13:30 - 15:00 | |||
13:30 18mTalk | Sound State Encodings in Translational Separation Logic Verifiers SPLASH OOPSLA DOI | ||
13:48 18mTalk | Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands SPLASH OOPSLA DOI | ||
14:06 18mTalk | Sound and Complete Invariant-Based Heap Encodings SPLASH OOPSLA Zafer Esen Uppsala University, Philipp Ruemmer University of Regensburg; Uppsala University, Tjark Weber Uppsala University Link to publication DOI Pre-print | ||
14:24 18mTalk | Systematic Design of Separation Logics SPLASH OOPSLA Roberto Bruni University of Pisa, Lorenzo Gazzella University of Pisa, Roberta Gori University of Pisa DOI | ||
14:42 18mTalk | RGSep under Release/Acquire Consistency SPLASH OOPSLA DOI | ||
13:30 - 15:00 | |||
13:30 60mIndustry talk | The Anatomy of Machine Learning Compilersinvited-talk REBASE industry track Dimitris Vardoulakis NVIDIA | ||
14:30 30mIndustry talk | It's Alive!: AI and Live Programming REBASE industry track Gilad Bracha F5 Pre-print | ||
13:30 - 15:00 | |||
13:30 90mTalk | Tooling for Repeatable Generation of SBOMs for EDK2-Based Firmware FTA DOI | ||
13:30 90mTalk | SPIDER4TianoCore: Enhancing Patch-Propagation for the TianoCore UEFI Firmware Development Ecosystem FTA Laura Baird University of Colorado Colorado Springs (UCCS), Devin Haggitt University of Colorado Colorado Springs (UCCS), Terrance E. Boult University of Colorado Colorado Springs (UCCS), Aravind Machiry Purdue University, Armin Moin Purdue University | ||
13:30 - 15:00 | |||
13:30 90mTalk | Language design for Systems Summer School Mae Milano Princeton University | ||
13:30 - 15:00 | Set-Theoretic Types and Object EvolutionSPLASH OOPSLA at Junior Ballroom 1&2 Chair(s): Jonathan Aldrich Carnegie Mellon University | ||
13:30 18mTalk | Implementing Set-Theoretic Types SPLASH OOPSLA DOI | ||
13:48 18mTalk | Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching SPLASH OOPSLA Andong Fan University of Toronto, Lionel Parreaux Hong Kong University of Science and Technology, Ningning Xie University of Toronto DOI | ||
14:06 18mTalk | Type-Safe Monotonic Object Evolution SPLASH 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 18mTalk | Classifying Capabilities SPLASH OOPSLA DOI | ||
13:30 - 15:00 | Testing Compilers and SolversSPLASH OOPSLA at Junior Ballroom 3&4 Chair(s): Harrison Goldstein University at Buffalo | ||
13:30 18mTalk | BackSmith: A Systematic Approach to Testing Compiler Backends SPLASH OOPSLA Hongyu Chen Nanjing University, Yu Wang Nanjing University, Jianhua Zhao Nanjing University, Ke Wang Nanjing University DOI | ||
14:06 18mTalk | Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses SPLASH OOPSLA Yi Zhang Nanjing University, Yu Wang Nanjing University, Ke Wang Nanjing University, Linzhang Wang Nanjing University DOI | ||
14:24 18mTalk | Validating Optimizing SMT Solvers via Cross-Theory Approximation SPLASH OOPSLA Maolin Sun Nanjing University, Fuqi Jia Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences, Yibiao Yang Nanjing University, Yuming Zhou Nanjing University DOI | ||
13:30 - 15:00 | |||
13:30 40mTalk | Programs Should Be Comics, Their Execution — Animation SPLASH Onward! Essays Maciej Godek Gdynia Maritime University | ||
14:10 40mTalk | Towards Critical Abstraction for Software SPLASH Onward! Essays Alice Chung University of California, San Diego, Devamardeep Hayatpur University of California, San Diego, Philip Guo University of California San Diego, Tomas Petricek Charles University DOI | ||
15:00 - 15:30 | |||
15:30 - 17:00 | |||
15:30 18mTalk | Spatial and Temporal Decomposition for Faster Translation Validation SPLASH 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 DOI | ||
15:48 18mTalk | Efficient Extraction for Effectful E-graphs SPLASH 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; University of Washington, Eli Rosenthal Google, Zachary Tatlock University of Washington, Haobin Ni University of Washington DOI | ||
16:06 18mTalk | Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs SPLASH OOPSLA Bodhisatwa Chatterjee NVIDIA, Georgia Institute of Technology, Neeraj Jadhav Georgia Institute of Technology, Santosh Pande Georgia Institute of Technology DOI | ||
16:24 18mTalk | Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution SPLASH OOPSLA Charitha Saumya Intel, Muhammad Hassan Virginia Tech, Rohan Gangaraju University of Texas at Austin, Milind Kulkarni Purdue University, Kirshanthan Sundararajah Virginia Tech DOI Authorizer link Pre-print | ||
15:30 - 17:00 | Effects, Capabilities, and ImmutabilitySPLASH OOPSLA at East Hall 2 Chair(s): Alex Potanin Australian National University | ||
15:30 18mTalk | Revisiting Row Polymorphism for Set-Theoretic Types SPLASH OOPSLA Mickaël Laurent Charles University, Pierre Donat-Bouillud Czech Technical University, Filip Křikava Czech Technical University, Jan Vitek Charles University DOI | ||
15:48 18mTalk | Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness SPLASH OOPSLA DOI | ||
16:06 18mTalk | Transitive, Abstract, and Class Polymorphic ImmutabilityDistinguished Paper SPLASH 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 DOI | ||
16:24 18mTalk | Handling Exceptions and Effects with Automatic Resource Analysis SPLASH OOPSLA Ethan Chu Carnegie Mellon University, Yiyang Guo Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University DOI | ||
15:30 - 17:00 | |||
15:30 45mIndustry talk | GitHub Agentic Workflows Security: Under the Hood and Behind the Wheelinvited-talk REBASE industry track Landon Cox Microsoft Research | ||
16:15 45mIndustry talk | From Formal Methods to Fuzzing and Backinvited-talk REBASE industry track Alastair F. Donaldson Imperial College London | ||
15:30 - 17:00 | |||
15:30 90mTalk | An Empirical Study of the TianoCore Community FTA Nazanin Siavash University of Colorado Colorado Springs (UCCS), Connor Everett Glosner Purdue University, Ayushi Sharma Purdue University, Bianca Trinkenreich Colorado State University, Terrance E. Boult University of Colorado Colorado Springs (UCCS), Aravind Machiry Purdue University, Armin Moin Purdue University | ||
15:30 90mTalk | Firmware-Specific Security Guidelines FTA Tim Lewis Insyde Software DOI | ||
15:30 90mTalk | Enhancing Bug Report Templates in the TianoCore UEFI Firmware Development Community FTA Laura Baird University of Colorado Colorado Springs (UCCS), Neelesh Reddybattula University of Colorado Colorado Springs (UCCS), Nazanin Siavash University of Colorado Colorado Springs (UCCS), Terrance E. Boult University of Colorado Colorado Springs (UCCS), Armin Moin Purdue University | ||
15:30 90mTalk | From Silicon to Boot Code: Extending Automated Program Repair to Firmware-Layer Security Workarounds FTA DOI | ||
15:30 90mTalk | Meeting NSA’s “Guidance for Managing UEFI Secure Boot” FTA Kevin D. Davis Insyde Software DOI | ||
15:30 - 17:00 | |||
15:30 90mTalk | Analysis, verification, and testing of quantum software Summer School | ||
15:30 - 17:00 | LLMs for Code GenerationSPLASH OOPSLA / SPLASH SIGPLAN track at Junior Ballroom 1&2 Chair(s): Grigory Fedyukovich Florida State University | ||
15:30 18mTalk | EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows SPLASH 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 DOI | ||
15:48 18mTalk | Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation SPLASH OOPSLA Yihan Dai Peking University, Sijie Liang Peking University, Haotian Xu Peking University, Peichu Xie Independent, Sergey Mechtaev Peking University DOI | ||
16:06 18mTalk | T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics SPLASH OOPSLA Yan Wang Central University of Finance and Economics, Ling Ding Central University of Finance and Economics, Jiechen Sun Independent, 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 DOI | ||
16:24 18mTalk | InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration SPLASH OOPSLA Yunkun Wang Zhejiang University, Yue Zhang Alibaba, Guochang Li Zhejiang University, Chen Zhi Zhejiang University, Binhua Li Alibaba, Fei Huang Alibaba, Yongbin Li Alibaba, Shuiguang Deng Zhejiang University DOI | ||
16:42 18mTalk | TreeCoder: Systematic Exploration and Optimisation of Decoding and Constraints for LLM Code Generation SPLASH SIGPLAN track Henrijs Princis University of Bristol, Arindam Sharma Imperial College London, Cristina David University of Bristol | ||
15:30 - 17:00 | |||
15:30 40mTalk | Objects and classes will do SPLASH Onward! Essays | ||
16:10 40mTalk | (This is Not a Paper About) Mutation Driven Development SPLASH Onward! Essays Alex Groce Northern Arizona University | ||
18:00 - 21:00 | |||
18:45 - 20:45 | |||
18:45 2hPanel | OOPSLA 40th Anniversary Panel: Escaped from the Lab: ACM’s SPLASH Influences on the Future of Software? SPLASH /OOPSLA @ 40 Panel P: Steven D. Fraser Innoxec, P: Dennis Mancl MSWX Software Experts, P: Jonathan Aldrich Carnegie Mellon University, P: Kent Beck Thinkies, P: Crista Lopes University of California Irvine, P: Bertrand Meyer Eiffel Software, P: Mira Mezini Technische Universität Darmstadt; ATHENE; hessian.AI, P: Alex Potanin Australian National University, P: Douglas C. Schmidt William & Mary, P: Guy Steele Tech Squares | ||
Tue 6 OctDisplayed time zone: Pacific Time (US & Canada) change
Tue 6 Oct
Displayed time zone: Pacific Time (US & Canada) change
07:00 - 08:00 | Self-Guided Lake Merritt Morning WalkSocial Events at Hotel Lobby Meet at the hotel lobby. Map for the walk: https://www.alltrails.com/trail/us/california/lake-merritt | ||
08:30 - 10:00 | |||
08:30 60mTalk | Mojo: Towards One Systems Language for All Hardware SPLASH Keynotes | ||
08:30 - 10:00 | |||
08:30 5mDay opening | Welcome SAS Sébastien Bardin CEA List - Université Paris-Saclay, Aditya V. Thakur University of California at Davis | ||
08:35 30mTalk | Relaxed Residuation Theory - From Inversion to Abstract Interpretation beyond Classical Adjunctions SAS Isabella Mastroeni University of Verona | ||
09:05 30mTalk | Rocq Bottom: Beyond Soundness with Precise Reasoning about Analysis Precision SAS Matthieu Lemerre Université Paris-Saclay - CEA LIST | ||
09:35 30mTalk | Generator-Dense Galois Connections SAS Marco Campion Sorbonne Université, Mila Dalla Preda University of Verona, Roberto Giacobazzi University of Arizona, Antoine Miné Sorbonne Université, Caterina Urban Inria - École Normale Supérieure | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Fuzzing and Test GenerationSPLASH OOPSLA at East Hall 1 Chair(s): Michael Pradel CISPA Helmholtz Center for Information Security | ||
10:30 18mTalk | Hunting CUDA Bugs at Scale with cuFuzz SPLASH OOPSLA Link to publication DOI Pre-print Media Attached | ||
10:48 18mTalk | RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling SPLASH OOPSLA Yuchong Xie Fudan University; 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 Hong Kong University of Science and Technology DOI | ||
11:06 18mTalk | Metamorphic Testing for Infrastructure-as-Code Engines SPLASH OOPSLA David Spielmann University of St. Gallen, George Zakhour University of St. Gallen, Dominik Arnold University of Zurich, Matteo Biagiola USI Lugano; University of St. Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen Link to publication DOI Pre-print | ||
11:24 18mTalk | Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios SPLASH OOPSLA DOI | ||
11:42 18mTalk | OBsmith: LLM-Powered JavaScript Obfuscator Testing SPLASH OOPSLA Shan Jiang University of Texas at Austin, Chenguang Zhu University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin DOI File Attached | ||
10:30 - 12:00 | REBASE 4REBASE industry track at Grand Ballroom Salons A+B Chair(s): Filip Křikava Czech Technical University | ||
10:30 45mIndustry talk | A Simple Compiler Tutorialinvited-talk REBASE industry track Cliff Click me | ||
11:15 45mIndustry talk | A Compiler And Visualizer Design For Debugger Visualization Expressionsinvited-talk REBASE industry track | ||
10:30 - 12:00 | Quantum ComputingSAS at Grand Ballroom Salons C Chair(s): Sébastien Bardin CEA List - Université Paris-Saclay | ||
10:30 60mKeynote | Static Analysis of Quantum Programs SAS Jens Palsberg University of California at Los Angeles | ||
11:30 30mTalk | GPU-Accelerated Host-Aware Dead-Measurement Detection in Hybrid Quantum--Classical Programs SAS Yanbin Chen Technical University of Munich, Qunyou Liu EPFL, Yu Wang Technical University of Munich, Christian Mendl Technical University of Munich, Helmut Seidl TU Munich | ||
10:30 - 12:00 | |||
10:30 10mDay opening | Opening Remarks SpecOps Rajdeep Mukherjee Amazon, USA | ||
10:40 60mKeynote | Intent Formalization: Assessing the Quality of AI-Generated Formal Program Specifications SpecOps Shuvendu K. Lahiri Microsoft Research | ||
11:40 20mTalk | Grounding AI Agents in Contracts: An Empirical Evaluation of Spec-Driven Test Generation SpecOps Michele Tufano Google, James McClure , José Pablo Cambronero Google, USA, Sam Cheng Google, Sherry Shi Google, Renyao Wei Google, Dorothy Chen , Franjo Ivančić Google, Livio Dalloro Google, Patrick Rondon Google | ||
10:30 - 12:00 | |||
10:30 90mTalk | Co-Active AI-Assisted Programming Summer School S: Nadia Polikarpova University of California at San Diego, S: Raven Rothkopf University of California San Diego | ||
10:30 - 12:00 | Proof Automation and Theorem ProvingSPLASH OOPSLA at Junior Ballroom 1&2 Chair(s): Zachary Tatlock University of Washington | ||
10:30 18mTalk | Infinitary Relational Logic SPLASH OOPSLA Vladimir Gladshtein National University of Singapore, Qiyuan Zhao National University of Singapore, Yuxi Ling National University of Singapore, Sean Wang Princeton University, Ilya Sergey National University of Singapore DOI | ||
10:48 18mTalk | TensorRocq: Enabling Diagrammatic Reasoning in Rocq SPLASH OOPSLA Ben Caldwell University of Chicago, William Spencer University of Chicago, Aleks Kissinger University of Oxford, Robert Rand University of Chicago DOI | ||
11:06 18mTalk | A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL SPLASH OOPSLA Qiyuan Xu Nanyang Technological University, Renxi Wang MBZUAI, Peixin Wang East China Normal University, Haonan Li MBZUAI, Conrad Watt Nanyang Technological University DOI | ||
10:30 - 12:00 | Semantics and CalculiSPLASH OOPSLA at Junior Ballroom 3&4 Chair(s): Stephen Kell King's College London | ||
10:30 18mTalk | Commuting Conversions and Join Points for Call-by-Push-ValueDistinguished Paper SPLASH OOPSLA Jonathan Chan University of Pennsylvania, Madi Gudin Amherst College, Annabel Levy University of Maryland, Stephanie Weirich University of Pennsylvania Link to publication DOI | ||
10:48 18mTalk | Differential Execution with Lexical Tracing SPLASH OOPSLA DOI | ||
11:06 18mTalk | MGQL: An Executable, Small-Step Semantics of GQL SPLASH OOPSLA Aditya Thimmaiah University of Texas at Austin, Tong-Nong Lin University of Texas at Austin, Milos Gligoric University of Texas at Austin DOI Pre-print | ||
11:24 18mTalk | Towards Concise Binding Semantics of Late-Bound OOP Systems SPLASH OOPSLA Joel Jakubovic Charles University DOI Pre-print | ||
11:42 18mTalk | Semantics for 2D Rasterization SPLASH OOPSLA Bhargav Kulkarni University of Utah, Henry Whiting University of Utah, Pavel Panchekha University of Utah DOI Pre-print | ||
10:30 - 12:00 | Program Analysis, Verification & DebuggingTool Demonstrations at OCC 202 Chair(s): Vesal Vojdani University of Tartu | ||
10:30 18mPaper | FlowLog: Re-thinking Datalog for Fast and Extensible Static Analysis Tool Demonstrations A: Zhenghong Yu University of Wisconsin-Madison, A: Hangdong Zhao Microsoft Gray Systems Lab, A: Wanzhu Hou University of Wisconsin-Madison, A: Paraschos Koutris University of Wisconsin-Madison | ||
10:48 18mTalk | Fusion: A Fold and Unfold Annotation Synthesis Tool for Viper-Based Verification Tool Demonstrations A: Joonghoon Lee Korea University, A: Nicolas Klose ETH Zurich, A: Seokhyun Lee Korea University, South Korea, A: Peter Müller ETH Zurich, A: Hakjoo Oh Korea University | ||
11:06 18mPaper | VarCHEKER: A Variability-based Static Analyzer for Python Applications Tool Demonstrations A: Chin Khor Iowa State University, A: Robyn Lutz Iowa State University, A: Amir Niaraki Musco Sports Lighting | ||
11:24 18mPaper | Iekkë: A Bounded-Round Partial-Order Encoding Verification Tool for Concurrent C Programs Tool Demonstrations A: Paolo Di Biase Gran Sasso Science Institute, A: Bernd Fischer Stellenbosch University, A: Salvatore La Torre Università degli Studi di Salerno, A: Peter Schrammel Diffblue Ltd, A: Gennaro Parlato University of Molise | ||
11:42 18mPaper | Diffpoints: Breakpoints Comparing Values of Variables Tool Demonstrations A: Filip Čmilňák Technical University of Košice, A: Matúš Sulír Technical University of Košice, A: Milan Nosáľ ValeSoft, s.r.o. Link to publication Media Attached | ||
10:30 - 12:00 | |||
10:30 40mTalk | Agents as Software: A Programming Languages Agenda for Agent Reliability SPLASH Onward! Essays | ||
11:10 40mTalk | The Conversation We're Not Having About AI in Peer Review SPLASH Onward! Essays | ||
12:00 - 13:30 | |||
13:30 - 15:00 | Quantum ProgrammingSPLASH OOPSLA at East Hall 2 Chair(s): Jens Palsberg University of California at Los Angeles | ||
13:30 18mTalk | Compiling Quantum Regular Language States SPLASH OOPSLA Armando Bellante Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Reinis Irmejs Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Marta Florido-Llinàs Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, María Cea Fernández Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Marianna Crupi Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology, Matthew Kiser TU Munich; IQM Quantum Computers, J. Ignacio Cirac Max Planck Institute of Quantum Optics; Munich Center for Quantum Science and Technology DOI | ||
13:48 18mTalk | Quantum Monte Carlo Estimation via Probabilistic Programming SPLASH OOPSLA Seungmin Jeon KAIST, Jaeho choi HyperAccel, Jonguk Jeon KAIST, Kanguk Lee KAIST, Kyeongmin Cho Rebellions, Sukyoung Ryu KAIST, Jeehoon Kang FuriosaAI DOI | ||
14:06 18mTalk | Synthesis of Compact and Expressive Quantum-Circuit Optimizations SPLASH OOPSLA DOI Pre-print | ||
14:24 18mTalk | Granthi: Higher-Order Quantum Programming via Unitary Wiring SPLASH OOPSLA DOI | ||
14:42 18mTalk | Verifying Repeat-until-Success Protocols using Automata SPLASH 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 National Taiwan University, You-Jie Wu National Taipei University of Technology DOI | ||
13:30 - 15:00 | REBASE 5REBASE industry track at Grand Ballroom Salons A+B Chair(s): Filip Křikava Czech Technical University | ||
13:30 60mIndustry talk | A Taste of Verseinvited-talk REBASE industry track Jan Vitek Charles University | ||
13:30 - 15:00 | |||
13:30 30mTalk | A Lattice of Union-Finds SAS Dorian Lesbre Université Paris-Saclay - CEA LIST, Matthieu Lemerre Université Paris-Saclay - CEA LIST | ||
14:00 30mTalk | A Modular Framework for Stack-Heap and Value Abstractions SAS Giacomo Boldini Ca' Foscari University of Venice, Luca Negrini Ca’ Foscari University of Venice, Luca Olivieri University Ca' Foscari, Venice, Pietro Ferrara Ca’ Foscari University of Venice | ||
14:30 30mTalk | Shape Abstraction of Thread Interferences SAS Valentin Barbazo École Normale Supérieure | Université PSL, Xavier Rival Inria - CNRS - Ecole Normale Superieure de Paris - PSL University | ||
13:30 - 15:00 | |||
13:30 60mTalk | Bridging Requirements and Assurance: Neurosymbolic Autoformalization for C++ Verification and Requirements-Coverage Testing SpecOps Corina S. Pasareanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center, Joe Ruthland Amazon | ||
14:30 15mTalk | Specifications for Humans, Agents, and Tooling SpecOps Mark Marron University of Kentucky | ||
14:45 15mTalk | SPINACH: Inferring Properties of Web Applications for Property-Based Testing SpecOps | ||
13:30 - 15:00 | |||
13:30 90mTalk | Property-Based Testing and Fuzzing with Formal Specifications Summer School | ||
13:30 - 15:00 | Session Types and ConcurrencySPLASH OOPSLA at Junior Ballroom 1&2 Chair(s): Peter Thiemann University of Freiburg | ||
13:30 18mTalk | Speak Now: Safe Actor Programming with Multiparty Session Types SPLASH OOPSLA DOI | ||
13:48 18mTalk | Mixed Choice in Asynchronous Multiparty Session Types SPLASH OOPSLA Laura Bocchi University of Kent, Raymond Hu Queen Mary University of London, Adriana Laura Voinea University of Glasgow, Simon Thompson University of Kent DOI | ||
14:06 18mTalk | Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols SPLASH OOPSLA DOI | ||
14:24 18mTalk | A Design Space Exploration of Async/Await SPLASH OOPSLA DOI Pre-print | ||
13:30 - 15:00 | Verifying Real SystemsSPLASH OOPSLA at Junior Ballroom 3&4 Chair(s): Bor-Yuh Evan Chang University of Colorado Boulder; Amazon | ||
13:30 18mTalk | Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications SPLASH OOPSLA Shenghao Yuan Zhejiang University, Yazhou Tang Zhejiang University, Tianci Cao Zhejiang University, Frédéric Besson Inria Rennes, Jean-Pierre Talpin Inria, Mingshuai Chen Zhejiang University DOI | ||
13:48 18mTalk | ZSafe: Proving the Safety of Proprietary Hardware Designs in Zero Knowledge SPLASH OOPSLA Zhaoxiang Liu Kansas State University, James Parker Ossa Network, Ning Luo University of Illinois at Urbana-Champaign DOI | ||
14:06 18mTalk | Equivalence Checking of ML GPU Kernels SPLASH OOPSLA Benjamin Driscoll Stanford University, Kshitij Dubey Microsoft Research, Anjiang Wei Stanford University, Neeraj Kayal Microsoft Research, Rahul Sharma Google DeepMind, Alex Aiken Stanford University DOI | ||
14:24 18mTalk | AADT: Abstract Abstract Data Types SPLASH OOPSLA Julien Simonnet Université Paris-Saclay - CEA LIST, Matthieu Lemerre Université Paris-Saclay - CEA LIST, Mihaela Sighireanu Université Paris-Saclay - ENS Paris-Saclay - CNRS - LMF DOI | ||
14:42 18mTalk | RAT-CAT-SAT: Model Checking Memory Consistency Models SPLASH OOPSLA DOI | ||
13:30 - 15:00 | |||
13:30 - 15:00 | Testing & Quality AssuranceTool Demonstrations at OCC 202 Chair(s): Soneya Binta Hossain University of Texas at Dallas | ||
13:30 18mPaper | Dredd: Scalable Source-Level Mutation Testing for Large C/C++ Codebases Tool Demonstrations A: Alastair F. Donaldson Imperial College London, A: James Lee-Jones Imperial College London, A: Jonathan Foo Imperial College London | ||
13:48 18mPaper | WGSLsmith: Randomised Testing for the WebGPU Shading Language Tool Demonstrations A: Michał Andryskowski Imperial College London, A: Amber Gorzynski Imperial College London, A: Hasan Mohsin Imperial College London, A: Alastair F. Donaldson Imperial College London | ||
14:06 18mPaper | ADEPT: A Unified Framework for Deep Learning Test Adequacy Tool Demonstrations A: Yidi Kao Auburn University, A: Shawn Burnham Auburn University, A: Tommi Rose Fahy Auburn University, A: Ali Ghanbari Auburn University | ||
14:24 18mPaper | PyMut4SE: Comprehensive Mutation Testing for Python Tool Demonstrations A: Laura Plein CISPA Helmholtz Center for Information Security, A: Matthieu Jimenez SnT, University of Luxembourg, A: Mike Papadakis University of Luxembourg | ||
14:42 18mPaper | SCOUT: A Scenario-Guided Unit Test Generation Tool for Compact Open-Source LLMs Tool Demonstrations A: Myungho Lee Samsung SDS, A: Seokhyeon Moon Samsung SDS, A: Yoon-Chan Jhi Technology Research, Samsung SDS, Seoul, South Korea, A: Hakjoo Oh Korea University | ||
13:30 - 15:00 | |||
13:30 30mTalk | Proxies All the Way Down: Bootstrapping a Userland Speculative Optimizer for the OpenSmalltalk VM SPLASH Onward! Papers Christoph Thiede Hasso Plattner Institute, University of Potsdam, Marius Dörbandt Hasso Plattner Institute, University of Potsdam, Eliot Miranda Cadence Design Systems, Marcel Taeumel University of Potsdam; Hasso Plattner Institute, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam DOI Media Attached | ||
14:00 30mTalk | Escaping the DAG Dogma: Toward Modular Reactive Architectures SPLASH Onward! Papers | ||
14:30 30mTalk | Glassbox Debugging: Code as Interface for No-Code SPLASH Onward! Papers | ||
15:00 - 15:30 | |||
15:30 - 17:00 | Compiler Optimization and Code GenerationSPLASH OOPSLA at East Hall 1 Chair(s): Kirshanthan Sundararajah Virginia Tech | ||
15:30 18mTalk | Class-Dictionary Specialization with Rank-2 Polymorphic Functions SPLASH OOPSLA Link to publication DOI Pre-print | ||
15:48 18mTalk | Automatic Propagation of Profile Information through the Optimization Pipeline SPLASH OOPSLA Elisa Frohlich Federal University of Minas Gerais, Angelica Moreira Microsoft Research, Fernando Magno Quintão Pereira Federal University of Minas Gerais DOI | ||
16:06 18mTalk | Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions SPLASH 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 at Urbana-Champaign, Jai Arora University of Illinois at Urbana-Champaign, Charith Mendis University of Illinois at Urbana-Champaign DOI Pre-print | ||
16:24 18mTalk | Symbolic Basic Block Profiling for Machine Learning Kernels SPLASH OOPSLA Jingyu Qiu University of Rochester, Rongcui Dong University of Rochester, Sreepathi Pai University of Rochester DOI | ||
16:42 18mTalk | Filtr: Compiling Bioinformatics Recurrences SPLASH OOPSLA Bala Vinaithirthan Stanford University, Shiv Sundram Stanford University, Sneha Goenka Princeton University, Fredrik Kjolstad Stanford University DOI | ||
15:30 - 17:00 | Refinement Types and Functional ProgrammingSPLASH OOPSLA at East Hall 2 Chair(s): Nadia Polikarpova University of California at San Diego | ||
15:30 18mTalk | PLEX: Normalization for Refinement Types SPLASH OOPSLA Alessio Ferrarini IMDEA Software Institute; Universidad Politécnica de Madrid, Niki Vazou IMDEA Software Institute, Wouter Swierstra Utrecht University Link to publication DOI | ||
15:48 18mTalk | First-Class Refinement Types for Scala SPLASH OOPSLA Link to publication DOI | ||
16:06 18mTalk | Effectively Propositional Higher-Order Functional Programming SPLASH 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 Boulder DOI | ||
16:24 18mTalk | DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types SPLASH OOPSLA Timon Böhler TU Darmstadt, Tobias Reinhard TU Darmstadt, David Richter TU Darmstadt, Mira Mezini Technische Universität Darmstadt; ATHENE; hessian.AI DOI Pre-print | ||
15:30 - 17:00 | |||
15:30 45mIndustry talk | The Era of Coding Agentsinvited-talk REBASE industry track Satish Chandra Meta Platforms, Inc. | ||
16:15 30mIndustry talk | Cohesive Agent Teams with Central Agent Registry REBASE industry track Vivek Krishna Choppa Amazon Web Services, USA | ||
15:30 - 17:00 | Thread-Modular Abstract InterpretationSAS at Grand Ballroom Salons C Chair(s): Aditya V. Thakur University of California at Davis | ||
15:30 90mTutorial | Thread-Modular Abstract Interpretation with Goblint SAS | ||
15:30 - 17:00 | |||
15:30 60mKeynote | Unlocking Safe Agentic Autonomy through Verification SpecOps | ||
16:30 20mTalk | RuSMT: An Executable Semantics as Conformance Oracle and Test Suite Synthesizer SpecOps Link to publication | ||
16:50 10mDay closing | Closing Remarks SpecOps Anastasia Mavridou KBR Inc / NASA Ames Research Center | ||
15:30 - 17:00 | |||
15:30 90mTalk | Scalable Reasoning for Probabilistic Programs Summer School | ||
15:30 - 17:00 | Smart Contracts and BlockchainSPLASH OOPSLA at Junior Ballroom 3&4 Chair(s): Chandrakana Nandi Certora; University of Washington | ||
15:30 18mTalk | SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models SPLASH OOPSLA Shihao Xia Pennsylvania State University, Mengting He Pennsylvania State University, Shuai Shao University of Connecticut, Tingting Yu University of Connecticut, Yiying Zhang University of California at San Diego, Nobuko Yoshida University of Oxford, Linhai Song Institute of Computing Technology at Chinese Academy of Sciences DOI | ||
15:48 18mTalk | When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure SPLASH OOPSLA Jie Ma Beihang University; Zhongguancun Laboratory, Ningyu He Hong Kong Polytechnic University, Jinwen Xi Zhongguancun Laboratory, Mingzhe Xing Zhongguancun Laboratory, Liangxin Liu Beihang University, luojiushenzi Beijing Institute of Technology; Zhongguancun Laboratory, Xiaopeng Fu Beijing Institute of Technology; Zhongguancun Laboratory, Chiachih Wu Amber Group, Haoyu Wang Huazhong University of Science and Technology, Ying Gao Beihang University; Zhongguancun Laboratory, Yinliang Yue Zhongguancun Laboratory DOI | ||
16:06 18mTalk | Verifying Economic Security of Smart Contracts via Unintended Return SPLASH OOPSLA DOI | ||
16:24 18mTalk | Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation SPLASH OOPSLA Zongrui Peng Tsinghua University, Jingzhou Fu Tsinghua University, Zhiyong Wu Tsinghua University, Jie Liang Beihang University, Xiangdong Huang Tsinghua University, Dalong Shi Aviation Industry Corporation of China, Yu Jiang Tsinghua University DOI | ||
15:30 - 17:00 | |||
15:30 - 17:00 | |||
15:30 30mTalk | Relational Agenda Programming: A Uniform Execution Model for Embedded Reasoning Systems SPLASH Onward! Papers Andrew Shi-hwa Chen Minnesota State University Moorhead | ||
16:00 30mTalk | Croquetify: Transforming Single-User Functional Reactive Programs into Multi-User Applications SPLASH Onward! Papers Yoshiki Ohshima Independent Contractor, Shizuoka University, Aran Lunzer Independent Software Engineer, David A Smith Independent Software Engineer | ||
16:30 30mTalk | The Developer as Curator: A Canvas for Coding Agent Context SPLASH Onward! Papers Lukas Böhme Hasso Plattner Institute, University of Potsdam, Potsdam, Germany, Tom Beckmann Kyoto University of Advanced Science, Michael Perscheid SAP Innovation Center Potsdam, Robert Hirschfeld Hasso Plattner Institute; University of Potsdam | ||
17:00 - 18:00 | SPLASH/OOPSLA Town HallSPLASH OOPSLA at East Hall Chair(s): Işıl Dillig University of Texas at Austin, Anders Møller Aarhus University | ||
17:00 60mMeeting | SPLASH/OOPSLA Town Hall and Program Chairs Report SPLASH OOPSLA | ||
19:30 - 22:00 | Women@SPLASH/ISSTA DInnerSocial Events at Hotel Lobby The Women@SPLASH/ISSTA dinner is a women-centered space with the goal of building relationships and informal networking. Please meet in the hotel lobby; we will walk over together. The dinner itself takes place at District Oakland. | ||
Wed 7 OctDisplayed time zone: Pacific Time (US & Canada) change
Wed 7 Oct
Displayed time zone: Pacific Time (US & Canada) change
07:00 - 08:00 | Self-Guided Lake Merritt Morning WalkSocial Events at Hotel Lobby Meet at the hotel lobby. Map for the walk: https://www.alltrails.com/trail/us/california/lake-merritt | ||
07:15 - 08:00 | |||
08:15 - 08:30 | |||
08:30 - 10:00 | |||
08:30 60mTalk | The Augmented Forest SPLASH Keynotes | ||
08:30 - 10:00 | Information Flow and PrivacySAS at Grand Ballroom Salons E+F+G+H Chair(s): Sébastien Bardin CEA List - Université Paris-Saclay | ||
09:00 30mTalk | PEG for information flow: analysis and incremental reasoning SAS | ||
09:30 30mTalk | Verifying ε-Differential Privacy Bit by Bit SAS | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Analysing Dependencies and AlarmsSPLASH OOPSLA at East Hall 1 Chair(s): Manu Sridharan University of California at Riverside | ||
10:30 18mTalk | Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages SPLASH OOPSLA Andrea Gilot Uppsala University, Tobias Wrigstad Uppsala University, Eva Darulova Uppsala University DOI Pre-print | ||
10:48 18mTalk | A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs SPLASH OOPSLA Zhongyi Wang Zhejiang University, Tengjie Lin Zhejiang University, Mingshuai Chen Zhejiang University, Haokun Li Peking University, Mingqi Yang Zhejiang University, Xiao Yi 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 DOI | ||
11:06 18mTalk | Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation SPLASH OOPSLA DOI | ||
11:24 18mTalk | CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses SPLASH OOPSLA Jianhao Xu Southeast University, Kunbo Zhang State Key Laboratory for Novel Software Technology at Nanjing University, Mathias Payer EPFL, Kangjie Lu University of Minnesota, Bing Mao State Key Laboratory for Novel Software Technology at Nanjing University DOI | ||
10:30 - 12:00 | Concurrent and Distributed SystemsISSTA Research papers at East Hall 2 Chair(s): Luís Pina University of Illinois Chicago | ||
10:30 18mTalk | SemantiX: A Compatibility Checker between Applications and Compositions of Distributed SystemsDistinguished Paper ISSTA Research papers | ||
10:48 18mTalk | CONCUR: Benchmarking LLMs for Concurrent Code Generation ISSTA Research papers Jue Huang University of Queensland, Tarek Mahmud Texas A&M University-Kingsville, Corina S. Păsăreanu Carnegie Mellon University; NASA Ames, Guowei Yang University of Queensland | ||
11:06 18mTalk | 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 18mTalk | 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 18mTalk | 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 | ||
10:30 - 12:00 | |||
10:30 45mIndustry talk | Programming Languages in the Agentic Coding Era: Agentic Coding is not going to save C++ REBASE industry track Kathryn S McKinley Google | ||
11:15 45mIndustry talk | Formal Verification of Hardware With An AI Theorem Proverinvited-talk REBASE industry track Satnam Singh Harmonic | ||
10:30 - 12:00 | |||
10:30 15mDay opening | Welcome from the Chairs NSAD | ||
10:45 75mKeynote | Numerical Abstract Domains for Trustworthy Code TranspilationKeynote NSAD Laura Titolo Code Metal | ||
10:30 - 12:00 | Agentic ReasoningSAS at Grand Ballroom Salons E+F+G+H Chair(s): Aditya V. Thakur University of California at Davis | ||
10:30 45mKeynote | Agentic Code Reasoning SAS Satish Chandra Meta Platforms, Inc. | ||
11:15 30mTalk | NEAT: Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis SAS Jacqueline L. Mitchell University of Southern California, Chao Wang University of Southern California | ||
10:30 - 12:00 | Ownership, Lifetimes and RegionsSPLASH OOPSLA at Junior Ballroom 1&2 Chair(s): Jenna DiVincenzo (Wise) Purdue University | ||
10:30 18mTalk | Tracking Borrows with Regular Expressions SPLASH OOPSLA Todd Nowacki Mysten Labs, Sam Blackshear Mysten Labs, John Mitchell Stanford University, Shaz Qadeer Microsoft, Ilya Sergey National University of Singapore DOI | ||
10:48 18mTalk | When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking SPLASH OOPSLA Siyuan He Purdue University, Songlin Jia Purdue University, Yuyan Bao Augusta University, Tiark Rompf Purdue University DOI | ||
11:06 18mTalk | Fully-Automatic Type Inference for Borrows with Lifetimes SPLASH OOPSLA William Brandon Massachusetts Institute of Technology, Benjamin Driscoll Stanford University, Frank Dai Unaffiliated, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Mae Milano Princeton University, Alex Aiken Stanford University DOI | ||
11:24 18mTalk | Scylla: Translating an Applicative Subset of C to Safe RustDistinguished Paper SPLASH OOPSLA DOI | ||
10:30 - 12:00 | LLM Agents for Issue Resolution and Program RepairISSTA Research papers at Junior Ballroom 3&4 Chair(s): Wing Lam University of Illinois at Urbana-Champaign | ||
10:30 18mTalk | Lingxi: Repository-Level Issue Resolution Framework Enhanced by Procedural Knowledge Guided ScalingDistinguished Paper ISSTA Research papers Xu Yang University of Manitoba, Jiayuan Zhou Huawei, Michael Pacheco Centre for Software Excellence, Huawei, Wenhan Zhu Huawei Canada, Pengfei He University of Manitoba, Shaowei Wang University of Manitoba, Kui Liu Huawei, Ruiqi Pan Huawei Technologies Co., Ltd. | ||
10:48 18mTalk | Automated Program Repair for UI-centric Android Bugs: How Far are We? ISSTA Research papers Junayed Mahmud University of Central Florida, Sparsh Pandey University of Central Florida, Nadeeshan De Silva William & Mary, Atish Kumar Dipongkor University of Central Florida, Jingjing Wu University of Minnesota, Oscar Chaparro William & Mary, Mattia Fazzini University of Minnesota, Kevin Moran University of Central Florida | ||
11:06 18mTalk | SWE-PDB: Teaching LLMs to Leverage Debugging Tools via Agentic Training ISSTA Research papers | ||
11:24 18mTalk | IssueExec: A Test-Driven Approach for Localizing Software Engineering Issues ISSTA Research papers Jiawei Liu Shanghai Jiao Tong University, Yun Lin Shanghai Jiao Tong University, Chenyan Liu Shanghai Jiao Tong University; National University of Singapore, Yu Qian Shanghai Jiao Tong University, Liu Yiming Shanghai JiaoTong University; Shanghai Innovation Institute, Jiaxin Chang Shanghai Jiao Tong University, Weinan Zhang Shanghai Jiao Tong University; Shanghai Innovation Institute, Linpeng Huang Shanghai Jiao Tong University | ||
11:42 18mTalk | Understanding Automated Program Repair Agents Through the Lens of Traceability: An Empirical Study ISSTA Research papers Ira Ceka Columbia University, Hailie Mitchell Columbia University, Saurabh Pujar IBM Research AI, Luca Buratti IBM Research, Shyam Ramji IBM Research, Junfeng Yang Columbia University, Gail Kaiser Columbia University, Baishakhi Ray Columbia University | ||
12:00 - 13:30 | |||
12:00 - 13:30 | SPLASH Steering Committee LunchSocial Events at OCC 201 Attendees will just need to grab food from the main buffet. | ||
12:00 - 13:30 | ISSTA Steering Committee LunchSocial Events at OCC 202 Attendees will just need to grab food from the main buffet. | ||
12:00 - 13:30 | LGBTQ+ LunchSocial Events at OCC 208 The LGBTQ+@SPLASH/ISSTA lunch brings together members of the LGBTQ+ community to provide opportunities for networking and community building. Anyone who identifies as a member of the LGBTQIA+ community is welcome. | ||
13:30 - 15:00 | Property-Based Testing and Test QualitySPLASH OOPSLA at East Hall 1 Chair(s): Jonathan Bell Northeastern University | ||
13:30 18mTalk | Block Tests SPLASH OOPSLA Kevin Guan Cornell University, Pengyue Jiang Cornell University, Milos Gligoric University of Texas at Austin, Owolabi Legunsen Cornell University DOI | ||
13:48 18mTalk | Detecting Flaky Tests by Controlling Nondeterministic API Behavior SPLASH OOPSLA Hengchen Yuan University of Texas at Austin, Jiefang Lin University of Texas at Austin, August Shi University of Texas at Austin DOI | ||
14:06 18mTalk | Random Testing via Runtime Abstract Interpretation SPLASH OOPSLA DOI | ||
14:24 18mTalk | Testing Theorems, Fully Automatically SPLASH OOPSLA Segev Elazar Mittelman University of Maryland, Harrison Goldstein University at Buffalo, Leonidas Lampropoulos University of Maryland DOI | ||
14:42 18mTalk | Fail Faster: Staging and Fast Randomness for High-Performance PBT SPLASH OOPSLA Cynthia Richey University of Pennsylvania, Joseph W. Cutler University of Pennsylvania, Harrison Goldstein University at Buffalo, Benjamin C. Pierce University of Pennsylvania DOI | ||
13:30 - 15:00 | Agentic Software DevelopmentISSTA Research papers at East Hall 2 Chair(s): Aashish Yadavally University of Central Florida | ||
13:30 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 Link to publication DOI Pre-print | ||
13:30 - 15:00 | |||
13:30 45mIndustry talk | Autonomous Testing with Time-Traveling Agents in a Chaotic Multiverse REBASE industry track Rohan Padhye Carnegie Mellon University and Antithesis | ||
14:15 30mIndustry talk | Specification-Driven Code Validation via Automated Test Generation and Mutation Analysis REBASE industry track Rajdeep Mukherjee Amazon, USA | ||
13:30 - 15:00 | |||
13:30 30mTalk | Inferring Numerical Abstract Domain Types from Concrete Program StatesFull Paper NSAD Kenny Ballou California State University San Marcos, Teddy Moore Boise State University, Elena Sherman Boise State University | ||
14:00 30mTalk | Minimal Comparison of Octagonal Abstract DomainsFull Paper NSAD | ||
14:30 30mTalk | Quantum Computing and Static Analysis: State of the Art and Research OpportunitiesVirtualFull Paper NSAD Greta Dolcetti Ca’ Foscari University of Venice, Giulio Zizzo IBM Research Ireland, Vincenzo Arceri University of Parma, Italy, Sergio Maffeis Imperial College London, Agostino Cortesi Ca’ Foscari University of Venice | ||
13:30 - 15:00 | Security and Information FlowSPLASH OOPSLA at Junior Ballroom 1&2 Chair(s): Mae Milano Princeton University | ||
13:30 18mTalk | (Dis)Proving Spectre Security with Speculation-Passing Style SPLASH OOPSLA Santiago Arranz Olmos MPI-SP, Gilles Barthe MPI-SP; IMDEA Software Institute, Lionel Blatter MPI-SP, Xingyu Xie MPI-SP, Zhiyuan Zhang MPI-SP DOI | ||
13:48 18mTalk | Decompiling for Constant-Time Analysis SPLASH OOPSLA Santiago Arranz Olmos MPI-SP, Gilles Barthe MPI-SP; IMDEA Software Institute, Lionel Blatter MPI-SP, Youcef Bouzid ENS Paris-Saclay, Sören van der Wall TU Braunschweig, Zhiyuan Zhang MPI-SP DOI | ||
14:06 18mTalk | Sound Enforcement of Dynamic Release Information Flow Policy SPLASH OOPSLA DOI Pre-print | ||
14:24 18mTalk | A Type System for Optimizing Dynamic IFC SPLASH OOPSLA Daniel Galán Pascual ETH Zurich, François Hublet ETH Zurich, Srđan Krstić ETH Zurich, Roman Fischer ETH Zurich, Colin Pfingstl ETH Zurich, David Basin ETH Zurich DOI | ||
13:30 - 15:00 | Program Comprehension, Documentation, and Code ReviewISSTA Research papers at Junior Ballroom 3&4 Chair(s): Jinsheng Ba The Chinese University of Hong Kong, Shenzhen | ||
13:30 18mTalk | XSearch: Explainable Code Search via Concept-to-Code Alignment ISSTA Research papers Liu Yiming Shanghai JiaoTong University; Shanghai Innovation Institute, Ruofan Liu National University of Singapore, Singapore, Yun Lin Shanghai Jiao Tong University, Zicong Zhang Shanghai Jiao Tong University, Weiyu Kong Shanghai Jiao Tong University, Pengnian Qi Huawei Technologies Co., Ltd, Xiao Cheng Huawei Technologies Co., Ltd., Weinan Zhang Shanghai Jiao Tong University; Shanghai Innovation Institute, Qianxiang Wang Huawei Technologies Co., Ltd, Linpeng Huang Shanghai Jiao Tong University | ||
13:48 18mTalk | Do Large Language Models Understand Code like Humans? ISSTA Research papers Xiaokai Rong University of Texas at Dallas, Aashish Yadavally University of Central Florida, Hridya Dhulipala University of Texas at Dallas, Anh H. N. Nguyen The University of Texas at Dallas, Tien N. Nguyen University of Texas at Dallas | ||
14:06 18mTalk | Silence of Commit Messages: An Empirical Study for Vulnerability Commit Message Generation using Large Language Models ISSTA Research papers Hao Shen East China Normal University, Ming Hu East China Normal University, China, JiayeLi East China Normal University, Xiaofei Xie Singapore Management University, Mingsong Chen East China Normal University File Attached | ||
14:24 18mTalk | DocPrism: Multi-Lingual Detection of Incorrectness Inconsistencies Between Code and Documentation ISSTA Research papers Xiaomeng Xu University of British Columbia, Zahin Wahab University of British Columbia, Reid Holmes University of British Columbia, Caroline Lemieux University of British Columbia | ||
14:42 18mTalk | Evaluating the Impact of Explainable AI on Trust in AI-Assisted Code ReviewDistinguished Paper ISSTA Research papers Zhenhan Gao Technical University of Munich, Marvin Muñoz Barón Technical University of Munich, Umm-e Habiba Technical University Munich, Daniel Graziotin University of Hohenheim, Stefan Wagner Technical University of Munich | ||
15:00 - 15:30 | |||
15:30 - 17:00 | Languages for Data and InteractionSPLASH OOPSLA at East Hall 1 Chair(s): Saba Alimadadi Simon Fraser University | ||
15:30 18mTalk | Timeline: Adding the Time Dimension to Spreadsheets SPLASH OOPSLA DOI Pre-print | ||
15:48 18mTalk | Direct Manipulation and Natural Language Programming, Together at Last? SPLASH OOPSLA Parker Ziegler University of California at Berkeley, David Minh-Duy Cao University of California at Berkeley, Justin Lubin University of California at Berkeley, Sarah E. Chasins University of California at Berkeley DOI Pre-print | ||
16:06 18mTalk | Geo: A Query Rewrite Framework for Graph Pattern Mining SPLASH OOPSLA Nazanin Yousefian Simon Fraser University, Kasra Jamshidi Simon Fraser University, Keval Vora Simon Fraser University, Anders Miltner Simon Fraser University DOI | ||
16:24 18mTalk | Synthesizing Graph Queries from Demonstrations SPLASH 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 DOI | ||
16:42 18mTalk | Semi-declarative Language for Combinatorial Search SPLASH OOPSLA DOI | ||
15:30 - 17:00 | LLM-Based Test Generation in PracticeISSTA Research papers at East Hall 2 Chair(s): Sam Cheng Google | ||
15:48 18mTalk | 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 18mTalk | 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 18mTalk | Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation (Experience Paper)Distinguished Paper ISSTA Research papers | ||
16:42 18mTalk | 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 | ||
15:30 - 17:00 | |||
15:30 45mIndustry talk | What Agentic Development Means for Rust (and Vice Versa)invited-talk REBASE industry track | ||
16:15 30mIndustry talk | The Last Mile of Certified Programming REBASE industry track Joomy Korkut Bloomberg | ||
15:30 - 17:00 | |||
15:30 30mTalk | Towards Statically Reasoning About R VectorsVirtualFull Paper NSAD Manuel Di Agostino University of Parma, Florian Sihler Ulm University, Vincenzo Arceri University of Parma, Italy, Oliver Gerstl Ulm University, Matthias Tichy Ulm University | ||
16:00 30mTalk | Effect Systems as Abstract DomainsFull Paper NSAD Colin S. Gordon Drexel University | ||
16:30 30mTalk | Demonstrating the Top-Down Solver in a BoxShort Paper NSAD Marco Ciccalè Universidad Politécnica de Madrid (UPM) and IMDEA Software Institute, José Morales IMDEA Software Institute, Pedro López-García IMDEA Software Institute, Manuel Hermenegildo Technical University of Madrid (UPM) and IMDEA Software Institute Pre-print | ||
15:30 - 17:00 | Synthesis & Business MeetingSAS at Grand Ballroom Salons E+F+G+H Chair(s): Aditya V. Thakur University of California at Davis, Sébastien Bardin CEA List - Université Paris-Saclay | ||
15:30 30mTalk | Synthesizing Parsing Expression Grammars via Analysis-based Pruning SAS | ||
16:00 60mMeeting | Business Meeting and Radhia Cousot Award SAS Aditya V. Thakur University of California at Davis, Sébastien Bardin CEA List - Université Paris-Saclay | ||
15:30 - 17:00 | Staging and MetaprogrammingSPLASH OOPSLA at Junior Ballroom 1&2 Chair(s): Shigeru Chiba The University of Tokyo | ||
15:30 18mTalk | When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-InsertionDistinguished Paper SPLASH OOPSLA DOI Pre-print | ||
15:48 18mTalk | Refined² Environment Classifiers SPLASH OOPSLA DOI Pre-print | ||
16:06 18mTalk | Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots SPLASH OOPSLA Dinghong Zhong Tufts University, Alexander Bai New York University, Mikail Khan Carnegie Mellon University, Guannan Wei Tufts University DOI Pre-print | ||
15:30 - 17:00 | Testing and Analysis ToolingISSTA Research papers at Junior Ballroom 3&4 Chair(s): Jonathan Bell Northeastern University | ||
15:30 18mTalk | A Dataset of Reproducible Flaky-Test Failures ISSTA Research papers Suzzana Rafi George Mason University, MAHBUB-UL-HOQUE SUMON Bangladesh Election Commission, Md Erfan PhD Student, The University of Alabama, Maruf Morshed Khan Ministry of Finance, People's Republic of Bangladesh, August Shi University of Texas at Austin, Wing Lam George Mason University Pre-print | ||
15:48 18mTalk | Integrating Multiple Features for Weakly-Supervised False-Passing Products Detection in Software Product Lines ISSTA Research papers Tao Zhang Chongqing University, China, Yan Lei Chongqing University, Haoran Xia Chongqing University, China, Huan Xie Chongqing University, Chunyan Liu Chongqing University | ||
16:06 18mTalk | Metamorphic Coverage ISSTA Research papers Jinsheng Ba The Chinese University of Hong Kong, Shenzhen, Yuancheng Jiang National University of Singapore, Manuel Rigger National University of Singapore | ||
16:42 18mTalk | Testing Static Taint Analyzers with Equivalence Modulo Taint ISSTA Research papers Maria Christakis TU Wien, Anastasia Isychev University of Sydney, Samuel Pilz TU Wien, Florian Tesarek TU Wien, Valentin Wüstholz ConsenSys Pre-print | ||
17:00 - 18:00 | |||
17:00 60mAwards | Awards Awards S: Anders Møller Aarhus University, S: Işıl Dillig University of Texas at Austin, S: Marcel Böhme CISPA Helmholtz Center for Information Security, S: Cindy Rubio-González University of California at Davis | ||
17:00 - 18:00 | |||
18:00 - 21:00 | |||
Thu 8 OctDisplayed time zone: Pacific Time (US & Canada) change
Thu 8 Oct
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | ISSTA KeynoteISSTA Keynotes at East Hall 1 Chair(s): Marcel Böhme CISPA Helmholtz Center for Information Security | ||
08:30 60mTalk | Beyond next-token prediction -- autonomous verification and visual testing in the agent-first era ISSTA Keynotes | ||
08:30 - 10:00 | |||
08:30 15mDay opening | Opening of PLSS 2026 PLSS | ||
08:45 45mKeynote | Specifying Languages and VMs: Looking Back and Looking Forward PLSS | ||
09:30 30mTalk | LLMs as Collaborators in Language Specification and Design PLSS | ||
08:30 - 10:00 | Responsibility and DeterminismSAS at Grand Ballroom Salons E+F+G+H Chair(s): Aditya V. Thakur University of California at Davis | ||
09:00 30mTalk | Making Responsibility Analysis Precise SAS | ||
09:30 30mTalk | Determinism Analysis and its Application to Evaluation Order Independence SAS | ||
08:30 - 10:00 | |||
08:30 1mDay opening | Welcome VMIL | ||
08:30 30mTalk | Beyond Java 6: Reviving Reflection-Aware Static Analysis for Modern JVMs VMIL Gauravsingh Sisodia Sardar Patel Institute of Technology, Poorna Teja Pasala Indian Institute of Technology Bombay, Aditya Anand Indian Institute of Technology Bombay, Manas Thakur IIT Bombay DOI | ||
09:30 30mTalk | Bridging the Performance Gap: JVM Optimization for Semantically Identical Kotlin and Java Loops VMIL Sota Shinagawa Kogakuin University, Takeshi Kamiyama Nagasaki University, Masato Oguchi Ochanomizu University, Saneyasu Yamaguchi Kogakuin University | ||
10:00 30mTalk | What Do R Benchmarks Measure? VMIL Pierre Donat-Bouillud Czech Technical University, Filip Riha Czech Technical University in Prague, Oliver Tušla Czech Technical University, Matěj Kocourek Charles University, Filip Křikava Czech Technical University, Jan Vitek Charles University DOI | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Security and Testing of LLM AgentsISSTA Research papers at East Hall 1 Chair(s): Michael Pradel CISPA Helmholtz Center for Information Security | ||
10:30 18mTalk | 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 18mTalk | 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 18mTalk | 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 File Attached | ||
11:24 18mTalk | 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 18mTalk | Red-Teaming Coding Agents from a Tool-Invocation Perspective: An Empirical Security Assessment ISSTA Research papers Yuchong Xie Fudan University; 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 Hong Kong University of Science and Technology | ||
10:30 - 12:00 | Fault Localization and Root Cause AnalysisISSTA Research papers at East Hall 2 Chair(s): Marcelo d'Amorim North Carolina State University | ||
10:30 18mTalk | 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 18mTalk | 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 18mTalk | 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 Fudan University, Tao Xie Peking University | ||
11:24 18mTalk | 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 18mTalk | 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 | ||
10:30 - 12:00 | |||
10:30 30mTalk | JSpecify and the EISOP Checker Framework PLSS Werner Dietl University of Waterloo | ||
11:00 30mTalk | Common Expression Language (CEL): Evolutions in Specification PLSS Tristan Swadell Google | ||
11:30 30mTalk | Experimenting with User Research in the Rust Project PLSS | ||
10:30 - 12:00 | Automated Repair and Vulnerability DetectionSAS at Grand Ballroom Salons E+F+G+H Chair(s): Gagandeep Singh University of Illinois Urbana-Champaign | ||
10:30 60mKeynote | Automated Repair of Pluggable Type Checker Warnings SAS | ||
11:30 30mTalk | TriVul: Improving Precision of Static Vulnerability Detection through Multi-Agent Reasoning SAS | ||
10:30 - 12:00 | Program Analysis and Verification TechniquesISSTA Research papers at Junior Ballroom 1&2 Chair(s): Alastair F. Donaldson Imperial College London | ||
10:30 18mTalk | Mathematically-Guided Detection of Floating-Point Errors ISSTA Research papers Youshuai Tan The Hong Kong University of Science and Technology (Guangzhou), 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 18mTalk | 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 18mTalk | Rust's Type Checker Implementation is Unsound: An Empirical Study on Soundness Bugs in rustc ISSTA Research papers | ||
11:24 18mTalk | 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 18mTalk | 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 | ||
10:30 - 12:00 | |||
10:30 60mKeynote | Ahead-of-time Compilation of JavaScript to WebAssembly via Static Type Inference VMIL Chris Fallin F5 | ||
11:30 30mTalk | The Event Loop That Wasn't: What Happens to a Reactive System When You Remove JavaScript VMIL C. Bergström 24x AI Research | ||
12:00 - 13:30 | URM@SPLASH/ISSTA LunchSocial Events at Grand Ballroom Salons C The URM@SPLASH/ISSTA Lunch brings together all who are under-represented within the SIGPLAN community. This lunch is explicitly intended to be a “big tent” event and is open to all who are under-represented in the community, with a special emphasis on those who are not already served by a dedicated SPLASH/ISSTA DEI event. | ||
12:00 - 13:30 | |||
13:30 - 15:00 | LLM-Based Code GenerationISSTA Research papers at East Hall 1 Chair(s): Juan Zhai University of Massachusetts at Amherst | ||
13:30 18mResearch 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 | ||
13:30 - 15:00 | Robustness, Fairness, and Safety of AI ModelsISSTA Research papers at East Hall 2 Chair(s): Mike Papadakis University of Luxembourg | ||
13:30 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 | ||
13:30 - 15:00 | |||
13:30 30mTalk | MoonBit: Safe Wasm-Backed Skills for AI Agents PLSS | ||
14:00 30mTalk | The Power of Paper: The C Standard in 2026 PLSS Björkus Dorkus Shepherd's Oasis | ||
14:30 30mTalk | Designing Language Specifications for Static Reasoning: Lessons from IRIDIUM PLSS Meetesh Kalpesh Mehta IIT Bombay | ||
13:30 - 15:00 | Learning for Analysis & Neural Network VerificationSAS at Grand Ballroom Salons E+F+G+H Chair(s): Roberto Giacobazzi University of Arizona | ||
13:30 30mTalk | Heurix: A Framework to Automatically Learn Heuristics for Abstract Interpretation SAS Maykel Mattar Université Paris-Saclay, CEA, List / Université Bretagne Sud, IRISA, Michele Alberti Université Paris-Saclay, CEA, List, Valentin Perrelle Université Paris-Saclay, CEA, List, Palaiseau, France, Salah Sadou IRISA & CNRS, Universite Bretagne Sud,France | ||
14:00 30mTalk | Uncovering the Limits of Proof Sharing for Neural Networks SAS Kanak Das University of California, Riverside, Shubham Ugare University of Illinois Urbana-Champaign / Meta, Bor-Yuh Evan Chang University of Colorado Boulder; Amazon, Sasa Misailovic University of Illinois Urbana-Champaign, Gagandeep Singh University of Illinois Urbana-Champaign, Manu Sridharan University of California at Riverside | ||
14:30 30mTalk | NEAT: The Luna Bound Propagator for Formal Analysis of Neural Networks SAS | ||
13:30 - 15:00 | Software Evolution, Builds, and EcosystemsISSTA Research papers at Junior Ballroom 1&2 Chair(s): Pengyu Nie University of Waterloo | ||
13:30 18mTalk | 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 Link to publication Pre-print | ||
13:48 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 University of Texas at Austin Pre-print | ||
13:30 - 15:00 | |||
13:30 30mTalk | Support Local Variables VMIL Maxwell Bernstein Shopify, Inc., Takashi Kokubun Shopify, Aaron Patterson Shopify, Si Xing "Alan" Wu Shopify, Kevin Menard Shopify | ||
14:00 20mTalk | Morpho: Language and Virtual Machine Design for Dynamic Scientific ComputingPresentation Only VMIL Timothy Atherton Tufts University, Robi Jenik Tufts University, Ivan Pravdin Tufts University, Luciano Galvani Tufts University | ||
14:20 20mTalk | Towards a Bitflip-Safe SFI EncodingPresentation Only VMIL James Mosedale University of Texas at Austin, Shravan Ravi Narayan The University of Texas at Austin, Texas, USA | ||
14:40 20mTalk | A-JIT: Agentic Just-In-Time Software ConstructionPresentation Only VMIL | ||
15:00 - 15:30 | |||
15:30 - 17:00 | Machine Learning Models and EcosystemsISSTA Research papers at East Hall 1 Chair(s): Saikat Dutta Cornell University | ||
15:30 18mTalk | Automated Modernization of Machine Learning Engineering Notebooks for Reproducibility ISSTA Research papers Pre-print | ||
15:48 18mTalk | 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 18mTalk | 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 18mTalk | 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 | ||
15:30 - 17:00 | Mobile and Web Application AnalysisISSTA Research papers at East Hall 2 Chair(s): Kevin Moran University of Central Florida | ||
15:30 18mTalk | 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) DOI | ||
16:06 18mTalk | 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 18mTalk | 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 18mTalk | 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 | ||
15:30 - 17:00 | |||
15:30 45mPanel | Panel: Working with Standards Organizations to Standardize Programming Languages PLSS M: Gilad Bracha F5, P: Björkus Dorkus Shepherd's Oasis, P: Bertrand Meyer Eiffel Software, P: Guy Steele Tech Squares | ||
16:15 45mKeynote | From the Eiffel experience: lessons on programming language design, evolution and standardization PLSS | ||
15:30 - 17:00 | Smart Contract SecurityISSTA Research papers at Junior Ballroom 1&2 Chair(s): Ningyu He Hong Kong Polytechnic University | ||
15:30 18mTalk | 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:48 18mTalk | 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:06 18mTalk | 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 Tongji University, Bowen Du Tongji University, Rongcan Pei Tongji University File Attached | ||
16:24 18mTalk | 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 | ||
15:30 - 17:00 | |||
15:30 60mKeynote | Smaller, Faster, Sharper: Recent Runtime Implementation Lessons VMIL Steve Blackburn Google and Australian National University | ||
16:30 30mTalk | Improving ART Garbage Collection Performance through Object-Lifetime-Profile-Based Allocation Control VMIL Hiroki Yamada Kogakuin University Graduate School, Takeshi Kamiyama Nagasaki University, Masato Oguchi Ochanomizu University, Saneyasu Yamaguchi Kogakuin University | ||
Fri 9 OctDisplayed time zone: Pacific Time (US & Canada) change
Fri 9 Oct
Displayed time zone: Pacific Time (US & Canada) change
08:30 - 10:00 | ISSTA Most Influential PaperISSTA Keynotes at East Hall 1 Chair(s): Cindy Rubio-González University of California at Davis | ||
08:30 60mKeynote | Finding the Bugs Users Would Find: From Sapienz to Autonomous Agents ISSTA Keynotes | ||
08:30 - 10:00 | |||
09:00 60mKeynote | [Keynote] Programming with Trust: Toward Reliable and Private Agentic AI for Code LMPL Baishakhi Ray Columbia University | ||
10:00 - 10:30 | |||
10:30 - 12:00 | Fuzzing and Exploit GenerationISSTA Research papers at East Hall 1 Chair(s): Lili Wei McGill University | ||
10:30 18mTalk | 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 18mTalk | 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 18mTalk | 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 Hong Kong University of Science and Technology, Zibin Zheng Sun Yat-sen University | ||
11:24 18mTalk | 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 18mTalk | 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 | ||
10:30 - 12:00 | Mutation Testing and Assertion GenerationISSTA Research papers at East Hall 2 Chair(s): Satyajit Gokhale Amazon | ||
10:30 18mTalk | 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 Link to publication DOI | ||
10:48 18mTalk | 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 DOI | ||
11:06 18mTalk | 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:24 18mTalk | 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 | ||
11:42 18mTalk | 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 | ||
10:30 - 12:00 | |||
10:30 20mFull-paper | Symbolon: Symbolic Execution by Learning Code Transformation LMPL Jie Zhu University of Chicago, Penghui Li Columbia University, Zhongxuan Li University of Chicago, Chihao Shen University of Maryland, Ziyang Li Johns Hopkins University, Yizheng Chen University of Maryland, Kexin Pei The University of Chicago | ||
10:50 15mShort-paper | Feature Reduction for Translating Language Interpreters from C to Safe Rust LMPL Bo Wang National University of Singapore, Brandon Paulsen Amazon, Joey Dodds Amazon, Daniel Kroening Amazon, Umang Mathur National University of Singapore, Prateek Saxena National University of Singapore Pre-print | ||
11:05 20mFull-paper | SWE-Proof: Can Language Models Resolve Real-World Issues with Machine-Checked Proofs? LMPL George Ma University of California, Berkeley, Benjamin Mikek Georgia Institute of Technology, Haoyu Li University of Illinois Urbana-Champaign, Ferhat Erata Amazon Web Services, USA, Yuhao Zhang Amazon Web Services, Zeren Shui Amazon Web Services, Murali Krishna Ramanathan AWS AI Labs, Hao Zhou Amazon Web Services, Behrooz Omidvar Tehrani AWS AI Labs, Jun Huan AWS AI Labs, Anoop Deoras AWS AI Labs, Somayeh Sojoudi University of California, Berkeley | ||
11:25 15mShort-paper | The Checkability Boundary: Abstraction Principles for LLM-Assisted Verification and Analysis LMPL Chenyu Zhou University of Southern California, Yuzhou Fang University of Southern California, Jingbo Wang Purdue University | ||
11:40 20mFull-paper | Detecting Database Migration Non-equivalence through LLM-Assisted Mutation-Score-Guided Testing LMPL Yuhao Zhang Amazon Web Services, Sayan Ghosh Amazon Web Services, Amit Kachroo Amazon, Jun Huan AWS AI Labs | ||
10:30 - 12:00 | |||
10:30 25mTalk | Reachability Types: Tracking Resources in Higher-Order Programs IWACO Siyuan He Purdue University | ||
10:55 25mTalk | Information Borrowing IWACO Hazel Torek Clemson University, Hemant Gouni Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University | ||
11:20 25mTalk | Type-Safe Monotonic Object Evolution IWACO Fabian Muehlboeck Australian National University | ||
11:45 25mTalk | Generic Abstract Immutability TypesRemote IWACO | ||
10:30 - 12:00 | WebAssembly, Compilers, and Bytecode AnalysisISSTA Research papers at Junior Ballroom 1&2 Chair(s): Jacques Klein University of Luxembourg | ||
10:30 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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; Nanyang Technological University, Jiahao Liu National University of Singapore, Ding Li Peking University, Yao Guo Peking University, Zhenkai Liang National University of Singapore | ||
11:42 18mTalk | 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 | Mobile and Software SecurityISSTA Research papers at East Hall 1 Chair(s): Jordan Samhi University of Luxembourg, Luxembourg | ||
13:30 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | The Illusion of Success: Learning-Based Android Malware Detectors (Replicability Study)Distinguished Paper ISSTA Research papers Pre-print | ||
13:30 - 15:00 | Specification, Verification, and Symbolic ReasoningISSTA Research papers at East Hall 2 Chair(s): Chengpeng Wang National University of Singapore | ||
13:30 18mTalk | 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 18mTalk | Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code ISSTA Research papers | ||
14:06 18mTalk | 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 18mTalk | 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 DOI | ||
14:42 18mTalk | 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 | ||
13:30 - 15:00 | |||
13:30 65mTalk | Aliasing, Agents, and RustKeynote IWACO | ||
14:35 25mTalk | Coenobita: Static Capability Types for Side Effect Safety in Rust IWACO | ||
13:30 - 15:00 | Empirical Studies, Benchmarks, and ReplicationISSTA Research papers at Junior Ballroom 1&2 Chair(s): Jocelyn Qiaochu Chen University of Alberta | ||
13:30 18mTalk | 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 | ||
13:48 18mTalk | 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 | ||
14:06 18mTalk | 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 18mTalk | 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 Urbana-Champaign, Yiling Lou University of Illinois at Urbana-Champaign, Wenxi Wang University of Virginia | ||
14:42 18mTalk | 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 Urbana-Champaign, Bogdan Alexandru Stoica University of Illinois, Urbana-Champaign | ||
15:00 - 15:30 | |||
15:30 - 17:00 | Supply Chain and Binary AnalysisISSTA Research papers at East Hall 1 Chair(s): Ningyu He Hong Kong Polytechnic University | ||
15:30 18mTalk | Beyond Similarity Scores: Evidence-Based Third-Party Library Detection for C/C++ BinariesDistinguished Paper ISSTA Research papers CHENGYUE LIU Nanyang Technological University, Zhengzi Xu Imperial Global Singapore, Lyuye Zhang Nankai University; Nanyang Technological University, Wu Jiahui Nanyang Technological University, Singapore, Kaixuan Li Nanyang Technological University, Yang Liu Nanyang Technological University Pre-print | ||
15:48 18mTalk | Applying System Call Filtering to Real-World Binaries (Experience Paper) ISSTA Research papers | ||
16:06 18mTalk | 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:24 18mTalk | 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 | ||
16:42 18mTalk | 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:30 - 17:00 | Hardware, Embedded, and Quantum SystemsISSTA Research papers at East Hall 2 Chair(s): Sukyoung Ryu KAIST | ||
15:48 18mTalk | 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 18mTalk | 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 18mTalk | 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 18mTalk | Uniting Bounded Verification and Transformer-Based Learning for Proactive IoT Security ISSTA Research papers DOI Media Attached File Attached | ||
15:30 - 17:00 | |||
15:30 65mTalk | Hylo: Safe Systems- & Generic-programming with Mutable Value SemanticsKeynote IWACO | ||
16:35 25mTalk | Fully-Automatic Type Inference for Borrows with Lifetimes IWACO Benjamin Driscoll Stanford University | ||
15:30 - 17:00 | Autonomous Driving SystemsISSTA Research papers at Junior Ballroom 1&2 Chair(s): Hao-Nan Zhu Amazon Web Services | ||
15:30 18mTalk | Branch-Level Fault Localization in ADS Planning via Temporal Coverage Analysis ISSTA Research papers | ||
15:48 18mTalk | 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:06 18mTalk | 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:24 18mTalk | 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 | ||
17:00 - 17:10 | ISSTA Closing SessionSocial Events at East Hall 1 Chair(s): Willem Visser Amazon Web Services and Stellenbosch University Where is ISSTA going next year? | ||