No photo of S.S. Chakraborty

S.S. Chakraborty

Dr.

  • 5 Conference contribution
  • 3 Article

Search results

  • 2024

    How Hard Is Weak-Memory Testing?

    Chakraborty, S., Krishna, S. N., Mathur, U. & Pavlogiannis, A., 2024, In: Proceedings of the ACM on Programming Languages. 8, 32 p., 66.

    Research output: Contribution to journal › Article › Scientific › peer-review

    Open Access
    File
    6 Downloads (Pure)
  • 2023

    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 Access
    File
    1 Citation (Scopus)
    22 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 Access
    File
    1 Citation (Scopus)
    20 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 Access
    File
    2 Citations (Scopus)
    69 Downloads (Pure)
  • 2022

    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 Access
    File
    2 Citations (Scopus)
    12 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 Access
    File
    2 Citations (Scopus)
    68 Downloads (Pure)

  • Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures

    Gouicem, R., Sprokholt, D., Ruehl, J., Rocha, R. C. O., Spink, T., Chakraborty, S. & Bhatotia, P., 2022, 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. 107-122 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    1 Citation (Scopus)
    14 Downloads (Pure)
  • 2021

    Robustness between Weak Memory Models

    Chakraborty, S. S., 2021, Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 202. Piskac, R. & Whalen, M. W. (eds.). TU Wien, p. 173-182

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    19 Downloads (Pure)