Seguir
Supratik Chakraborty
Supratik Chakraborty
Dept. of Computer Science and Engineering, IIT Bombay
Dirección de correo verificada de iitb.ac.in - Página principal
Título
Citado por
Citado por
Año
A scalable approximate model counter
S Chakraborty, KS Meel, MY Vardi
International Conference on Principles and Practice of Constraint …, 2013
1592013
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
1412014
Refining abstract interpretations
BS Gulavani, S Chakraborty, AV Nori, SK Rajamani
Information Processing Letters 110 (16), 666-671, 2010
131*2010
Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.
S Chakraborty, KS Meel, MY Vardi
IJCAI, 3569-3576, 2016
1092016
A scalable and nearly uniform generator of SAT witnesses
S Chakraborty, KS Meel, MY Vardi
International Conference on Computer Aided Verification, 608-623, 2013
992013
On parallel scalable uniform SAT witness generation
S Chakraborty, DJ Fremont, KS Meel, SA Seshia, MY Vardi
International Conference on Tools and Algorithms for the Construction and …, 2015
922015
Balancing scalability and uniformity in SAT witness generator
S Chakraborty, KS Meel, MY Vardi
2014 51st acm/edac/ieee design automation conference (dac), 1-6, 2014
702014
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
642016
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
541996
From weighted to unweighted model counting
S Chakraborty, D Fried, KS Meel, MY Vardi
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
522015
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
512016
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
51*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
451999
Bounded validity checking of interval duration logic
B Sharma, P Pandya, S Chakraborty
International Conference on Tools and Algorithms for the Construction and …, 2005
332005
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
312004
Timing analysis for extended burst-mode circuits
S Chakraborty, DL Dill, KY Yun, KY Chang
Proceedings Third International Symposium on Advanced Research in …, 1997
311997
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
301999
Cellular Automata based synthesis of easily and fully testable FSMs
DR Chowdhury, S Chakraborty, B Vamsi, PP Chaudhuri
Proceedings of 1993 International Conference on Computer Aided Design (ICCAD …, 1993
281993
Efficient guided symbolic reachability using reachability expressions
D Thomas, S Chakraborty, P Pandya
International Journal on Software Tools for Technology Transfer 10 (2), 113-129, 2008
272008
Interface design for rationally clocked GALS systems
J Mekie, S Chakraborty, G Venkataramani, PS Thiagarajan, DK Sharma
12th IEEE International Symposium on Asynchronous Circuits and Systems …, 2006
272006
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20