Priyanka Golia

13 papers A* 1A 3B 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
A scalable entropy estimator.
Formal Methods Syst. Des.
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
2023 A conf
Synthesis with Explicit Dependencies.
DATE
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2023 J jnl
Synthesis with Explicit Dependencies.
CoRR
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2022 — conf
A Scalable Shannon Entropy Estimator.
CAV (1)
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
2022 J jnl
A Scalable Shannon Entropy Estimator.
CoRR
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
2022 A conf
On Quantitative Testing of Samplers.
CP
Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel
2021 B conf
Designing Samplers is Easy: The Boon of Testers.
FMCAD
Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
2021 A conf
Engineering an Efficient Boolean Functional Synthesis Engine.
ICCAD
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
2021 J jnl
Engineering an Efficient Boolean Functional Synthesis Engine.
CoRR
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
2021 A* conf
Program Synthesis as Dependency Quantified Formula Modulo Theory.
IJCAI
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2021 J jnl
Program Synthesis as Dependency Quantified Formula Modulo Theory.
CoRR
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2020 J jnl
Manthan: A Data Driven Approach for Boolean Function Synthesis.
CoRR
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
2020 — conf
Manthan: A Data-Driven Approach for Boolean Function Synthesis.
CAV (2)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel