Arijit Shaw

Computer Science PhD Candidate at Chennai Mathematical Institute, advised by @ksmeel. Formal Methods / SMT / Model Counting.

[Mate Soos @SoosMate]

A bit of recap of all the SAT research tools (solving, counting, sampling, etc) I maintain and helped develop over the years, along with my colleagues:

https://t.co/W0MTlYt9H7

Thinking back over the years, it's been quite a long journey.

[Indian SAT+SMT School @satsmtschool]

Arijit Shaw, PhD Student, Chennai Mathematical Institute, is presenting their work on the Approximate Skolem function counter.

@masterarijit

[UCSB Computer Science Department @ucsbcs]

Come by HFH 1132 on Wednesday, May 17th, at 3:30 pm for Arijit's talk, "Building a Scalable bit-vector model counter".

Everyone is welcome to join!

Host: Tevfik Bultan 

For the abstract/bio, visit the CS website (link in bio).

[Georg Martius @GMartius]

Kuldeep Meel is taking about using Machine learning to improve SAT solvers. #Dagstuhl seminar on ML and Logic.

[Kuldeep S. Meel @ksmeel]

Excited to be part of S$56 million AI program between Singapore and France; We are *HIRING* post-docs and Ph.D. students.

Come and join us in Singapore/France: enjoy French wine and Singaporean tropical weather.

https://t.co/Ou92ac64xw

[Arijit Shaw @masterarijit]

QSYN is hosting a global solidarity weekend, to raise funds for its ongoing COVID 2.0 and Yaas supercyclone responses. Artists from all over the world will join us over the next 48 hours, for musical performances, and more.

https://t.co/I0mHKU5sFn

Come lets stand by each other!

[Arijit Shaw @masterarijit]

People's COVID Response 2.0 by Quarantined Student Youth Network.

This endeavour needs your financial support.
Stand by us so that we can stand by all!

Contribute here : https://t.co/4UUg4rrY7F

Read more here :
https://t.co/Wst12oLhNN

[No Vote To BJP @No_Vote_To_BJP]

No Vote To BJP postering at several districts of Bengal.
#NoVoteToBJP in
#BengalElection2021

[Indian SAT+SMT School @satsmtschool]

The 5th edition of the Indian SAT+SMT school will be completely online this year! And, the registration is completely free!
Register at https://t.co/T2wHvuBxhq
Retweet and help us spread the word.

[Kuldeep S. Meel @ksmeel]

Wonderful article celebrating efforts of @SoosMate and @masterarijit.

As always, @SoosMate is quotable “In this sense, we made the best of a dark situation and the opportunities it gave us”

[Arijit Shaw @masterarijit]

"We are in the same storm, but not in the same boat."

Prithibir Pathshala was made for those who are worst hit by the education gap widendend in the pandemic. A month at Pathshala-s is an eye-opener to us, how badly the pandemic has hit India.

https://t.co/aBBjoJQIqA

[Kuldeep S. Meel @ksmeel]

@SAT2020conf concluded this week, and our group's solvers (well, single-handedly led by @SoosMate ) had a great run: 3rd place in Main Track and 2nd place in Planning track. Proud of my intern @masterarijit for his work on LSIDS, which held up to its promise in competition. 1/2

[Indian SAT+SMT School @satsmtschool]

Integrating Verification, Synthesis, and Learning by Prof Sanjit A. Seshia @satsmtschool

[Indian SAT+SMT School @satsmtschool]

Prof. Sanjit A. Seshia opens the post lunch session with exciting emerging topics for applying SAT/SMT in verifiable AI @satsmtschool @iitbombay

[Indian SAT+SMT School @satsmtschool]

We move from verifying AI to verifying concurrency of programs. Soham Chakraborty from IIT Delhi talks about validating optimisations of concurrent C/C++ programs @satsmtschool

[Indian SAT+SMT School @satsmtschool]

Recent work about new strategies for the incomplete MaxSAT problem where the optimality of the solution is not guaranteed but the solution is returned very quickly presented by Saurabh Joshi from IIT Hyderabad @satsmtschool

[Arijit Shaw @masterarijit]

@CDSCO_INDIA_INF @ICMRDELHI @MoHFW_INDIA @drharshvardhan @PMOIndia @narendramodi please start bpal regimen test (approved by US FDA in Aug 2019) in India or provide clinical test waiver (Mar 2019 guidelines) to #eliminate_tb_by_2025 #save_xdrtb_paitents

[Ayan @ayansm23]

I'm starting as a Google Season of Doc '19 technical content writer today. Wish me luck. #gsod @GoogleOSS