Fall 2013: CSCI-4430 & CSCI-6969 Programming Languages
Advising Session 9/4/12 slides.
Advising Session 10/2/12 slides.
Advising Session 03/27/13 slides.
My research interests are in the areas of software engineering, compilers, and programming languages. Particularly, I am interested in static and dynamic program analysis, and its applications to software verification, testing and understanding.
My Current Students:
Wei Huang, PhD student
Yao Dong, PhD student
Peter, Katarina and Antun