General area: programming languages, software engineering, and compilers. My current research interests center on these topics:
1. 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.
2. Program analysis for dynamic languages with applications to the specification and verification of machine learning libraries.
3. Practical type systems and type-based program analysis, specifically reference immutability and taint analysis.
Spring 2023 Office Hours: Wednesdays 10am-11am in Lally 314. Advisees, stop by if you have questions. Fall 2022 Proglang students, stop by to get Lambda stickers.
Fall 2022: CSCI 4430 Programming Languages
Spring 2022: CSCI 4450 & CSCI 6450 Program Analysis
Fall 2021: CSCI 4967 & ITWS 4967 Modern Binary Exploitation
Current and Former Students:
PhD: Yue Zhou (started 2022), Nathaniel Adair (started 2022), Linh Tran (started 2022), Ingkarat Rak-amnouykit (started 2019), Lindsey Kennard (PhD 2020, now at STR), Yao Dong (PhD 2017, now at Microsoft), Wei Huang (PhD 2014, now at Google), Yin Liu (PhD 2010, now at Google)
Masters: Seth Laurenceau (started 2022), Ben Sherman (MS 2022), Andrew Ma (MS 2019), Toshi Piazza (MS 2018), Alex Giris (MS 2017), Branden Clark (MS 2016), Shuran Li (MS 2016), Ben Kaiser (MS 2015), Ben Levinn (MS 2009), Orri Eirikson (MS 2006), Shyam Sunder (MS 2004), James Lewis (MS 2004)
Undergraduate reserchers (recent): Benjamin Levy (2021 - present), Asher Gotlieb (2022), Mike Yang (2021), Dan McCrevan (BS 2020), Collin Jones (BS 2019), Elizabeth Dinella (BS 2018)