1. General area: programming languages, software engineering, and compilers.
2. Current research interests: Program analysis and its applications to security, specifically (1) program analysis and compilation for multi-party computation (MPC), and (2) computation outsourcing and computation over encrypted data.
3. Current research interests: Program analysis for dynamic languages with applications to the specification and verification of machine learning libraries.
4. Current research interests: Practical type systems and type-based program analysis, specifically reference immutability and taint analysis.
I am currently looking for students interested in research at the intersection of compilers and cryptography. If you are interested in this area, or just generally interested in compilers and programming languages, drop me an email.
Spring 2021: CSCI 4450 & CSCI 6450 Program Analysis
My Current and Former Students:
Ingkarat Rak-amnouykit, PhD student
Lindsey Kennard, PhD student
Yao Dong, PhD 2017, now at Signifyd
Alex Giris, MS 2017
Ben Kaiser, MS 2015, now at Lincoln Labs
Wei Huang, PhD 2014, now at Google
Yin Liu, PhD 2010, was at Symantec Research, now at Google
Ben Levinn, MS 2009
Orri Eirikson, MS 2006
Shyam Sunder, MS 2004
James Lewis, MS 2004