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.
  • 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
  • Deciding Differential Privacy of Online Algorithms with Multiple Variables

    Chadha, R., Prasad Sistla, A., Viswanathan, M. & Bhusal, B., Nov 15 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1761-1775 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).

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

    Open Access
  • Dynamic Race Detection with O(1) Samples

    Thokair, M. A., Zhang, M., Mathur, U. & Viswanathan, M., Jan 9 2023, In: Proceedings of the ACM on Programming Languages. 7, POPL, p. 1308-1337 30 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • RTAEval: A Framework for Evaluating Runtime Assurance Logic

    Miller, K., Zeitler, C. K., Shen, W., Viswanathan, M. & Mitra, S., 2023, Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Proceedings. André, É. & Sun, J. (eds.). Springer, p. 302-313 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14216 LNCS).

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

    Open Access
  • Sound Dynamic Deadlock Prediction in Linear Time

    Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M., Jun 6 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 1733-1758 26 p.

    Research output: Contribution to journalArticlepeer-review

    Open Access
  • Stack-Aware Hyperproperties

    Bajwa, A., Zhang, M., Chadha, R. & Viswanathan, M., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer, p. 308-325 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

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

    Open Access