Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques. - Vikas Rao; Haden Ondricek; Priyank Kalla; Florian Enescu (ICCD, 2021)

Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits. - Vikas Rao; Irina Ilioaea; Haden Ondricek; Priyank Kalla; Florian Enescu (ISQED, 2021)

Algebraic Techniques for Rectification of Finite Field Circuits. - Vikas Rao; Haden Ondricek; Priyank Kalla; Florian Enescu (VLSI-SoC, 2021)