Developed the Checked C compiler for a C-based programming language to detect and prevent out-of-bounds memory accesses in C++, Clang and LLVM.