If you made any changes in Pure these will be visible here soon.

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
  • 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 volumeConference contributionScientificpeer-review

    Open Access
    File