Login / Signup
Shubhani Gupta
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 4
Top Topics
Partitioning Schemes
Data Sets
Multistage
Top Venues
Proc. ACM Program. Lang.
SAT
CGO
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
</>
Publications
</>
Vaibhav Kiran Kurhe
,
Pratik Karia
,
Shubhani Gupta
,
Abhishek Rose
,
Sorav Bansal
Automatic Generation of Debug Headers through BlackBox Equivalence Checking.
CGO
(2022)
Shubhani Gupta
,
Abhishek Rose
,
Sorav Bansal
Counterexample-guided correlation algorithm for translation validation.
Proc. ACM Program. Lang.
4 (OOPSLA) (2020)
Neetu Jindal
,
Shubhani Gupta
,
Divya Praneetha Ravipati
,
Preeti Ranjan Panda
,
Smruti R. Sarangi
Enhancing Network-on-Chip Performance by Reusing Trace Buffers.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
39 (4) (2020)
Shubhani Gupta
,
Aseem Saxena
,
Anmol Mahajan
,
Sorav Bansal
Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition.
SAT
(2018)