Bo Jiang

Artificial Intelligence · with Chan · 2018

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 6 researchers here, as inferred from the citation graph.

Subfields

Whom Bo Jiang trusts overall

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

  1. Jean-Christophe Filliâtre
  2. Patrice Godefroid
  3. Ivica Nikolic
  4. A. Paskevich
  5. Anthony Dewayne Hunt
  6. Hila Peleg
  7. Aashish Kolluri

Who trusts Bo Jiang overall

  1. Zhenguang Liu
  2. Yuan Zhuang
  3. Tharaka Mawanane Hewa
  4. Huashan Chen
  5. Jingxuan He
  6. Tai D. Nguyen
  7. Peng Qian
  8. Mika E. Ylianttila
  9. Marcus Pendleton
  10. Mislav Balunovic

Papers from Bo Jiang's perspective

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

  1. Bitcoin: A Peer-to-Peer Electronic Cash System
  2. Why3 - Where Programs Meet Provers (European Symposium on Programming)
  3. Learn&Fuzz: Machine learning for input fuzzing (International Conference on Automated Software Engineering)
  4. A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
  5. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
  6. Et al
  7. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (Asia-Pacific Computer Systems Architecture Conference)
  8. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  9. The SMT-LIB Standard Version 2.0
  10. Automated Whitebox Fuzz Testing (Network and Distributed System Security Symposium)

Their papers