Aarti Gupta

First name

Aarti

Last name

Gupta

Subramanyan, Pramod, Bo-Yuan Huang, Yakir Vizel, Aarti Gupta, and Sharad Malik. 2017. “Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification”. TCAD.

Reference Link
Ahn, Sunha, Sharad Malik, and Aarti Gupta. 2015. “Completeness Bounds and Sequentialization for Model Checking of Interacting Firmware and Hardware”. In Proceedings of the 10th International Conference on Hardware Software Codesign and System Synthesis, 202–211. IEEE Press.

Reference Link
Zhang, Shuyuan, Franjo Ivancic, Cristian Lumezanu, Yifei Yuan, Aarti Gupta, and Sharad Malik. 2014. “An Adaptable Rule Placement for Software-Defined Networks”. In Dependable Systems and Networks (DSN), 2014 44th Annual IEEE IFIP International Conference on, 88–99. IEEE.

Reference Link
Sinha, Arnab, Sharad Malik, and Aarti Gupta. 2012. “Efficient Predictive Analysis for Detecting Nondeterminism in Multi-Threaded Programs”. In Formal Methods in Computer-Aided Design (FMCAD), 2012, 6–15. IEEE.

Reference Link