This page is part of an archival collection and is no longer actively maintained.

It may contain outdated information and may not meet current or future WCAG accessibility standards. We provide this content, its subpages, and associated links for historical reference only. If you need assistance, please contact support@cs.washington.edu

Sandcat: Software

Software

  • Verdi.
    James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst and Thomas Anderson.

  • The Rosette Language.
    Emina Torlak.

  • Herbie.
    Pavel Panchekha, Alex Sanchez-Stern, Chen Qiu, Jack Firth, James R. Wilcox and Zachary Tatlock.

Programming Languages & Software Engineering at the University of Washington