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.
I am always looking for PhD and MS students interested in PL/Compilers/Security research, particularly research at the intersection of compilers and cryptography. I am also always happy to hear from RPI undergrads, though I cannot accept new students until Spring'23 due to my teaching schedule this term.
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: 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 (started 2021), 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 (started 2021), Mike Yang (started 2021), Dan McCrevan (BS 2020), Collin Jones (BS 2019), Elizabeth Dinella (BS 2018)