SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Bryan Parno

Registered user since Fri 27 Sep 2019

Name:Bryan Parno
Country:United States
Affiliation:Carnegie Mellon University

Contributions

SPLASH 2023 Verus: Verifying Rust Programs using Linear Ghost Types
Show activities from other conferences

Using general profile