Explore projects

Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/ACM International Conference on Program Comprehension

Dynamic pass for llvm instrumentation

This will hold my work with making checkers for the clang static analyzer