Programming Languages and Software Systems (PLaSS) Research Group


News

Research

We design program analyses and software and hardware systems that make computing more reliable, scalable, and secure.

Publications (with open-source implementations)

Funding

People

Current members: Graduated members, with current positions (as of December 2023): A few not-so-recent photos