ICFP

ICFP 公式サイト ↗

Programming Languages & Formal Methods

2021 · 35 papers

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

1. 2021 · ICFP

   A theory of higher-order subtyping with type intervals

   Sandro Stucki, Paolo G. Giarrusso

   Programming Languages & Formal Methods

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

2. 2021 · ICFP

   Algebras for weighted search

   Donnacha Oisín Kidney, Nicolas Wu

   Programming Languages & Formal Methods

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

3. 2021 · ICFP

   An existential crisis resolved: type inference for first-class existential types

   Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee

   Programming Languages & Formal Methods

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

4. 2021 · ICFP

   An order-aware dataflow model for parallel Unix pipelines

   Shivam Handa, Konstantinos Kallas, Nikos Vasilakis, Martin C. Rinard

   Programming Languages & Formal Methods

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

5. 2021 · ICFP

   Automatic amortized resource analysis with the Quantum physicist’s method

   David M. Kahn, Jan Hoffmann

   Programming Languages & Formal Methods

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

6. 2021 · ICFP

   CPS transformation with affine types for call-by-value implicit polymorphism

   Taro Sekiyama, Takeshi Tsukada

   Programming Languages & Formal Methods

   日本大学: 千葉大学

7. 2021 · ICFP

   Calculating dependently-typed compilers (functional pearl)

   Mitchell Pickard, Graham Hutton

   Programming Languages & Formal Methods

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

8. 2021 · ICFP

   Catala: a programming language for the law

   Denis Merigoux, Nicolas Chataing, Jonathan Protzenko

   Programming Languages & Formal Methods

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

9. 2021 · ICFP

   Certifying the synthesis of heap-manipulating programs

   Yasunari Watanabe, Kiran Gopinathan, George Pîrlea, Nadia Polikarpova, Ilya Sergey

   Programming Languages & Formal Methods

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

10. 2021 · ICFP

    Client-server sessions in linear logic

    Zesen Qian, G. A. Kavvos, Lars Birkedal

    Programming Languages & Formal Methods

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

11. 2021 · ICFP

    Compositional optimizations for CertiCoq

    Zoe Paraskevopoulou, John M. Li, Andrew W. Appel

    Programming Languages & Formal Methods

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

12. 2021 · ICFP

    Contextual modal types for algebraic effects and handlers

    Nikita Zyuzin, Aleksandar Nanevski

    Programming Languages & Formal Methods

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

13. 2021 · ICFP

    Deriving efficient program transformations from rewrite rules

    John M. Li, Andrew W. Appel

    Programming Languages & Formal Methods

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

14. 2021 · ICFP

    Distributing intersection and union types with splits and duality (functional pearl)

    Xuejing Huang, Bruno C. d. S. Oliveira

    Programming Languages & Formal Methods

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

15. 2021 · ICFP

    Efficient tree-traversals: reconciling parallelism and dense data representations

    Chaitanya Koparkar, Mike Rainey, Michael Vollmer, Milind Kulkarni, Ryan R. Newton

    Programming Languages & Formal Methods

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

16. 2021 · ICFP

    Formal verification of a concurrent bounded queue in a weak memory model

    Glen Mével, Jacques-Henri Jourdan

    Programming Languages & Formal Methods

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

17. 2021 · ICFP

    Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C

    Ningning Xie, Daan Leijen

    Programming Languages & Formal Methods

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

18. 2021 · ICFP

    Getting to the point: index sets and parallelism-preserving autodiff for pointful array programming

    Adam Paszke, Daniel D. Johnson, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul, Matthew J. Johnson, Jonathan Ragan-Kelley, Dougal Maclaurin

    Programming Languages & Formal Methods

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

19. 2021 · ICFP

    GhostCell: separating permissions from data in Rust

    Joshua Yanovski, Hoang-Hai Dang, Ralf Jung, Derek Dreyer

    Programming Languages & Formal Methods

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

20. 2021 · ICFP

    Grafs: declarative graph analytics

    Farzin Houshmand, Mohsen Lesani, Keval Vora

    Programming Languages & Formal Methods

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

21. 2021 · ICFP

    Higher-order probabilistic adversarial computations: categorical semantics and program logics

    Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Shin-ya Katsumata, Tetsuya Sato

    Programming Languages & Formal Methods

    日本大学: 東京科学大学

22. 2021 · ICFP

    How to evaluate blame for gradual types

    Lukas Lazarek, Ben Greenman, Matthias Felleisen, Christos Dimoulas

    Programming Languages & Formal Methods

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

23. 2021 · ICFP

    Modular, compositional, and executable formal semantics for LLVM IR

    Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic

    Programming Languages & Formal Methods

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

24. 2021 · ICFP

    Newly-single and loving it: improving higher-order must-alias analysis with heap fragments

    Kimball Germane, Jay McCarthy

    Programming Languages & Formal Methods

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

25. 2021 · ICFP

    Of JavaScript AOT compilation performance

    Manuel Serrano

    Programming Languages & Formal Methods

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

26. 2021 · ICFP

    On continuation-passing transformations and expected cost analysis

    Martin Avanzini, Gilles Barthe, Ugo Dal Lago

    Programming Languages & Formal Methods

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

27. 2021 · ICFP

    Persistent software transactional memory in Haskell

    Nicolas Krauter, Patrick Raaf, Peter Braam, Reza Salkhordeh, Sebastian Erdweg, André Brinkmann

    Programming Languages & Formal Methods

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

28. 2021 · ICFP

    ProbNV: probabilistic verification of network control planes

    Nick Giannarakis, Alexandra Silva, David Walker

    Programming Languages & Formal Methods

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

29. 2021 · ICFP

    Propositions-as-types and shared state

    Pedro Rocha, Luís Caires

    Programming Languages & Formal Methods

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

30. 2021 · ICFP

    Reasoning about effect interaction by fusion

    Zhixuan Yang, Nicolas Wu

    Programming Languages & Formal Methods

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

31. 2021 · ICFP

    Reasoning about the garden of forking paths

    Yao Li, Li-yao Xia, Stephanie Weirich

    Programming Languages & Formal Methods

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

32. 2021 · ICFP

    Skipping the binder bureaucracy with mixed embeddings in a semantics course (functional pearl)

    Adam Chlipala

    Programming Languages & Formal Methods

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

33. 2021 · ICFP

    Steel: proof-oriented programming in a dependently typed concurrent separation logic

    Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro

    Programming Languages & Formal Methods

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

34. 2021 · ICFP

    Symbolic and automatic differentiation of languages

    Conal Elliott

    Programming Languages & Formal Methods

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

35. 2021 · ICFP

    Theorems for free from separation logic specifications

    Lars Birkedal, Thomas Dinsdale-Young, Armaël Guéneau, Guilhem Jaber, Kasper Svendsen, Nikos Tzevelekos

    Programming Languages & Formal Methods

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