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