ICFP

ICFP 公式サイト ↗

Programming Languages & Formal Methods

2024 · 35 papers

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

1. 2024 · ICFP

   A Coq Mechanization of JavaScript Regular Expression Semantics

   Noé De Santo, Aurèle Barrière, Clément Pit-Claudel

   Programming Languages & Formal Methods

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

2. 2024 · ICFP

   A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler

   Guillaume Melquiond, Josué Moreau

   Programming Languages & Formal Methods

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

3. 2024 · ICFP

   A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction

   Calvin Beck, Irene Yoon, Hanxi Chen, Yannick Zakowski, Steve Zdancewic

   Programming Languages & Formal Methods

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

4. 2024 · ICFP

   Abstract Interpreters: A Monadic Approach to Modular Verification

   Sébastien Michelland, Yannick Zakowski, Laure Gonnord

   Programming Languages & Formal Methods

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

5. 2024 · ICFP

   Abstracting Effect Systems for Algebraic Effect Handlers

   Takuma Yoshioka, Taro Sekiyama, Atsushi Igarashi

   Programming Languages & Formal Methods

   日本大学: 京都大学 / 総合研究大学院大学

6. 2024 · ICFP

   Almost-Sure Termination by Guarded Refinement

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

   Programming Languages & Formal Methods

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

7. 2024 · ICFP

   Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System

   Satoshi Kura, Hiroshi Unno

   Programming Languages & Formal Methods

   日本大学: 東北大学 / 早稲田大学

8. 2024 · ICFP

   Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)

   Patrick Bahr, Graham Hutton

   Programming Languages & Formal Methods

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

9. 2024 · ICFP

   Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts

   Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover

   Programming Languages & Formal Methods

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

10. 2024 · ICFP

    CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs

    Cole Kurashige, Ruyi Ji, Aditya Giridharan, Mark Barbone, Daniel Noor, Shachar Itzhaky, Ranjit Jhala, Nadia Polikarpova

    Programming Languages & Formal Methods

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

11. 2024 · ICFP

    Call-by-Unboxed-Value

    Paul Downen

    Programming Languages & Formal Methods

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

12. 2024 · ICFP

    Closure-Free Functional Programming in a Two-Level Type Theory

    András Kovács

    Programming Languages & Formal Methods

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

13. 2024 · ICFP

    Compiled, Extensible, Multi-language DSLs (Functional Pearl)

    Michael Ballantyne, Mitch Gamburg, Jason Hemann

    Programming Languages & Formal Methods

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

14. 2024 · ICFP

    Contextual Typing

    Xu Xue, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

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

15. 2024 · ICFP

    Dependent Ghosts Have a Reflection for Free

    Théo Winterhalter

    Programming Languages & Formal Methods

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

16. 2024 · ICFP

    Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis

    Benjamin Quiring, David Van Horn

    Programming Languages & Formal Methods

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

17. 2024 · ICFP

    Double-Ended Bit-Stealing for Algebraic Data Types

    Martin Elsman

    Programming Languages & Formal Methods

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

18. 2024 · ICFP

    Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs

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

    Programming Languages & Formal Methods

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

19. 2024 · ICFP

    Example-Based Reasoning about the Realizability of Polymorphic Programs

    Niek Mulleners, Johan Jeuring, Bastiaan Heeren

    Programming Languages & Formal Methods

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

20. 2024 · ICFP

    Functional Programming in Financial Markets (Experience Report)

    Atze Dijkstra, José Pedro Magalhães, Pierre Néron

    Programming Languages & Formal Methods

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

21. 2024 · ICFP

    Gradual Indexed Inductive Types

    Mara Malewski, Kenji Maillard, Nicolas Tabareau, Éric Tanter

    Programming Languages & Formal Methods

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

22. 2024 · ICFP

    Grokking the Sequent Calculus (Functional Pearl)

    David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann

    Programming Languages & Formal Methods

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

23. 2024 · ICFP

    How to Bake a Quantum Π

    Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry

    Programming Languages & Formal Methods

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

24. 2024 · ICFP

    On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs

    Paulo Torrens, Dominic Orchard, Cristiano Vasconcellos

    Programming Languages & Formal Methods

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

25. 2024 · ICFP

    Oxidizing OCaml with Modal Memory Management

    Anton Lorenzen, Leo White, Stephen Dolan, Richard A. Eisenberg, Sam Lindley

    Programming Languages & Formal Methods

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

26. 2024 · ICFP

    Parallel Algebraic Effect Handlers

    Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, Adam Paszke

    Programming Languages & Formal Methods

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

27. 2024 · ICFP

    Refinement Composition Logic

    Youngju Song, Dongjae Lee

    Programming Languages & Formal Methods

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

28. 2024 · ICFP

    Snapshottable Stores

    Clément Allain, Basile Clément, Alexandre Moine, Gabriel Scherer

    Programming Languages & Formal Methods

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

29. 2024 · ICFP

    Sound Borrow-Checking for Rust via Symbolic Semantics

    Son Ho, Aymeric Fromherz, Jonathan Protzenko

    Programming Languages & Formal Methods

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

30. 2024 · ICFP

    Specification and Verification for Unrestricted Algebraic Effects and Handling

    Yahui Song, Darius Foo, Wei-Ngan Chin

    Programming Languages & Formal Methods

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

31. 2024 · ICFP

    Staged Compilation with Module Functors

    Tsung-Ju Chiang, Jeremy Yallop, Leo White, Ningning Xie

    Programming Languages & Formal Methods

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

32. 2024 · ICFP

    Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs

    Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li

    Programming Languages & Formal Methods

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

33. 2024 · ICFP

    Synchronous Programming with Refinement Types

    Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele, Bereket Ngussie Bekele, Shayan Jalili, Pranjal Sharma, Nicholas Wohlfeil, Yicheng Zhang, Jean-Baptiste Jeannin

    Programming Languages & Formal Methods

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

34. 2024 · ICFP

    The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl)

    Manuel Serrano, Robert Bruce Findler

    Programming Languages & Formal Methods

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

35. 2024 · ICFP

    The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

    Yijia Chen, Lionel Parreaux

    Programming Languages & Formal Methods

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