Irina Ilioaea

According to our database, Irina Ilioaea authored at least 6 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits.

Vikas Rao, Irina Ilioaea, Haden Ondricek, Priyank Kalla, Florian Enescu

Proceedings of the 22nd International Symposium on Quality Electronic Design, 2021

2019

Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Gröbner Bases.

Utkarsh Gupta, Priyank Kalla, Irina Ilioaea, Florian Enescu

Proceedings of the 24th IEEE European Test Symposium, 2019

2018

Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields.

Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu

Proceedings of the VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms, 2018

On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields.

Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu

Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018

Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques.

Vikas Rao, Utkarsh Gupta, Irina Ilioaea, Arpitha Srinath, Priyank Kalla, Florian Enescu

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2016

Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm.

Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu

Proceedings of the Principles and Practice of Constraint Programming, 2016