Publications

Functional Synthesis via Formal Methods and Machine Learning.
Priyanka Golia.
PhD Thesis, National University of Singapore and Indian Institute of Technology Kanpur, 2023.

PDF

Synthesis with Explicit Dependencies.
Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel.
Design, Automation and Test in Europe Conference, DATE (received Best Paper Award Nomination), 2023.

PDF

On Quantitative Testing of Samplers.
Mate Soos, Priyanka Golia, Sourav Chakraborty, and Kuldeep S. Meel.
International Conference on Constraint Programming, CP, 2022.

PDF Code

A Scalable Shannon Entropy Estimator.
Priyanka Golia, Brendan Juba, and Kuldeep S. Meel.
34th International Conference on Computer-Aided Verification,CAV, 2022.

PDF Code

Engineering an Efficient Boolean Functional Synthesis Engine.
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, and Kuldeep S. Meel.
40th International Conference On Computer Aided Design,ICCAD (received Best Paper Award Nomination), 2021.

PDF Code Slides Video

Designing Samplers is Easy: The Boon of Testers.
Priyanka Golia, Mate Soos, Sourav Chakraborty, and Kuldeep S. Meel.
Formal Methods in Computer-Aided Design, FMCAD, 2021.

PDF Code Slides Video

Program Synthesis as Dependency Quantified Formula Modulo Theory.
Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel.
30th International Joint Conference on Artificial Intelligence,IJCAI, 2021.

PDF Code Poster Video

Manthan: A Data-Driven Approach for Boolean Function Synthesis.
Priyanka Golia, Subhajit Roy, and Kuldeep S. Meel.
32nd International Conference on Computer-Aided Verification, CAV, 2020.

PDF Code Slides Video