The UNSAT group aims to develop foundational technologies for improving the correctness and performance of practical computer systems. Our research spans the areas of formal methods, programming languages, and operating systems. We build verification and synthesis tools and use these tools to build efficient, reliable, and secure systems. We are part of the Paul G. Allen School at the University of Washington. See our papers and projects for more details about our research.

News

08/24/18

Released Rosette 3.0: new performance engineering tools and new solvers!

08/16/18

Our paper on symbolic profiling for solver-aided languages and frameworks will appear at OOPSLA 2018.

07/20/18

Our paper on the Nickel framework for design and verification of information flow control systems will appear at OSDI 2018.

See all posts.

People

Faculty

Graduate students

Alumni

Sponsors

Thanks to NSF, DARPA, the Alfred P. Sloan Foundation, Facebook, Google, Huawei, Intel, and VMware for supporting our work.