Follow
Jianzhou Zhao
Jianzhou Zhao
Unknown affiliation
Verified email at cis.upenn.edu
Title
Cited by
Cited by
Year
SoftBound: Highly compatible and complete spatial memory safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
Proceedings of the 30th ACM SIGPLAN Conference on Programming Language …, 2009
7442009
CETS: compiler enforced temporal safety for C
S Nagarakatte, J Zhao, MMK Martin, S Zdancewic
Proceedings of the 2010 international symposium on Memory management, 31-40, 2010
4822010
Formalizing the LLVM intermediate representation for verified program transformations
J Zhao, S Nagarakatte, MMK Martin, S Zdancewic
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2012
3062012
Aura: A programming language for authorization and audit
L Jia, JA Vaughan, K Mazurak, J Zhao, L Zarko, J Schorr, S Zdancewic
ACM Sigplan Notices 43 (9), 27-38, 2008
1382008
Formal verification of SSA-based optimizations for LLVM
J Zhao, S Nagarakatte, MMK Martin, S Zdancewic
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
1242013
Lightweight linear types in System F
K Mazurak, J Zhao, S Zdancewic
Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and …, 2010
612010
Mechanized verification of computing dominators for formalizing compilers
J Zhao, S Zdancewic
International Conference on Certified Programs and Proofs, 27-42, 2012
272012
Dependent types and program equivalence
L Jia, J Zhao, V Sjöberg, S Weirich
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010
252010
Relational parametricity for a polymorphic linear lambda calculus
J Zhao, Q Zhang, S Zdancewic
Programming Languages and Systems: 8th Asian Symposium, APLAS 2010, Shanghai …, 2010
172010
Formalizing an SSA-based compiler for verified advanced program transformations
J Zhao
University of Pennsylvania, 2013
122013
Evaluation and display of temporal description
C Li, A Kasuya, J Zhao, B Yu
US Patent 20,070,083,548, 2007
72007
Adaptive lossless compression in analog mixed signal environments
J Zhao, D de Fonseca Munford Argollo, V Borich, H Liu
US Patent 10,084,476, 2018
42018
PFGASAT - a genetic SAT solver combining partitioning and fuzzy strategies
J Zhao, J Bian, W Wu
Computer Software and Applications Conference, 2004. 1, 108 - 113 vol.1, 2004
12004
SOC系统中C到VHDL的转换
赵建洲, 朱明, 边计年, 薛宏熙
计算机工程与应用 38 (16), 188-190, 2002
12002
Memory Models and Implementations for Shared-memory Multi-threaded Programming Languages
J Zhao
https://www.researchgate.net/publication …, 2011
2011
Relational Parametricity for Linear System F◦
J Zhao, Q Zhang, S Zdancewic
2010
3.4 硬件验证语言
赵建洲
数字系统设计自动化(第二版), 169-187, 2005
2005
个个是宝藏-基于CYC的基本应用
赵建洲, 梁邦勇, 王克宏
计算机世界, 2002
2002
Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs
J Zhao, J Bian, W Wu
Proceedings of the Ninth International Conference on Computer Supported …, 2002
2002
The system can't perform the operation now. Try again later.
Articles 1–19