CMU Logical Systems Lab Video Channel
Please look at the
Carnegie Mellon University, LS Lab Video Channel
.