Bokai Zhang's repositories
vec2text_upstream
utilities for decoding deep representations (like sentence embeddings) back to text
checkedc
Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.
checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
checkedc-llvm
This repo contains a version of the LLVM that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.
checkedc-safe-mm-misc
Miscellaneous stuffs for the Checked C Temporal Memory Safety Project
Sound-of-Pixels
Codebase for ECCV18 "The Sound of Pixels"