a web page
Thanks for stopping by! There isn’t much here right now,
but I may add more in the future.
- Aura: A Programming Language for Authorization and Audit.
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak,
Jianzhou Zhao, Luke Zarko, Joseph Schorr,
and Steve Zdancewic. In Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP),
Victoria, British Columbia, Canada, September 2008.
I like runtime systems, garbage collectors, compilers,
systems programming languages, and generally making programming
better. In my spare time, I enjoy reading, writing, running,
bicycling, and baking.