Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition. - Shubhani Gupta; Aseem Saxena; Anmol Mahajan; Sorav Bansal (SAT, 2018)

Counterexample-guided correlation algorithm for translation validation. - Shubhani Gupta; Abhishek Rose; Sorav Bansal (Proc. ACM Program. Lang., 2020)

Enhancing Network-on-Chip Performance by Reusing Trace Buffers. - Neetu Jindal; Shubhani Gupta; Divya Praneetha Ravipati; Preeti Ranjan Panda; Smruti R. Sarangi (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Automatic Generation of Debug Headers through BlackBox Equivalence Checking. - Vaibhav Kiran Kurhe; Pratik Karia; Shubhani Gupta; Abhishek Rose; Sorav Bansal (CGO, 2022)