Powered by
Proceedings of the ACM on Programming Languages, Volume 7, Number OOPSLA1,
October 22–27, 2023,
Cascais, Portugal
Frontmatter
Papers
Verus: Verifying Rust Programs using Linear Ghost Types
Andrea Lattuada

, Travis Hance

, Chanhee Cho

, Matthias Brun

, Isitha Subasinghe

, Yi Zhou

, Jon Howell

,
Bryan Parno 
, and Chris Hawblitzel
(VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA)
Publisher's Version
Published Artifact
Archive submitted (61 kB)
Artifacts Available
Artifacts Reusable
Lower Bounds for Possibly Divergent Probabilistic Programs
Shenghua Feng

, Mingshuai Chen

, Han Su

, Benjamin Lucien Kaminski

, Joost-Pieter Katoen

, and Naijun Zhan
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhejiang University, China; Saarland University, Germany; University College London, UK; RWTH Aachen University, Germany)
Publisher's Version
proc time: 6.02