Adrian Mettler

I am a graduate student in computer science at U.C. Berkeley, advised by David Wagner. I graduated in 2004 from Harvey Mudd College.

My research is on enabling programmers to write secure software and reason about its correctness and safety properties. Current work includes the Joe-E subset of Java for capability-secure programming.

I am an officer in the CSGSA.

Publications

Verifiable Functional Purity in Java

Matthew Finifter, Adrian Mettler, Naveen Sastry, and David Wagner. 15th ACM Conference on Computer and Communication Security (CCS 2008), October 27-31, 2008.

The Joe-E Language Specification, Version 1.0

Adrian Mettler and David Wagner. EECS Department, UC Berkeley. Technical Report No. UCB/EECS-2008-91. August 7, 2008.