Priyanka Golia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Provable Guarantees in Approximate Synthesis. | Kushagra Gupta, Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2023 | DATE | Synthesis with Explicit Dependencies. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2022 | CAV | A Scalable Shannon Entropy Estimator. | Priyanka Golia, Brendan Juba, Kuldeep S. Meel |
| 2022 | CP | On Quantitative Testing of Samplers. | Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel |
| 2021 | FMCAD | Designing Samplers is Easy: The Boon of Testers. | Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel |
| 2021 | ICCAD | Engineering an Efficient Boolean Functional Synthesis Engine. | Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel |
| 2021 | IJCAI | Program Synthesis as Dependency Quantified Formula Modulo Theory. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |
| 2020 | CAV | Manthan: A Data-Driven Approach for Boolean Function Synthesis. | Priyanka Golia, Subhajit Roy, Kuldeep S. Meel |