Mahesh Viswanathan

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

Fingerprint Fingerprint is based on mining the text of the expert's scholarly documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 7 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Atomicity checking in linear time using vector clocks

Mathur, U. & Viswanathan, M., Mar 9 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 183-199 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
  • Deciding Differential Privacy for Programs with Finite Inputs and Outputs

    Barthe, G., Chadha, R., Jagannath, V., Sistla, A. P. & Viswanathan, M., Jul 8 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery, p. 141-154 14 p. 3394796. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • The Complexity of Dynamic Data Race Prediction

    Mathur, U., Pavlogiannis, A. & Viswanathan, M., Jul 8 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery, p. 713-727 15 p. 3394783. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A Retrospective Look at the Monitoring and Checking (MaC) Framework

    Kannan, S., Kim, M., Lee, I., Sokolsky, O. & Viswanathan, M., Jan 1 2019, Runtime Verification - 19th International Conference, RV 2019, Proceedings. Finkbeiner, B. & Mariani, L. (eds.). Springer, p. 1-14 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11757 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Decidable and expressive classes of probabilistic automata

    Ben, Y., Chadha, R., Sistla, A. P. & Viswanathan, M., Mar 2019, In : Journal of Computer and System Sciences. 100, p. 70-95 26 p.

    Research output: Contribution to journalArticle