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 affiliations if known:
A few not-so-recent photos