Spring 2018: CSCI 4450 & CSCI 6450 Program Analysis
Advising Session 09/12/17 slides.
Advising Session 10/17/17 slides.
Advising Session 11/14/17 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 and Former Students:
Yao Dong, PhD student
Lindsey Kennard, PhD student
Alex Giris, MS 2017
Ben Kaiser, MS 2015, now at Lincoln Labs
Wei Huang, PhD 2014, now at Google
Yin Liu, PhD 2010, was at Symantec Research, now at Google
Ben Levinn, MS 2009
Orri Eirikson, MS 2006
Shyam Sunder, MS 2004
James Lewis, MS 2004
Peter, Katarina and Antun