Reference

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 = {},
  
}