Projects per year
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/territory level. Dive into details by clicking on the dots or
-
Collaborative Research: SHF: Medium: Automated Word Level Synthesis for Hardware Code Generation and Verified Abstraction
NSF - National Science Foundation
7/15/21 → 6/30/24
Project: Research project
-
FMitF: OpenRDC: A Framework for Implementing Open, Reliable, Distributed, Network Control
NSF - National Science Foundation
10/1/18 → 9/30/22
Project: Research project
-
Verification Mentoring Workshop II
NSF - National Science Foundation
4/1/16 → 3/31/18
Project: Research project
-
SHF: Small: Driving Learning for Program Verification
NSF - National Science Foundation
9/1/15 → 8/31/19
Project: Research project
-
Verification Mentoring Workshop
NSF - National Science Foundation
4/1/15 → 3/31/16
Project: Research project
Research output
-
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 proceeding › Conference 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 proceeding › Conference 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 journal › Article › peer-review
Open Access4 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 proceeding › Conference 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 proceeding › Conference contribution
Open Access