Counterexample-Guided Correlation Algorithm for Translation Validation [pdf]
Shubhani Gupta, Abhishek Rose, Sorav Bansal
Proceedings of the ACM on Programming Languages (OOPSLA), 2020
|
Enhancing Network-on-Chip Performance by Reusing Trace Buffers [pdf]
Neetu Jindal, Shubhani Gupta, Divya Praneetha Ravipati, Preeti Ranjan Panda, Smruti R. Sarangi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), April 2020
|
Effective Use of SMT Solvers for Program
Equivalence Checking Through Invariant-Sketching and Query-Decomposition [pdf]
Shubhani Gupta, Aseem Saxena, Anmol Mahajan, Sorav Bansal
In Theory and Applications of Satisfiability Testing (SAT), 2018
|