Powered by
Proceedings of the ACM on Programming Languages, Volume 5, Number ICFP,
August 22–27, 2021,
Virtual Event, Republic of Korea
Frontmatter
Papers
Modular, Compositional, and Executable Formal Semantics for LLVM IR
Yannick Zakowski ![ORCID logo](images/orcid.svg)
, Calvin Beck
![ORCID logo](images/orcid.svg)
,
Irene Yoon ![ORCID logo](images/orcid.svg)
, Ilia Zaichuk
![ORCID logo](images/orcid.svg)
, Vadim Zaliva
![ORCID logo](images/orcid.svg)
, and
Steve Zdancewic
(Inria, France; University of Pennsylvania, USA; Taras Shevchenko National University of Kyiv, Ukraine; Carnegie Mellon University, USA; Digamma.ai, USA)
Publisher's Version
Info
Artifacts Functional
Theorems for Free from Separation Logic Specifications
Lars Birkedal ![ORCID logo](images/orcid.svg)
, Thomas Dinsdale-Young,
Armaël Guéneau ![ORCID logo](images/orcid.svg)
, Guilhem Jaber, Kasper Svendsen, and Nikos Tzevelekos
(Aarhus University, Denmark; Concordium, Denmark; University of Nantes, France; Uber, Denmark; Queen Mary University of London, UK)
Publisher's Version
Artifacts Functional
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi
![ORCID logo](images/orcid.svg)
, Nikhil Swamy
![ORCID logo](images/orcid.svg)
, Sydney Gibson, Guido Martínez, Denis Merigoux
![ORCID logo](images/orcid.svg)
, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Artifacts Functional
Getting to the Point: Index Sets and Parallelism-Preserving Autodiff for Pointful Array Programming
Adam Paszke
![ORCID logo](images/orcid.svg)
, Daniel D. Johnson
![ORCID logo](images/orcid.svg)
, David Duvenaud, Dimitrios Vytiniotis, Alexey Radul
![ORCID logo](images/orcid.svg)
, Matthew J. Johnson
![ORCID logo](images/orcid.svg)
,
Jonathan Ragan-Kelley ![ORCID logo](images/orcid.svg)
, and Dougal Maclaurin
(Google Research, Poland; Google Research, Canada; University of Toronto, Canada; DeepMind, UK; Google Research, USA; Massachusetts Institute of Technology, USA)
Publisher's Version
Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Alejandro Aguirre
![ORCID logo](images/orcid.svg)
, Gilles Barthe
![ORCID logo](images/orcid.svg)
, Marco Gaboardi
![ORCID logo](images/orcid.svg)
,
Deepak Garg ![ORCID logo](images/orcid.svg)
, Shin-ya Katsumata
![ORCID logo](images/orcid.svg)
, and Tetsuya Sato
(Aarhus University, Denmark; MPI-SP, Germany; IMDEA Software Institute, Spain; Boston University, USA; MPI-SWS, Germany; National Institute of Informatics, Japan; Tokyo Institute of Technology, Japan)
Publisher's Version
proc time: 6.56