Logic Synthesis from Polynomials with Coefficients in the Field of Rationals. - Bhavani Sampathkumar; Bailey Martin; Ritaja Das; Priyank Kalla; Florian Enescu (ISMVL, 2023)

Selecting Rectification Targets for Patching Buggy Circuits. - Ritaja Das; Priyank Kalla (VDAT, 2024)

An Algebraic Approach to Partial Synthesis of Arithmetic Circuits. - Bhavani Sampathkumar; Ritaja Das; Bailey Martin; Florian Enescu; Priyank Kalla (ASP-DAC, 2025)