Rosette The Rosette Language

Teaching

Rosette is used for teaching in the following courses and tutorials on solver-aided programming and, more generally, computer-aided reasoning for software. Contact our team if you would like to use our teaching materials (starred) in your own course, or have your course listed here.

Courses

CSE 507: Computer-Aided Reasoning for Software University of Washington
CS292C: Computer-Aided Reasoning for Software UC Santa Barbara
CSE290Q: SMT Solving and Solver-Aided Systems UC Santa Cruz
COS IW09: Programs Generating Programs Princeton
CS294: Program Synthesis for Everyone UC Berkeley

Tutorials

Solver-Aided Programming at CAV 2019, SSFT 2018
Automated Verification of Systems Software with Serval at SOSP 2019