Priyanka Golia

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 12

Top Topics

Shannon Entropy

Program Synthesis

Monotone Boolean Functions

Top Venues

Publications

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Synthesis with Explicit Dependencies. DATE (2023)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Synthesis with Explicit Dependencies. CoRR (2023)
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
A Scalable Shannon Entropy Estimator. CAV (1) (2022)
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
A Scalable Shannon Entropy Estimator. CoRR (2022)
Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel
On Quantitative Testing of Samplers. CP (2022)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Program Synthesis as Dependency Quantified Formula Modulo Theory. CoRR (2021)
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
Engineering an Efficient Boolean Functional Synthesis Engine. CoRR (2021)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Program Synthesis as Dependency Quantified Formula Modulo Theory. IJCAI (2021)
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
Engineering an Efficient Boolean Functional Synthesis Engine. ICCAD (2021)
Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
Designing Samplers is Easy: The Boon of Testers. FMCAD (2021)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Manthan: A Data Driven Approach for Boolean Function Synthesis. CoRR (2020)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Manthan: A Data-Driven Approach for Boolean Function Synthesis. CAV (2) (2020)