Jianzhou Zhao

Artificial Intelligence · 2009–2023

A researcher in the Science corpus: 4 papers; trusts 5 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

Whom Jianzhou Zhao trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Emery D. Berger
  2. Chris Lattner
  3. Miguel Oom Temudo de Castro
  4. Nicholas Nethercote
  5. Wei Xu
  6. George C. Necula
  7. Santosh Nagarakatte
  8. Manuel Costa
  9. Julian Seward

Who trusts Jianzhou Zhao overall

  1. Da-Wei Zhou
  2. Volodymyr Kuznetsov
  3. László Szekeres
  4. Santosh Nagarakatte

Papers from Jianzhou Zhao's perspective

Ordered by how strongly the researchers Jianzhou Zhao trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Cyclone: A Safe Dialect of C (USENIX ATC, General Track)
  2. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  3. Securing software by enforcing data-flow integrity (USENIX Symposium on Operating Systems Design and Implementation)
  4. SoftBound: highly compatible and complete spatial memory safety for c
  5. Preventing Memory Error Exploits with WIT (IEEE Symposium on Security and Privacy)
  6. Valgrind: a framework for heavyweight dynamic binary instrumentation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Buffer overflows: attacks and defenses for the vulnerability of the decade (Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems])
  9. DieHard: probabilistic memory safety for unsafe languages (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. An efficient and backwards-compatible transformation to ensure memory safety of C programs

Their papers