Computer Science Department Technical Reports