POPL

POPL 公式サイト ↗

Programming Languages & Formal Methods

2021 · 61 papers

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

1. 2021 · POPL

   A computational interpretation of compact closed categories: reversible programming with negative and fractional types

   Chao-Hong Chen, Amr Sabry

   Programming Languages & Formal Methods

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

2. 2021 · POPL

   A graded dependent type system with a usage-aware semantics

   Pritam Choudhury, Harley Eades III, Richard A. Eisenberg, Stephanie Weirich

   Programming Languages & Formal Methods

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

3. 2021 · POPL

   A practical mode system for recursive definitions

   Alban Reynaud, Gabriel Scherer, Jeremy Yallop

   Programming Languages & Formal Methods

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

4. 2021 · POPL

   A pre-expectation calculus for probabilistic sensitivity

   Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

   Programming Languages & Formal Methods

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

5. 2021 · POPL

   A separation logic for effect handlers

   Paulo Emílio de Vilhena, François Pottier

   Programming Languages & Formal Methods

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

6. 2021 · POPL

   A unifying type-theory for higher-order (amortized) cost analysis

   Vineet Rajani, Marco Gaboardi, Deepak Garg, Jan Hoffmann

   Programming Languages & Formal Methods

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

7. 2021 · POPL

   A verified optimizer for Quantum circuits

   Kesha Hietala, Robert Rand, Shih-Han Hung, Xiaodi Wu, Michael Hicks

   Programming Languages & Formal Methods

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

8. 2021 · POPL

   Abstracting gradual typing moving forward: precise and space-efficient

   Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia

   Programming Languages & Formal Methods

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

9. 2021 · POPL

   An abstract interpretation for SPMD divergence on reducible control flow graphs

   Julian Rosemann, Simon Moll, Sebastian Hack

   Programming Languages & Formal Methods

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

10. 2021 · POPL

    An approach to generate correctly rounded math libraries for new floating point variants

    Jay P. Lim, Mridul Aanjaneya, John Gustafson, Santosh Nagarakatte

    Programming Languages & Formal Methods

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

11. 2021 · POPL

    Asynchronous effects

    Danel Ahman, Matija Pretnar

    Programming Languages & Formal Methods

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

12. 2021 · POPL

    Automata and fixpoints for asynchronous hyperproperties

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

    Programming Languages & Formal Methods

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

13. 2021 · POPL

    Automatic differentiation in PCF

    Damiano Mazza, Michele Pagani

    Programming Languages & Formal Methods

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

14. 2021 · POPL

    Automatically eliminating speculative leaks from cryptographic code with blade

    Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kıcı, Ranjit Jhala, Dean Tullsen, Deian Stefan

    Programming Languages & Formal Methods

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

15. 2021 · POPL

    Combining the top-down propagation and bottom-up enumeration for inductive program synthesis

    Woosuk Lee

    Programming Languages & Formal Methods

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

16. 2021 · POPL

    Context-bounded verification of liveness properties for multithreaded shared-memory programs

    Pascal Baumann, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche

    Programming Languages & Formal Methods

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

17. 2021 · POPL

    Corpse reviver: sound and efficient gradual typing via contract verification

    Cameron Moy, Phúc C. Nguyễn, Sam Tobin-Hochstadt, David Van Horn

    Programming Languages & Formal Methods

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

18. 2021 · POPL

    Cyclic proofs, system t, and the power of contraction

    Denis Kuperberg, Laureline Pinault, Damien Pous

    Programming Languages & Formal Methods

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

19. 2021 · POPL

    Data flow refinement type inference

    Zvonimir Pavlinovic, Yusen Su, Thomas Wies

    Programming Languages & Formal Methods

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

20. 2021 · POPL

    Deciding accuracy of differential privacy schemes

    Gilles Barthe, Rohit Chadha, Paul Krogmeier, A. Prasad Sistla, Mahesh Viswanathan

    Programming Languages & Formal Methods

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

21. 2021 · POPL

    Deciding reachability under persistent x86-TSO

    Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

    Programming Languages & Formal Methods

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

22. 2021 · POPL

    Deciding ω-regular properties on linear recurrence sequences

    Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell

    Programming Languages & Formal Methods

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

23. 2021 · POPL

    Diamonds are not forever: liveness in reactive programming with guarded recursion

    Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg

    Programming Languages & Formal Methods

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

24. 2021 · POPL

    Dijkstra monads forever: termination-sensitive specifications for interaction trees

    Lucas Silver, Steve Zdancewic

    Programming Languages & Formal Methods

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

25. 2021 · POPL

    Distributed causal memory: modular specification and verification in higher-order distributed separation logic

    Léon Gondelman, Simon Oddershede Gregersen, Abel Nieto, Amin Timany, Lars Birkedal

    Programming Languages & Formal Methods

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

26. 2021 · POPL

    Efficient and provable local capability revocation using uninitialized capabilities

    Aïna Linn Georges, Armaël Guéneau, Thomas Van Strydonck, Amin Timany, Alix Trieu, Sander Huyghebaert, Dominique Devriese, Lars Birkedal

    Programming Languages & Formal Methods

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

27. 2021 · POPL

    Formally verified speculation and deoptimization in a JIT compiler

    Aurèle Barrière, Sandrine Blazy, Olivier Flückiger, David Pichardie, Jan Vitek

    Programming Languages & Formal Methods

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

28. 2021 · POPL

    Fully abstract from static to gradual

    Koen Jacobs, Amin Timany, Dominique Devriese

    Programming Languages & Formal Methods

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

29. 2021 · POPL

    Functorial semantics for partial theories

    Ivan Di Liberti, Fosco Loregian, Chad Nester, Paweł Sobociński

    Programming Languages & Formal Methods

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

30. 2021 · POPL

    Generating collection transformations from proofs

    Michael Benedikt, Cécilia Pradic

    Programming Languages & Formal Methods

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

31. 2021 · POPL

    Giving semantics to program-counter labels via secure effects

    Andrew K. Hirsch, Ethan Cecchetti

    Programming Languages & Formal Methods

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

32. 2021 · POPL

    Intensional datatype refinement: with application to scalable verification of pattern-match safety

    Eddie Jones, Steven Ramsay

    Programming Languages & Formal Methods

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

33. 2021 · POPL

    Internalizing representation independence with univalence

    Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner

    Programming Languages & Formal Methods

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

34. 2021 · POPL

    Intersection types and (positive) almost-sure termination

    Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca

    Programming Languages & Formal Methods

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

35. 2021 · POPL

    Intrinsically typed compilation with nameless labels

    Arjen Rouvoet, Robbert Krebbers, Eelco Visser

    Programming Languages & Formal Methods

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

36. 2021 · POPL

    Learning the boundary of inductive invariants

    Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox

    Programming Languages & Formal Methods

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

37. 2021 · POPL

    Mechanized logical relations for termination-insensitive noninterference

    Simon Oddershede Gregersen, Johan Bay, Amin Timany, Lars Birkedal

    Programming Languages & Formal Methods

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

38. 2021 · POPL

    Modeling and analyzing evaluation cost of CUDA kernels

    Stefan K. Muller, Jan Hoffmann

    Programming Languages & Formal Methods

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

39. 2021 · POPL

    On algebraic abstractions for concurrent separation logics

    František Farka, Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, Ignacio Fábregas

    Programming Languages & Formal Methods

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

40. 2021 · POPL

    On the complexity of bidirected interleaved Dyck-reachability

    Yuanbo Li, Qirun Zhang, Thomas Reps

    Programming Languages & Formal Methods

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

41. 2021 · POPL

    On the semantic expressiveness of recursive types

    Marco Patrignani, Eric Mark Martin, Dominique Devriese

    Programming Languages & Formal Methods

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

42. 2021 · POPL

    Optimal prediction of synchronization-preserving races

    Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan

    Programming Languages & Formal Methods

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

43. 2021 · POPL

    Paradoxes of probabilistic programming: and how to condition on events of measure zero with infinitesimal probabilities

    Jules Jacobs

    Programming Languages & Formal Methods

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

44. 2021 · POPL

    PerSeVerE: persistency semantics for verification under ext4

    Michalis Kokologiannakis, Ilya Kaysin, Azalea Raad, Viktor Vafeiadis

    Programming Languages & Formal Methods

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

45. 2021 · POPL

    Petr4: formal foundations for p4 data planes

    Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster

    Programming Languages & Formal Methods

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

46. 2021 · POPL

    Precise subtyping for asynchronous multiparty sessions

    Silvia Ghilezan, Jovanka Pantović, Ivan Prokić, Alceste Scalas, Nobuko Yoshida

    Programming Languages & Formal Methods

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

47. 2021 · POPL

    Probabilistic programming semantics for name generation

    Marcin Sabok, Sam Staton, Dario Stein, Michael Wolman

    Programming Languages & Formal Methods

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

48. 2021 · POPL

    Provably space-efficient parallel functional programming

    Jatin Arora, Sam Westrick, Umut A. Acar

    Programming Languages & Formal Methods

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

49. 2021 · POPL

    Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

    Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja

    Programming Languages & Formal Methods

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

50. 2021 · POPL

    Semantics-guided synthesis

    Jinwoo Kim, Qinheping Hu, Loris D'Antoni, Thomas Reps

    Programming Languages & Formal Methods

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

51. 2021 · POPL

    Simplifying dependent reductions in the polyhedral model

    Cambridge Yang, Eric Atkinson, Michael Carbin

    Programming Languages & Formal Methods

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

52. 2021 · POPL

    Taming x86-TSO persistency

    Artem Khyzha, Ori Lahav

    Programming Languages & Formal Methods

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

53. 2021 · POPL

    The (In)Efficiency of interaction

    Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

    Programming Languages & Formal Methods

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

54. 2021 · POPL

    The fine-grained and parallel complexity of andersen’s pointer analysis

    Anders Alnor Mathiasen, Andreas Pavlogiannis

    Programming Languages & Formal Methods

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

55. 2021 · POPL

    The taming of the rew: a type theory with computational assumptions

    Jesper Cockx, Nicolas Tabareau, Théo Winterhalter

    Programming Languages & Formal Methods

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

56. 2021 · POPL

    Transfinite step-indexing for termination

    Simon Spies, Neel Krishnaswami, Derek Dreyer

    Programming Languages & Formal Methods

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

57. 2021 · POPL

    Verified code generation for the polyhedral model

    Nathanaël Courant, Xavier Leroy

    Programming Languages & Formal Methods

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

58. 2021 · POPL

    Verifying correct usage of context-free API protocols

    Kostas Ferles, Jon Stephens, Isil Dillig

    Programming Languages & Formal Methods

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

59. 2021 · POPL

    Verifying observational robustness against a c11-style memory model

    Roy Margalit, Ori Lahav

    Programming Languages & Formal Methods

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

60. 2021 · POPL

    egg: Fast and extensible equality saturation

    Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha

    Programming Languages & Formal Methods

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

61. 2021 · POPL

    𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes

    Benjamin Sherman, Jesse Michel, Michael Carbin

    Programming Languages & Formal Methods

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