Jianzhou Zhao

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Formalizing the LLVM intermediate representation for verified program transformations

Jianzhou Zhao (2012) · Association for Computing Machinery (ACM)

CETS: Compiler enforced temporal safety for C

Santosh Nagarakatte and others (2010) · ACM

SoftBound: Highly compatible and complete spatial memory safety for C

Santosh Nagarakatte and others (2009) · Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation