Some papers about the course and the approach are available:
Taming Complexity in Large Scale Systems Projects, SIGCSE 2012.
Virtual Machines: Abstraction and Implementation, ITiCSE 2009.
A Synthesis Course in Hardware Architecture, Compilers, and Software Engineering, SIGCSE 2009.