Drafts and Pre-Prints

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

Conference Papers

  1. Vytautas Astrauskas, Aurel 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.
  2. 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.
  3. 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.
  4. 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.