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 
, Calvin Beck

,
Irene Yoon 
, Ilia Zaichuk

, Vadim Zaliva

, 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
Published Artifact
Info
Artifacts Available
Artifacts Functional
Theorems for Free from Separation Logic Specifications
Lars Birkedal 
, Thomas Dinsdale-Young,
Armaël Guéneau 
, 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
Published Artifact
Artifacts Available
Artifacts Functional
Steel: Proof-Oriented Programming in a Dependently Typed Concurrent Separation Logic
Aymeric Fromherz, Aseem Rastogi

, Nikhil Swamy

, Sydney Gibson, Guido Martínez, Denis Merigoux

, and Tahina Ramananandro
(Carnegie Mellon University, USA; Microsoft Research, India; Microsoft Research, USA; CIFASIS-CONICET, Argentina; Inria, France)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
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 
, 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

, Gilles Barthe

, Marco Gaboardi

,
Deepak Garg 
, Shin-ya Katsumata

, 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: 7.93