Supratik Chakraborty

Cited by

	All	Since 2019
Citations	2439	1300
h-index	26	18
i10-index	50	26

260

130

195

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 13 27 11 18 22 25 35 25 47 50 50 65 44 39 44 53 66 67 111 133 138 222 216 245 241 178 198

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
Kuldeep S. MeelAssociate Professor, University of TorontoVerified email at cs.toronto.edu
S AkshayIIT BombayVerified email at cse.iitb.ac.in
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
David L. DillProfessor, Emeritus, of Computer Science, Stanford UniversityVerified email at stanford.edu
Dror FriedThe Open University of IsraelVerified email at openu.ac.il
Aditya NoriMicrosoft ResearchVerified email at microsoft.com
Daniel J. FremontAssistant Professor, University of California, Santa CruzVerified email at ucsc.edu
Bhargav GulavaniMicrosoftVerified email at microsoft.com
Divyesh UnadkatResearch Scholar, Indian Institute of Technology Bombay, Mumbai and Researcher, TCS Research, PuneVerified email at tcs.com
Joycee MekieIIT GANDHINAGARVerified email at iitgn.ac.in
Paritosh PandyaAdjunct Professor, CSE, IIT Bombay, Former Professor and Dean, STCS, TIFRVerified email at tifr.res.in
Abhisekh SankaranResearch Associate, University of CambridgeVerified email at cl.cam.ac.uk
Sharad MalikProfessor of Electrical and Computer Engineering, Princeton UniversityVerified email at princeton.edu
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Hrishikesh KarmarkarIIT BombayVerified email at cse.iitb.ac.in
Bharat AdsulIndian Institute of Technology, BombayVerified email at cse.iitb.ac.in
Alexander IvriiIBMVerified email at il.ibm.com
Sumith KulalStanford UniversityVerified email at cs.stanford.edu
Ganesan RamalingamMicrosoft Research IndiaVerified email at microsoft.com

Supratik Chakraborty

Dept. of Computer Science and Engineering, IIT Bombay

Verified email at iitb.ac.in - Homepage

Formal methods constrained sampling and counting automated synthesis logic and automata theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A scalable approximate model counter S Chakraborty, KS Meel, MY Vardi Principles and Practice of Constraint Programming: 19th International …, 2013	203	2013
Distribution-aware sampling and weighted model counting for SAT S Chakraborty, D Fremont, K Meel, S Seshia, M Vardi Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014	194	2014
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls. S Chakraborty, KS Meel, MY Vardi IJCAI, 3569-3576, 2016	168	2016
On parallel scalable uniform SAT witness generation S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	136	2015
A scalable and nearly uniform generator of SAT witnesses S Chakraborty, KS Meel, MY Vardi International Conference on Computer Aided Verification, 608-623, 2013	131	2013
Automatically refining abstract interpretations BS Gulavani, S Chakraborty, AV Nori, SK Rajamani International Conference on Tools and Algorithms for the Construction and …, 2008	126	2008
Balancing scalability and uniformity in SAT witness generator S Chakraborty, KS Meel, MY Vardi Proceedings of the 51st Annual Design Automation Conference, 1-6, 2014	94	2014
Constrained sampling and counting: Universal hashing meets SAT solving KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ... Workshops at the thirtieth AAAI conference on artificial intelligence, 2016	76	2016
From Weighted to Unweighted Model Counting. S Chakraborty, D Fried, KS Meel, MY Vardi IJCAI, 689-695, 2015	75	2015
Approximate probabilistic inference via word-level counting S Chakraborty, K Meel, R Mistry, M Vardi Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016	74	2016
Theory and application of nongroup cellular automata for synthesis of easily testable finite state machines S Chakraborty, DR Chowdhury, PP Chaudhuri IEEE Transactions on Computers 45 (7), 769-781, 1996	62	1996
Bottom-up shape analysis using LISF BS Gulavani, S Chakraborty, G Ramalingam, AV Nori ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 1-41, 2011	59*	2011
Min-max timing analysis and an application to asynchronous circuits S Chakraborty, DI Dill, KY Yun Proceedings of the IEEE 87 (2), 332-346, 1999	46	1999
Skolem functions for factored formulas AK John, S Shah, S Chakraborty, A Trivedi, S Akshay 2015 Formal Methods in Computer-Aided Design (FMCAD), 73-80, 2015	36	2015
Bounded validity checking of interval duration logic B Sharma, PK Pandya, S Chakraborty Tools and Algorithms for the Construction and Analysis of Systems: 11th …, 2005	34	2005
Evaluation of pausible clocking for interfacing high speed IP cores in GALS framework J Mekie, S Chakraborty, DK Sharma 17th International Conference on VLSI Design. Proceedings., 559-564, 2004	32	2004
What’s hard about Boolean functional synthesis? S Akshay, S Chakraborty, S Goel, S Kulal, S Shah International Conference on Computer Aided Verification, 251-269, 2018	30	2018
Timing analysis of asynchronous systems using time separation of events S Chakraborty, KY Yun, DL Dill IEEE transactions on computer-aided design of integrated circuits and …, 1999	30	1999
Timing analysis for extended burst-mode circuits S Chakraborty, DL Dill, KY Yun, KY Chang Proceedings Third International Symposium on Advanced Research in …, 1997	29	1997
Efficient guided symbolic reachability using reachability expressions D Thomas, S Chakraborty, P Pandya International Journal on Software Tools for Technology Transfer 10, 113-129, 2008	28	2008

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors