Eric-Bokai-Zhang

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"

vec2text_upstream

utilities for decoding deep representations (like sentence embeddings) back to text

CSE230_JewelLegend

DatabaseStructure

The detailed structure of site db

buenum-synth

Bottom-up Enumerative Synthesizer using Egg

moby

Eric-Bokai-Zhang/vec2text_upstream

utilities for decoding deep representations (like sentence embeddings) back to text

Eric-Bokai-Zhang/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.

Eric-Bokai-Zhang/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.

Eric-Bokai-Zhang/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.

Eric-Bokai-Zhang/checkedc-safe-mm-misc

Miscellaneous stuffs for the Checked C Temporal Memory Safety Project

Eric-Bokai-Zhang/Sound-of-Pixels

Codebase for ECCV18 "The Sound of Pixels"