• 2383 Citations
  • 26 h-Index
1992 …2019
If you made any changes in Pure, your changes will be visible here soon.

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.

  • 12 Similar Profiles
Model checking Engineering & Materials Science
Static analysis Engineering & Materials Science
Concurrent Mathematics
Interleaving Mathematics
Model Checking Mathematics
Bounded Model Checking Mathematics
Specifications Engineering & Materials Science
Scalability Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 1992 2019

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 proceedingConference contribution

Testing
Electric sparks
Explosions
1 Citation (Scopus)

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 proceedingConference contribution

Data storage equipment
Particle accelerators
System-on-chip
Specifications
Program processors

Ilang: a modeling and verification platform for SoCs using instruction-level abstractions

Huang, B. Y., Zhang, H., Gupta, A. & Malik, S., Jan 1 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Vojnar, T. & Zhang, L. (eds.). Springer Verlag, p. 351-357 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11427 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
Modeling
Hardware
Software
Specifications
Computer hardware description languages
1 Citation (Scopus)

Instruction-level abstraction (ILA): A uniform specification for system-on-chip (SOC) verification

Huang, B. Y., Zhang, H., Subramanyan, P., Vizel, Y., Gupta, A. & Malik, S., Jan 1 2019, In : ACM Transactions on Design Automation of Electronic Systems. 24, 1, 10.

Research output: Contribution to journalArticle

Particle accelerators
Specifications
Hardware
System-on-chip
Reduced instruction set computing

Lazy but effective functional synthesis

Fedyukovich, G., Gurfinkel, A. & Gupta, A., Jan 1 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (eds.). Springer Verlag, p. 92-113 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11388 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decision trees
Decision tree
Existential quantifier
Synthesis
Output