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.46