OOPSLA1 2026
Proceedings of the ACM on Programming Languages, Volume 10, Number OOPSLA1

Title Page

Article: oopslaa26foreword-fm000-p doi:

Editorial Message

Article: oopslaa26foreword-fm001-p doi:

Learning Symmetric Invariants from Symmetric Samples
Zhijie Xu and Fei He
(Tsinghua University, China; Key Laboratory for Information System Security, China)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p9-p doi:10.1145/3798200

Decompiling for Constant-Time Analysis
Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Youcef Bouzid, Sören van der Wall, and Zhiyuan Zhang
(MPI-SP, Germany; IMDEA Software Institute, Spain; ENS Paris-Saclay, France; TU Braunschweig, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p13-p doi:10.1145/3798201

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Charitha Saumya, Muhammad Hassan, Rohan Gangaraju, Milind Kulkarni, and Kirshanthan Sundararajah
(Intel, USA; Virginia Tech, USA; University of Texas at Austin, USA; Purdue University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p20-p doi:10.1145/3798202

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Andrea Gilot, Tobias Wrigstad, and Eva Darulova
(Uppsala University, Sweden)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p22-p doi:10.1145/3798203

OBsmith: LLM-Powered JavaScript Obfuscator Testing
Shan Jiang, Chenguang Zhu, and Sarfraz Khurshid
(University of Texas at Austin, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa26main-p25-p doi:10.1145/3798204

Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Ruixiang Qian, Chunrong Fang, Zengxu Chen, Youxin Fu, and Zhenyu Chen
(Nanjing University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p37-p doi:10.1145/3798205

Diatom: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking
Anshunkang Zhou and Charles Zhang
(Hong Kong University of Science and Technology, China)

Publisher's Version Article: oopslaa26main-p41-p doi:10.1145/3798206

Handling Exceptions and Effects with Automatic Resource Analysis
Ethan Chu, Yiyang Guo, and Jan Hoffmann
(Carnegie Mellon University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p42-p doi:10.1145/3798207

RAT-CAT-SAT: Model Checking Memory Consistency Models
Jan Grünke, Thomas Haas, and Roland Meyer
(TU Braunschweig, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p45-p doi:10.1145/3798208

Specy: Learning Specifications for Distributed Systems from Event Traces
Mike He, Ankush Desai, Aishwarya Jagarapu, Doug Terry, Sharad Malik, and Aarti Gupta
(Princeton University, USA; Snowflake, USA; Amazon Web Services, USA; LinkedIn, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p48-p doi:10.1145/3798209

Commuting Conversions and Join Points for Call-by-Push-Value
Jonathan Chan, Madi Gudin, Annabel Levy, and Stephanie Weirich
(University of Pennsylvania, USA; Amherst College, USA; University of Maryland, Baltimore County, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p54-p doi:10.1145/3798210

Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Yuxuan He, Ruilin Jiang, He Zhang, Qingkai Shi, Huaxun Huang, and Rongxin Wu
(Xiamen University, China; Nanjing University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p61-p doi:10.1145/3798211

MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
Gengyang Xu, Dongwei Xiao, Yiteng Peng, and Shuai Wang
(Hong Kong University of Science and Technology, China)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p63-p doi:10.1145/3798212

Debugging Debugging Information using Dynamic Call Trees
J. Ryan Stinnett and Stephen Kell
(King's College London, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa26main-p64-p doi:10.1145/3798213

Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
Haoran Lin, Zhenyu Yan, and Xin Zhang
(Peking University, China)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p91-p doi:10.1145/3798214

noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
Tobias Gürtler and Benjamin Lucien Kaminski
(Saarland University, Germany; Saarland Informatics Campus, Germany; University College London, UK)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p98-p doi:10.1145/3798215

Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis
Chenyu Zhou, Jingbo Wang, and Chao Wang
(University of Southern California, USA; Purdue University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p99-p doi:10.1145/3798216

SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, and Linhai Song
(Pennsylvania State University, USA; University of Connecticut, USA; University of California at San Diego, USA; University of Oxford, UK; Institute of Computing Technology at Chinese Academy of Sciences, China)

Publisher's Version Article: oopslaa26main-p107-p doi:10.1145/3798217

CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Haotian Han, Zihang Zhong, Qingan Li, Jingling Xue, and Mengting Yuan
(Wuhan University, China; UNSW Sydney, Australia)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p114-p doi:10.1145/3798218

When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
Jie Ma, Ningyu He, Jinwen Xi, Mingzhe Xing, Liangxin Liu, Jiushenzi Luo, Xiaopeng Fu, Chiachih Wu, Haoyu Wang, Ying Gao, and Yinliang Yue
(Beihang University, China; Zhongguancun Laboratory, China; Hong Kong Polytechnic University, Hong Kong; Beijing Institute of Technology, China; Amber Group, Hong Kong; Huazhong University of Science and Technology, China)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p122-p doi:10.1145/3798219

Type Inference for Functional and Imperative Dynamic Languages
Mickaël Laurent and Jan Vitek
(Charles University, Czech Republic; Czech Technical University, Czech Republic)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p124-p doi:10.1145/3798220

Fully-Automatic Type Inference for Borrows with Lifetimes
William Brandon, Benjamin Driscoll, Frank Dai, Jonathan Ragan-Kelley, Mae Milano, and Alex Aiken
(Massachusetts Institute of Technology, USA; Stanford University, USA; Unaffiliated, USA; Princeton University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p128-p doi:10.1145/3798221

(Dis)Proving Spectre Security with Speculation-Passing Style
Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Xingyu Xie, and Zhiyuan Zhang
(MPI-SP, Germany; IMDEA Software Institute, Spain)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p130-p doi:10.1145/3798222

Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops
Markus Böck and Jürgen Cito
(TU Wien, Austria)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p132-p doi:10.1145/3798223

Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
Jonas Kastberg Hinrichsen, Iwan Quémerais, and Lars Birkedal
(Aalborg University, Denmark; ENS-Lyon, France; Aarhus University, Denmark)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p134-p doi:10.1145/3798224

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Bodhisatwa Chatterjee, Neeraj Jadhav, and Santosh Pande
(Georgia Institute of Technology, USA)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p136-p doi:10.1145/3798225

Metamorphic Testing for Infrastructure-as-Code Engines
David Spielmann, George Zakhour, Dominik Arnold, Matteo Biagiola, Roland Meier, and Guido Salvaneschi
(University of St. Gallen, Switzerland; University of Zurich, Switzerland; USI Lugano, Switzerland; armasuisse, Switzerland)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p139-p doi:10.1145/3798226

Class-Dictionary Specialization with Rank-2 Polymorphic Functions
Yong Qi Foo and Michael D. Adams
(National University of Singapore, Singapore)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p141-p doi:10.1145/3798227

Sound and Complete Invariant-Based Heap Encodings
Zafer Esen, Philipp Rümmer, and Tjark Weber
(Uppsala University, Sweden; University of Regensburg, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p144-p doi:10.1145/3798228

Scylla: Translating an Applicative Subset of C to Safe Rust
Aymeric Fromherz and Jonathan Protzenko
(Inria, France; Google, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p146-p doi:10.1145/3798229

Hybrid Game Control Envelope Synthesis
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, and André Platzer
(Carnegie Mellon University, USA; KIT, Germany; DePaul University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa26main-p158-p doi:10.1145/3798230

Hunting CUDA Bugs at Scale with cuFuzz
Mohamed Tarek Ibn Ziad and Christos Kozyrakis
(NVIDIA, USA; Stanford University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p167-p doi:10.1145/3798231

Beacon: Detecting Broken Access Control Vulnerabilities in DBMSs via System Catalog Consistency Validation
Zongrui Peng, Jingzhou Fu, Zhiyong Wu, Jie Liang, Xiangdong Huang, Dalong Shi, and Yu Jiang
(Tsinghua University, China; Beihang University, China; Aviation Industry Corporation of China, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p172-p doi:10.1145/3798232

Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Zhen Li, Shenghan Liu, Qiuping Yi, Pengbo Du, and Hongliang Liang
(Beijing University of Posts and Telecommunications, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa26main-p176-p doi:10.1145/3798233

Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Sirui Liu, Wei Dong, Yijie Zheng, and Haonan Guo
(National University of Defense Technology, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p187-p doi:10.1145/3798234

VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Zhen Yan, Yuanliang Chen, Fuchen Ma, Zehong Yu, Dalong Shi, and Yu Jiang
(Tsinghua University, China; Aviation Industry Corporation of China, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p188-p doi:10.1145/3798235

SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
Jin Xu, Miaomiao Zhang, and Bowen Du
(Tongji University, China)

Publisher's Version Article: oopslaa26main-p200-p doi:10.1145/3798237

InspectCoder: Dynamic Analysis-Driven Self Repair through Interactive LLM-Debugger Collaboration
Yunkun Wang, Yue Zhang, Guochang Li, Chen Zhi, Binhua Li, Fei Huang, Yongbin Li, and Shuiguang Deng
(Zhejiang University, China; Alibaba, China)

Publisher's Version Article: oopslaa26main-p202-p doi:10.1145/3798238

Geo: A Query Rewrite Framework for Graph Pattern Mining
Nazanin Yousefian, Kasra Jamshidi, Keval Vora, and Anders Miltner
(Simon Fraser University, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p206-p doi:10.1145/3798239

Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Egor Namakonov, Justus Fasse, Bart Jacobs, Lars Birkedal, and Amin Timany
(Aarhus University, Denmark; KU Leuven, Belgium)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p211-p doi:10.1145/3798240

LARTS: Language Abstractions for Real-Time and Secure Systems
Yanqi Li, Hongliang Liang, Rui Yao, Yang Zhang, Dong Liu, Lei Wang, and Qiuping Yi
(Beijing University of Posts and Telecommunications, China; Beijing Institute of Computer Technology and Application, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa26main-p216-p doi:10.1145/3798241

Grammar Repair with Examples and Tree Automata
Yunjeong Lee, Gokul Rajiv, and Ilya Sergey
(National University of Singapore, Singapore)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p219-p doi:10.1145/3798242

Online Input Grammar Synthesis Aided Symbolic Execution
Ke Ma, Yunlai Luo, Zhenbang Chen, Weijiang Hong, Yufeng Zhang, and Ji Wang
(National University of Defense Technology, Changsha, China; Hunan University, Changsha, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p232-p doi:10.1145/3798243

Designing GPU Data Structures for Efficient Memory Oversubscription
Vipin Patel, Srinjoy Sarkar, Swarnendu Biswas, and Mainak Chaudhuri
(IIT Kanpur, India)

Publisher's Version Article: oopslaa26main-p244-p doi:10.1145/3798244

Understanding and Finding JIT Compiler Performance Bugs
Zijian Yi, Cheng Ding, August Shi, and Milos Gligoric
(University of Texas at Austin, USA)

Publisher's Version Article: oopslaa26main-p246-p doi:10.1145/3798245

Deegen: A JIT-Capable VM Generator for Dynamic Languages
Haoran Xu and Fredrik Kjolstad
(Stanford University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa26main-p258-p doi:10.1145/3798246

Automatic Propagation of Profile Information through the Optimization Pipeline
Elisa Fröhlich, Angélica Moreira, and Fernando Magno Quintão Pereira
(Federal University of Minas Gerais, Brazil; Microsoft Research, Brazil)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p259-p doi:10.1145/3798247

PLEX: Normalization for Refinement Types
Alessio Ferrarini, Niki Vazou, and Wouter Swierstra
(IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain; Utrecht University, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p262-p doi:10.1145/3798248

EditFlow: Benchmarking and Optimizing Code Edit Recommendation Systems via Reconstruction of Developer Flows
Chenyan Liu, Yun Lin, Jiaxin Chang, Jiawei Liu, Binhang Qi, Bo Jiang, Zhiyong Huang, and Jin Song Dong
(Shanghai Jiao Tong University, China; National University of Singapore, Singapore; Bytedance Network Technology, China)

Publisher's Version Published Artifact Info Artifacts Available Article: oopslaa26main-p268-p doi:10.1145/3798249

CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Jianhao Xu, Kunbo Zhang, Mathias Payer, Kangjie Lu, and Bing Mao
(Southeast University, China; State Key Laboratory for Novel Software Technology at Nanjing University, China; EPFL, Switzerland; University of Minnesota, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p272-p doi:10.1145/3798250

Beyond Coverage: Automatic Test Suite Augmentation for Enhanced Effectiveness using Large Language Models
Zeyu Lu, Peng Zhang, Yuge Nie, Yibiao Yang, Yutian Tang, Chun Yong Chong, and Yuming Zhou
(Nanjing University, China; University of Glasgow, UK; Monash University Malaysia, Subang Jaya, Malaysia)

Publisher's Version Article: oopslaa26main-p275-p doi:10.1145/3798251

Type-Safe Monotonic Object Evolution
Alexandra Mirrlees-Black, Haoyu Wu, Gregor Richards, and Fabian Muehlboeck
(Australian National University, Australia; University of Waterloo, Canada)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p276-p doi:10.1145/3798252

Localizing Type Errors for Syntactic Sugar by Lifting
Zhichao Guan, Tailai Yu, Di Wang, and Zhenjiang Hu
(Peking University, China)

Publisher's Version Article: oopslaa26main-p284-p doi:10.1145/3798253

When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Siyuan He, Songlin Jia, Yuyan Bao, and Tiark Rompf
(Purdue University, USA; Augusta University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p305-p doi:10.1145/3798254

Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
Wenbu Feng, Xiaohong Li, Ruitao Feng, Yao Zhang, Yuekang Li, Zhiping Zhou, Yunqian Wang, and Yuqing Li
(Tianjin University, China; Southern Cross University, Australia; UNSW Sydney, Australia)

Publisher's Version Article: oopslaa26main-p311-p doi:10.1145/3798255

Mixed Choice in Asynchronous Multiparty Session Types
Laura Bocchi, Raymond Hu, Adriana Laura Voinea, and Simon Thompson
(University of Kent, UK; Queen Mary University of London, UK; University of Glasgow, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p321-p doi:10.1145/3798256

RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Yuchong Xie, Kaikai Zhang, Yu Liu, Rundong Yang, Ping Chen, Shuai Wang, and Dongdong She
(Fudan University, China; Hong Kong University of Science and Technology, China)

Publisher's Version Article: oopslaa26main-p340-p doi:10.1145/3798257

LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
Kunpeng Zhang, Dongwei Xiao, Daoyuan Wu, Shuai Wang, Jiali Zhao, Yuanyi Lin, Tongtong Xu, and Shaohua Wang
(Hong Kong University of Science and Technology, Hong Kong; Lingnan University, Hong Kong; Huawei, China; Central University of Finance and Economics, China)

Publisher's Version Article: oopslaa26main-p341-p doi:10.1145/3798258

Effectively Propositional Higher-Order Functional Programming
Nicholas V. Lewchenko, Kunha Kim, Bor-Yuh Evan Chang, and Gowtham Kaki
(University of Colorado Boulder, USA; Amazon, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p348-p doi:10.1145/3798259

Mechanised Semantics of Multi-stage Programming
Ka Wing Li, Maite Kramarz, Ningning Xie, and Jeremy Yallop
(University of Cambridge, UK; University of Toronto, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p354-p doi:10.1145/3798260

Differential Execution with Lexical Tracing
Sebastian Erdweg, Runqing Xu, and Mo Bitar
(KIT, Germany)

Publisher's Version Article: oopslaa26main-p381-p doi:10.1145/3798261

Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Minsu Kim, Sunbeom So, and Hakjoo Oh
(Korea University, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Article: oopslaa26main-p383-p doi:10.1145/3798262

Fail Faster: Staging and Fast Randomness for High-Performance PBT
Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, and Benjamin C. Pierce
(University of Pennsylvania, USA; University at Buffalo, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p387-p doi:10.1145/3798263

DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Timon Böhler, Tobias Reinhard, David Richter, and Mira Mezini
(TU Darmstadt, Germany; hessian.AI, Germany; National Research Center for Applied Cybersecurity ATHENE, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p391-p doi:10.1145/3798264

Detecting Flaky Tests by Controlling Nondeterministic API Behavior
Hengchen Yuan, Jiefang Lin, and August Shi
(University of Texas at Austin, USA)

Publisher's Version Article: oopslaa26main-p396-p doi:10.1145/3798265

From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Wei Li, Wenyao Chen, and Jingling Xue
(UNSW Sydney, Australia)

Publisher's Version Article: oopslaa26main-p409-p doi:10.1145/3798266

Speak Now: Safe Actor Programming with Multiparty Session Types
Simon Fowler and Raymond Hu
(University of Glasgow, UK; Queen Mary University of London, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p508-p doi:10.1145/3798267

A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs
Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Haokun Li, Mingqi Yang, Xiao Yi, Shengchao Qin, Yixing Luo, Xiaofeng Li, Bin Gu, Liqiang Lu, and Jianwei Yin
(Zhejiang University, China; Peking University, China; Chinese University of Hong Kong, China; Xidian University, China; Beijing Institute of Control Engineering, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p510-p doi:10.1145/3798268

Frashokereti: Non-aborting Optimistically Replicated Objects
Eric Man Chan, Javad Saberlatibari, and Mohsen Lesani
(University of California at Riverside, USA; University of California at Santa Cruz, USA)

Publisher's Version Article: oopslaa26main-p517-p doi:10.1145/3798269

Context-Free Language Reachability via Efficient Relation Chaining
Chenghang Shi, Haofeng Li, Jie Lu, and Lian Li
(Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhongguancun Laboratory, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Reproduced Article: oopslaa26main-p533-p doi:10.1145/3798270

Process-Centric Analysis of Agentic Software Systems
Shuyang Liu, Yang Chen, Rahul Krishna, Saurabh Sinha, Jatin Ganhotra, and Reyhaneh Jabbarvand
(University of Illinois at Urbana-Champaign, USA; IBM Research, USA)

Publisher's Version Article: oopslaa26main-p534-p doi:10.1145/3798271

Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Zong Cao, Yuqiang Sun, Zhengzi Xu, Kaixuan Li, Yeqi Fu, Yiran Zhang, Ziqiao Kong, and Yang Liu
(Imperial Global Singapore, Singapore; Nanyang Technological University, Singapore; National University of Singapore, Singapore)

Publisher's Version Article: oopslaa26main-p549-p doi:10.1145/3798272

IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Meetesh Kalpesh Mehta, Anirudh Garg, Aneeket Yadav, and Manas Thakur
(IIT Bombay, India; IIT Delhi, India)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Reproduced Article: oopslaa26main-p554-p doi:10.1145/3798273

Block Tests
Kevin Guan, Pengyue Jiang, Milos Gligoric, and Owolabi Legunsen
(Cornell University, USA; University of Texas at Austin, USA)

Publisher's Version Article: oopslaa26main-p561-p doi:10.1145/3798274

A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Qiyuan Xu, Renxi Wang, Peixin Wang, Haonan Li, and Conrad Watt
(Nanyang Technological University, Singapore; MBZUAI, United Arab Emirates; East China Normal University, China)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable Article: oopslaa26main-p581-p doi:10.1145/3798275