Taming Complexity in Large Scale Systems Projects , to appear in SIGCSE 2012.
Virtual Machines: Abstraction and Implementation, Proceedings of ITiCSE 2009.
A Synthesis Course in Hardware Architecture, Compilers, and Software Engineering, with Noam Nisan and Michal Armoni, Proceedings SIGCSE 2009.