Shubham Sharma

Employment

• Nutanix (United States) Member of Technical Staff
  2019 - Present

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (5)

• Symmetric Component Caching for Model Counting on Combinatorial Instances
  2021
  +Save
• GANAK: A Scalable Probabilistic Exact Model Counter
  Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI-19 2019 DOI: 10.24963/ijcai.2019/163
  +Save
• $$\backslashmathsf {WAPS}$$: Weighted and Projected Sampling
  Tools and Algorithms for the Construction and Analysis of Systems 2019
  +Save
• Verity: Blockchains to Detect Insider Attacks in DBMS
  ArXiv 2019
  +Save
• Knowledge Compilation meets Uniform Sampling
  LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning 2018 DOI: 10.29007/h4p9
  +Save