PPaperPicks
← All conferences
Editions202620252024

OOPSLA 2025

A

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

Official site ↗
216
accepted papers
802
authors
October 12-18, 2025
dates
Singapore
location

216 / 216 papers

  1. 1
    A Complete Formal Semantics of eBPF Instruction Set Architecture for Solana
    Shenghao Yuan
    ,
    Zhuoruo Zhang
    ,
    Jiayi Lu
    ,
    David Sanán
    ,
    Rui Chang
    ,
    Yongwang Zhao
  2. 2
    A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo)
    Kartik Chandra
    ,
    Tony Chen
    ,
    Joshua B. Tenenbaum
    ,
    Jonathan Ragan-Kelley
  3. 3
    A Flow-Sensitive Refinement Type System for Verifying eBPF Programs
    Ameer Hamza
    ,
    Lucas Zavalía
    ,
    Arie Gurfinkel
    ,
    Jorge A. Navas
    ,
    Grigory Fedyukovich
  4. 4
    A Hoare Logic for Symmetry Properties
    Vaibhav Mehta
    ,
    Justin Hsu
  5. 5
    A Language for Quantifying Quantum Network Behavior
    Anita Buckley
    ,
    Pavel Chuprikov
    ,
    Rodrigo Otoni
    ,
    Robert Soulé
    ,
    Robert Rand
    ,
    Patrick Eugster
  6. 6
    A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference
    Cunyuan Gao
    ,
    Lionel Parreaux
  7. 7
    A Mechanized Semantics for Dataflow Circuits
    Tony Law
    ,
    Delphine Demange
    ,
    Sandrine Blazy
  8. 8
    A Refinement Methodology for Distributed Programs in Rust
    Aurel Bílý
    ,
    João C. Pereira
    ,
    Peter Müller
  9. 9
    A Sound Static Analysis Approach to I/O API Migration
    Shangyu Li
    ,
    Zhaoyang Zhang
    ,
    Sizhe Zhong
    ,
    Diyu Zhou
    ,
    Jiasi Shen
  10. 10
    A Unifying Approach to Product Constructions for Quantitative Temporal Inference
    Kazuki Watanabe
    ,
    Sebastian Junges
    ,
    Jurriaan Rot
    ,
    Ichiro Hasuo
  11. 11
    ABC: Towards a Universal Code Styler through Model Merging
    Yitong Chen
    ,
    Zhiqiang Gao
    ,
    Chuanqi Shi
    ,
    Baixuan Li
    ,
    Miao Gao
  12. 12
    Abstract Interpretation of Temporal Safety Effects of Higher Order Programs
    Mihai Nicola
    ,
    Chaitanya Agarwal
    ,
    Eric Koskinen
    ,
    Thomas Wies
  13. 13
    Abstraction Refinement-Guided Program Synthesis for Robot Learning from Demonstrations
    Guofeng Cui
    ,
    Yuning Wang
    ,
    Wensen Mao
    ,
    Yuanlin Duan
    ,
    He Zhu
  14. 14
    AccelerQ: Accelerating Quantum Eigensolvers with Machine Learning on Quantum Simulators
    Avner Bensoussan
    ,
    Elena Chachkarova
    ,
    Karine Even-Mendoza
    ,
    Sophie Fortz
    ,
    Connor Lenihan
  15. 15
    Active Learning for Neurosymbolic Program Synthesis
    Celeste Barnaby
    ,
    Qiaochu Chen
    ,
    Ramya Ramalingam
    ,
    Osbert Bastani
    ,
    Isil Dillig
  16. 16
    Adaptive Shielding via Parametric Safety Proofs
    Yao Feng
    ,
    Jun Zhu
    ,
    André Platzer
    ,
    Jonathan Laurent
  17. 17
    Adequacy for Algebraic Effects Revisited
    G. A. Kavvos
  18. 18
    Advancing Performance via a Systematic Application of Research and Industrial Best Practice
    Wenyu Zhao
    ,
    Stephen M. Blackburn
    ,
    Kathryn S. McKinley
    ,
    Man Cao
    ,
    Sara S. Hamouda
  19. 19
    Agora: Trust Less and Open More in Verification for Confidential Computing
    Hongbo Chen
    ,
    Quan Zhou
    ,
    Sen Yang
    ,
    Sixuan Dang
    ,
    Xing Han
    ,
    Danfeng Zhang
    ,
    Fan Zhang
    ,
    Xiaofeng Wang
  20. 20
    An Empirical Evaluation of Property-Based Testing in Python
    Savitha Ravi
    ,
    Michael Coblenz
  21. 21
    An Empirical Study of Bugs in the rustc Compiler
    Zixi Liu
    ,
    Yang Feng
    ,
    Yunbo Ni
    ,
    Shaohua Li
    ,
    Xizhe Yin
    ,
    Qingkai Shi
    ,
    Baowen Xu
    ,
    Zhendong Su
  22. 22
    API-Guided Dataset Synthesis to Finetune Large Code Models
    Zongjie Li
    ,
    Daoyuan Wu
    ,
    Shuai Wang
    ,
    Zhendong Su
  23. 23
    ApkDiffer: Accurate and Scalable Cross-Version Diffing Analysis for Android Applications
    Jiarun Dai
    ,
    Mingyuan Luo
    ,
    Yuan Zhang
    ,
    Min Yang
    ,
    Minghui Yang
  24. 24
    Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis
    Yuchen Ji
    ,
    Ting Dai
    ,
    Zhichao Zhou
    ,
    Yutian Tang
    ,
    Jingzhu He
  25. 25
    Automated Discovery of Tactic Libraries for Interactive Theorem Proving
    Yutong Xin
    ,
    Jimmy Xin
    ,
    Gabriel Poesia
    ,
    Noah D. Goodman
    ,
    Qiaochu Chen
    ,
    Isil Dillig
  26. 26
    Automated Verification of Soundness of DNN Certifiers
    Avaljot Singh
    ,
    Yasmin Sarita
    ,
    Charith Mendis
    ,
    Gagandeep Singh
  27. 27
    Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials
    Qihao Lian
    ,
    Di Wang
  28. 28
    Automatically Verifying Replication-Aware Linearizability
    Vimala Soundarapandian
    ,
    Kartik Nagar
    ,
    Aseem Rastogi
    ,
    K. C. Sivaramakrishnan
  29. 29
    AutoVerus: Automated Proof Generation for Rust Code
    Chenyuan Yang
    ,
    Xuheng Li
    ,
    Md Rakib Hossain Misu
    ,
    Jianan Yao
    ,
    Weidong Cui
    ,
    Yeyun Gong
    ,
    Chris Hawblitzel
    ,
    Shuvendu K. Lahiri
    ,
    Jacob R. Lorch
    ,
    Shuai Lu
    ,
    Fan Yang
    ,
    Ziqiao Zhou
    ,
    Shan Lu
  30. 30
    Bennet: Randomized Specification Testing for Heap-Manipulating Programs
    Zain K. Aamer
    ,
    Benjamin C. Pierce
  31. 31
    Binary Cryptographic Function Identification via Similarity Analysis with Path-Insensitive Emulation
    Yikun Hu
    ,
    Yituo He
    ,
    Wenyu He
    ,
    Haoran Li
    ,
    Yubo Zhao
    ,
    Shuai Wang
    ,
    Dawu Gu
  32. 32
    Bolt-On Strong Consistency: Specification, Implementation, and Verification
    Nicholas V. Lewchenko
    ,
    Gowtham Kaki
    ,
    Bor-Yuh Evan Chang
  33. 33
    Boosting Program Reduction with the Missing Piece of Syntax-Guided Transformations
    Zhenyang Xu
    ,
    Yongqiang Tian
    ,
    Mengxiao Zhang
    ,
    Chengnian Sun
  34. 34
    Borrowing from Session Types
    Hannes Saffrich
    ,
    Janek Spaderna
    ,
    Peter Thiemann
    ,
    Vasco T. Vasconcelos
  35. 35
    Bridging the Gap between Real-World and Formal Binary Lifting through Filtered-Simulation
    Jihee Park
    ,
    Insu Yun
    ,
    Sukyoung Ryu
  36. 36
    Carapace: Static-Dynamic Information Flow Control in Rust
    Vincent Beardsley
    ,
    Chris Xiong
    ,
    Ada Lamba
    ,
    Michael D. Bond
  37. 37
    Certified Decision Procedures for Width-Independent Bitvector Predicates
    Siddharth Bhat
    ,
    Léo Stefanesco
    ,
    Chris Hughes
    ,
    Tobias Grosser
  38. 38
    Characterizing Implementability of Global Protocols with Infinite States and Data
    Elaine Li
    ,
    Felix Stutz
    ,
    Thomas Wies
    ,
    Damien Zufferey
  39. 39
    Checking Observational Correctness of Database Systems
    Lauren Pick
    ,
    Amanda Xu
    ,
    Ankush Desai
    ,
    Sanjit A. Seshia
    ,
    Aws Albarghouthi
  40. 40
    Checking δ-Satisfiability of Reals with Integrals
    Cody Rivera
    ,
    Bishnu Bhusal
    ,
    Rohit Chadha
    ,
    A. Prasad Sistla
    ,
    Mahesh Viswanathan
  41. 41
    Choreographic Quick Changes: First-Class Location (Set) Polymorphism
    Ashley Samuelson
    ,
    Andrew K. Hirsch
    ,
    Ethan Cecchetti
  42. 42
    Code Style Sheets: CSS for Code
    Sam Cohen
    ,
    Ravi Chugh
  43. 43
    Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
    John C. Kolesar
    ,
    Shan Ali
    ,
    Timos Antonopoulos
    ,
    Ruzica Piskac
  44. 44
    Combining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
    Tianchi Li
    ,
    Xin Zhang
  45. 45
    Compiling Classical Sequent Calculus to Stock Hardware: The Duality of Compilation
    Philipp Schuster
    ,
    Marius Müller
    ,
    Klaus Ostermann
    ,
    Jonathan Immanuel Brachthäuser
  46. 46
    Complete the Cycle: Reachability Types with Expressive Cyclic References
    Haotian Deng
    ,
    Siyuan He
    ,
    Songlin Jia
    ,
    Yuyan Bao
    ,
    Tiark Rompf
  47. 47
    Compositional Quantum Control Flow with Efficient Compilation in Qunity
    Mikhail Mints
    ,
    Finn Voichick
    ,
    Leonidas Lampropoulos
    ,
    Robert Rand
  48. 48
    Compositional Symbolic Execution for the Next 700 Memory Models
    Andreas Lööw
    ,
    Seung Hoon Park
    ,
    Daniele Nantes-Sobrinho
    ,
    Sacha-Élie Ayoun
    ,
    Opale Sjöstedt
    ,
    Philippa Gardner
  49. 49
    Compressed and Parallelized Structured Tensor Algebra
    Mahdi Ghorbani
    ,
    Emilien Bauer
    ,
    Tobias Grosser
    ,
    Amir Shaikhha
  50. 50
    Contract System Metatheories à la Carte: A Transition-System View of Contracts
    Shu-Hung You
    ,
    Christos Dimoulas
    ,
    Robert Bruce Findler