Shubhani Gupta

According to our database, Shubhani Gupta authored at least 4 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Automatic Generation of Debug Headers through BlackBox Equivalence Checking.

Vaibhav Kiran Kurhe, Pratik Karia, Shubhani Gupta, Abhishek Rose, Sorav Bansal

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2022

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

Counterexample-guided correlation algorithm for translation validation.

Shubhani Gupta, Abhishek Rose, Sorav Bansal

Proc. ACM Program. Lang., 2020

2018

Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition.

Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018