Browsing by Author Gupta, Aarti
Showing results 25 to 27 of 27
< previous
Publication Date | Article Title | Author(s) |
---|---|---|
Oct-2017 | Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification | Subramanyan, Pramod; Huang, Bo-Yuan; Vizel, Yakir; Gupta, Aarti; Malik, Sharad |
2021 | Unbounded Procedure Summaries from Bounded Environments | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
2020 | Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis | Zhang, Hongce; Shinn, Maxwell; Gupta, Aarti; Gurfinkel, Arie; Le, Nham; et al |