Aarti Gupta

  • Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1992 …2021

Research activity per year

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

Fingerprint

Dive into the research topics where Aarti Gupta is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles

Network

Recent external collaboration on country level. Dive into details by clicking on the dots.
  • Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking

    Zhang, H., Gupta, A. & Malik, S., 2021, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. Henglein, F., Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 325-349 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12597 LNCS).

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

  • Unbounded Procedure Summaries from Bounded Environments

    Pick, L., Fedyukovich, G. & Gupta, A., 2021, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Proceedings. Henglein, F., Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 291-324 34 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12597 LNCS).

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

  • Abstract Interpretation of distributed network control planes

    Beckett, R., Gupta, A., Mahajan, R. & Walker, D., Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 42.

    Research output: Contribution to journalArticlepeer-review

    Open Access
    4 Scopus citations
  • Automating Modular Verification of Secure Information Flow

    Pick, L., Fedyukovich, G. & Gupta, A., Sep 21 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. Ivrii, A., Strichman, O., Hunt, W. A. & Weissenbacher, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 158-168 11 p. 9283650. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020).

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

    1 Scopus citations
  • Fold/Unfold Transformations for Fixpoint Logic

    Kobayashi, N., Fedyukovich, G. & Gupta, A., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 195-214 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

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