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 January 2025): A few not-so-recent photos