Utkarsh Gupta

PhD Candidate
Electrical & Computer Engineering
Merrill Engineering Building (MEB) 4120
University of Utah, Salt Lake City,
UT-84112 utkarsh.gupta@utah.edu

Home


Publications


Tools


Coursework


Misc

● “ Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Groebner Bases. ” Utkarsh Gupta, Priyank Kalla, Irina Ilioaea and Florian Enescu. 24th IEEE European Test Symposium (ETS), May 2019.

● “ Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques. ” Vikas Rao, Utkarsh Gupta, Irina Ilioaea, Arpitha Srinath, Priyank Kalla and Florian Enescu. Proc. Formal Methods in Computer-Aided Design (FMCAD), Oct 2018.

● “ On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields. ” Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla and Florian Enescu. 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), Oct 2018.

• Best Paper Award Nominee
• Extended version published as a chapter in the book: VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms , June 2019

● “ Craig Interpolants in Finite Fields using Algebraic Geometry: Theory and Application. ” Utkarsh Gupta, Irina Ilioaea, Priyank Kalla, Florian Enescu, Vikas Rao and Arpitha Srinath. International Workshop on Logic and Synthesis (IWLS), June 2018.

● “ Boolean Gröbner Basis Reductions on Finite Field Datapath Circuits using the Unate Cube Set Algebra. ” Utkarsh Gupta, Priyank Kalla and Vikas Rao. IEEE Trans. on CAD (TCAD), March 2018.

● “ Boolean Gröbner Basis Reductions on Datapath Circuits using the Unate Cube Set Algebra. ” Utkarsh Gupta, Priyank Kalla and Vikas Rao. International Workshop on Logic and Synthesis (IWLS), June 2017.

• Best Paper with Student as First Author Award