Yahui Sun

  • MS of Computer Science, Texas A&M University
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.


Professional Service