Jianzhou Zhao

15 papers A* 4A 1B 3C 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
ASIRDetector: Scheduling-driven, asynchronous execution to discover asynchronous improper releases bug in linux kernel.
Comput. Secur.
Jianzhou Zhao, Qiang Wei, Xingwei Li, Yunchao Wang, Xixing Li
2024 J jnl
Relaxed support vector based dictionary learning for image classification.
Multim. Tools Appl.
Jianqiang Song, Zuozhi Liu, Chaochen Xie, Chao Lu, Jianzhou Zhao, Suling Gao
2022 J jnl
Research on energy saving technology at mobile edge networks of IoTs based on big data analysis.
Complex Intell. Syst.
Chaochen Xie, Qiaozhi Hua, Jianzhou Zhao, Rujing Guo, Haiyan Yao, Lixia Guo
2020 J jnl
Performance analysis of ultra-dense heterogeneous network switching technology based on region awareness Bayesian decision.
Soft Comput.
Chaochen Xie, Jianzhou Zhao, Rujing Guo, Li Li, Chao Lu
2013 A* conf
Formal verification of SSA-based optimizations for LLVM.
PLDI
Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2012 A* conf
Formalizing the LLVM intermediate representation for verified program transformations.
POPL
Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2012 B conf
Mechanized Verification of Computing Dominators for Formalizing Compilers.
CPP
Jianzhou Zhao, Steve Zdancewic
2010 C conf
CETS: compiler enforced temporal safety for C.
ISMM
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
2010 A* conf
Dependent types and program equivalence.
POPL
Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich
2010 — conf
Lightweight linear types in system fdegree.
TLDI
Karl Mazurak, Jianzhou Zhao, Steve Zdancewic
2010 B conf
Relational Parametricity for a Polymorphic Linear Lambda Calculus.
APLAS
Jianzhou Zhao, Qi Zhang, Steve Zdancewic
2009 A* conf
SoftBound: highly compatible and complete spatial memory safety for c.
PLDI
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
2008 A conf
AURA: a programming language for authorization and audit.
ICFP
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic
2005 — conf
Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs.
CSCWD (2)
Jianzhou Zhao, Jinian Bian, Weimin Wu
2004 B conf
PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie.
COMPSAC
Jianzhou Zhao, Jinian Bian, Weimin Wu