Tianyin Xu

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

Whom Tianyin Xu trusts

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

  1. Leonardo de Moura (in Artificial Intelligence)
  2. Nikolaj S. Bjørner (in Artificial Intelligence)
  3. Changhai Nie (in Information Systems)
  4. Hareton K. N. Leung (in Information Systems)

Papers from Tianyin Xu's perspective

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

  1. ZooKeeper: Wait-free Coordination for Internet-scale Systems
  2. P4: programming protocol-independent packet processors (CCRV)
  3. SEDA: an architecture for well-conditioned, scalable internet services (Symposium on Operating Systems Principles)
  4. Z3: An Efficient SMT Solver
  5. A survey of combinatorial testing (CSUR)
  6. Space/time trade-offs in hash coding with allowable errors
  7. The click modular router (ACM Transactions on Computer Systems)
  8. The Chubby lock service for loosely-coupled distributed systems
  9. New Directions in Cryptography
  10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers