| Name | William Mansky |
|---|---|
| Role | postdoc |
| GitHub Login | mansky1 |
| Photo |  |
| Home Page | https://www.cs.uic.edu/~mansky/ |
| Joined DeepSpec | |
| Left DeepSpec | |
| DeepSpec Projects | Vellvm
Verified Software Toolchain |
| Affiliations | Princeton University
University of Illinois at Chicago |
| DeepSpec Publications | A verified messaging system
Verifying Dynamic Race Detection Connecting Higher-Order Separation Logic to a First-Order Outside World Compiler Correctness for Concurrency: from concurrent separation logic to shared-memory assembly language From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server Verifying an HTTP Key-Value Server with Interaction Trees and VST Verifying an HTTP Key-Value Server with Interaction Trees and VST |
| Visits |