Lectures

A collection lectures and other minor talks

My conference talks can be found here.

CS 2220: Engineering Software

Class 7: Data Abstraction

Class 8: Implementing Data Abstractions

Class 15: Threads and Concurrency

Programming Languages & Machine Learning

Introduction to Machine Learning

Boosting

Model Checking

Theory

Finding bounds on Prefix Reversal Sorting

Distributed Agreement