Powered by
Proceedings of the ACM on Programming Languages, Volume 6, Number POPL,
January 16–22, 2022,
Philadelphia, PA, USA
Frontmatter
Papers
Isolation without Taxation: Near-Zero-Cost Transitions for WebAssembly and SFI
Matthew Kolosick, Shravan Narayan

, Evan Johnson

, Conrad Watt

, Michael LeMay

,
Deepak Garg 
,
Ranjit Jhala 
, and Deian Stefan
(University of California at San Diego, USA; University of Cambridge, UK; Intel Labs, USA; MPI-SWS, Germany)
Publisher's Version
Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimizations
Lennard Gäher

, Michael Sammler

, Simon Spies

,
Ralf Jung 
, Hoang-Hai Dang

,
Robbert Krebbers 
,
Jeehoon Kang 
, and
Derek Dreyer
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; KAIST, South Korea)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Solving String Constraints with Regex-Dependent Functions through Transducers with Priorities and Variables
Taolue Chen

, Alejandro Flores-Lamas, Matthew Hague

, Zhilei Han

, Denghang Hu, Shuanglong Kan, Anthony W. Lin

, Philipp Rümmer

, and Zhilin Wu
(Birkbeck University of London, UK; Royal Holloway University of London, UK; Tsinghua University, China; Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; TU Kaiserslautern, Germany; MPI-SWS, Germany; Uppsala University, Sweden)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation
Faustyna Krawiec

, Simon Peyton Jones

, Neel Krishnaswami

, Tom Ellis

, Richard A. Eisenberg

, and Andrew Fitzgibbon
(University of Cambridge, UK; Microsoft Research, UK; Tweag, France)
Publisher's Version
The Leaky Semicolon: Compositional Semantic Dependencies for Relaxed-Memory Concurrency
Alan Jeffrey 
,
James Riely 
, Mark Batty

,
Simon Cooksey 
,
Ilya Kaysin 
, and Anton Podkopaev
(Roblox, USA; DePaul University, USA; University of Kent, UK; JetBrains Research, Russia; University of Cambridge, UK; HSE University, Russia)
Publisher's Version
Published Artifact
Info
Artifacts Available
proc time: 11.46