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
![ORCID logo](images/orcid.svg)
, Travis Hance
![ORCID logo](images/orcid.svg)
, Chanhee Cho
![ORCID logo](images/orcid.svg)
, Matthias Brun
![ORCID logo](images/orcid.svg)
, Isitha Subasinghe
![ORCID logo](images/orcid.svg)
, Yi Zhou
![ORCID logo](images/orcid.svg)
, Jon Howell
![ORCID logo](images/orcid.svg)
,
Bryan Parno ![ORCID logo](images/orcid.svg)
, 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
![ORCID logo](images/orcid.svg)
, Mingshuai Chen
![ORCID logo](images/orcid.svg)
, Han Su
![ORCID logo](images/orcid.svg)
, Benjamin Lucien Kaminski
![ORCID logo](images/orcid.svg)
, Joost-Pieter Katoen
![ORCID logo](images/orcid.svg)
, 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: 4.78