POPL

POPL 公式サイト ↗

Programming Languages & Formal Methods

2024 · 93 papers

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

1. 2024 · POPL

   A Case for Synthesis of Recursive Quantum Unitary Programs

   Haowei Deng, Runzhou Tao, Yuxiang Peng, Xiaodi Wu

   Programming Languages & Formal Methods

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

2. 2024 · POPL

   A Core Calculus for Documents: Or, Lambda: The Ultimate Document

   Will Crichton, Shriram Krishnamurthi

   Programming Languages & Formal Methods

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

3. 2024 · POPL

   A Formalization of Core Why3 in Coq

   Joshua M. Cohen, Philip Johnson-Freyd

   Programming Languages & Formal Methods

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

4. 2024 · POPL

   A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability

   Prasad Jayanti, Siddhartha Jayanti, Ugur Y. Yavuz, Lizzie Hernandez

   Programming Languages & Formal Methods

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

5. 2024 · POPL

   API-Driven Program Synthesis for Testing Static Typing Implementations

   Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su

   Programming Languages & Formal Methods

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

6. 2024 · POPL

   Algebraic Effects Meet Hoare Logic in Cubical Agda

   Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu

   Programming Languages & Formal Methods

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

7. 2024 · POPL

   An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic

   Angus Hammond, Zongyuan Liu, Thibaut Pérami, Peter Sewell, Lars Birkedal, Jean Pichon-Pharabod

   Programming Languages & Formal Methods

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

8. 2024 · POPL

   An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification

   Neta Elad, Oded Padon, Sharon Shoham

   Programming Languages & Formal Methods

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

9. 2024 · POPL

   An Iris Instance for Verifying CompCert C Programs

   William Mansky, Ke Du

   Programming Languages & Formal Methods

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

10. 2024 · POPL

    Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers

    Fuga Kawamata, Hiroshi Unno, Taro Sekiyama, Tachio Terauchi

    Programming Languages & Formal Methods

    日本大学: 筑波大学 / 早稲田大学

11. 2024 · POPL

    Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

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

    Programming Languages & Formal Methods

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

12. 2024 · POPL

    Automatic Parallelism Management

    Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar

    Programming Languages & Formal Methods

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

13. 2024 · POPL

    Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation

    Patrick Cousot

    Programming Languages & Formal Methods

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

14. 2024 · POPL

    Coarser Equivalences for Causal Concurrency

    Azadeh Farzan, Umang Mathur

    Programming Languages & Formal Methods

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

15. 2024 · POPL

    Commutativity Simplifies Proofs of Parameterized Programs

    Azadeh Farzan, Dominik Klumpp, Andreas Podelski

    Programming Languages & Formal Methods

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

16. 2024 · POPL

    Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing

    Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers

    Programming Languages & Formal Methods

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

17. 2024 · POPL

    Decalf: A Directed, Effectful Cost-Aware Logical Framework

    Harrison Grodin, Yue Niu, Jonathan Sterling, Robert Harper

    Programming Languages & Formal Methods

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

18. 2024 · POPL

    Deciding Asynchronous Hyperproperties for Recursive Programs

    Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem

    Programming Languages & Formal Methods

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

19. 2024 · POPL

    Decision and Complexity of Dolev-Yao Hyperproperties

    Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind

    Programming Languages & Formal Methods

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

20. 2024 · POPL

    DisLog: A Separation Logic for Disentanglement

    Alexandre Moine, Sam Westrick, Stephanie Balzer

    Programming Languages & Formal Methods

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

21. 2024 · POPL

    Disentanglement with Futures, State, and Interaction

    Jatin Arora, Stefan K. Muller, Umut A. Acar

    Programming Languages & Formal Methods

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

22. 2024 · POPL

    EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis

    Pu Sun, Fu Song, Yuqi Chen, Taolue Chen

    Programming Languages & Formal Methods

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

23. 2024 · POPL

    Effectful Software Contracts

    Cameron Moy, Christos Dimoulas, Matthias Felleisen

    Programming Languages & Formal Methods

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

24. 2024 · POPL

    Efficient Bottom-Up Synthesis for Programs with Local Variables

    Xiang Li, Xiangyu Zhou, Rui Dong, Yihong Zhang, Xinyu Wang

    Programming Languages & Formal Methods

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

25. 2024 · POPL

    Efficient CHAD

    Tom J. Smeding, Matthijs I. L. Vákár

    Programming Languages & Formal Methods

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

26. 2024 · POPL

    Efficient Matching of Regular Expressions with Lookaround Assertions

    Konstantinos Mamouras, Agnishom Chattopadhyay

    Programming Languages & Formal Methods

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

27. 2024 · POPL

    Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations

    Yuantian Ding, Xiaokang Qiu

    Programming Languages & Formal Methods

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

28. 2024 · POPL

    Enriched Presheaf Model of Quantum FPC

    Takeshi Tsukada, Kazuyuki Asada

    Programming Languages & Formal Methods

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

29. 2024 · POPL

    Explicit Effects and Effect Constraints in ReML

    Martin Elsman

    Programming Languages & Formal Methods

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

30. 2024 · POPL

    Flan: An Expressive and Efficient Datalog Compiler for Program Analysis

    Supun Abeysinghe, Anxhelo Xhebraj, Tiark Rompf

    Programming Languages & Formal Methods

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

31. 2024 · POPL

    Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules

    Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao

    Programming Languages & Formal Methods

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

32. 2024 · POPL

    Fusing Direct Manipulations into Functional Programs

    Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu

    Programming Languages & Formal Methods

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

33. 2024 · POPL

    Generating Well-Typed Terms That Are Not “Useless”

    Justine Frank, Benjamin Quiring, Leonidas Lampropoulos

    Programming Languages & Formal Methods

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

34. 2024 · POPL

    Guided Equality Saturation

    Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer

    Programming Languages & Formal Methods

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

35. 2024 · POPL

    Higher Order Bayesian Networks, Exactly

    Claudia Faggian, Daniele Pautasso, Gabriele Vanoni

    Programming Languages & Formal Methods

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

36. 2024 · POPL

    How Hard Is Weak-Memory Testing?

    Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur, Andreas Pavlogiannis

    Programming Languages & Formal Methods

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

37. 2024 · POPL

    Ill-Typed Programs Don’t Evaluate

    Steven Ramsay, Charlie Walpole

    Programming Languages & Formal Methods

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

38. 2024 · POPL

    Implementation and Synthesis of Math Library Functions

    Ian Briggs, Yash Lad, Pavel Panchekha

    Programming Languages & Formal Methods

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

39. 2024 · POPL

    Indexed Types for a Statically Safe WebAssembly

    Adam T. Geller, Justine Frank, William J. Bowman

    Programming Languages & Formal Methods

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

40. 2024 · POPL

    Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures

    Francesca Randone, Luca Bortolussi, Emilio Incerto, Mirco Tribastone

    Programming Languages & Formal Methods

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

41. 2024 · POPL

    Inference of Robust Reachability Constraints

    Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin

    Programming Languages & Formal Methods

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

42. 2024 · POPL

    Internal Parametricity, without an Interval

    Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman

    Programming Languages & Formal Methods

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

43. 2024 · POPL

    Internal and Observational Parametricity for Cubical Agda

    Antoine Van Muylder, Andreas Nuyts, Dominique Devriese

    Programming Languages & Formal Methods

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

44. 2024 · POPL

    Internalizing Indistinguishability with Dependent Types

    Yiyun Liu, Jonathan Chan, Jessica Shi, Stephanie Weirich

    Programming Languages & Formal Methods

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

45. 2024 · POPL

    Mechanizing Refinement Types

    Michael H. Borkowski, Niki Vazou, Ranjit Jhala

    Programming Languages & Formal Methods

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

46. 2024 · POPL

    Modular Denotational Semantics for Effects with Guarded Interaction Trees

    Dan Frumin, Amin Timany, Lars Birkedal

    Programming Languages & Formal Methods

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

47. 2024 · POPL

    Monotonicity and the Precision of Program Analysis

    Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban

    Programming Languages & Formal Methods

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

48. 2024 · POPL

    Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions

    Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh

    Programming Languages & Formal Methods

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

49. 2024 · POPL

    Nominal Recursors as Epi-Recursors

    Andrei Popescu

    Programming Languages & Formal Methods

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

50. 2024 · POPL

    On Learning Polynomial Recursive Programs

    Alex Buna-Marginean, Vincent Cheval, Mahsa Shirmohammadi, James Worrell

    Programming Languages & Formal Methods

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

51. 2024 · POPL

    On Model-Checking Higher-Order Effectful Programs

    Ugo Dal Lago, Alexis Ghyselen

    Programming Languages & Formal Methods

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

52. 2024 · POPL

    On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability

    Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe

    Programming Languages & Formal Methods

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

53. 2024 · POPL

    Optimal Program Synthesis via Abstract Interpretation

    Stephen Mell, Steve Zdancewic, Osbert Bastani

    Programming Languages & Formal Methods

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

54. 2024 · POPL

    Orthologic with Axioms

    Simon Guilloud, Viktor Kunčak

    Programming Languages & Formal Methods

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

55. 2024 · POPL

    Parametric Subtyping for Structural Parametric Polymorphism

    Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das

    Programming Languages & Formal Methods

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

56. 2024 · POPL

    Parikh’s Theorem Made Symbolic

    Matthew Hague, Artur Jeż, Anthony W. Lin

    Programming Languages & Formal Methods

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

57. 2024 · POPL

    Pipelines and Beyond: Graph Types for ADTs with Futures

    Francis Rinaldi, june wunder, Arthur Azevedo de Amorim, Stefan K. Muller

    Programming Languages & Formal Methods

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

58. 2024 · POPL

    Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

    Guannan Wei, Oliver Bračevac, Songlin Jia, Yuyan Bao, Tiark Rompf

    Programming Languages & Formal Methods

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

59. 2024 · POPL

    Polymorphic Type Inference for Dynamic Languages

    Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn

    Programming Languages & Formal Methods

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

60. 2024 · POPL

    Polynomial Time and Dependent Types

    Robert Atkey

    Programming Languages & Formal Methods

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

61. 2024 · POPL

    Polyregular Functions on Unordered Trees of Bounded Height

    Mikołaj Bojańczyk, Bartek Klin

    Programming Languages & Formal Methods

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

62. 2024 · POPL

    Positive Almost-Sure Termination: Complexity and Proof Rules

    Rupak Majumdar, V. R. Sathiyanarayana

    Programming Languages & Formal Methods

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

63. 2024 · POPL

    Predictive Monitoring against Pattern Regular Languages

    Zhendong Ang, Umang Mathur

    Programming Languages & Formal Methods

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

64. 2024 · POPL

    Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets

    Nate Ackerman, Cameron E. Freer, Younesse Kaddar, Jacek Karwowski, Sean Moss, Daniel Roy, Sam Staton, Hongseok Yang

    Programming Languages & Formal Methods

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

65. 2024 · POPL

    Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs

    Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen, Tobias Winkler

    Programming Languages & Formal Methods

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

66. 2024 · POPL

    Programming-by-Demonstration for Long-Horizon Robot Tasks

    Noah Patton, Kia Rahmani, Meghana Missula, Joydeep Biswas, Işıl Dillig

    Programming Languages & Formal Methods

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

67. 2024 · POPL

    Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers

    Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi

    Programming Languages & Formal Methods

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

68. 2024 · POPL

    Quotient Haskell: Lightweight Quotient Types for All

    Brandon Hewer, Graham Hutton

    Programming Languages & Formal Methods

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

69. 2024 · POPL

    Ramsey Quantifiers in Linear Arithmetics

    Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche

    Programming Languages & Formal Methods

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

70. 2024 · POPL

    ReLU Hull Approximation

    Zhongkui Ma, Jiaying Li, Guangdong Bai

    Programming Languages & Formal Methods

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

71. 2024 · POPL

    Reachability in Continuous Pushdown VASS

    A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

    Programming Languages & Formal Methods

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

72. 2024 · POPL

    Regular Abstractions for Array Systems

    Chih-Duo Hong, Anthony W. Lin

    Programming Languages & Formal Methods

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

73. 2024 · POPL

    Securing Verified IO Programs Against Unverified Code in F*

    Cezar-Constantin Andrici, Ștefan Ciobâcă, Cătălin Hriţcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter

    Programming Languages & Formal Methods

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

74. 2024 · POPL

    Semantic Code Refactoring for Abstract Data Types

    Shankara Pailoor, Yuepeng Wang, Işıl Dillig

    Programming Languages & Formal Methods

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

75. 2024 · POPL

    Shoggoth: A Formal Foundation for Strategic Rewriting

    Xueying Qin, Liam O’Connor, Rob van Glabbeek, Peter Höfner, Ohad Kammar, Michel Steuwer

    Programming Languages & Formal Methods

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

76. 2024 · POPL

    SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation

    Yuxiang Peng, Jacob Young, Pengyu Liu, Xiaodi Wu

    Programming Languages & Formal Methods

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

77. 2024 · POPL

    Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis

    John Cyphert, Zachary Kincaid

    Programming Languages & Formal Methods

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

78. 2024 · POPL

    Solving Infinite-State Games via Acceleration

    Philippe Heim, Rayna Dimitrova

    Programming Languages & Formal Methods

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

79. 2024 · POPL

    Sound Gradual Verification with Symbolic Execution

    Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich

    Programming Languages & Formal Methods

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

80. 2024 · POPL

    Soundly Handling Linearity

    Wenhao Tang, Daniel Hillerström, Sam Lindley, J. Garrett Morris

    Programming Languages & Formal Methods

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

81. 2024 · POPL

    Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs

    Julian Müllner, Marcel Moosbrugger, Laura Kovács

    Programming Languages & Formal Methods

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

82. 2024 · POPL

    The Complex(ity) Landscape of Checking Infinite Descent

    Liron Cohen, Adham Jabarin, Andrei Popescu, Reuben N. S. Rowe

    Programming Languages & Formal Methods

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

83. 2024 · POPL

    The Essence of Generalized Algebraic Data Types

    Filip Sieczkowski, Sergei Stepanenko, Jonathan Sterling, Lars Birkedal

    Programming Languages & Formal Methods

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

84. 2024 · POPL

    The Logical Essence of Well-Bracketed Control Flow

    Amin Timany, Armaël Guéneau, Lars Birkedal

    Programming Languages & Formal Methods

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

85. 2024 · POPL

    Thunks and Debits in Separation Logic with Time Credits

    François Pottier, Armaël Guéneau, Jacques-Henri Jourdan, Glen Mével

    Programming Languages & Formal Methods

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

86. 2024 · POPL

    Total Type Error Localization and Recovery with Holes

    Eric Zhao, Raef Maroof, Anand Dukkipati, Andrew Blinn, Zhiyi Pan, Cyrus Omar

    Programming Languages & Formal Methods

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

87. 2024 · POPL

    Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement

    Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco, Jonas Kastberg Hinrichsen, Léon Gondelman, Abel Nieto, Lars Birkedal

    Programming Languages & Formal Methods

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

88. 2024 · POPL

    Type-Based Gradual Typing Performance Optimization

    John Peter Campora, Mohammad Wahiduzzaman Khan, Sheng Chen

    Programming Languages & Formal Methods

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

89. 2024 · POPL

    Unboxed Data Constructors: Or, How cpp Decides a Halting Problem

    Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop

    Programming Languages & Formal Methods

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

90. 2024 · POPL

    VST-A: A Foundationally Sound Annotation Verifier

    Litao Zhou, Jianxing Qin, Qinshi Wang, Andrew W. Appel, Qinxiang Cao

    Programming Languages & Formal Methods

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

91. 2024 · POPL

    Validation of Modern JSON Schema: Formalization and Complexity

    Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger

    Programming Languages & Formal Methods

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

92. 2024 · POPL

    When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism

    Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau

    Programming Languages & Formal Methods

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

93. 2024 · POPL

    With a Few Square Roots, Quantum Computing Is as Easy as Pi

    Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

    Programming Languages & Formal Methods

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