Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 5 Finished
-
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
-
A Layered Formal Methods Approach to Answering Queue-related Queries
Raghunathan, D., Apostolaki, M. & Gupta, A., 2025, Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, NSDI 2025. USENIX Association, p. 1289-1304 16 p. (Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation, NSDI 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Automatic Generation of Cycle-Accurate Timing Models from RTL for Hardware Accelerators
Zeng, Y., Gupta, A. & Malik, S., Apr 9 2025, Proceedings of the 43rd IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2024. Institute of Electrical and Electronics Engineers Inc., 155. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Hierarchical Formal Verification of Hardware
Lu, H., Xing, Y., Gupta, A. & Malik, S., 2025, In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 44, 9, p. 3629-3642 14 p.Research output: Contribution to journal › Article › peer-review
1 Link opens in a new tab Scopus citations -
Ranking Formal Specifications using LLMs
He, M., Ang, Z., Desai, A. & Gupta, A., Oct 9 2025, LMPL 2025 - Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages, Co-located with ICFP/SPLASH 2025. Le Goues, C., Mechtaev, S., Shi, Q., Wang, C., Ye, H. & Zhang, Z. (eds.). Association for Computing Machinery, Inc, p. 51-56 6 p. (LMPL 2025 - Proceedings of the 1st ACM SIGPLAN International Workshop on Language Models and Programming Languages, Co-located with ICFP/SPLASH 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
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
5 Link opens in a new tab Scopus citations