Manthan: A Data-Driven Approach for Boolean Function Synthesis. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (CAV (2), 2020)

Designing Samplers is Easy: The Boon of Testers. - Priyanka Golia; Mate Soos; Sourav Chakraborty 001; Kuldeep S. Meel (FMCAD, 2021)

Engineering an Efficient Boolean Functional Synthesis Engine. - Priyanka Golia; Friedrich Slivovsky; Subhajit Roy 001; Kuldeep S. Meel (ICCAD, 2021)

Program Synthesis as Dependency Quantified Formula Modulo Theory. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (IJCAI, 2021)

A Scalable Shannon Entropy Estimator. - Priyanka Golia; Brendan Juba; Kuldeep S. Meel (CAV (1), 2022)

On Quantitative Testing of Samplers. - Mate Soos; Priyanka Golia; Sourav Chakraborty 001; Kuldeep S. Meel (CP, 2022)

Synthesis with Explicit Dependencies. - Priyanka Golia; Subhajit Roy 001; Kuldeep S. Meel (DATE, 2023)

A scalable entropy estimator. - Priyanka Golia; Brendan Juba; Kuldeep S. Meel (Formal Methods Syst. Des., 2025)