Participating Groups
- Commit (Prof. Saman Amarasinghe)
- Computation Structures (Prof. Arvind)
- Software Design Group (Prof. Daniel Jackson)
- User Interfaces Group (Prof. Rob Miller)
- Program Analysis and Compilation Group (Prof. Martin Rinard)
- Computer-Aided Programming (Prof. Armando Solar-Lezama)
- Prof. Andrew Myers