Past role
Teaching
I served as the Instructor for 15-122 Principles of Imperative Computation at Carnegie Mellon with my co-instructor, Mihir Khare. Before that I was a TA and lead TA for four years. I am especially proud of helping design a large part of the course experience.
Built with my co-lead Liz Chu, we developed a bootcamp series for the course which helped strengthen fundementals and encourage interactive learning as AI started becoming more prevalent. We developed the series iteratively over three semesters. Below are some of our early concepts and later work. Four years later the bootcamps are still a core part of the course and newer TAs have taken over the development and improvement of their curriculum.
Each bootcamp went along with a series of practice questions and take home questions that we developed. These are not made public, but if you are interested please drop me a note.
Bootcamp sessions
-
Debugging Fundamentals GDB basics, reading core dumps, narrowing failure to a single line.
-
Memory & Pointers Stack vs heap, alias analysis, and how invalid frees corrupt later allocations.
-
Debugging Data Structures Inspecting linked lists, trees, and hash tables under a debugger.
-
Valgrind & Memory Errors Catching leaks and out-of-bounds reads with valgrind/memcheck.
-
C Debugging Deep Dive Longer session covering compilation, sanitizers, and pre-/post-conditions.
-
Point-to Proofs Translating debugger observations into proof obligations and contracts.