| 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 | 146 | 2015 |
| Grounding thin-air reads with event structures S Chakraborty, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 63 | 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 | 54 | 2020 |
| Formalizing the concurrency semantics of an LLVM fragment S Chakraborty, V Vafeiadis 2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017 | 39 | 2017 |
| Automated test execution plan derivation system and method SS Chakraborty, V Shah US Patent US9378120 B2, 2016 | 39 | 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 | 29 | 2016 |
| Aspect-oriented linearizability proofs S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis Logical Methods in Computer Science 11, 2015 | 25 | 2015 |
| 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 |
| 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 | 13 | 2022 |
| 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 | 10 | 2011 |
| 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 | 7 | 2022 |
| 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 | 6 | 2022 |
| Precise static type analysis for object oriented programs R Kumar, SS Chakraborty ACM Sigplan Notices 42 (2), 17-26, 2007 | 6 | 2007 |
| 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 | 5 | 2023 |
| Probabilistic concurrency testing for weak memory programs M Gao, S Chakraborty, BK Ozkan Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 4 | 2023 |
| Grounding thin-air reads with event structures. PACMPL 3, POPL (2019), 70: 1–70: 28 S Chakraborty, V Vafeiadis | 4 | 2019 |
| 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 | 3 | 2023 |
| Robustness between Weak Memory Models S Chakraborty 2021 Formal Methods in Computer Aided Design (FMCAD), 173-182, 2021 | 3 | 2021 |
Shankara Narayanan KrishnaIIT BombayVerified email at cse.iitb.ac.in
