OOPSLA

2022–2026 LIVE

著者一覧 · 国際会議 · 大学ランキング

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2026 · 170 papers

このEditionに反映済みのmain full research papersのみ掲載しています。著者リンクは日本の大学への著者別所属根拠がある場合に限ります。

2026 · OOPSLA
Planning to Hammer: Difficulty-Aware Decomposition for Automating Rocq Proofs
Ning Zhang, Nongyu Di, Zenan Li, Yuan Yao, Xiaoxing Ma
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Yichen Tao, Hongfei Fu, Jiawei Chen, Jean-Baptiste Jeannin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Probabilistic Programming with Programmable Divide-Conquer-Combine Inference on Modern Hardware
Markus Böck, Jürgen Cito
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Process-Centric Analysis of Agentic Software Systems
Shuyang Liu, Yang Chen, Rahul Krishna, Saurabh Sinha, Jatin Ganhotra, Reyhaneh Jabbarvand
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Programming with Composable Recursive Patterns and Transformations
Luyu Cheng, Florent Ferrari, Michael D. Adams, Lionel Parreaux
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Prosecutor: Bayesian Counterfactual Fault Localization
Sara Baradaran, Yifei Huang, Wei Le, Mukund Raghothaman
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
Minsu Kim, Sunbeom So, Hakjoo Oh
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Pyriscope: Precise and Low-Overhead Python Control Flow Tracing via Sparse Hardware-Based Events
Xinchen Yao, Wu Daiyou, Zhiqiang Zuo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Quantum Monte Carlo Estimation via Probabilistic Programming
Seungmin Jeon, Jaeho Choi, Jonguk Jeon, Kanguk Lee, Kyeongmin Cho, Sukyoung Ryu, Jeehoon Kang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Quantum Uncomputation of Clean and Dirty Ancilla Qubits
Chenke Liu, Li Zhou, Boning Meng
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
RAT-CAT-SAT: Model Checking Memory Consistency Models
Jan Grünke, Thomas Haas, Roland Meyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
RGSep under Release/Acquire Consistency
Ellen Arlt, Viktor Vafeiadis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
Yuchong Xie, Kaikai Zhang, Yu Liu, Rundong Yang, Ping Chen, Shuai Wang, Dongdong She
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Random Testing via Runtime Abstract Interpretation
Zain K Aamer, Benjamin C. Pierce
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
ReFun: Reconstructing Function Boundaries in EVM Bytecode
Yichuan Li, Wei Song, Jeff Huang, Hans-Arno Jacobsen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Real-to-Sim Generation: Synthesizing Scenario Programs from Real-World Data via Constraint Solving
Peishan Huang, Wenmeng Zhang, Yusen Chen, Zhenbang Chen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Yihan Dai, Sijie Liang, Haotian Xu, Peichu Xie, Sergey Mechtaev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Refined² Environment Classifiers
Yuito Murase, Atsushi Igarashi
Programming Languages & Formal Methods
日本大学: 京都大学
2026 · OOPSLA
Reframing Paths as Logic: Semantic Segmentation for Vulnerability Detection
Zong Cao, Yuqiang Sun, Zhengzi Xu, Kaixuan Li, Yeqi Fu, Yiran Zhang, Ziqiao Kong, Yang Liu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems
Elliott Slaughter, Rupanshu Soi, Michael Bauer, Alex Aiken
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Revisiting Path Coverage Tracing from a Node-Centric View
Heqing Huang, Zhendong Su
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Revisiting Row Polymorphism for Set-Theoretic Types
Mickaël Laurent, Pierre Donat-Bouillud, Filip Křikava, Jan Vitek
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
SART: Sign-Absolute Reformulation Theory for Binary Variable Reduction in Neural Network Verification
Jin Xu, Miaomiao Zhang, Bowen Du
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
SPONGE: Adaptive Boundary-Anchored Indexing for Online Value-Flow Queries
Sixiang Peng, Chenyang Sun, Wei Chen, Bowen Zhang, Charles Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Scylla: Translating an Applicative Subset of C to Safe Rust
Aymeric Fromherz, Jonathan Protzenko
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Seeking Evidence of Further Optimization: Detecting Missed Optimizations through Compiler’s Native Analyses
Yi Zhang, Yu Wang, Ke Wang, Linzhang Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Semantics for 2D Rasterization
Bhargav Kulkarni, Henry Whiting, Pavel Panchekha
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Semi-declarative Language for Combinatorial Search
Ziyi Yang, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
SmartFuzz: Leveraging Large Language Models and Feature Composition to Generate High-Quality Seeds for Database Fuzzing
Li Lin, Jintai Hong, Yanlin Zhuang, Rongxin Wu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Sound Enforcement of Dynamic Release Information Flow Policy
Jeffrey Ching, Danfeng Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Sound State Encodings in Translational Separation Logic Verifiers
Hongyi Ling, Thibault Dardinier, Ellen Arlt, Peter Müller
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Sound and Complete Invariant-Based Heap Encodings
Zafer Esen, Philipp Rümmer, Tjark Weber
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Sound and Complete Solving for Multi-width Parametric Bitvectors via Principled Reductions
Siddharth Bhat, Léo Stefanesco, George Rennie, John Regehr, Tobias Grosser
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Spatial and Temporal Decomposition for Faster Translation Validation
Benjamin Mikek, Chathur Bommineni, Qirun Zhang, Thomas Reps
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Speak Now: Safe Actor Programming with Multiparty Session Types
Simon Fowler, Raymond Hu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Specy: Learning Specifications for Distributed Systems from Event Traces
Mike He, Ankush Desai, Aishwarya Jagarapu, Doug Terry, Sharad Malik, Aarti Gupta
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Staged Multi-step UTXO Workflows via Recursive Invariants
Shuyang Tang, Sherman S. M. Chow, Hongfei Fu, Zihan Guo, Guoqiang Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Static Factorisation of Probabilistic Programs with User-Labelled Sample Statements and While Loops
Markus Böck, Jürgen Cito
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
SymGPT: Auditing Smart Contracts via Combining Symbolic Execution with Large Language Models
Shihao Xia, Mengting He, Shuai Shao, Tingting Yu, Yiying Zhang, Nobuko Yoshida, Linhai Song
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Symbolic Basic Block Profiling for Machine Learning Kernels
Jingyu Qiu, Rongcui Dong, Sreepathi Pai
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Synthesis of Compact and Expressive Quantum-Circuit Optimizations
Wei Qiang, Ronghui Gu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Synthesizing Graph Queries from Demonstrations
Xiaoyu Liu, Qikang Liu, Evan Dyce, Keval Vora, Yuepeng Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Systematic Design of Separation Logics
Roberto Bruni, Lorenzo Gazzella, Roberta Gori
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
T-REX: Teaching Large Language Models to Reason with Verbalized Execution Semantics
Yan Wang, Ling Ding, Jiechen Sun, Tien N. Nguyen, Shaohua Wang, Aashish Yadavally, Xin Xia, Yanan Zheng
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Charitha Saumya, Muhammad Hassan, Rohan Gangaraju, Milind Kulkarni, Kirshanthan Sundararajah
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
TensorRocq: Enabling Diagrammatic Reasoning in Rocq
Ben Caldwell, William Spencer, Aleks Kissinger, Robert Rand
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Testing Theorems, Fully Automatically
Segev Elazar Mittelman, Harrison Goldstein, Leonidas Lampropoulos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Timeline: Adding the Time Dimension to Spreadsheets
Tomas Petricek, Tomáš Boďa
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols
Kai Pischke, Nobuko Yoshida
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Towards Concise Binding Semantics of Late-Bound OOP Systems
Joel Jakubovic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Tracking Borrows with Regular Expressions
Todd Nowacki, Sam Blackshear, John Mitchell, Shaz Qadeer, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Transitive, Abstract, and Class Polymorphic Immutability
Aosen Xiong, Yudi Bai, Haifeng Shi, Lian Sun, Mier Ta, Werner Dietl
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
TwinString: Preserving String Semantics with Off-Heap Data on the JVM
Júnior Löff, Daniele Bonetta, Walter Binder
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Type Inference for Functional and Imperative Dynamic Languages
Mickaël Laurent, Jan Vitek
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Type, Ability, and Effect Systems: Perspectives on Purity, Semantics, and Expressiveness
Yuyan Bao, Tiark Rompf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Type-Directed Discretization of Probabilistic Programs
Katherine Wu, Jules Jacobs, Kevin Batz, Alexandra Silva
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Type-Safe Monotonic Object Evolution
Alexandra Mirrlees-Black, Haoyu Wu, Gregor Richards, Fabian Muehlboeck
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Uncovering Hidden Memory Costs for Garbage Collection
Sudhanshu Agarwal, Saugata Ghose
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Understanding Accelerator Compilers via Performance Profiling
Ayaka Yorihiro, Griffin Berlstein, Pedro Pontes García, Kevin Laeufer, Adrian Sampson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Understanding and Finding JIT Compiler Performance Bugs
Zijian Yi, Cheng Ding, August Shi, Milos Gligoric
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Validating Optimizing SMT Solvers via Cross-Theory Approximation
Maolin Sun, Fuqi Jia, Yibiao Yang, Yuming Zhou
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
VeriEQ: Finding Verilog Simulators and Synthesizers Bugs with Equivalence Circuit Transformation
Zhen Yan, Yuanliang Chen, Fuchen Ma, Zehong Yu, Dalong Shi, Yu Jiang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Verifying Economic Security of Smart Contracts via Unintended Return
Yi Rong, Xupeng Li, Ronghui Gu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Verifying Repeat-until-Success Protocols using Automata
Jyun-Ao Lin, Yu-Fang Chen, Jakub Havlík, Ondřej Lengál, Fang-Yi Lo, Wei-Lun Tsai, You-Jie Wu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
When Do Staging Annotations Preserve Semantics? Mechanizing Typed Semantics-Preserving Multi-stage Programming with Let-Insertion
Jun Tan, Guannan Wei
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
When FPGA Meets Dataflow Analysis: An Explorative Step
Fang Wei, Qinlin Chen, Nairen Zhang, Jiacai Cui, Tian Tan, Zhiqiang Zuo, Yue Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
When Lifetimes Liberate: A Type System for Arenas with Higher-Order Reachability Tracking
Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
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, Yinliang Yue
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
ZSafe: Proving the Safety of Proprietary Hardware Designs in Zero Knowledge
Zhaoxiang Liu, James Parker, Ning Luo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
noDice: Inference for Discrete Probabilistic Programs with Nondeterminism and Conditioning
Tobias Gürtler, Benjamin Lucien Kaminski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）