Skip to main content

Browsing by Author Gupta, Aarti

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 6 to 25 of 27 < previous   next >
Publication DateArticle TitleAuthor(s)
Aug-2018Control plane compressionBeckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David
2012Efficient predictive analysis for detecting nondeterminism in multi-threaded programsSinha, Arnab; Malik, Sharad; Gupta, Aarti
2018Exploiting Synchrony and Symmetry in Relational VerificationPick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
2020Fold/Unfold Transformations for Fixpoint LogicKobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti
Nov-2018A formal instruction-level GPU model for scalable verificationXing, Yue; Huang, Bo-Yuan; Gupta, Aarti; Malik, Sharad
2019Functional Synthesis with ExamplesFedyukovich, Grigory; Gupta, Aarti
Aug-2017A general approach to network configuration verificationBeckett, Ryan; Gupta, Aarti; Mahajan, Ratul; Walker, David
2019ILAng: A Modeling and Verification Platform for SoCs Using Instruction-Level AbstractionsHuang, Bo-Yuan; Zhang, Hongce; Gupta, Aarti; Malik, Sharad
Dec-2018Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) VerificationHuang, Boyuan; Zhang, Hongce; Subramanyan, Pramod; Vizel, Yakir; Gupta, Aarti; et al
2019Lazy but Effective Functional SynthesisFedyukovich, Grigory; Gurfinkel, Arie; Gupta, Aarti
2019Lemma Synthesis for Automating Induction over Algebraic Data TypesYang, Weikun; Fedyukovich, Grigory; Gupta, Aarti
2016Parallel data race detection for task parallel programs with locksYoga, Adarsh; Nagarakatte, Santosh; Gupta, Aarti
2018PipeProof: Automated Memory Consistency Proofs for Microarchitectural SpecificationsManerkar, Yatin A; Lustig, Daniel; Martonosi, Margaret; Gupta, Aarti
2012Predicting Serializability Violations: SMT-Based Search vs. DPOR-Based SearchSinha, Arnab; Malik, Sharad; Wang, Chao; Gupta, Aarti
2019Quantified Invariants via Syntax-Guided SynthesisFedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti
2018Solving Constrained Horn Clauses Using Syntax and DataFedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti
2021Syntax-Guided Synthesis for Lemma Generation in Hardware Model CheckingZhang, Hongce; Gupta, Aarti; Malik, Sharad
2018Syntax-Guided Termination AnalysisFedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti
2020Synthesizing Environment Invariants for Modular Hardware VerificationZhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad
Oct-2017Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC VerificationSubramanyan, Pramod; Huang, Bo-Yuan; Vizel, Yakir; Gupta, Aarti; Malik, Sharad