Reference

2026
Ravencheck: Effectively-Propositional Reasoning for Rust
Kunha Kim, Nicholas V. Lewchenko, Bor-Yuh Evan Chang, and Gowtham Kaki
SOAP 2026: ACM SIGPLAN Workshop on State of the Art in Program Analysis

Abstract

BibTeX

@string{SOAP = "ACM SIGPLAN Workshop on State of the Art in Program Analysis (SOAP)"}
@inproceedings{ravencheck-soap26,
  author = {Kunha Kim and Nicholas V. Lewchenko and Bor-Yuh Evan Chang and Gowtham Kaki},
  title = {Ravencheck: Effectively-Propositional Reasoning for Rust},
  booktitle = SOAP,
  year = {2026},
  pages = {},
  
}