| 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 | 169 | 2015 |
| Grounding thin-air reads with event structures S Chakraborty, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 85 | 2019 |
| 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 | 76 | 2020 |
| Formalizing the concurrency semantics of an LLVM fragment S Chakraborty, V Vafeiadis 2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017 | 49 | 2017 |
| Automated test execution plan derivation system and method SS Chakraborty, V Shah US Patent US9378120 B2, 2016 | 45 | 2016 |
| Automated test cycle estimation system and method SS CHAKRABORTY, PK Chittimalli, V Shah US Patent 9,032,370, 2015 | 39 | 2015 |
| Validating optimizations of concurrent C/C++ programs S Chakraborty, V Vafeiadis Proceedings of the 2016 International Symposium on Code Generation and …, 2016 | 36 | 2016 |
| Aspect-oriented linearizability proofs S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis Logical Methods in Computer Science 11, 2015 | 32 | 2015 |
| Lasagne: A static binary translator for weak memory model architectures RCO Rocha, D Sprokholt, M Fink, R Gouicem, T Spink, S Chakraborty, ... Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 24 | 2022 |
| 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 | 24 | 2009 |
| Optimal Reads-From Consistency Checking for C11-Style Memory Models HC Tunç, PA Abdulla, S Chakraborty, S Krishna, U Mathur, ... Proceedings of the ACM on Programming Languages 7 (PLDI), 761-785, 2023 | 17 | 2023 |
| Compound memory models A Goens, S Chakraborty, S Sarkar, S Agarwal, N Oswald, V Nagarajan Proceedings of the ACM on Programming Languages 7 (PLDI), 1145-1168, 2023 | 16 | 2023 |
| Risotto: A dynamic binary translator for weak memory model architectures R Gouicem, D Sprokholt, J Ruehl, RCO Rocha, T Spink, S Chakraborty, ... Proceedings of the 28th ACM International Conference on Architectural …, 2022 | 15 | 2022 |
| Probabilistic concurrency testing for weak memory programs M Gao, S Chakraborty, BK Ozkan Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 13 | 2023 |
| Improved mhp analysis A Sankar, S Chakraborty, VK Nandivada Proceedings of the 25th International Conference on Compiler Construction …, 2016 | 13 | 2016 |
| Towards an approach and framework for test-execution plan derivation SS Chakraborty, V Shah 2011 26th IEEE/ACM International Conference on Automated Software …, 2011 | 11 | 2011 |
| How Hard Is Weak-Memory Testing? S Chakraborty, SN Krishna, U Mathur, A Pavlogiannis Proceedings of the ACM on Programming Languages 8 (POPL), 1978-2009, 2024 | 10 | 2024 |
| Parameterized verification under release acquire is PSPACE-complete S Krishna, A Godbole, R Meyer, S Chakraborty Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing …, 2022 | 8 | 2022 |
| Precise static type analysis for object oriented programs R Kumar, SS Chakraborty ACM Sigplan Notices 42 (2), 17-26, 2007 | 6 | 2007 |
| Cage: Hardware-accelerated safe webassembly M Fink, D Stavrakakis, D Sprokholt, S Chakraborty, JE Ekberg, P Bhatotia Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation …, 2025 | 5 | 2025 |
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
