POPL

2022–2026 LIVE

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

POPL 公式サイト ↗

Programming Languages & Formal Methods

2026 · 91 papers

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

2026 · POPL
A Complementary Approach to Incorrectness Typing
Celia Mengyue Li, Sophie Pull, Steven Ramsay
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
A Family of Sims with Diverging Interests
Nicolas Chappe
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
A Lazy, Concurrent Convertibility Checker
Nathanaëlle Courant, Xavier Leroy
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
A Logic for the Imprecision of Abstract Interpretations
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
A Modular Static Cost Analysis for GPU Warp-Level Parallelism
Gregory Blike, Hannah Zicarelli, Udaya Sathiyamoorthy, Julien Lange, Tiago Cogumbreiro
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
A Relational Separation Logic for Effect Handlers
Paulo Emílio de Vilhena, Simcha van Collem, Ines Wright, Robbert Krebbers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
A Synthetic Reconstruction of Multiparty Session Types
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
A Verified High-Performance Composable Object Library for Remote Direct Memory Access
Guillaume Ambal, George Hodgkins, Mark Madler, Gregory Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad, Viktor Vafeiadis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Abstraction Functions as Types: Modular Verification of Cost and Behavior in Dependent Type Theory
Harrison Grodin, Runming Li, Robert Harper
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Accelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
Zhentao Ye, Ruyi Ji, Yingfei Xiong, Xin Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
AdapTT: Functoriality for Dependent Type Casts
Arthur Adjedj, Meven Lennon-Bertrand, Thibaut Benjamin, Kenji Maillard
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Algorithmic Conversion with Surjective Pairing: A Syntactic and Untyped Approach
Yiyun Liu, Stephanie Weirich
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
Alexandre Moine, Sam Westrick, Joseph Tassarotti
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
Ohad Kammar, Jack Liell-Cock, Sam Lindley, Cristina Matache, Sam Staton
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
An Expressive Assertion Language for Quantum Programs
Bonan Su, Yuan Feng, Mingsheng Ying, Li Zhou
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Arbitration-Free Consistency Is Available (and Vice Versa)
Hagit Attiya, Constantin Enea, Enrique Román-Calvo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
Thibaut Pérami, Thomas Bauereiss, Brian Campbell, Zongyuan Liu, Nils Lauermann, Alasdair Armstrong, Peter Sewell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming
Shing Hin Ho, Nicolas Wu, Azalea Raad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment
David M. Kahn, Jan Hoffmann, Runming Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Bounded Sort Polymorphism with Elimination Constraints
Johann Rosain, Tomás Díaz, Kenji Maillard, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter, Théo Winterhalter
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Bounded Treewidth, Multiple Context-Free Grammars, and Downward Closures
C. Aiswarya, Pascal Baumann, Prakash Saivasan, Lia Schütze, Georg Zetzsche
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Canonicity for Indexed Inductive-Recursive Types
András Kovács
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Characterizing Sets of Theories That Can Be Disjointly Combined
Benjamin Przybocki, Guilherme V. Toledo, Yoni Zohar
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
ChiSA: Static Analysis for Lightweight Chisel Verification
Jiacai Cui, Qinlin Chen, Zhongsheng Zhan, Tian Tan, Yue Li
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
ChopChop: A Programmable Framework for Semantically Constraining the Output of Language Models
Shaan Nagy, Timothy Zhou, Nadia Polikarpova, Loris D'Antoni
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Classical Notions of Computation and the Hasegawa-Thielecke Theorem
Éléonore Mangel, Paul-André Melliès, Guillaume Munch-Maccagnoni
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Coco: Corecursion with Compositional Heterogeneous Productivity
Jaewoo Kim, Yeonwoo Nam, Chung-Kil Hur
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Compiling to Linear Neurons
Joey Velez-Ginorio, Nada Amin, Konrad Kording, Steve Zdancewic
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Consistent Updates for Scalable Microservices
Devora Chait-Roth, Kedar S. Namjoshi, Thomas Wies
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Context-Free-Language Reachability for Almost-Commuting Transition Systems
Nikhil Pimpalkhare, Zachary Kincaid, Thomas Reps
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Counting and Sampling Traces in Regular Languages
Alexis de Colnet, Kuldeep S. Meel, Umang Mathur
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Cryptis: Cryptographic Reasoning in Separation Logic
Arthur Azevedo de Amorim, Amal Ahmed, Marco Gaboardi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
DafnyMPI: A Dafny Library for Verifying Message-Passing Concurrent Programs
Aleksandr Fedchin, Antero Mejr, Hari Sundar, Jeffrey S. Foster
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Dependent Coeffects for Local Sensitivity Analysis
Victor Sannier, Patrick Baillot
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Determination Problems for Orbit Closures and Matrix Groups
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka, James Worrell
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
Andrea Laretto, Fosco Loregian, Niccolò Veltri
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Domain-Theoretic Semantics for Functional Logic Programming
Eddie Jones, Samson Main, Celia Mengyue Li, Jonathan Marriott, G. A. Kavvos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Encode the Cake and Eat It Too: Controlling Computation in Type Theory, Locally
Yann Leray, Théo Winterhalter
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation
Niklas Mück, Aïna Linn Georges, Derek Dreyer, Deepak Garg, Michael Sammler
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Extensible Data Types with Ad-Hoc Polymorphism
Matthew Toohey, Yanning Chen, Ara Jamalzadeh, Ningning Xie
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications
Aurèle Barrière, Victor Deng, Clément Pit-Claudel
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Foundational Multi-Modal Program Verifiers
Vladimir Gladshtein, George Pîrlea, Qiyuan Zhao, Vitaly Kurin, Ilya Sergey
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
From Semantics to Syntax: A Type Theory for Comprehension Categories
Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Fuzzing Guided by Bayesian Program Analysis
Yifan Zhang, Xin Zhang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
General Decidability Results for Systems with Continuous Counters
A. R. Balasubramanian, Matthew Hague, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Generating Compilers for Qubit Mapping and Routing
Abtin Molavi, Amanda Xu, Ethan Cecchetti, Swamit Tannu, Aws Albarghouthi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Hadamard-Pi: Equational Quantum Programming
Wang Fang, Chris Heunen, Robin Kaarsgaard
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
Zhixuan Yang, Nicolas Wu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Handling Scope Checks: A Comparative Framework for Dynamic Scope Extrusion Checks
Michael Lee, Ningning Xie, Oleg Kiselyov, Jeremy Yallop
Programming Languages & Formal Methods
日本大学: 東北大学
2026 · POPL
Higher-Order Behavioural Conformances via Fibrations
Henning Urbat
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Hyperfunctions: Communicating Continuations
Donnacha Oisín Kidney, Nicolas Wu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Inductive Program Synthesis by Meta-Analysis-Guided Hole Filling
Doyoon Lee, Woosuk Lee, Kwangkeun Yi
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
JAX Autodiff from a Linear Logic Perspective
Giulia Giusti, Michele Pagani
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Lazy Linearity for a Core Functional Language
Rodrigo Mesquita, Bernardo Toninho
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems
Joseph A. Zullo
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Local Contextual Type Inference
Xu Xue, Chen Cui, Shengyi Jiang, Bruno C. d. S. Oliveira
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Miri: Practical Undefined Behavior Detection for Rust
Ralf Jung, Benjamin Kimock, Christian Poveda, Eduardo Sánchez Muñoz, Oli Scherer, Qian Wang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Network Change Validation with Relational NetKAT
Han Xu, Zachary Kincaid, Ratul Mahajan, David Walker
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
Xuanyu Peng, Dominic Kennedy, Yuyou Fan, Ben Greenman, John Regehr, Loris D'Antoni
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Normalisation for First-Class Universe Levels
Nils Anders Danielsson, Naïm Camille Favier, Ondřej Kubánek
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
On Circuit Description Languages, Indexed Monads, and Resource Analysis
Ken Sakayori, Andrea Colledan, Ugo Dal Lago
Programming Languages & Formal Methods
日本大学: 東京大学
2026 · POPL
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Oriented Metrics for Bottom-Up Enumerative Synthesis
Roland Meyer, Jakob Tepe
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Parameterized Infinite-State Reactive Synthesis
Benedikt Maderbacher, Roderick Bloem
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Parameterized Verification of Quantum Circuits
Parosh Aziz Abdulla, Yu-Fang Chen, Michal Hečko, Lukáš Holík, Ondřej Lengál, Jyun-Ao Lin, Ramanathan S. Thinniyam
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Parametrised Verification of Intel-x86 Programs
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Piecewise Analysis of Probabilistic Programs via 𝑘-Induction
Tengshun Yang, Shenghua Feng, Hongfei Fu, Naijun Zhan, Jingyu Ke, Shiyang Wu
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Probabilistic Concurrent Reasoning in Outcome Logic: Independence, Conditioning, and Invariants
Noam Zilberstein, Alexandra Silva, Joseph Tassarotti
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Probabilistic Programming with Vectorized Programmable Inference
McCoy R. Becker, Mathieu Huot, George Matheos, Xiaoyan Wang, Karen Chung, Colin Smith, Sam Ritchie, Rif A. Saurous, Alexander K. Lew, Martin C. Rinard, Vikash K. Mansinghka
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Quantum Circuits Are Just a Phase
Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Qudit Quantum Programming with Projective Cliffords
Jennifer Paykin, Sam Winnick
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Quotient Polymorphism
Brandon Hewer, Graham Hutton
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo
Programming Languages & Formal Methods
日本大学: 京都大学
2026 · POPL
Recurrence Sets for Proving Fair Non-termination under Axiomatic Memory Consistency Models
Thomas Haas, Roland Meyer, Hernán Ponce de León, Andrés Lomelí Garduño
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Rows and Capabilities as Modal Effects
Wenhao Tang, Sam Lindley
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Security Reasoning via Substructural Dependency Tracking
Hemant Gouni, Frank Pfenning, Jonathan Aldrich
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions
Neta Elad, Adithya Murali, Sharon Shoham
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Stateful Differential Operators for Incremental Computing
Runqing Xu, Sebastian Erdweg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
The Complexity of Testing Message-Passing Concurrency
Zheng Shi, Lasse Møldrup, Umang Mathur, Andreas Pavlogiannis
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs
Frank Schüssele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
The Relative Monadic Metalanguage
Jack Liell-Cock, Zev Shirazi, Sam Staton
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types
Chun Yin Chau, Lionel Parreaux
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Towards Pen-and-Paper-Style Equational Reasoning in Interactive Theorem Provers by Equality Saturation
Marcus Rossel, Rudi Schneider, Thomas Kœhler, Michel Steuwer, Andrés Goens
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Tropical Mathematics and the Lambda-Calculus II: Tropical Geometry of Probabilistic Programming Languages
Davide Barbarossa, Paolo Pistone
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
TypeDis: A Type System for Disentanglement
Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Typing Strictness
Daniel Sainati, Joseph W. Cutler, Benjamin C. Pierce, Stephanie Weirich
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
U-Turn: Enhancing Incorrectness Analysis by Reversing Direction
Flavio Ascari, Roberto Bruni, Roberta Gori, Azalea Raad
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Verifying Almost-Sure Termination for Randomized Distributed Algorithms
Constantin Enea, Rupak Majumdar, Harshit Jitendra Motwani, V. R. Sathiyanarayana
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Welterweight Go: Boxing, Structural Subtyping, and Generics
Raymond Hu, Julien Lange, Bernardo Toninho, Philip Wadler, Robert Griesemer, Keith Randall
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
What Is a Monoid?
Paul Blain Levy, Morgan Rogers
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · POPL
Zoo: A Framework for the Verification of Concurrent OCaml 5 Programs using Separation Logic
Clément Allain, Gabriel Scherer
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）