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.
- 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
-
Collaborative Research: SHF: Medium: Automated Word Level Synthesis for Hardware Code Generation and Verified Abstraction
Gupta, A. (PI)
NSF - National Science Foundation
7/15/21 → 6/30/25
Project: Research project
-
FMitF: OpenRDC: A Framework for Implementing Open, Reliable, Distributed, Network Control
Gupta, A. (PI)
NSF - National Science Foundation
10/1/18 → 9/30/23
Project: Research project
-
Verification Mentoring Workshop II
Gupta, A. (PI)
NSF - National Science Foundation
4/1/16 → 3/31/18
Project: Research project
-
SHF: Small: Driving Learning for Program Verification
Gupta, A. (PI)
NSF - National Science Foundation
9/1/15 → 8/31/19
Project: Research project
-
Verification Mentoring Workshop
Gupta, A. (PI)
NSF - National Science Foundation
4/1/15 → 3/31/16
Project: Research project
-
Hierarchical Formal Verification of Hardware
Lu, H., Xing, Y., Gupta, A. & Malik, S., 2025, (Accepted/In press) In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.Research output: Contribution to journal › Article › peer-review
-
Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
Huang, B. Y., Lyubomirsky, S., Li, Y., He, M., Smith, G. H., Tambe, T., Gaonkar, A., Canumalla, V., Cheung, A., Wei, G. Y., Gupta, A., Tatlock, Z. & Malik, S., Feb 15 2024, In: ACM Transactions on Design Automation of Electronic Systems. 29, 2, 35.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
Buffy: A Formal Language-Based Framework for Network Performance Analysis
Seyhani, A., Zhao, J., Gupta, A., Walker, D. P. & Arashloo, M. T., Nov 18 2024, HOTNETS 2024 - Proceedings of the 2024 3rd ACM Workshop on Hot Topics in Networks. Association for Computing Machinery, Inc, p. 95-102 8 p. (HOTNETS 2024 - Proceedings of the 2024 3rd ACM Workshop on Hot Topics in Networks).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Exact Scheduling to Minimize Off-Chip Data Movement for Deep Learning Accelerators
Li, Y., Gupta, A. & Malik, S., 2024, ASP-DAC 2024 - 29th Asia and South Pacific Design Automation Conference, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 908-914 7 p. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2 Scopus citations -
Kirigami, the Verifiable Art of Network Cutting
Thijm, T. A., Beckett, R., Gupta, A. & Walker, D., Jun 1 2024, In: IEEE/ACM Transactions on Networking. 32, 3, p. 2447-2462 16 p.Research output: Contribution to journal › Article › peer-review
Open Access