Browsing by Author Gupta, Aarti
Showing results 1 to 20 of 27
next >
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Dec-2019 | Abstract interpretation of distributed network control planes | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| 2014 | An Adaptable Rule Placement for Software-Defined Networks | Zhang, Shuyuan; Ivancic, Franjo; Lumezanu, Cristian; Yuan, Yifei; Gupta, Aarti; et al |
| 2016 | Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM | Menendez, David; Nagarakatte, Santosh; Gupta, Aarti |
| 2015 | Assertion guided symbolic execution of multithreaded programs | Guo, Shengjian; Kusano, Markus; Wang, Chao; Yang, Zijiang; Gupta, Aarti |
| 2020 | Automating Modular Verification of Secure Information Flow | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
| Aug-2018 | Control plane compression | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| 2012 | Efficient predictive analysis for detecting nondeterminism in multi-threaded programs | Sinha, Arnab; Malik, Sharad; Gupta, Aarti |
| 2018 | Exploiting Synchrony and Symmetry in Relational Verification | Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti |
| 2020 | Fold/Unfold Transformations for Fixpoint Logic | Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti |
| Nov-2018 | A formal instruction-level GPU model for scalable verification | Xing, Yue; Huang, Bo-Yuan; Gupta, Aarti; Malik, Sharad |
| 2019 | Functional Synthesis with Examples | Fedyukovich, Grigory; Gupta, Aarti |
| Aug-2017 | A general approach to network configuration verification | Beckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David |
| 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 |