ICFP

2022–2026 LIVE

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

ICFP 公式サイト ↗

Programming Languages & Formal Methods

2026 · 28 papers

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

2026 · ICFP
A Catenable, Splittable, Transient Sequence Data Structure
Arthur Charguéraud, François Pottier
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
A Separation Logic for Parallel Time Complexity with Work and Span Credits
Alexandre Moine, Sam Westrick, Joseph Tassarotti
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Adequacy for Predicate Transformer Semantics
Kazuki Watanabe, Mirai Ikebuchi, Mayuko Kori
Programming Languages & Formal Methods
日本大学: 京都大学
2026 · ICFP
Another Type Inference Algorithm for First-Class Implicit Polymorphism
J. Garrett Morris
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Bimodels and Biorthogonality for Abstract Machines
April Tune, G. A. Kavvos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Citrus: Algebraic Reasoning about Superconductor Electronics
Harlan Kringen, Timothy Sherwood, Ben Hardekopf
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Completeness of Iris-Based Program Logics
Johannes Hostert, Zichen Zhang, Puming Liu, Simon Oddershede Gregersen, Ralf Jung, Joseph Tassarotti
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Compositional Generator Equivalence
Anthony Vandikas, Kiarash Sotoudeh, Marsha Chechik
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
Matthew L. Daggitt, Ekaterina Komendantskaya, Alistair Sirman, Alessandro Bruni, Samuel Teuber, Josh Smart, Grant Passmore
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Confluence Techniques for Dependent Type Theory with Typed Conversion
Thiago Felicissimo, Théo Winterhalter
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Demand-on-Demand Control-Flow Analysis
Chahyun Kang, Kimball Germane
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination
Chun Kit Lam, Florent Ferrari, Lionel Parreaux
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers
Tim Whiting, Kimball Germane
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Inlining as a Space Optimization: A Simple Time- and Space-Invariant Implementation of the Weak Lambda-Calculus
Thibaut Balabonski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs
Maria-Nicoleta Crăciun, C.-H. Luke Ong, Tom Schrijvers, Sam Staton
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
LoCalMem: Type-Directed Adaptive Serialization for Location- and Content-Addressable Memory
Michael Rainey, Michael H. Borkowski, Michael Vollmer, Chaitanya S. Koparkar, Mikah Kainen, Vidush Singhal
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Misquoted No More: Securely Extracting F* Programs with IO
Cezar-Constantin Andrici, Abigail Pribisova, Danel Ahman, Cătălin Hrițcu, Exequiel Rivas, Théo Winterhalter
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Mode Crossing
Benjamin Peters, Jules Jacobs, Diana Kalinichenko, Liam Stevenson, Aspen Smith, Derek Dreyer, Richard A. Eisenberg
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
On Recursion in Graded Modal Type Theory
Oskar Eriksson, Andreas Abel, Nils Anders Danielsson
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Package Managers à la Carte: A Formal Model of Dependency Resolution
Ryan T. Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, Anil Madhavapeddy
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Programmable Property-Based Testing
Alperen Keles, Justine Frank, Ceren Mert, Harrison Goldstein, Leonidas Lampropoulos
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Programming Backpropagation with Reverse Handlers for Arrows
Takahiro Sanada, Keisuke Hoshino, Kenshin Hirai, Shin-ya Katsumata
Programming Languages & Formal Methods
日本大学: 福井県立大学 / 京都産業大学 / 京都大学
2026 · ICFP
RunbookFX: Type- and Effect-Safe LLM Synthesis for Executable Incident Diagnosis and Mitigation
Yifan Xiao, Shijie Li, Yuhao Ge
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Safety First: How to Safely Disregard Unsafe Behaviour in Compiler Calculations
Patrick Bahr
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Same Coeffect, Different Base: Connecting Two Dominant Approaches to Graded Types
Vilem Liepelt, Danielle Marshall, Dominic Orchard
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Tail Modulo Async-Await
Emma Nardino, Ludovic Henrio, Gabriel Radanne, Yannick Zakowski
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
Towards a Higher-Order Bialgebraic Denotational Semantics
Sergey Goncharov, Marco Peressotti, Stelios Tsampas, Henning Urbat, Stefano Volpe
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）
2026 · ICFP
When Types Intersect and Effects Get Handled
Stefano Catozi, Ugo Dal Lago, Taro Sekiyama
Programming Languages & Formal Methods
日本大学: 関与なし（対象大学）