Pittsburgh, Pennsylvania, United States
Thinking about compilers.
Teaching students about CUDA, OpenMP, and MPI.
• Helping student write a C0 compiler. • Teach classic compiler analyses and optimizations. • Maintain autograder using AWS ECS.
Conducting research in optimizing parallel performance of LazyD compiler developed in C++ LLVM framework. Implemented LLVM analysis and transformation passes to assist parallel construct lowering. Instrumented and profiled executables to investigate parallel performance bottlenecks. Extensive experience with LLVM in-tree and external optimization passes, legacy and new pass managers, and source-level debug metadata.
I worked on improving quantifier elimination problem in the field of Logical Foundations of Cyberphysical System.
Worked on Life at CMU smartphone usage dataset to build depression prediction model. Perform cluster analysis on data to capture activity patterns in participants groups.