Zachery Casey

Email: caseyz AT bu.edu

I am a second year PhD student at Boston University. My advisor is Hongwei Xi. As a part of the Principles of Programming and Verification research group, my interests are primarily focused on the development of resource aware programming languages with rich type systems.

Combating Run-time Performance Bugs with Performance Claim Annotations

11th Symposium on Software Performance 2020