Jianzhou Zhao

According to our database, Jianzhou Zhao authored at least 13 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Relaxed support vector based dictionary learning for image classification.

Jianqiang Song, Zuozhi Liu, Chaochen Xie, Chao Lu, Jianzhou Zhao, Suling Gao

Multim. Tools Appl., February, 2024

2020

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

2013

Formal verification of SSA-based optimizations for LLVM.

Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Formalizing the LLVM intermediate representation for verified program transformations.

Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Mechanized Verification of Computing Dominators for Formalizing Compilers.

Jianzhou Zhao, Steve Zdancewic

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2010

Lightweight linear types in system fdegree.

Karl Mazurak, Jianzhou Zhao, Steve Zdancewic

Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, 2010

Dependent types and program equivalence.

Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

CETS: compiler enforced temporal safety for C.

Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 9th International Symposium on Memory Management, 2010

Relational Parametricity for a Polymorphic Linear Lambda Calculus.

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

SoftBound: highly compatible and complete spatial memory safety for c.

Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

AURA: a programming language for authorization and audit.

Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2005

Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs.

Jianzhou Zhao, Jinian Bian, Weimin Wu

Proceedings of the Ninth International Conference on Computer Supported Cooperative Work in Design, 2005

2004

PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie.

Jianzhou Zhao, Jinian Bian, Weimin Wu

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004