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: 7.96