PPaperPicks
← All conferences
Editions202620252024

OOPSLA 2026

A

Conference on Object-Oriented Programming Systems, Languages, and Applications

Official site ↗
75
accepted papers
319
authors
October 3-9, 2026
dates
United States
location

75 / 75 papers

  1. 1
    (Dis)Proving Spectre Security with Speculation-Passing Style
    Santiago Arranz-Olmos
    ,
    Gilles Barthe
    ,
    Lionel Blatter
    ,
    Xingyu Xie
    ,
    Zhiyuan Zhang
  2. 2
    A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
    Qiyuan Xu
    ,
    Renxi Wang
    ,
    Peixin Wang
    ,
    Haonan Li
    ,
    Conrad Watt
  3. 3
    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
    ,
    Jianwei Yin
  4. 4
    Automatic Propagation of Profile Information through the Optimization Pipeline
    Elisa Fröhlich
    ,
    Angelica Aparecida Moreira
    ,
    Fernando Magno Quintão Pereira
  5. 5
    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
    ,
    Yu Jiang
  6. 6
    Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
    Haoran Lin
    ,
    Zhenyu Yan
    ,
    Xin Zhang
  7. 7
    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
    ,
    Yuming Zhou
  8. 8
    Block Tests
    Kevin Guan
    ,
    Pengyue Jiang
    ,
    Milos Gligoric
    ,
    Owolabi Legunsen
  9. 9
    Class-Dictionary Specialization with Rank-2 Polymorphic Functions
    Yong Qi Foo
    ,
    Michael D. Adams
  10. 10
    CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
    Jianhao Xu
    ,
    Kunbo Zhang
    ,
    Mathias Payer
    ,
    Kangjie Lu
    ,
    Bing Mao
  11. 11
    CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
    Haotian Han
    ,
    Zihang Zhong
    ,
    Qingan Li
    ,
    Jingling Xue
    ,
    Mengting Yuan
  12. 12
    Commuting Conversions and Join Points for Call-by-Push-Value
    Jonathan Chan
    ,
    Madi Gudin
    ,
    Annabel Levy
    ,
    Stephanie Weirich
  13. 13
    Context-Free Language Reachability via Efficient Relation Chaining
    Chenghang Shi
    ,
    Haofeng Li
    ,
    Jie Lu
    ,
    Lian Li
  14. 14
    Debugging Debugging Information using Dynamic Call Trees
    J. Ryan Stinnett
    ,
    Stephen Kell
  15. 15
    DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
    Timon Böhler
    ,
    Tobias Reinhard
    ,
    David Richter
    ,
    Mira Mezini
  16. 16
    Decompiling for Constant-Time Analysis
    Santiago Arranz-Olmos
    ,
    Gilles Barthe
    ,
    Lionel Blatter
    ,
    Youcef Bouzid
    ,
    Sören van der Wall
    ,
    Zhiyuan Zhang
  17. 17
    Deegen: A JIT-Capable VM Generator for Dynamic Languages
    Haoran Xu
    ,
    Fredrik Kjolstad
  18. 18
    Designing GPU Data Structures for Efficient Memory Oversubscription
    Vipin Patel
    ,
    Srinjoy Sarkar
    ,
    Swarnendu Biswas
    ,
    Mainak Chaudhuri
  19. 19
    Detecting Flaky Tests by Controlling Nondeterministic API Behavior
    Hengchen Yuan
    ,
    Jiefang Lin
    ,
    August Shi
  20. 20
    Determining the Unreachable: Constraint-Guided Reachability Analysis for Dependency Vulnerabilities
    Wenbu Feng
    ,
    Xiaohong Li
    ,
    Ruitao Feng
    ,
    Yao Zhang
    ,
    Yuekang Li
    ,
    Zhiping Zhou
    ,
    Yunqian Wang
    ,
    Yuqing Li
  21. 21
    Diatom: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking
    Anshunkang Zhou
    ,
    Charles Zhang
  22. 22
    Differential Execution with Lexical Tracing
    Sebastian Erdweg
    ,
    Runqing Xu
    ,
    Mo Bitar
  23. 23
    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
    ,
    Jin Song Dong
  24. 24
    Effectively Propositional Higher-Order Functional Programming
    Nicholas V. Lewchenko
    ,
    Kunha Kim
    ,
    Bor-Yuh Evan Chang
    ,
    Gowtham Kaki
  25. 25
    Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
    Zhen Li
    ,
    Shenghan Liu
    ,
    Qiuping Yi
    ,
    Pengbo Du
    ,
    Hongliang Liang
  26. 26
    Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
    Sirui Liu
    ,
    Wei Dong
    ,
    Yijie Zheng
    ,
    Haonan Guo
  27. 27
    Fail Faster: Staging and Fast Randomness for High-Performance PBT
    Cynthia Richey
    ,
    Joseph W. Cutler
    ,
    Harrison Goldstein
    ,
    Benjamin C. Pierce
  28. 28
    Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
    Andrea Gilot
    ,
    Tobias Wrigstad
    ,
    Eva Darulova
  29. 29
    Frashokereti: Non-aborting Optimistically Replicated Objects
    Eric Man Chan
    ,
    Javad Saberlatibari
    ,
    Mohsen Lesani
  30. 30
    From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
    Wei Li
    ,
    Wenyao Chen
    ,
    Jingling Xue
  31. 31
    Fully-Automatic Type Inference for Borrows with Lifetimes
    William Brandon
    ,
    Benjamin Driscoll
    ,
    Frank Dai
    ,
    Jonathan Ragan-Kelley
    ,
    Mae Milano
    ,
    Alex Aiken
  32. 32
    Geo: A Query Rewrite Framework for Graph Pattern Mining
    Nazanin Yousefian
    ,
    Kasra Jamshidi
    ,
    Keval Vora
    ,
    Anders Miltner
  33. 33
    Grammar Repair with Examples and Tree Automata
    Yunjeong Lee
    ,
    Gokul Rajiv
    ,
    Ilya Sergey
  34. 34
    Handling Exceptions and Effects with Automatic Resource Analysis
    Ethan Chu
    ,
    Yiyang Guo
    ,
    Jan Hoffmann
  35. 35
    Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
    Yuxuan He
    ,
    Ruilin Jiang
    ,
    He Zhang
    ,
    Qingkai Shi
    ,
    Huaxun Huang
    ,
    Rongxin Wu
  36. 36
    Hunting CUDA Bugs at Scale with cuFuzz
    Mohamed Tarek Ibn Ziad
    ,
    Christos Kozyrakis
  37. 37
    Hybrid Game Control Envelope Synthesis
    Aditi Kabra
    ,
    Jonathan Laurent
    ,
    Stefan Mitsch
    ,
    André Platzer
  38. 38
    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
    ,
    Shuiguang Deng
  39. 39
    IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
    Meetesh Kalpesh Mehta
    ,
    Anirudh Garg
    ,
    Aneeket Yadav
    ,
    Manas Thakur
  40. 40
    LARTS: Language Abstractions for Real-Time and Secure Systems
    Yanqi Li
    ,
    Hongliang Liang
    ,
    Rui Yao
    ,
    Yang Zhang
    ,
    Dong Liu
    ,
    Lei Wang
    ,
    Qiuping Yi
  41. 41
    Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
    Egor Namakonov
    ,
    Justus Fasse
    ,
    Bart Jacobs
    ,
    Lars Birkedal
    ,
    Amin Timany
  42. 42
    Learning Symmetric Invariants from Symmetric Samples
    Zhijie Xu
    ,
    Fei He
  43. 43
    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
    ,
    Shaohua Wang
  44. 44
    Localizing Type Errors for Syntactic Sugar by Lifting
    Zhichao Guan
    ,
    Tailai Yu
    ,
    Di Wang
    ,
    Zhenjiang Hu
  45. 45
    Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis
    Chenyu Zhou
    ,
    Jingbo Wang
    ,
    Chao Wang
  46. 46
    Mechanised Semantics of Multi-stage Programming
    Ka Wing Li
    ,
    Maite Kramarz
    ,
    Ningning Xie
    ,
    Jeremy Yallop
  47. 47
    Metamorphic Testing for Infrastructure-as-Code Engines
    David Spielmann
    ,
    George Zakhour
    ,
    Dominik Arnold
    ,
    Matteo Biagiola
    ,
    Roland Meier
    ,
    Guido Salvaneschi
  48. 48
    MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
    Gengyang Xu
    ,
    Dongwei Xiao
    ,
    Yiteng Peng
    ,
    Shuai Wang
  49. 49
    Mixed Choice in Asynchronous Multiparty Session Types
    Laura Bocchi
    ,
    Raymond Hu
    ,
    Adriana Laura Voinea
    ,
    Simon Thompson
  50. 50
    Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
    Jonas Kastberg Hinrichsen
    ,
    Iwan Quémerais
    ,
    Lars Birkedal