I’m a MS student working with Prof. Jeff Huang at Texas A&M University and a member of the O2@TAMU and Parasol research groups.My research interests span programming languages and formal methods.
Currently, I’m developing tools to find concurrency bugs in Go and memory-safety bugs in C/C++ programs. Previously, I worked on Checked C as a research intern at Microsoft.
- Head Teaching Assistant, CSCE221: Data Structures and Algorithms, TAMU, 2019 Fall
- Teaching Assistant, Compiler Design, Wuhan University, 2017
- Artifact Evaluation Committee: PLDI'19
- Co-reviewer: OOPSLA'20, FSE'20, PPoPP'20, PLDI'19, ICSE'19, OOPSLA'19, FSE'19, TOSEM, TSE