Haohui Mai

Information Systems · 2010–2011

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

Subfields

Whom Haohui Mai trusts overall

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

  1. Miguel Oom Temudo de Castro
  2. N. Feamster
  3. Chris Lattner
  4. Robert Brummayer
  5. Neil T. Spring
  6. Andreas Zeller
  7. Ratul Mahajan
  8. Athina Markopoulou
  9. Lihua Yuan
  10. Hari Balakrishnan

Who trusts Haohui Mai overall

  1. Ryan Beckett

Papers from Haohui Mai's perspective

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

  1. Understanding BGP misconfiguration (Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication)
  2. Detecting BGP configuration faults with static analysis
  3. Measuring ISP topologies with Rocketfuel (IEEE/ACM Transactions on Networking)
  4. Discovery of policy anomalies in distributed firewalls (IEEE INFOCOM 2004)
  5. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
  6. Characterization of failures in an IP backbone (IEEE INFOCOM 2004)
  7. LLVM: a compilation framework for lifelong program analysis & transformation
  8. Design and implementation of a routing control platform (Symposium on Networked Systems Design and Implementation)
  9. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  10. Isolating cause-effect chains from computer programs (SIGSOFT '02/FSE-10)

Their papers