Assistant Professor
UNSAT and PLSE research groups
Paul G. Allen School of Computer Science & Engineering
emina
CSE 596
Research
My research aims to help people create better software more easily. I develop new languages and tools for computer-aided verification and synthesis of software. My collaborators and I apply these techniques to all kinds of systems, from radiotherapy machines to K-12 algebra tutors. A lot of our work is based on Rosette, a new language that makes it easy to create efficient tools for program verification, synthesis, and more.
News
Released Rosette 3.0: new performance engineering tools and new solvers!
Our paper on symbolic profiling for solver-aided languages and frameworks will appear at OOPSLA 2018.
See all posts.
Students
- James Bornholt, PhD
- Eric Butler, PhD
- Sorawee Porncharoenwase, PhD
- Jacob Van Geffen, PhD
- Vimala Jampala, MS, 2015
Teaching
- CSE 311: 18au
- CSE 507: 18sp, 17wi, 16sp, etc.
- CSE 403: 16au, 16wi, 15sp
- CSE 599 A2: 15wi
- CS294: 12au
Service
- IFIP WG 2.3, 2.4 member
- PLDI 2019 PC
- OOPSLA 2019 RC
- Onward! 2018 SC
- PLDI 2018 SC Member at Large
- The Future of Alloy Workshop 2018 Program Co-Chair
- PLDI 2018 PC
- 2017 and earlier