Zack Grannan's Webpage

Drafts and Pre-Prints

  1. Zachary Grannan and Alexander J. Summers. Resource Specifications for Resource-Manipulating Programs. 2024. [arXiv link]

Conference Papers

  1. Zachary Grannan, Aurea Bílá, Jonáš Fiala, Jasper Geer, Markus de Medeiros, Peter Müller, and Alexander J. Summers. "Place Capability Graphs: A General-Purpose Model of Rust's Ownership and Borrowing Guarantees." OOPSLA, 2025.

  2. Vytautas Astrauskas, Aurea Bílá, Jonáš Fiala, Zachary Grannan, Christoph Matheja, Peter Müller, Federico Poli, and Alexander J. Summers. "The Prusti Project: Formal Verification for Rust (invited)." NASA Formal Methods (14th International Symposium), 2022.

  3. Zachary Grannan, Eva Darulova, Alexander J. Summers, and Niki Vazou. "REST: Integrating Term Rewriting with Program Verification." 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022.

  4. Liao, Chun-Feng, Wei-Chen Lu, Kung Chen, Zack Grannan, Wei-Chen Chang, and Yi-Kai Hsiao. "Wise: A Wearable Platform for Performer-Guided Mixed-Reality Interactive Performance Art." 2016 International Conference on Platform Technology and Service (PlatCon), 2016.

  5. Liao, Chun-Feng, Zack Grannan, Ming-Chuan Lin, Kung Chen, Ru-Yi Lin, and Yi-Kai Hsiao. "A Functional Reactive DSL Service Facility for Mixed-Reality Interactive Performance Art." IEEE 9th International Conference on Service-Oriented Computing and Applications (SOCA), 2016.