Powered by
Proceedings of the ACM on Programming Languages, Volume 7, Number POPL,
January 15–21, 2023,
Boston, MA, USA
Frontmatter
Papers
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Alexandra E. Michael

, Anitha Gollamudi

, Jay Bosamiya

, Evan Johnson

, Aidan Denlinger

, Craig Disselkoen

, Conrad Watt

,
Bryan Parno 
, Marco Patrignani

, Marco Vassena

, and Deian Stefan
(University of California at San Diego, USA; University of Washington, USA; University of Massachusetts Lowell, USA; Carnegie Mellon University, USA; Arm, USA; University of Cambridge, UK; University of Trento, Italy; Utrecht University, Netherlands)
Publisher's Version
Published Artifact
Info
Artifacts Available
Artifacts Functional
CoqQ: Foundational Verification of Quantum Programs
Li Zhou

, Gilles Barthe

, Pierre-Yves Strub

, Junyi Liu

, and Mingsheng Ying
(MPI-SP, Germany; Institute of Software at Chinese Academy of Sciences, China; IMDEA Software Institute, Spain; Meta, France; University of Chinese Academy of Sciences, China; Tsinghua University, China)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Dargent: A Silver Bullet for Verified Data Layout Refinement
Zilin Chen

, Ambroise Lafont

,
Liam O'Connor 
, Gabriele Keller

, Craig McLaughlin

, Vincent Jackson

, and Christine Rizkallah
(UNSW, Australia; University of Cambridge, UK; University of Edinburgh, UK; Utrecht University, Netherlands; University of Melbourne, Australia)
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
proc time: 15.08