OOPSLA

2022–2026 LIVE

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

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2025 · 210 papers

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

2025 · OOPSLA
Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
Anastasios Antoniadis, Ilias Tsatiris, Neville Grech, Yannis Smaragdakis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
Unveiling Heisenbugs with Diversified Execution
Arjun Ramesh, Tianshu Huang, Jaspreet Riar, Ben L. Titzer, Anthony Rowe
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative Equality Saturation
Maolin Sun, Yibiao Yang, Jiangchang Wu, Yuming Zhou
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
Verification of Bit-Flip Attacks against Quantized Neural Networks
Yedi Zhang, Lei Huang, Pengfei Gao, Fu Song, Jun Sun, Jin Song Dong
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
We’ve Got You Covered: Type-Guided Repair of Incomplete Input Generators
Patrick LaFontaine, Zhe Zhou, Ashish Mishra, Suresh Jagannathan, Benjamin Delaware
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures
Yichen Xu, Oliver Bračevac, Cao Nguyen Pham, Martin Odersky
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
Work Packets: A New Abstraction for GC Software Engineering, Optimization, and Innovation
Wenyu Zhao, Stephen M. Blackburn, Kathryn S. McKinley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
Zero-Overhead Lexical Effect Handlers
Cong Ma, Zhaoyi Ge, Max Jung, Yizhou Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
im2im: Automatically Converting In-Memory Image Representations using a Knowledge Graph Approach
Fei Chen, Sunita Saha, Manuela Schuler, Philipp Slusallek, Tim Dahmen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2025 · OOPSLA
qblaze: An Efficient and Scalable Sparse Quantum Simulator
Hristo Venev, Thien Udomsrirungruang, Dimitar Dimitrov, Timon Gehr, Martin Vechev
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）