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.