Designing secure and scalable distributed applications is incredibly important but almost impossible when policies and workloads change dynamically.

I study language-based approaches to security and distributed systems that offer strong security guarantees and adaptive performance in dynamic environments.





Current Projects

Previous Projects

  • Fabric
    A language and system for scalable and secure distributed computation on persistent objects.
  • Jif
    An extension of Java with static information flow control.
  • Polyglot
    An extensible compiler framework for Java.
  • StatusQuo
    Automatically refactoring database applications for performance.