Research output per year
Research output per year
Fingerprint
Dive into the research topics where S.S. Chakraborty is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Compound Memory Models
Goens, A., Chakraborty, S., Sarkar, S., Agarwal, S., Oswald, N. & Nagarajan, V., 2023, In: Proceedings of the ACM on Programming Languages. 7, 24 p., 153.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile10 Downloads (Pure) -
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U. & Pavlogiannis, A., 2023, In: Proceedings of the ACM on Programming Languages. 7, 25 p., 137.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile3 Downloads (Pure) -
Probabilistic Concurrency Testing for Weak Memory Programs
Gao, M., Chakraborty, S. & Ozkan, B. K., 2023, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery (ACM), p. 603-616 14 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 2).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile41 Downloads (Pure) -
Lasagne: a static binary translator for weak memory model architectures
Rocha, R. C. O., Sprokholt, D., Fink, M., Gouicem, R., Spink, T., Chakraborty, S. & Bhatotia, P., 2022, PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). Association for Computing Machinery (ACM), p. 888-902 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile2 Citations (Scopus)5 Downloads (Pure) -
Parameterized Verification under Release Acquire is PSPACE-complete
Krishna, S., Godbole, A., Meyer, R. & Chakraborty, S., 2022, PODC 2022 - Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery (ACM), p. 482-492 11 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
Open AccessFile1 Citation (Scopus)52 Downloads (Pure)