| 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 | 809 | 2009 |
| 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 | 517 | 2010 |
| 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 | 327 | 2012 |
| 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 | 138 | 2008 |
| 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 | 131 | 2013 |
| 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 | 62 | 2010 |
| Mechanized verification of computing dominators for formalizing compilers J Zhao, S Zdancewic International Conference on Certified Programs and Proofs, 27-42, 2012 | 27 | 2012 |
| 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 | 24 | 2010 |
| 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 | 17 | 2010 |
| Formalizing an SSA-based compiler for verified advanced program transformations J Zhao University of Pennsylvania, 2013 | 11 | 2013 |
| Evaluation and display of temporal description C Li, A Kasuya, J Zhao, B Yu US Patent 20,070,083,548, 2007 | 7 | 2007 |
| 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 | 4 | 2018 |
| 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 | 1 | 2004 |
| SOC系统中C到VHDL的转换 赵建洲， 朱明， 边计年， 薛宏熙 计算机工程与应用 38 (16), 188-190, 2002 | 1 | 2002 |
| 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 |
