Teaching
Fall 2004, Winter 2005: CS 302--Introduction to Programming
Research
Fall 2005, Winter 2006: RA for professors Susan Horwitz and Ben Liblit in the Programming Languages Group.
Publications
- Dynamic Heap Type Inference for Program Understanding and Debugging. Marina Polishchuk and Ben Liblit and Chloë Schulze. In Proceedings of the 34th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, 2007. [abstract; PDF]
- Path Optimization in Programs and its Application to Debugging. Akash Lal, Junghee Lim, Marina Polishchuk and Ben Liblit. In Proc. European Symposium on Programming, 2006. [abstract; PostScript; PDF; (c) Springer-Verlag]
Fall '04 Courses
Introduction to Programming
Languages
Advanced Algorithms
Winter 05 Courses
Principles of Programming Languages
Seminar on Software Verification
Database Management Systems