| 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 | 139 | 2015 |
| Grounding thin-air reads with event structures S Chakraborty, V Vafeiadis Proceedings of the ACM on Programming Languages 3 (POPL), 1-28, 2019 | 61 | 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 | 51 | 2020 |
| Automated test cycle estimation system and method SS Chakraborty, PK Chittimalli, V Shah US Patent 9,032,370, 2015 | 39 | 2015 |
| Automated test execution plan derivation system and method SS Chakraborty, V Shah US Patent US9378120 B2, 2016 | 35 | 2016 |
| Formalizing the concurrency semantics of an LLVM fragment S Chakraborty, V Vafeiadis 2017 IEEE/ACM International Symposium on Code Generation and Optimization …, 2017 | 32 | 2017 |
| Validating optimizations of concurrent C/C++ programs S Chakraborty, V Vafeiadis Proceedings of the 2016 International Symposium on Code Generation and …, 2016 | 25 | 2016 |
| 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 |
| Aspect-oriented linearizability proofs S Chakraborty, TA Henzinger, A Sezgin, V Vafeiadis Logical Methods in Computer Science 11, 2015 | 20 | 2015 |
| 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 | 9 | 2011 |
| Precise static type analysis for object oriented programs R Kumar, SS Chakraborty ACM Sigplan Notices 42 (2), 17-26, 2007 | 6 | 2007 |
| 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 | 4 | 2022 |
| Grounding thin-air reads with event structures. PACMPL 3, POPL (2019), 70: 1–70: 28 S Chakraborty, V Vafeiadis | 4 | 2019 |
| Experience with partial SIMDization in Open64 compiler using dynamic programming D Das, SS Chakraborty, M Lai Open64 Workshop, 2012 | 3 | 2012 |
| Probabilistic Concurrency Testing for Weak Memory Programs M Gao, S Chakraborty, BK Ozkan Proceedings of the 28th ACM International Conference on Architectural …, 2023 | 2 | 2023 |
| 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 | 2 | 2022 |
| Harnessing partial vectorization in Open64 compiler R Ramanarayanan, M Gupta, SS Chakraborty, D Das, M Lai 2014 IEEE International Advance Computing Conference (IACC), 813-824, 2014 | 2 | 2014 |
| 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 | 1 | 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 | 1 | 2022 |
