![]()
Professor 697 Dreese Labs |
NewsResearchInterested in doing research in PL and systems? To learn more about topics my group is working on these days, see some of our recent publications.We design program analyses and software and hardware systems that make computing more reliable, scalable, and secure. Publications (with open-source implementations) General interests: programming languages, systems, security Current advisees:
Teaching[Autumn 2025] CSE 3341: Principles of Programming Languages[Spring 2026] I expect to teach CSE 3341 and a special topics class (CSE 5349), likely on automatic C-to-Rust translation, Rust synthesis, or something else related to Rust. OtherSelected recent/upcoming activities:
|