Arijit Shaw

Hi! I'm a joint PhD student at Chennai Mathematical Institute, and IAI, TCG CREST. Currently, I am a visiting graduate student at the University of Toronto. My PhD advisor is Kuldeep S. Meel.

My research interest lies in building better systems for "Beyond SMT" problems - I look into designing model counting tools for different SMT constraint theories. Moreover, I look into using these tools in solving real-world problems.

Earlier, in 2019-'20, I was an intern at Meel Research Group, National University of Singapore. Even before that, I used to study Theoretical Computer Science and worked on Software Verification at Chennai Mathematical Institute, India.

You can find my CV here .

ping arijit

scholar github twitter email

Publications:

[DAC 2025] "Approximate Model Counting Beyond Discrete Domains" with Kuldeep S. Meel
(Accepted for Publication)
[KR 2024] "Model Counting in the Wild" with Kuldeep S. Meel
(paper)
[SMT 2024] "CSB: A Counting and Sampling Tool for Bitvectors" with Kuldeep S. Meel
(paper, code)
[AAAI 2024] "An Approximate Skolem Function Counter" with Brendan Juba, Kuldeep S. Meel
(paper, code) [Oral Presenation]
[SAT 2023] "Explaining SAT Solving Using Causal Reasoning" with Jiong Yang, Teodora Baluta, Mate Soos, Kuldeep S. Meel
(paper, video)
[SAT 2020] "Designing New Phase Selection Heuristics" with Kuldeep S. Meel
(paper, video, code)
Masters' Thesis on Verifying Array-Manipulating Programs. Worked with Mandayam K. Srivas
(Thesis, Slides)
[PDCAT 2017] "A deadline-partition oriented heterogeneous multi-core scheduler for periodic tasks" with Sanjay Moulik, Rajesh Devaraj, Arnab Sarkar

Tools:

SkolemFC: An Approximate Skolem Function Counter
CSB: Count and Sample on Bit-vectors
Was part of teams submitting two solvers, DurianSat and CryptoMiniSat at SAT Competition 2020. CryptoMiniSat won few medals. Here is a news for that. (Solver Description for DurianSat and CryptoMiniSat)

Poster:

On Explaining SAT Solving using Causal Reasoning at Vector Institute Research Symposium, Feb '25. (Poster)
On Skolem Function counting, presented at AAAI 2024. (Poster)
On Bitvector counting, presented at Indian SAT-SMT workshop 2022. (Poster)
On CrystalBall framework, presented at Indian SAT-SMT workshop 2019 and at CS Research week at NUS 2020. (Poster)

News:

[August, '24] Had a great time at SAT '24 at Pune! Co-organizing the Model Counting Competition was intense, but lot of fun! Also presented at the SAT-SMT school and model counting workshop.
[July, '24] Attending the CAV '24 conference in Montreal! Presented our work bit-vector counting and sampling in the SMT Workshop.
[April, '24] Attending the Dagstuhl Seminar on Automated Synthesis in Germany. Presented our work on Skolem function counting.
[Feb, '24] Attending the AAAI '24 Conference in Vancouver, Canada. Presented our work on Skolem function counting.
[Dec '23] Presented work on Skolem Function Counting in the SAT-SMT winter school in Hyderabad, India.
[Aug '23] Invited to CP 2023 Doctoral Program and FMCAD 2023 Student Forum.
[July, '23] Presented our work on bit-vector model counting at the Model Counting Workshop.
[July, '23] Attending the SAT Conference at Alghero, Italy. Jiong presented our work on causal reasoning on SAT.
[May, '23] Visiting Dr. Tevfik Bultan and his group at UC Santa Barbara.
[April, '23] Attending the Satisfiability Reunion workshop for a month at the Simons Institute in UC Berkeley.

Experience:

Teaching Assistant for Introduction to AI, at University of Toronto. Helped preparing these set of notes.
Teaching Assistant for courses Data Mining and Machine Learning, Model Checking and Software Verification, both at CMI.

Awards/Fellowships:

TCS Research Grant for Masters' Thesis.
Institute Fellowship for Postgraduate Studies at Chennai Mathematical Institute.

I have a personal site, which I do not maintain, you can find it here.