SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
VenueOakland Marriott City Center
Room nameGrand Ballroom Salons C
Capacity80
Room InformationNo extra information available
Program

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

Mon 5 Oct

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

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:30 - 12:00
Session 2: Research TalksFTA at Grand Ballroom Salons C
10:30
30m
Talk
Verification of Protocol Compliance by Symbolic Execution
FTA
Xing-Hua Peng National Tsing Hua University, Pai H. Chou National Tsing Hua University
DOI
11:00
30m
Talk
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
30m
Talk
IAIA: Interrupt-Aware Index Analysis for SSD Firmware
FTA
Hyeongseo Yoo Seoul National University; Samsung Electronics, Kwangkeun Yi Seoul National University
DOI
13:30 - 15:00
Sessions 3 & 4: Industry panel + Industry and ToolsFTA at Grand Ballroom Salons C
13:30
90m
Talk
Tooling for Repeatable Generation of SBOMs for EDK2-Based Firmware
FTA
Alvin Chen Insyde Software, Daniel Chang Insyde Software, Tim Lewis Insyde Software
DOI
13:30
90m
Talk
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
15:30 - 17:00
Session 5: Other TalksFTA at Grand Ballroom Salons C
15:30
90m
Talk
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
90m
Talk
Firmware-Specific Security Guidelines
FTA
Tim Lewis Insyde Software
DOI
15:30
90m
Talk
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
90m
Talk
From Silicon to Boot Code: Extending Automated Program Repair to Firmware-Layer Security Workarounds
FTA
Maisha Mastora University of New Hampshire, Dean Sullivan University of New Hampshire
DOI
15:30
90m
Talk
Meeting NSA’s “Guidance for Managing UEFI Secure Boot”
FTA
Kevin D. Davis Insyde Software
DOI

Tue 6 Oct

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

08:30 - 10:00
FoundationsSAS at Grand Ballroom Salons C
Chair(s): David Pichardie Meta
08:30
5m
Day opening
Welcome
SAS
Sébastien Bardin CEA List - Université Paris-Saclay, Aditya V. Thakur University of California at Davis
08:35
30m
Talk
Relaxed Residuation Theory - From Inversion to Abstract Interpretation beyond Classical Adjunctions
SAS
Isabella Mastroeni University of Verona
09:05
30m
Talk
Rocq Bottom: Beyond Soundness with Precise Reasoning about Analysis Precision
SAS
Matthieu Lemerre Université Paris-Saclay - CEA LIST
09:35
30m
Talk
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:30 - 12:00
Quantum ComputingSAS at Grand Ballroom Salons C
Chair(s): Sébastien Bardin CEA List - Université Paris-Saclay
10:30
60m
Keynote
Static Analysis of Quantum Programs
SAS
Jens Palsberg University of California at Los Angeles
11:30
30m
Talk
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
13:30 - 15:00
AbstractionsSAS at Grand Ballroom Salons C
Chair(s): Isabella Mastroeni University of Verona
13:30
30m
Talk
A Lattice of Union-Finds
SAS
Dorian Lesbre Université Paris-Saclay - CEA LIST, Matthieu Lemerre Université Paris-Saclay - CEA LIST
14:00
30m
Talk
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
30m
Talk
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
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
90m
Tutorial
Thread-Modular Abstract Interpretation with Goblint
SAS
Michael Schwarz National University of Singapore, Vesal Vojdani University of Tartu

Wed 7 Oct

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

10:30 - 12:00
Session 1NSAD at Grand Ballroom Salons C
Chair(s): Vesal Vojdani University of Tartu
10:30
15m
Day opening
Welcome from the Chairs
NSAD
Michael Schwarz National University of Singapore, Vesal Vojdani University of Tartu
10:45
75m
Keynote
Numerical Abstract Domains for Trustworthy Code TranspilationKeynote
NSAD
Laura Titolo Code Metal
13:30 - 15:00
13:30
30m
Talk
Minimal Comparison of Octagonal Abstract DomainsFull Paper
NSAD
Kenny Ballou California State University San Marcos, Elena Sherman Boise State University
14:00
30m
Talk
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:30
30m
Talk
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
15:30 - 17:00
Session 3NSAD at Grand Ballroom Salons C
Chair(s): Michael Schwarz National University of Singapore
15:30
30m
Talk
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
30m
Talk
Effect Systems as Abstract DomainsFull Paper
NSAD
Colin S. Gordon Drexel University
16:30
30m
Talk
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

Thu 8 Oct

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

12:00 - 13:30
URM@SPLASH/ISSTA LunchSPLASH/ISSTA Social 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.

Mon 5 Oct

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

Tue 6 Oct

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

Wed 7 Oct

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Grand Ballroom Salons C

Thu 8 Oct

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