| 2026 | ETS | Scalable Design-for-Calibration of Programmable Silicon Photonics. | Lawrence M. Schlitt, Priyank Kalla, Steve Blair |
| 2025 | ASPDAC | An Algebraic Approach to Partial Synthesis of Arithmetic Circuits. | Bhavani Sampathkumar, Ritaja Das, Bailey Martin, Florian Enescu, Priyank Kalla |
| 2025 | ETS | Design-for-Test and Calibration for Silicon Photonics using Ring Resonators and Wavelength Division Multiplexing. | Pratishtha Agnihotri, Lawrence M. Schlitt, Priyank Kalla, Steve Blair |
| 2025 | ITC | Silicon Photonic Test-Point Selection by Integrating Design Parameters with Hypergraph Partitioning. | Lawrence M. Schlitt, Pratishtha Agnihotri, Priyank Kalla, Steve Blair |
| 2024 | ITC | Design-for-Test for Silicon Photonic Circuits. | Pratishtha Agnihotri, Priyank Kalla, Steve Blair |
| 2021 | ICCD | Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques. | Vikas Rao, Haden Ondricek, Priyank Kalla, Florian Enescu |
| 2019 | ETS | Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Grbner Bases. | Utkarsh Gupta, Priyank Kalla, Irina Ilioaea, Florian Enescu |
| 2018 | FMCAD | 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 |
| 2016 | CP | Finding Unsatisfiable Cores of a Set of Polynomials Using the Grbner Basis Algorithm. | Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu |
| 2016 | VLSID | A Methodology for Thermal Characterization Abstraction of Integrated Opto-Electronic Layouts. | Lawrence M. Schlitt, Priyank Kalla, Steve Blair |
| 2015 | DATE | Formal verification of sequential Galois field arithmetic circuits using algebraic geometry. | Xiaojun Sun, Priyank Kalla, Tim Pruss, Florian Enescu |
| 2015 | FMCAD | Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation. | Priyank Kalla |
| 2015 | ICCAD | DA Vision 2015: From Here to Eternity. | Miodrag Potkonjak, Deming Chen, Priyank Kalla, Steven P. Levitan |
| 2014 | DAC | Equivalence Verification of Large Galois Field Arithmetic Circuits using Word-Level Abstraction via Grbner Bases. | Tim Pruss, Priyank Kalla, Florian Enescu |
| 2014 | ICCAD | Thermal-aware synthesis of integrated photonic ring resonators. | Christopher Condrat, Priyank Kalla, Steve Blair |
| 2012 | DATE | Efficient Grbner basis reductions for formal verification of galois field multipliers. | Jinpeng Lv, Priyank Kalla, Florian Enescu |
| 2012 | VLSID | Formal Verification of Galois Field Multipliers Using Computer Algebra Techniques. | Jinpeng Lv, Priyank Kalla |
| 2009 | DATE | Algebraic techniques to enhance common sub-expression elimination for polynomial system synthesis. | Sivaram Gopalakrishnan, Priyank Kalla |
| 2008 | ICCAD | Verification of arithmetic datapaths using polynomial function models and congruence solving. | Neal Tew, Priyank Kalla, Namrata Shekhar, Sivaram Gopalakrishnan |
| 2007 | ASPDAC | Optimization of Arithmetic Datapaths with Finite Word-Length Operands. | Sivaram Gopalakrishnan, Priyank Kalla, Florian Enescu |
| 2007 | ICCAD | Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors. | Sivaram Gopalakrishnan, Priyank Kalla, M. Brandon Meredith, Florian Enescu |
| 2007 | TACAS | A Grbner Basis Approach to CNF-Formulae Preprocessing. | Christopher Condrat, Priyank Kalla |
| 2006 | DATE | Equivalence verification of arithmetic datapaths with multiple word-length operands. | Namrata Shekhar, Priyank Kalla, Florian Enescu |
| 2006 | FMCAD | Simulation Bounds for Equivalence Verification of Arithmetic Datapaths with Finite Word-Length Operands. | Namrata Shekhar, Priyank Kalla, M. Brandon Meredith, Florian Enescu |
| 2005 | ICCAD | Equivalence verification of polynomial datapaths with fixed-size bit-vectors using finite ring algebra. | Namrata Shekhar, Priyank Kalla, Florian Enescu, Sivaram Gopalakrishnan |
| 2005 | ICCD | Exploiting Vanishing Polynomials for Equivalence Veri.cation of Fixed-Size Arithmetic Datapaths. | Namrata Shekhar, Priyank Kalla, Sivaram Gopalakrishnan, Florian Enescu |
| 2005 | SAT | Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies. | Vijay Durairaj, Priyank Kalla |
| 2004 | ICCAD | Guiding CNF-SAT search via efficient constraint partitioning. | Vijay Durairaj, Priyank Kalla |
| 2002 | DATE | Taylor Expansion Diagrams: A Compact, Canonical Representation with Applications to Symbolic Verification. | Maciej J. Ciesielski, Priyank Kalla, Zhihong Zeng, Bruno Rouzeyre |
| 2001 | DATE | LPSAT: a unified approach to RTL satisfiability. | Zhihong Zeng, Priyank Kalla, Maciej J. Ciesielski |
| 2000 | DATE | A BDD-Based Satisfiability Infrastructure Using the Unate Recursive Paradigm. | Priyank Kalla, Zhihong Zeng, Maciej J. Ciesielski, ChiLai Huang |
| 1999 | DATE | Performance Driven Resynthesis by Exploiting Retiming-Induced State Register Equivalence. | Priyank Kalla, Maciej J. Ciesielski |
| 1998 | ITC | A comprehensive approach to the partial scan problem using implicit state enumeration. | Priyank Kalla, Maciej J. Ciesielski |
| 1997 | VTS | Testability of Sequential Circuits with Multi-Cycle False Path. | Priyank Kalla, Maciej J. Ciesielski |