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 level. Dive into details by clicking on the dots.
Projects
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
Fold/Unfold Transformations for Fixpoint Logic
Kobayashi, N., Fedyukovich, G. & Gupta, A., Jan 1 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
Synthesizing Environment Invariants for Modular Hardware Verification
Zhang, H., Yang, W., Fedyukovich, G., Gupta, A. & Malik, S., Jan 1 2020, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 202-225 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11990 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
FlyMC: Highly scalable testing of complex interleavings in distributed systems
Lukman, J. F., Ke, H., Stuardo, C. A., Suminto, R. O., Kurniawan, D. H., Simon, D., Priambada, S., Tian, C., Ye, F., Leesatapornwongsa, T., Gupta, A., Lu, S. & Gunawi, H. S., Mar 25 2019, Proceedings of the 14th EuroSys Conference 2019. Association for Computing Machinery, Inc, 3303986. (Proceedings of the 14th EuroSys Conference 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
2
Scopus
citations
Functional Synthesis with Examples
Fedyukovich, G. & Gupta, A., Jan 1 2019, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Springer, p. 547-564 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11802 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification
Zhang, H., Trippel, C., Manerkar, Y. A., Gupta, A., Martonosi, M. R. & Malik, S., Jan 4 2019, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 12-21 10 p. 8603015. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1
Scopus
citations