Aditya A. Shrotri Postdoctoral Research Associate Department of Computer Science Rice University 3060 Duncan Hall 6100 Main St., MS 132, Houston TX 77005-1892 E-mail: Aditya (d.o.t) Aniruddh (d.o.t.) Shrotri (a.t) rice (d.o.t) edu Alternate 1: as128 (a.t) rice (d.o.t) edu Alternate 2: aditya (d.o.t) a (d.o.t.) shrotri (a.t) gmail (d.o.t) com Resume     Code     Scholar     DBLP

About Me

I am a Postdoctoral Researcher (and previously completed my PhD) at Rice University in the department of Computer Science supervised by Prof. Moshe Y. Vardi. My work on the theory, practice and applications of Constrained Counting and Sampling lies at the intersection of Artifical Intelligence and Formal Methods with applications in Explainable Machine Learning [6,3], Formal Methods and Verification [7,5], Constraint Solving and Probabilistic Reasoning [4,2] and Theory [1]. I am proficient at both theoretical reasoning and low-level coding to achieve tangible results.

I am on the job market and am looking for Researcher and/or Software Developer roles.

Invited Talks

1. Domain-Specific Approaches for Constrained Counting Institute for Software
   • Chinese Academy of Sciences Beijing, August 2019
   • Tata Research Development and Design Center (TRDDC), January 2019
2. DNF-Counting: The Search for Holier Grails
   • National University of Singapore, September 2018
3. On hashing-based approaches to approximate DNF-Counting
   • Tata Research Development and Design Center (TRDDC), January 2017

Service

Program Committee Member: AAAI 2023, IJCAI 2023.

Reviewer: CP 2021, ISCAAS 2019

Honors and Awards

• Selected for Israel Institute for Advanced Studies (IIAS) Winter School in Quantum Computing, December 2019
• Awarded the American Institute for Indian Engineers (ASIE) Scholarship 2019. This award is presented annually to students of Indian origin working in Engineering fields in the US.
• "Not all FPRASs are equal: Demystifying FPRASs for DNF-Counting" was amongst 3 best papers at CP 2018 and was invited to IJCAI 2019 and the journal Constraints
• I was All-India Rank 1 among 150,000+ candidates in the prestigious "Graduate Aptitude Test in Engineering" (GATE) for Computer Science in 2012.
• My undergrad project "Memory Leak Analysis Using Saturn" won Best Undergraduate Project Award at FinePro 2011

Past

Before joining Rice, I worked for a year with Prof. S. Akshay on Model Checking of Markov chains as a Research Assistant in IIT Bombay, India. I did my Master's in Web and Data Mining from IIT Bombay advised by Prof. Soumen Chakrabarti.

Publications

Author names are sorted alphabetically except in ^*

1. Domain-Driven Approaches for Constrained Counting and Sampling
   Aditya A. Shrotri
   PhD Thesis (May 2022),
   [PDF]
   
   
2. DPSampler: Exact Weighted Sampling Using Dynamic Programming
   Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi
   International Joint Conference on Artificial Intelligence (IJCAI '22),
   [PDF] [Code]
   
   
3. Constraint-Driven Explanations for Black Box ML Models^*
   Aditya A. Shrotri, N. Narodytska, K.S. Meel, A. Ignatiev, J. Marques-Silva, M.Y. Vardi
   AAAI Conference on Artificial Intelligence (AAAI '22),
   (Work done as part of internship at VMware Research Group)
   [PDF] [Code]
   
   
4. On Uniformly Sampling Traces of a Transition System
   Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
   International Conference on Computer Aided Design (ICCAD '20),
   [PDF] [Slides] [Code]
   
   
5. On Symbolic Approaches for Computing the Matrix Permanent
   Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi
   International Conference on Principles and Practice of Constraint Programming (CP '19),
   Stamford, USA Oct 2019
   [PDF] [BibTex] [Slides] [Code]
   
   
6. Assessing Heuristic Machine Learning Explanations with Model Counting^*
   N. Narodytska, Aditya A. Shrotri, K.S. Meel, A. Ignatiev, J. Marques-Silva
   International Conference on Theory and Applications of Satisfiability Testing (SAT '19),
   Lisbon, Portugal July 2019
   [PDF] [BibTex]
   
   
7. Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting
   Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
   Constraints (2018) 1-23 (Invited Journal Publication from CP '18)
   (Invited to Best Paper at Sister Conference Track at IJCAI '19)
   [PDF] [BibTex] [Code] [Slides]
   
   
8. On Hashing-Based Approaches to Approximate DNF-Counting
   Kuldeep S. Meel, Aditya A. Shrotri, Moshe Y. Vardi
   37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science.
   (FST & TCS '17), Kanpur, India December 2017
   [PDF] [BibTex] [Slides]
   

---

Last Updated: June 4, 2023