| Common compiler optimisations are invalid in the C11 memory model and what we can do about it V Vafeiadis, T Balabonski, S Chakraborty, R Morisset, F Zappa Nardelli Proceedings of the 42Nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 116 | 2015 |
| Application of smart meters in high impedance fault detection on distribution systems S Chakraborty, S Das IEEE Transactions on Smart Grid 10 (3), 3465-3473, 2018 | 54 | 2018 |
| Automated test cycle estimation system and method SS Chakraborty, PK Chittimalli, V Shah US Patent 9,032,370, 2015 | 37 | 2015 |
| Synthesis and characterization of polyacrylamide–polyaniline conductive blends B Das, S Kar, S Chakraborty, D Chakraborty, S Gangopadhyay Journal of applied polymer science 69 (5), 841-844, 1998 | 36 | 1998 |
| Grounding thin-air reads with event structures S Chakraborty, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 35 | 2019 |
| Automated test execution plan derivation system and method SS Chakraborty, V Shah US Patent US9378120 B2, 2016 | 32 | 2016 |
| Promising 2.0: global optimizations in relaxed memory concurrency SH Lee, M Cho, A Podkopaev, S Chakraborty, CK Hur, O Lahav, ... Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 28 | 2020 |
| Formalizing the concurrency semantics of an LLVM fragment S Chakraborty, V Vafeiadis 2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017 | 25 | 2017 |
| Efficient testing of service-oriented applications using semantic service stubs S Mani, VS Sinha, S Sinha, P Dhoolia, D Mukherjee, S Chakraborty 2009 IEEE International Conference on Web Services, 197-204, 2009 | 23 | 2009 |
| Smart meters for enhancing protection and monitoring functions in emerging distribution systems S Chakraborty, S Das, T Sidhu, AK Siva International Journal of Electrical Power & Energy Systems 127, 106626, 2021 | 22 | 2021 |
| Validating optimizations of concurrent C/C++ programs S Chakraborty, V Vafeiadis Proceedings of the 2016 International Symposium on Code Generation and …, 2016 | 20 | 2016 |
| Aspect-oriented linearizability proofs S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis arXiv preprint arXiv:1502.07639, 2015 | 15 | 2015 |
| Improved MHP analysis A Sankar, S Chakraborty, VK Nandivada Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 12 | 2016 |
| Communication-less protection scheme for AC microgrids using hybrid tripping characteristic S Chakraborty, S Das Electric Power Systems Research 187, 106453, 2020 | 9 | 2020 |
| Control and sizing of modular multilevel converter-based STATCOM with hybrid energy storage system for large-scale integration of wind farms with the grid A Bharadwaj, S Maiti, N Dhal, S Chakraborty Electrical Engineering 101 (3), 743-757, 2019 | 9 | 2019 |
| Towards an approach and framework for test-execution plan derivation SS Chakraborty, V Shah 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 9 | 2011 |
| New numerical integration methods for simulation of electromagnetic transients S Chakraborty, R Ramanujam International Journal of Emerging Electric Power Systems 19 (4), 2018 | 6 | 2018 |
| Precise static type analysis for object oriented programs R Kumar, SS Chakraborty ACM Sigplan Notices 42 (2), 17-26, 2007 | 6 | 2007 |
| Grounding thin-air reads with event structures. PACMPL 3, POPL (2019), 70: 1–70: 28 S Chakraborty, V Vafeiadis | 5 | 2019 |
| A rot resistant durable natural fibre and/or geotextiles S Sinha, S Chakraborty Patent application number: PCT/IN2004000119, 2004 | 5 | 2004 |
