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
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/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
-
CaT: A Solver-Aided Compiler for Packet-Processing Pipelines
Gao, X., Raghunathan, D., Fang, R., Wang, T., Zhu, X., Sivaraman, A., Narayana, S. & Gupta, A., Mar 25 2023, ASPLOS 2023 - Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Aamodt, T. M., Jerger, N. E. & Swift, M. (eds.). Association for Computing Machinery, p. 72-88 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS; vol. 3).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Modular Control Plane Verification via Temporal Invariants
Alberdingk Thijm, T., Beckett, R., Gupta, A. & Walker, D., Jun 6 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 50-75 26 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Scopus citations -
Psym: Efficient Symbolic Exploration of Distributed Systems
Pick, L., Desai, A. & Gupta, A., Jun 6 2023, In: Proceedings of the ACM on Programming Languages. 7, p. 660-685 26 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Synthesizing MILP Constraints for Efficient and Robust Optimization
Wang, J., Gupta, A. & Wang, C., Jun 6 2023, In: Proceedings of the ACM on Programming Languages. 7, 184.Research output: Contribution to journal › Article › peer-review
Open Access -
ACORN: Network Control Plane Abstraction using Route Nondeterminism
Raghunathan, D., Beckett, R., Gupta, A. & Walker, D., 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. Griggio, A. & Rungta, N. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 261-272 12 p. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution