ICFP Keynotes When: Tue 14 Oct 2025 09:00 - 10:10 People: Christos Dimoulas

… Programming Language (PL) pragmatics.

To address this gap, I have developed a new … leverage to address the problem. Finally, a rational-programmer simulation can …

SAS 2025 When: Tue 14 Oct 2025 17:00 - 17:20 People: Hiroyuki Katsura, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

… category of CHC-COMP 2025. … lists). To address this limitation, we consider catamorphisms (generalized fold …

SAS 2025 When: Tue 14 Oct 2025 13:40 - 14:40 People: Xavier Rival

… and complete proof methods, they are also addressed by a comprehensive body of works …

SAS 2025 When: Mon 13 Oct 2025 16:40 - 17:00 People: Yahui Song, Darius Foo, Wei-Ngan Chin

… unrolling. To address these challenges, we propose a set of over-approximating Hoare …

SAS 2025 When: Tue 14 Oct 2025 14:40 - 15:00 People: Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte

… used in theoretical comparisons may never arise in practice. To address this gap …

OOPSLA When: Sat 18 Oct 2025 16:45 - 17:00 People: Ismail Kuru, Colin Gordon

… memory locations, using addresses which are themselves virtualized). Prior work on verification of VMM code has either only handled a single address space … to a specific virtual address space: [r]P indicating that P holds in the virtual …

ICFP Papers When: Wed 15 Oct 2025 14:30 - 14:55 People: Marcos Grandury, Aleksandar Nanevski, Alexander Gryzlov

… Verifying graph algorithms has long been considered challenging in separation logic, mainly due to structural sharing between graph subcomponents. We show that these challenges can be effectively addressed by representing graphs …

OOPSLA When: Sat 18 Oct 2025 15:00 - 15:15 People: Reese Levine, Ashley Lee, Neha Abbas, Kyle Little, Tyler Sorensen

… an optimizing compiler could legitimately remove memory safety guardrails. To address …

SPLASH-E When: Sat 18 Oct 2025 15:05 - 15:30 People: Marie Salomon, Kyle D. Chin, Reid Holmes, Thomas Fritz, Gail Murphy

… as their first point of contact, even before consulting teammates, which reduced direct … strategies that address not just individual tool use, but also design reasoning …

SPLASH-E When: Sat 18 Oct 2025 14:40 - 15:05 People: Mikhail Barash

… We present an experience report on a course where small student groups, mentored by software engineers from major browser vendors, implemented new JavaScript language fea- tures. Over several course iterations between 2021 and 2025 …

FARM When: Sun 12 Oct 2025 11:00 - 11:22 People: Kerry Hagan

… offer opportunities for novel synthesis approaches. My work, mitosis (2025 …

OOPSLA When: Fri 17 Oct 2025 14:30 - 14:45 People: Yuanfeng Shi, Yifan Zhang, Xin Zhang

… information. A recent approach addresses this challenge by learning a selection … is not ideal. To address this problem, we propose an approach that is inspired …

Student Research Competition People: Yingjun Lan

… prove equivalent representations for crucial convex hull properties. To address …

Onward! Essays When: Fri 17 Oct 2025 13:45 - 14:25 People: Kevin Graaf

… be addressed. …

Doctoral Symposium When: Mon 13 Oct 2025 11:35 - 12:05 People: Cong Ma

… addresses this need through the design and implementation of Lexa, a language …

Posters When: Thu 16 Oct 2025 18:00 - 20:00 People: Yujin An, Sungho Lee

… accuracy but is less suitable for analysis. To address this trade-off, we propose two …

OOPSLA When: Sat 18 Oct 2025 10:45 - 11:00 People: Wenhao Tang, Leo White, Stephen Dolan, Daniel Hillerström, Sam Lindley, Anton Lorenzen

… of existing code in these languages. Recent proposals seek to address this problem …

OOPSLA When: Thu 16 Oct 2025 11:45 - 12:00 People: Wenyu Zhao, Stephen M. Blackburn, Kathryn S McKinley, Man Cao, Sara S. Hamouda

… are addressed. This paper describes a productization methodology that led … and uptime requirements. We address all of the limitations identified … beyond those that can reasonably be addressed in a research paper.

L5 …

OOPSLA When: Sat 18 Oct 2025 14:45 - 15:00 People: Joonwon Choi, Jaewoo Kim, Jeehoon Kang

… , pose significant challenges to its application.

To address these challenges …

OOPSLA When: Thu 16 Oct 2025 10:45 - 11:00 People: Ashley Samuelson, Andrew K. Hirsch, Ethan Cecchetti

… to others. This work addresses this gap with $\lambda_\text{QC}$, the first …

SPLASH Keynotes When: Sat 18 Oct 2025 09:00 - 10:00 People: Frank Piessens

… to address them. …

Posters When: Thu 16 Oct 2025 18:00 - 20:00 People: Arpita Dutta, Joxan Jaffar

… We address the problem of proving a loop invariant property within a perpetual loop. We have two goals. Our first goal is to prove the property holds at over all iterations, ie. to have unbounded verification. Failing this, our …

OOPSLA When: Sat 18 Oct 2025 14:30 - 14:45 People: John C. Kolesar, Shan Ali, Timos Antonopoulos, Ruzica Piskac

… , but no existing protocol addresses the more complex PSPACE-complete problem of proving …

OOPSLA People: Jingbo Wang, Shashin Halalingaiah, Weiyi Chen, Chao Wang, Işıl Dillig

… . To address scalability, we propose a more efficient $\delta$-exact inference …

Posters When: Thu 16 Oct 2025 18:00 - 20:00 People: Zara Hassan, Christoph Treude, Graham Williams, Michael Norrish, Alex Potanin

… poorly defined and under-addressed. This study introduces a formal definition of RpD …

OOPSLA When: Thu 16 Oct 2025 14:45 - 15:00 People: Arya Vohra, Leo Seojun Lee, Jakub Bachurski, Oleksandr Zinenko, Phitchaya Mangpo Phothilimthana, Albert Cohen, William S. Moses

… model, which accounts for downstream transformations. Equality saturation addresses … addresses challenges in applying equality saturation on real-world ML compute …

OOPSLA When: Sat 18 Oct 2025 14:15 - 14:30 People: Shanto Rahman, Sachit Kuhar, Berk Cirisci, Pranav Garg, Shiqi Wang, Xiaofei Ma, Anoop Deoras, Baishakhi Ray

… addresses two critical issues: assertion failures and reduced code coverage caused … of the effectiveness of LLM-based methods in addressing test case failures due to software …

Onward! Papers When: Fri 17 Oct 2025 11:30 - 12:00 People: Tomer Katz, Hila Peleg

… , synthesizers can only reason about one flat example set. To address this, we …

OOPSLA When: Sat 18 Oct 2025 11:45 - 12:00 People: Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin Vechev

… has remained completely open.

In this work, we address this challenge …

OOPSLA When: Thu 16 Oct 2025 11:00 - 11:15 People: Ivana Bocevska, Anja Petković Komel, Laura Kovács, Sophie Rain, Michael Rawson

… to protocols with millions of interactions. We address this challenge …

OOPSLA When: Thu 16 Oct 2025 10:30 - 10:45 People: Yitong Chen, Zhiqiang Gao, Chuanqi Shi, Baixuan Li, Miao Gao

… when baseline approaches use three times the parameters. Furthermore, to address …

OOPSLA When: Sat 18 Oct 2025 14:30 - 14:45 People: Daniele Bonetta, Júnior Löff, Matteo Basso, Walter Binder

… format? In this paper, we address this question by presenting a new DSD library …

Doctoral Symposium When: Mon 13 Oct 2025 11:00 - 11:30 People: Zhiyang Chen

… This thesis presents a multi-layer dynamic security framework for protecting DeFi smart contracts against evolving attack vectors that traditional static analysis and security audits fail to detect. The framework addresses the critical …

OOPSLA When: Sat 18 Oct 2025 14:00 - 14:15 People: Daniel A. A. Pelsmaeker, Aron Zwaan, Casper Bach, Arjan J. Mooij

… declarations. To address these issues, previous work by Schäfer et al. proposed …

OOPSLA When: Thu 16 Oct 2025 15:15 - 15:30 People: Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach

… addresses the specification and verification of internal code that makes external …

OOPSLA When: Fri 17 Oct 2025 16:45 - 17:00 People: Ruixin Wang, Zhongkai Zhao, Le Fang, Nan Jiang, Yiling Lou, Lin Tan, Tianyi Zhang

… accidentally pass test cases but may not correctly fix the bug. To address …

Onward! Papers When: Sat 18 Oct 2025 10:30 - 11:00 People: Maximilian Kodetzki, Tabea Bordis, Alex Potanin, Ina Schaefer

… , unsupported. To address this gap, we present our vision for generalizing XbC …

OOPSLA When: Thu 16 Oct 2025 11:30 - 11:45 People: Dowon Song, Hakjoo Oh

… as incorrect, significantly lowering the APR fix rate. To address this, we …

Posters When: Thu 16 Oct 2025 18:00 - 20:00 People: Mingyu Jo, Hakjoo Oh

… values of differing structures. To address this issue, we propose DiLemma, a lemma …

OOPSLA When: Sat 18 Oct 2025 11:00 - 11:15 People: Taro Sekiyama, Ugo Dal Lago, Hiroshi Unno

… Applying higher-order model checking techniques to programs that use effect handlers is a major challenge, given the recent undecidability result obtained by Dal Lago and Ghyselen. This challenge has been addressed by using answer-type …

OOPSLA When: Sat 18 Oct 2025 15:15 - 15:30 People: Lef Ioannidis, Yannick Zakowski, Steve Zdancewic, Sebastian Angel

… by structural program logics such as Hoare Logic. To address this verification gap …

OOPSLA When: Thu 16 Oct 2025 17:00 - 17:15 People: Stephen Mell, Konstantinos Kallas, Steve Zdancewic, Osbert Bastani

… optimization ineffective. To address this, we propose a novel opportunistic …

OOPSLA When: Fri 17 Oct 2025 15:15 - 15:30 People: Cong Ma, Zhaoyi Ge, Max Jung, Yizhou Zhang

… Exception handlers—and effect handlers more generally—are language mechanisms for structured nonlocal control flow. A recent trend in language-design research has introduced lexically scoped handlers, which address a modularity problem …

OOPSLA When: Thu 16 Oct 2025 16:30 - 16:45 People: Sirui Lu, Rastislav Bodík

… requires deep hardware-specific knowledge. Super-optimizers address this gap …

OOPSLA When: Sat 18 Oct 2025 10:30 - 10:45 People: Guofeng Cui, Yuning Wang, Wensen Mao, Yuanlin Duan, He Zhu

… is impractical in unknown environments that lack such predefined components. To address …

OOPSLA When: Sat 18 Oct 2025 11:15 - 11:30 People: Cosmo Viola, Max Fan, Talia Lily Ringer

… Proofs in proof assistants like Rocq can be brittle, breaking easily in response to changes. To address this, recent work introduced an algorithm and tool in Rocq to automatically repair broken proofs in response to changes …

OOPSLA When: Thu 16 Oct 2025 16:15 - 16:30 People: Anastasia Isychev, Debasmita Lohar

… -precision tuning addresses this trade-off by assigning the lowest possible …

OOPSLA When: Fri 17 Oct 2025 16:00 - 16:15 People: Elizabeth Gilbert, Matthew Schneider, Zixi An, Suhas Thalanki, Wavid Bowman, Alexander Bai, Ben L. Titzer, Heather Miller

… , duplicated efforts, and inconsistent feature support. We address this problem …

OOPSLA When: Thu 16 Oct 2025 14:45 - 15:00 People: Zhineng Zhong, Ziqi Zhang, Hanqin Guan, Ding Li

… Recent advancements in Satisfiability Modulo Theory (SMT) solving have significantly improved formula-driven techniques for verification, testing, repair, and synthesis. However, addressing open programs that lack formal specifications …

OOPSLA When: Thu 16 Oct 2025 14:30 - 14:45 People: Ruihan Zhang, Jun Sun

… . To address this limitation, we propose a novel framework that formally guarantees …

OOPSLA When: Thu 16 Oct 2025 16:00 - 16:15 People: Zhongkui Ma, Zihan Wang, Guangdong Bai

… The wide adoption of deep learning in safety-critical domains has driven the need for formally verifying the robustness of neural networks. A critical challenge in this endeavor lies in addressing the inherent non-linearity of activation …

OOPSLA When: Fri 17 Oct 2025 17:15 - 17:30 People: Maolin Sun, Yibiao Yang, Jiangchang Wu, Yuming Zhou

… not adequately address this aspect. In this paper, we introduce Aries, a novel technique …

OOPSLA People: Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf

… like reference factories inexpressible.

In this work, we address …

OOPSLA When: Sat 18 Oct 2025 11:00 - 11:15 People: Shuo Ding, Qirun Zhang

… and understand. To address this problem, C++20 introduced \emph{constraints …

OOPSLA When: Thu 16 Oct 2025 16:15 - 16:30 People: Chenyao Suo, Jianrong Wang, Yongjia Wang, Jiajun Jiang, Qingchao Shen, Junjie Chen

… redundant lowering passes and improve the efficiency of fuzzing. To address …

OOPSLA When: Thu 16 Oct 2025 11:45 - 12:00 People: Donguk Kim, Doha Hwang, Minseok Jeon, Hakjoo Oh

… faults. To address this limitation, our technique, called project-aware fault …

OOPSLA When: Sat 18 Oct 2025 11:45 - 12:00 People: Kanghee Park, Xuanyu Peng, Loris D'Antoni

… .

This paper addresses these two limitations and presents a framework, LOUD …

OOPSLA When: Fri 17 Oct 2025 10:45 - 11:00 People: Wenjia Ye, Matías Toro, Tomás Diaz, Bruno C. d. S. Oliveira, Manuel Rigger, Claudio Gutierrez, Domagoj Vrgoč

… .

To address this gap, we introduce a formal type model for a core fragment …

OOPSLA When: Sat 18 Oct 2025 11:30 - 11:45 People: Hemant Gouni, Frank Pfenning, Jonathan Aldrich

… *, which both illuminates and addresses these issues from a logical viewpoint …