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:

[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:

[Feb, '24] Attending the AAAI '24 Conference in Vancouver, Canada. Will be presenting 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.

Awards/Fellowships:

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

Experience:

Teaching Assistant for courses Data Mining and Machine Learning, Model Checking and Software Verification, both at CMI.

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