Photo of Aarti Gupta
Contact Expert
 

View Scopus Profile

Aarti Gupta

  • 2582 Citations
  • 27 h-Index
1992 …2020

Research output 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.

  • 5 Similar Profiles

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

Projects

FMitF: OpenRDC: A Framework for Implementing Open, Reliable, Distributed, Network Control

Gupta, A.

NSF - National Science Foundation

10/1/18 → 9/30/22

Project: Research project

Verification Mentoring Workshop II

Gupta, A.

NSF - National Science Foundation

4/1/16 → 3/31/18

Project: Research project

    • SHF: Small: Driving Learning for Program Verification

    Gupta, A.

    NSF - National Science Foundation

    9/1/15 → 8/31/19

    Project: Research project

    • Verification Mentoring Workshop

    Gupta, A.

    NSF - National Science Foundation

    4/1/15 → 3/31/16

    Project: Research project

    • Research Output

    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 journal › Article

    Open Access
    • 2 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 proceeding › Conference contribution

    Open Access

    • Synthesizing Environment Invariants for Modular Hardware Verification

    Zhang, H., Yang, W., Fedyukovich, G., Gupta, A. & Malik, S., 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 202-225 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • Verification of recurrent neural networks for cognitive tasks via reachability analysis

    Zhang, H., Shinn, M., Gupta, A., Gurfinkel, A., Le, N. & Narodytska, N., Aug 24 2020, ECAI 2020 - 24th European Conference on Artificial Intelligence, including 10th Conference on Prestigious Applications of Artificial Intelligence, PAIS 2020 - Proceedings. De Giacomo, G., Catala, A., Dilkina, B., Milano, M., Barro, S., Bugarin, A. & Lang, J. (eds.). IOS Press BV, p. 1690-1697 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 325).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • FlyMC: Highly scalable testing of complex interleavings in distributed systems

    Lukman, J. F., Ke, H., Stuardo, C. A., Suminto, R. O., Kurniawan, D. H., Simon, D., Priambada, S., Tian, C., Ye, F., Leesatapornwongsa, T., Gupta, A., Lu, S. & Gunawi, H. S., Mar 25 2019, Proceedings of the 14th EuroSys Conference 2019. Association for Computing Machinery, Inc, 3303986. (Proceedings of the 14th EuroSys Conference 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    • 2 Scopus citations