Xin Zhang

Artificial Intelligence · with Mangal · 2015

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

Subfields

Whom Xin Zhang trusts overall

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

  1. Benjamin Livshits
  2. Martin Bravenboer
  3. Yannis Smaragdakis
  4. John Whaley
  5. Monica S. Lam
  6. Manu Sridharan
  7. Mayur Naik

Who trusts Xin Zhang overall

  1. Miltiadis Allamanis
  2. Kwonsoo Chae

Papers from Xin Zhang's perspective

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

  1. Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Refinement-based context-sensitive points-to analysis for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Effective static race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  5. Parameterized object sensitivity for points-to analysis for Java (TSEM)
  6. Discriminative Training of Markov Logic Networks (AAAI Conference on Artificial Intelligence)
  7. Markov Logic: An Interface Layer for Artificial Intelligence (Markov Logic)
  8. The Alchemy System for Statistical Relational AI: User Manual
  9. Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS (Proceedings of the VLDB Endowment)
  10. The DaCapo benchmarks: java benchmarking development and analysis (Conference on Object-Oriented Programming Systems, Languages, and Applications)

Their papers