Programming Languages and Software Engineering

The UW CSE Programming Languages and Software Engineering (PLSE) group pursues fundamental research advances in many areas of software while eschewing arbitrary boundaries. On one axis, our work spans software evolution, programming environments, program analysis (dynamic, static, and hybrid), language design, run-time systems, and compilers. On another axis, our work leverages and advances theory, design, experimentation, and building useful software artifacts. Our current research projects include work on type systems, software testing, parallel and concurrent programming, verification, client-side web programming, API discovery, and more. The group has a long history of producing top graduates with strong records of accomplishments and awards.