POPL

POPL 公式サイト ↗

Programming Languages & Formal Methods

2025 · 79 papers

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

1. 2025 · POPL

   A Demonic Outcome Logic for Randomized Nondeterminism

   Noam Zilberstein, Dexter Kozen, Alexandra Silva, Joseph Tassarotti

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

2. 2025 · POPL

   A Dependent Type Theory for Meta-programming with Intensional Analysis

   Jason Z. S. Hu, Brigitte Pientka

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

3. 2025 · POPL

   A Modal Deconstruction of Löb Induction

   Daniel Gratzer

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

4. 2025 · POPL

   A Primal-Dual Perspective on Program Verification Algorithms

   Takeshi Tsukada, Hiroshi Unno, Oded Padon, Sharon Shoham

   Programming Languages & Formal Methods

   日本大学: 千葉大学 / 東北大学

5. 2025 · POPL

   A Quantitative Probabilistic Relational Hoare Logic

   Martin Avanzini, Gilles Barthe, Davide Davoli, Benjamin Grégoire

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

6. 2025 · POPL

   A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

   Lena Verscht, Benjamin Lucien Kaminski

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

7. 2025 · POPL

   A Verified Foreign Function Interface between Coq and C

   Joomy Korkut, Kathrin Stark, Andrew W. Appel

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

8. 2025 · POPL

   Abstract Operational Methods for Call-by-Push-Value

   Sergey Goncharov, Stelios Tsampas, Henning Urbat

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

9. 2025 · POPL

   Affect: An Affine Type and Effect System

   Orpheas van Rooij, Robbert Krebbers

   Programming Languages & Formal Methods

   日本大学: 関与なし（対象大学）

10. 2025 · POPL

    Algebraic Temporal Effects: Temporal Verification of Recursively Typed Higher-Order Programs

    Taro Sekiyama, Hiroshi Unno

    Programming Languages & Formal Methods

    日本大学: 総合研究大学院大学 / 東北大学

11. 2025 · POPL

    Algebras for Deterministic Computation Are Inherently Incomplete

    Balder ten Cate, Tobias Kappé

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

12. 2025 · POPL

    All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants

    Josselin Poiret, Gaëtan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

13. 2025 · POPL

    An Incremental Algorithm for Algebraic Program Analysis

    Chenyu Zhou, Yuzhou Fang, Jingbo Wang, Chao Wang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

14. 2025 · POPL

    Approximate Relational Reasoning for Higher-Order Probabilistic Programs

    Philipp G. Haselwarter, Kwing Hei Li, Alejandro Aguirre, Simon Oddershede Gregersen, Joseph Tassarotti, Lars Birkedal

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

15. 2025 · POPL

    Archmage and CompCertCast: End-to-End Verification Supporting Integer-Pointer Casting

    Yonghyun Kim, Minki Cho, Jaehyung Lee, Jinwoo Kim, Taeyoung Yoon, Youngju Song, Chung-Kil Hur

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

16. 2025 · POPL

    Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus

    Yufan Cai, Zhe Hou, David Sanan, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

17. 2025 · POPL

    Automating Equational Proofs in Dirac Notation

    Yingte Xu, Gilles Barthe, Li Zhou

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

18. 2025 · POPL

    Avoiding Signature Avoidance in ML Modules with Zippers

    Clément Blaudeau, Didier Rémy, Gabriel Radanne

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

19. 2025 · POPL

    Axe ’Em: Eliminating Spurious States with Induction Axioms

    Neta Elad, Sharon Shoham

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

20. 2025 · POPL

    Barendregt Convenes with Knaster and Tarski: Strong Rule Induction for Syntax with Bindings

    Jan van Brügge, James McKinna, Andrei Popescu, Dmitriy Traytel

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

21. 2025 · POPL

    BiSikkel: A Multimode Logical Framework in Agda

    Joris Ceulemans, Andreas Nuyts, Dominique Devriese

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

22. 2025 · POPL

    Bidirectional Higher-Rank Polymorphism with Intersection and Union Types

    Shengyi Jiang, Chen Cui, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

23. 2025 · POPL

    Biparsers: Exact Printing for Data Synchronisation

    Ruifeng Xie, Tom Schrijvers, Zhenjiang Hu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

24. 2025 · POPL

    Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning

    Jialu Bao, Emanuele D'Osualdo, Azadeh Farzan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

25. 2025 · POPL

    CF-GKAT: Efficient Validation of Control-Flow Transformations

    Cheng Zhang, Tobias Kappé, David E. Narváez, Nico Naus

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

26. 2025 · POPL

    Calculational Design of Hyperlogics by Abstract Interpretation

    Patrick Cousot, Jeffery Wang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

27. 2025 · POPL

    Coinductive Proofs for Temporal Hyperliveness

    Arthur Correnson, Bernd Finkbeiner

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

28. 2025 · POPL

    Compositional Imprecise Probability: A Solution from Graded Monads and Markov Categories

    Jack Liell-Cock, Sam Staton

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

29. 2025 · POPL

    Consistency of a Dependent Calculus of Indistinguishability

    Yiyun Liu, Jonathan Chan, Stephanie Weirich

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

30. 2025 · POPL

    Data Race Freedom à la Mode

    Aïna Linn Georges, Benjamin Peters, Laila Elbeheiry, Leo White, Stephen Dolan, Richard A. Eisenberg, Chris Casinghino, François Pottier, Derek Dreyer

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

31. 2025 · POPL

    Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory

    Eric Giovannini, Tingting Ding, Max S. New

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

32. 2025 · POPL

    Derivative-Guided Symbolic Execution

    Yongwei Yuan, Zhe Zhou, Julia Belyakova, Suresh Jagannathan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

33. 2025 · POPL

    Dis/Equality Graphs

    George Zakhour, Pascal Weisenburger, Jahrim Gabriele Cesario, Guido Salvaneschi

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

34. 2025 · POPL

    Do You Even Lift? Strengthening Compiler Security Guarantees against Spectre Attacks

    Xaver Fabian, Marco Patrignani, Marco Guarnieri, Michael Backes

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

35. 2025 · POPL

    Finite-Choice Logic Programming

    Chris Martens, Robert J. Simmons, Michael Arntzenius

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

36. 2025 · POPL

    Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages

    Andrea Colledan, Ugo Dal Lago

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

37. 2025 · POPL

    Flo: A Semantic Foundation for Progressive Stream Processing

    Shadaj Laddad, Alvin Cheung, Joseph M. Hellerstein, Mae Milano

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

38. 2025 · POPL

    Formal Foundations for Translational Separation Logic Verifiers

    Thibault Dardinier, Michael Sammler, Gaurav Parthasarathy, Alexander J. Summers, Peter Müller

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

39. 2025 · POPL

    Formalising Graph Algorithms with Coinduction

    Donnacha Oisín Kidney, Nicolas Wu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

40. 2025 · POPL

    Fulminate: Testing CN Separation-Logic Specifications in C

    Rini Banerjee, Kayvan Memarian, Dhruv Makwana, Christopher Pulte, Neel Krishnaswami, Peter Sewell

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

41. 2025 · POPL

    Generic Refinement Types

    Nico Lehmann, Cole Kurashige, Nikhil Akiti, Niroop Krishnakumar, Ranjit Jhala

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

42. 2025 · POPL

    Generically Automating Separation Logic by Functors, Homomorphisms, and Modules

    Qiyuan Xu, David Sanan, Zhe Hou, Xiaokun Luan, Conrad Watt, Yang Liu

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

43. 2025 · POPL

    Grove: A Bidirectionally Typed Collaborative Structure Editor Calculus

    Michael D. Adams, Eric Griffis, Thomas J. Porter, Sundara Vishnu Satish, Eric Zhao, Cyrus Omar

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

44. 2025 · POPL

    Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops

    Fabian Zaiser, Andrzej S. Murawski, C.-H. Luke Ong

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

45. 2025 · POPL

    Inference Plans for Hybrid Particle Filtering

    Ellie Y. Cheng, Eric Atkinson, Guillaume Baudart, Louis Mandel, Michael Carbin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

46. 2025 · POPL

    Interaction Equivalence

    Beniamino Accattoli, Adrienne Lancelot, Giulio Manzonetto, Gabriele Vanoni

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

47. 2025 · POPL

    Linear and Non-linear Relational Analyses for Quantum Program Optimization

    Matthew Amy, Joseph Lunderville

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

48. 2025 · POPL

    Maximal Simplification of Polyhedral Reductions

    Louis Narmour, Tomofumi Yuki, Sanjay Rajopadhye

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

49. 2025 · POPL

    MimIR: An Extensible and Type-Safe Intermediate Representation for the DSL Age

    Roland Leißa, Marcel Ullrich, Joachim Meyer, Sebastian Hack

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

50. 2025 · POPL

    Model Checking C/C++ with Mixed-Size Accesses

    Iason Marmanis, Michalis Kokologiannakis, Viktor Vafeiadis

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

51. 2025 · POPL

    Modelling Recursion and Probabilistic Choice in Guarded Type Theory

    Philipp Stassen, Rasmus Ejlers Møgelberg, Maaike Annebet Zwart, Alejandro Aguirre, Lars Birkedal

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

52. 2025 · POPL

    On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus

    Naoki Kobayashi

    Programming Languages & Formal Methods

    日本大学: 東京大学

53. 2025 · POPL

    On Extending Incorrectness Logic with Backwards Reasoning

    Freek Verbeek, Md Syadus Sefat, Zhoulai Fu, Binoy Ravindran

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

54. 2025 · POPL

    Pantograph: A Fluid and Typed Structure Editor

    Jacob Prinz, Henry Blanchette, Leonidas Lampropoulos

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

55. 2025 · POPL

    Preservation of Speculative Constant-Time by Compilation

    Santiago Arranz Olmos, Gilles Barthe, Lionel Blatter, Benjamin Grégoire, Vincent Laporte

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

56. 2025 · POPL

    Program Analysis via Multiple Context Free Language Reachability

    Giovanna Kobus Conrado, Adam Husted Kjelstrøm, Jaco van de Pol, Andreas Pavlogiannis

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

57. 2025 · POPL

    Program Logics à la Carte

    Max Vistrup, Michael Sammler, Ralf Jung

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

58. 2025 · POPL

    Progressful Interpreters for Efficient WebAssembly Mechanisation

    Xiaojia Rao, Stefan Radziuk, Conrad Watt, Philippa Gardner

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

59. 2025 · POPL

    QuickSub: Efficient Iso-Recursive Subtyping

    Litao Zhou, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

60. 2025 · POPL

    Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime

    Kengo Hirata, Chris Heunen

    Programming Languages & Formal Methods

    日本大学: 京都大学

61. 2025 · POPL

    RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement, and Restricted Lookarounds

    Ian Erik Varatalu, Margus Veanes, Juhan Ernits

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

62. 2025 · POPL

    RELINCHE: Automatically Checking Linearizability under Relaxed Memory Consistency

    Pavel Golovin, Michalis Kokologiannakis, Viktor Vafeiadis

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

63. 2025 · POPL

    Reachability Analysis of the Domain Name System

    Dhruv Nevatia, Si Liu, David Basin

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

64. 2025 · POPL

    Relaxed Memory Concurrency Re-executed

    Evgenii Moiseenko, Matteo Meluzzi, Innokentii Meleshchenko, Ivan Kabashnyi, Anton Podkopaev, Soham Chakraborty

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

65. 2025 · POPL

    SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations

    Sören van der Wall, Roland Meyer

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

66. 2025 · POPL

    Semantic Logical Relations for Timed Message-Passing Protocols

    Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

67. 2025 · POPL

    Simple Linear Loops: Algebraic Invariants and Applications

    Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi, Anton Varonka

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

68. 2025 · POPL

    Sound and Complete Proof Rules for Probabilistic Termination

    Rupak Majumdar, V.R. Sathiyanarayana

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

69. 2025 · POPL

    Symbolic Automata: Omega-Regularity Modulo Theories

    Margus Veanes, Thomas Ball, Gabriel Ebner, Ekaterina Zhuchko

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

70. 2025 · POPL

    Tail Modulo Cons, OCaml, and Relational Separation Logic

    Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

71. 2025 · POPL

    TensorRight: Automated Verification of Tensor Graph Rewrites

    Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodik, Amit Sabne, Charith Mendis

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

72. 2025 · POPL

    The Best of Abstract Interpretations

    Roberto Giacobazzi, Francesco Ranzato

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

73. 2025 · POPL

    The Decision Problem for Regular First Order Theories

    Umang Mathur, David Mestel, Mahesh Viswanathan

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

74. 2025 · POPL

    The Duality of λ-Abstraction

    Vikraman Choudhury, Simon J. Gay

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

75. 2025 · POPL

    Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types

    Thien Udomsrirungruang, Nobuko Yoshida

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

76. 2025 · POPL

    Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis

    Philippe Heim, Rayna Dimitrova

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

77. 2025 · POPL

    Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement Algebra

    Yu Zhang, Jérémie Koenig, Zhong Shao, Yuting Wang

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

78. 2025 · POPL

    VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems

    Yoonseung Kim, Sung-Hwan Lee, Yonghyun Kim, Chung-Kil Hur

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）

79. 2025 · POPL

    Verifying Quantum Circuits with Level-Synchronized Tree Automata

    Parosh Aziz Abdulla, Yo-Ga Chen, Yu-Fang Chen, Lukáš Holík, Ondřej Lengál, Jyun-Ao Lin, Fang-Yi Lo, Wei-Lun Tsai

    Programming Languages & Formal Methods

    日本大学: 関与なし（対象大学）