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:

[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)
[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 CrystalBall framework : at Indian SAT-SMT conference 2020 and CS Research week at NUS. (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.