Priyanka Golia

According to our database, Priyanka Golia authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Synthesis with Explicit Dependencies.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

On Quantitative Testing of Samplers.

Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

A Scalable Shannon Entropy Estimator.

Priyanka Golia, Brendan Juba, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Program Synthesis as Dependency Quantified Formula Modulo Theory.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Engineering an Efficient Boolean Functional Synthesis Engine.

Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

Designing Samplers is Easy: The Boon of Testers.

Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Manthan: A Data-Driven Approach for Boolean Function Synthesis.

Priyanka Golia, Subhajit Roy, Kuldeep S. Meel

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020