|2013||Ph.D., University of California, Santa Cruz ‐ Computer Science|
|2008||M.S., San Jose State University ‐ Computer Science|
|1998||B.S., Santa Clara University ‐ Operations and Management of Information Systems|
Conference Papers (4)
Virtual values of language extension
OOPSLA: Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, part of SPLASH 2011 (2011)
This paper focuses on extensibility, the ability of a programmer using a particular language to extend the expressiveness of that ...
Workshop Papers (3)
Faceted execution of policy-agnostic programs
Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages analysis for security (2013)
It is important for applications to protect sensitive data. Even for simple confidentiality and integrity policies, it is often difficult ...
Efficient purely-dynamic information flow analysis
Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security (2009)