PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie. - Jianzhou Zhao; Jinian Bian; Weimin Wu (COMPSAC, 2004)

Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs. - Jianzhou Zhao; Jinian Bian; Weimin Wu (CSCWD (2), 2005)

AURA: a programming language for authorization and audit. - Limin Jia 001; Jeffrey A. Vaughan; Karl Mazurak; Jianzhou Zhao; Luke Zarko; Joseph Schorr; Steve Zdancewic (ICFP, 2008)

SoftBound: highly compatible and complete spatial memory safety for c. - Santosh Nagarakatte; Jianzhou Zhao; Milo M. K. Martin; Steve Zdancewic (PLDI, 2009)

Relational Parametricity for a Polymorphic Linear Lambda Calculus. - Jianzhou Zhao; Qi Zhang; Steve Zdancewic (APLAS, 2010)

CETS: compiler enforced temporal safety for C. - Santosh Nagarakatte; Jianzhou Zhao; Milo M. K. Martin; Steve Zdancewic (ISMM, 2010)

Dependent types and program equivalence. - Limin Jia 001; Jianzhou Zhao; Vilhelm Sjöberg; Stephanie Weirich (POPL, 2010)

Lightweight linear types in system fdegree. - Karl Mazurak; Jianzhou Zhao; Steve Zdancewic (TLDI, 2010)

Mechanized Verification of Computing Dominators for Formalizing Compilers. - Jianzhou Zhao; Steve Zdancewic (CPP, 2012)

Formalizing the LLVM intermediate representation for verified program transformations. - Jianzhou Zhao; Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (POPL, 2012)

Formal verification of SSA-based optimizations for LLVM. - Jianzhou Zhao; Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (PLDI, 2013)

Performance analysis of ultra-dense heterogeneous network switching technology based on region awareness Bayesian decision. - Chaochen Xie; Jianzhou Zhao; Rujing Guo; Li Li; Chao Lu (Soft Comput., 2020)

Relaxed support vector based dictionary learning for image classification. - Jianqiang Song; Zuozhi Liu; Chaochen Xie; Chao Lu; Jianzhou Zhao; Suling Gao (Multim. Tools Appl., 2024)

ASIRDetector: Scheduling-driven, asynchronous execution to discover asynchronous improper releases bug in linux kernel. - Jianzhou Zhao; Qiang Wei; Xingwei Li; Yunchao Wang; Xixing Li (Comput. Secur., 2025)