OOPSLA

2022–2026 LIVE

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

OOPSLA 公式サイト ↗

Programming Languages & Formal Methods

2026 · 170 papers

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

2026 · OOPSLA
(Dis)Proving Spectre Security with Speculation-Passing Style
Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Xingyu Xie, Zhiyuan Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
A Design Space Exploration of Async/Await
Gavin Gray, Shriram Krishnamurthi, Will Crichton
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
A Formal Account of the Wasm 3.0 Concurrency Model
Azalea Raad, Michalis Kokologiannakis, Viktor Vafeiadis, Conrad Watt
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
A Language Approach to Fine-Grained Microarchitectural Observation
Guokai Chen, Sergi Soler Arrufat, Clément Pit-Claudel, Thomas Bourgeat
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
A Minimalist Proof Language for Neural Theorem Proving over Isabelle/HOL
Qiyuan Xu, Renxi Wang, Peixin Wang, Haonan Li, Conrad Watt
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
A New Approach to Optimal Function Inlining for Code Size Minimization via E-graphs
Amir K. Goharshady, Chun Kit Lam, Andreas Pavlogiannis, Ahmed Khaled Zaher
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
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
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
A Type System for Optimizing Dynamic IFC
Daniel Galán Pascual, François Hublet, Srđan Krstić, Roman Fischer, Colin Pfingstl, David Basin
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
AADT: Abstract Abstract Data Types
Julien Simonnet, Matthieu Lemerre, Mihaela Sighireanu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Abductive Inference of Separation Logic Specifications with Isorecursive User-Defined Predicates and Magic Wands
Nicolas Klose, Peter Müller
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Accurate Residues for Floating-Point Debugging
Yumeng He, Pavel Panchekha
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Agent-Based Automated Remediation for Vulnerabilities in Maven Projects
Lyuye Zhang, He Ye, Federica Sarro, Yuqiang Sun, Yang Liu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Augur: Predicting View Serializability Violations in Relational Data Store Applications
Chujun Geng, Noah Charlton, Spyros Blanas, Michael D. Bond, Yang Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Automated Debugging of Datalog Programs
Jiashen Wei, Baoyuan Luo, Runshuo Xie, Yun Qi, Yiyu Zhang, Xizao Wang, Xintao Niu, Zhiqiang Zuo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Automatic Propagation of Profile Information through the Optimization Pipeline
Elisa Fröhlich, Angélica Moreira, Fernando Magno Quintão Pereira
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions
Devansh Jain, Akash Pardeshi, Marco Frigo, Kaustubh Khulbe, Krut Patel, Saatvik Lochan, Jai Arora, Charith Mendis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
BackSmith: A Systematic Approach to Testing Compiler Backends
Hongyu Chen, Yu Wang, Jianhua Zhao, Ke Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
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
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Beer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
Haoran Lin, Zhenyu Yan, Xin Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
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
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Beyond Nominality: Faster Rapid Type Analysis in the Presence of Structural Subtyping
Elton Pinto, Milind Chabbi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Block Tests
Kevin Guan, Pengyue Jiang, Milos Gligoric, Owolabi Legunsen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Bonsai: Efficient and Optimal Automatic Tensor Rematerialization for Memory-Constrained DNN Training
Dat Nguyen, Vasudha Devarakonda, Anxiao Jiang, Khanh Nguyen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Bringing Foundational Verification to Real-World Rust Code
Lennard Gäher, Vincent Lafeychine, Sascha Kehrli, Avraham Shinnar, Wojciech Ozga, Guerney Hunt, Derek Dreyer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
CLower: Detecting Compiler Pessimization Bugs through Redundant Memory Accesses
Jianhao Xu, Kunbo Zhang, Mathias Payer, Kangjie Lu, Bing Mao
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
CMakeSonar: A Static Approach to Detecting CMake Bugs with a Fine-Grained Type System
Haotian Han, Zihang Zhong, Qingan Li, Jingling Xue, Mengting Yuan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
CapOpt: Capability-Aware Superoptimization for Secure and Provably Faster Code
Xiaoyang Sun, Dejice Jacob, Huanting Wang, Jeremy Singer, Zheng Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Class-Dictionary Specialization with Rank-2 Polymorphic Functions
Yong Qi Foo, Michael D. Adams
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Classifying Capabilities
Cao Nguyen Pham, Oliver Bračevac, Yichen Xu, Yaoyu Zhao, Martin Odersky
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Code–Test Co-translation: Towards Practical and Effective Program Migration in the Wild
Xitao Li, Xiaofei Xie, Jiang Wu, Ting Liu, Haijun Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Commit-Window Observation Contracts for Reactive Entity-Component Systems
Tomoyuki Aotani, Tetsuo Kamina
Programming Languages & Formal Methods
日本大学: 大分大学 / 芝浦工業大学
2026 · OOPSLA
Commuting Conversions and Join Points for Call-by-Push-Value
Jonathan Chan, Madi Gudin, Annabel Levy, Stephanie Weirich
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Compiling Quantum Regular Language States
Armando Bellante, Reinis Irmejs, Marta Florido-Llinàs, María Cea Fernández, Marianna Crupi, Matthew Kiser, J. Ignacio Cirac
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Compiling WebAssembly Concolic Execution with Staging, Continuations, and Snapshots
Dinghong Zhong, Alexander Y. Bai, Mikail Khan, Guannan Wei
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Composing CRDTs Convergent by Construction
Alexander Städing Dominguez, George Zakhour, Pascal Weisenburger, Guido Salvaneschi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Context-Free Language Reachability via Efficient Relation Chaining
Chenghang Shi, Haofeng Li, Jie Lu, Lian Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types
Timon Böhler, Tobias Reinhard, David Richter, Mira Mezini
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Debugging Debugging Information using Dynamic Call Trees
J. Ryan Stinnett, Stephen Kell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Decompiling for Constant-Time Analysis
Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Youcef Bouzid, Sören van der Wall, Zhiyuan Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Deegen: A JIT-Capable VM Generator for Dynamic Languages
Haoran Xu, Fredrik Kjolstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Designing GPU Data Structures for Efficient Memory Oversubscription
Vipin Patel, Srinjoy Sarkar, Swarnendu Biswas, Mainak Chaudhuri
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Detecting Flaky Tests by Controlling Nondeterministic API Behavior
Hengchen Yuan, Jiefang Lin, August Shi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
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
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Diatom: Polylithic Binary Lifting with Data-Flow Summaries and Type-Aware IR Linking
Anshunkang Zhou, Charles Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Differential Execution with Lexical Tracing
Sebastian Erdweg, Runqing Xu, Mo Bitar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Direct Manipulation and Natural Language Programming, Together at Last?
Parker Ziegler, David Minh-Duy Cao, Justin Lubin, Sarah E. Chasins
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
EUFⁿ: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
Yide Du, Zhenbang Chen, Weijiang Hong, Wei Dong
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
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
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Effectively Propositional Higher-Order Functional Programming
Nicholas V. Lewchenko, Kunha Kim, Bor-Yuh Evan Chang, Gowtham Kaki
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Efficient Directed Hybrid Fuzzing via Target-Centric Seed Selection and Generation
Zhen Li, Shenghan Liu, Qiuping Yi, Pengbo Du, Hongliang Liang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Efficient Extraction for Effectful E-graphs
Oliver Flatt, Anjali Pal, Yihong Zhang, Ryan Tjoa, Kirsten Graham, Alex Fischman, Chandrakana Nandi, Eli Rosenthal, Zachary Tatlock, Haobin Ni
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Efficient Incremental GR(1) Synthesis via Monotonic Fixed-Point Reuse
Sirui Liu, Wei Dong, Yijie Zheng, Haonan Guo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Equivalence Checking of ML GPU Kernels
Benjamin Driscoll, Kshitij Dubey, Anjiang Wei, Neeraj Kayal, Rahul Sharma, Alex Aiken
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Experimental Evaluation Methodology for the Era of No Steady Performance
Jaromír Antoch, Walter Binder, Lubomír Bulej, François Farquet, Vojtěch Horký, Aleksandar Prokopec, Andrea Rosà, Petr Tůma
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Cynthia Richey, Joseph W. Cutler, Harrison Goldstein, Benjamin C. Pierce
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Fighting Supply Chain Attacks with Effect Systems
Magnus Madsen, Andreas Stenbæk Larsen, Jakob Schneider Villumsen, Aslan Askarov
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Filtr: Compiling Bioinformatics Recurrences
Bala Vinaithirthan, Shiv Sundram, Sneha Goenka, Fredrik Kjolstad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
First-Class Refinement Types for Scala
Matt Bovel, Viktor Kunčak, Martin Odersky
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Andrea Gilot, Tobias Wrigstad, Eva Darulova
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications
Shenghao Yuan, Yazhou Tang, Tianci Cao, Frédéric Besson, Jean-Pierre Talpin, Mingshuai Chen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Frashokereti: Non-aborting Optimistically Replicated Objects
Eric Man Chan, Javad Saberlatibari, Mohsen Lesani
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Wei Li, Wenyao Chen, Jingling Xue
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
From Similarity Ranking to Definitive Verdict: LLM-Enhanced Source-to-Binary Function Localization
Jingyi Shi, Chengyue Liu, Zhengzi Xu, Yang Xiao, Xingchu Chen, Yeting Li, Wei Huo, Yang Liu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Fully-Automatic Type Inference for Borrows with Lifetimes
William Brandon, Benjamin Driscoll, Frank Dai, Jonathan Ragan-Kelley, Mae Milano, Alex Aiken
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Geo: A Query Rewrite Framework for Graph Pattern Mining
Nazanin Yousefian, Kasra Jamshidi, Keval Vora, Anders Miltner
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Grammar Repair with Examples and Tree Automata
Yunjeong Lee, Gokul Rajiv, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Granthi: Higher-Order Quantum Programming via Unitary Wiring
Samson Abramsky, Radha Jagadeesan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Handling Exceptions and Effects with Automatic Resource Analysis
Ethan Chu, Yiyang Guo, Jan Hoffmann
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Heap Abstraction via Early-Confluent Object Merging for Pointer Analysis
Jinpeng Wang, Yufei Liang, Zhongsheng Zhan, Tian Tan, Yue Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis
Yuxuan He, Ruilin Jiang, He Zhang, Qingkai Shi, Huaxun Huang, Rongxin Wu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Hunting CUDA Bugs at Scale with cuFuzz
Mohamed Tarek Ibn Ziad, Christos Kozyrakis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Hybrid Game Control Envelope Synthesis
Aditi Kabra, Jonathan Laurent, Stefan Mitsch, André Platzer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
IRIDIUM: A Framework for Statically Optimizing JavaScript Programs
Meetesh Kalpesh Mehta, Anirudh Garg, Aneeket Yadav, Manas Thakur
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Implementing Set-Theoretic Types
Mickaël Laurent, Kim Nguyễn
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Incremental Program Synthesis from Event Logs
Jinwoo Kim, Victor Nicolet, Joey Dodds, Loris D'Antoni
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Infinitary Relational Logic
Vladimir Gladshtein, Qiyuan Zhao, Yuxi Ling, Sean Wang, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
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
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Interactive Data Analysis with Lively Typed Tables
Alexander Bandukwala, Cyrus Omar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
LARTS: Language Abstractions for Real-Time and Secure Systems
Yanqi Li, Hongliang Liang, Rui Yao, Yang Zhang, Dong Liu, Lei Wang, Qiuping Yi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
LLM-Assisted Unsatisfiability Proofs for Satisfiability Modulo Theories, Oracles, and Natural Language
Gourav Takhar, Sumit Lahiri, Pankaj Kumar Kalita, Subhajit Roy
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
LLM-Based Alarm Resolution Guided by Bayesian Program Analysis
Yifan Zhang, Yuanfeng Shi, Haoran Lin, Yingfei Xiong, Xin Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
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
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Lawyer: Modular Obligations-Based Liveness Reasoning in Higher-Order Impredicative Concurrent Separation Logic
Egor Namakonov, Justus Fasse, Bart Jacobs, Lars Birkedal, Amin Timany
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Learning Symmetric Invariants from Symmetric Samples
Zhijie Xu, Fei He
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Localizing Type Errors for Syntactic Sugar by Lifting
Zhichao Guan, Tailai Yu, Di Wang, Zhenjiang Hu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
MGQL: An Executable, Small-Step Semantics of GQL
Aditya Thimmaiah, Tong-Nong Lin, Milos Gligoric
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Mechanically Translating Iterative Dataflow Analysis to Algebraic Program Analysis
Chenyu Zhou, Jingbo Wang, Chao Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Mechanised Semantics of Multi-stage Programming
Ka Wing Li, Maite Kramarz, Ningning Xie, Jeremy Yallop
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
MetaSpace: Metamorphic Testing for Spatial Cognition in Embodied Agents
Gengyang Xu, Dongwei Xiao, Yiteng Peng, Shuai Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Metamorphic Testing for Infrastructure-as-Code Engines
David Spielmann, George Zakhour, Dominik Arnold, Matteo Biagiola, Roland Meier, Guido Salvaneschi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Mixed Choice in Asynchronous Multiparty Session Types
Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon Thompson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Mixtris: Mechanised Higher-Order Separation Logic for Mixed Choice Multiparty Message Passing
Jonas Kastberg Hinrichsen, Iwan Quémerais, Lars Birkedal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Modular Type Safety for Traits with Extensible Variants and Deep Pattern Matching
Andong Fan, Lionel Parreaux, Ningning Xie
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
OBsmith: LLM-Powered JavaScript Obfuscator Testing
Shan Jiang, Chenguang Zhu, Sarfraz Khurshid
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Online Input Grammar Synthesis Aided Symbolic Execution
Ke Ma, Yunlai Luo, Zhenbang Chen, Weijiang Hong, Yufeng Zhang, Ji Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
Jaehyun Lee, Seokhun Jeong, Sehyuk Ahn, Haechan Kwon, Sukyoung Ryu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
PLEX: Normalization for Refinement Types
Alessio Ferrarini, Niki Vazou, Wouter Swierstra
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
PRDTs: Composable Design and Verification of Consensus Protocols using Replicated Data Types
Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Peeling Off the Cocoon: Unveiling Suppressed Golden Seeds for Mutational Greybox Fuzzing
Ruixiang Qian, Chunrong Fang, Zengxu Chen, Youxin Fu, Zhenyu Chen
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · OOPSLA
Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
Bodhisatwa Chatterjee, Neeraj Jadhav, Santosh Pande
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）