Projects per year
Fingerprint
- 1 Similar Profiles
Network
-
FMitF: OpenRDC: A Framework for Implementing Open, Reliable, Distributed, Network Control
NSF - National Science Foundation
10/1/18 → 9/30/23
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
-
Compositional verification using a formal component and interface specification
Xing, Y., Lu, H., Gupta, A. & Malik, S., Oct 30 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., 72. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
KATRA: Realtime Verification for Multilayer Networks
Beckett, R. & Gupta, A., 2022, Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022. USENIX Association, p. 617-634 18 p. (Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Kirigami, the Verifiable Art of Network Cutting
Thijm, T. A., Beckett, R., Gupta, A. & Walker, D., 2022, 2022 IEEE 30th International Conference on Network Protocols, ICNP 2022. IEEE Computer Society, (Proceedings - International Conference on Network Protocols, ICNP; vol. 2022-October).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Usage-based RTL subsetting for hardware accelerators
Tan, Q., Gupta, A. & Malik, S., Oct 30 2022, Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2022. Institute of Electrical and Electronics Engineers Inc., 73. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Generating Architecture-Level Abstractions from RTL Designs for Processors and Accelerators Part I: Determining Architectural State Variables
Zeng, Y., Huang, B. Y., Zhang, H., Gupta, A. & Malik, S., 2021, 2021 40th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2021-November).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review