Browsing by Author Gupta, Aarti
Showing results 13 to 27 of 27
< previous
Publication Date | Article Title | Author(s) |
---|---|---|
2019 | ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level Abstractions | Huang, Bo-Yuan; Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
Dec-2018 | Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification | Huang, Boyuan; Zhang, Hongce; Subramanyan, Pramod; Vizel, Yakir; Gupta, Aarti; et al |
2019 | Lazy but Effective Functional Synthesis | Fedyukovich, Grigory; Gurfinkel, Arie; Gupta, Aarti |
2019 | Lemma Synthesis for Automating Induction over Algebraic Data Types | Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti |
2016 | Parallel data race detection for task parallel programs with locks | Yoga, Adarsh; Nagarakatte, Santosh; Gupta, Aarti |
2018 | PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications | Manerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti |
2012 | Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based Search | Sinha, Arnab; Malik, Sharad; Wang, Chao; Gupta, Aarti |
2019 | Quantified Invariants via Syntax-Guided Synthesis | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
2018 | Solving Constrained Horn Clauses Using Syntax and Data | Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti |
2021 | Syntax-Guided Synthesis for Lemma Generation in Hardware Model Checking | Zhang, Hongce; Gupta, Aarti; Malik, Sharad |
2018 | Syntax-Guided Termination Analysis | Fedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti |
2020 | Synthesizing Environment Invariants for Modular Hardware Verification | Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad |
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 |