Talks

  1. Constrained Sampling and Counting: Bridging the gap between Theory and Practice
    1. Iowa State University, April 13, 2017
    2. Rutgers University , April 6, 2017
    3. New York University, April 4, 2017
    4. University of Utah , March 31, 2017
    5. Virginia Tech, March 27, 2017
    6. Purdue University March 23, 2017
    7. Arizona State University March 15, 2017
    8. MPI-SWS, March 6, 2017
    9. University of Waterloo, March 2, 2017
    10. National University of Singapore, Feb 22, 2017
    11. Institute of Theoretical Computer Science, Shanghai Feb 20, 2017
    12. Texas A&M February 15, 2017
    13. IIT Delhi, January 18, 2017
    14. IIT Kanpur, January 16, 2017
    15. IIT Bombay, January 12, 2017
    16. Tata Institute of Fundamental Research, January 11, 2017
    17. Chennai Mathematical Institute, January 6, 2017
    18. IIT Madras, January 4, 2017
  2. Constrained Sampling and Counting: From Theory to Practice and Back
    Tata Research Development and Design Centre , December 2016
  3. Constrained Sampling and Counting: Bridging the gap between Theory and Practice
    The First Indian SAT+SMT School , December 2016
  4. Improving Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Solver Calls
    Fields Institute, Workshop on Theoretical Foundations of SAT Solving, August 2016
  5. Word-Level Hashing Approach to Approximate Probabilistic Inference
    University of California, Berkeley, February 2016
  6. Constrained Sampling and Counting: When Practice Drives Theory
    Chennai Mathemtical Institute, January 2016
  7. Scalable Techniques for Constrained Sampling and Counting.
    IBM Research, Haifa, December 2015
  8. Constrained Sampling and Counting: When Practice Drives Theory
    Theory Seminar, Hebrew University of Jerusalem, December 2015
  9. Designing Scalable Techniques for Dynamic Verification and Probabilistic Inference.
    IBM Research, India, August 2015
  10. Sampling from combinatorial spaces: Achieving the fine balancing act between independence and scalability.
    IIT Bombay, May 2015
  11. SAT Sampling and Counting: From Theory to Practice.
    Vienna Center of Logic and Algorithms Outstanding Masters' Thesis Award Ceremony, Invited Talk, May 2015
  12. Approximating probabilistic inference without losing guarantees: Combining hashing with feasibility
    IIT Bombay, August 2014
  13. Sampling techniques for constraint satisfaction and beyond
    Microsoft Research India, Bangalore, August 2014
  14. Sampling techniques for constraint satisfaction and beyond
    Princeton University, June 2014
  15. Sampling techniques for constraint satisfaction and beyond
    University of California, Berkeley, June 2014
  16. Sampling techniques for constraint satisfaction and beyond
    Mentor Graphics Inc., May 2014
  17. Distribution-aware sampling for SAT and beyond
    IIT Bombay, January 2014
  18. Distribution-aware sampling for SAT and beyond
    Synopsys Inc., Dec 2013

Conference Presentations

  1. AAAI 2016
  2. BNP 2016
  3. CP 2015
  4. IJCAI 2015
  5. TACAS 2015
  6. AAAI 2014
  7. DAC 2014
  8. CP 2013
  9. CAV 2013