Qiang Xu

Electrical and Electronic Engineering · with Kim · 2016

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

Subfields

Whom Qiang Xu trusts overall

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

  1. Woongki Baek
  2. Hadi Esmaeilzadeh
  3. Parag Kulkarni
  4. Marta Z. Kwiatkowska
  5. Adrian Sampson
  6. Vaibhav Gupta
  7. Joost-Pieter Katoen
  8. Johannes Borgström
  9. Jie Han
  10. A. Gordon

Papers from Qiang Xu's perspective

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

  1. Architecture support for disciplined approximate programming (ASPLOS XVII)
  2. Church: a language for generative models
  3. Probabilistic symbolic model checking with PRISM: a hybrid approach (International Journal on Software Tools for Technology Transfer (STTT))
  4. IMPACT: IMPrecise adders for low-power approximate computing (IEEE/ACM International Symposium on Low Power Electronics and Design)
  5. Semantics of probabilistic programs
  6. Probabilistic programming
  7. SALSA: Systematic logic synthesis of approximate circuits (DAC Design Automation Conference 2012)
  8. Trading Accuracy for Power with an Underdesigned Multiplier Architecture (2011 24th Internatioal Conference on VLSI Design)
  9. The Ins and Outs of the Probabilistic Model Checker MRMC (2009 Sixth International Conference on the Quantitative Evaluation of Systems)
  10. Green: a framework for supporting energy-conscious programming using controlled approximation (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers