About Me

I am interested in building efficient, robust and secure concurrent (parallel) systems. Primary research interest includes computer systems, software reliability, program analysis, concurrency, and computer architecture.

The current projects include:

I received the Ph.D. (2013) degree in Computer Science and Engineering at the University of Michigan, Ann Arbor under the guidance of Prof. Satish Narayanasamy. Before joining VT, I worked as an academic visitor in the next generation middleware platforms department at IBM T. J. Watson Research Center (Fall 2013). I also interned in the operating systems group at Microsoft Research - Redmond (Summer 2012); and in the systems analysis and verification department at NEC Laboratories America (Summer 2011)


Publications [Google Scholar]


The source codes for our research work can be found at the VTLeeLab repository. The GitHub repo currently hosts: