Priyanka Golia

Priyanka Golia

Faculty
Email:golia@cispa.de
Research Statement

I am a faculty at CISPA Helmholtz Center for Information Security. I completed Ph.D. in a joint degree program with Indian Institute of Technology Kanpur, India and National University of Singapore, advised by Kuldeep S. Meel and Subhajit Roy.

My research interests lie at the intersection of formal methods and artificial intelligence. In particular, my work so far has focused on designing scalable automated synthesis and testing techniques. I am the lead designer of the state-of-the-art functional synthesis engine, Manthan, which combines advances in machine learning, constrained sampling, and automated reasoning to achieve significant scalability. Check out my Research Statement for more details.

I have open positions for interns, PhDs and postdocs. Please send me your cv if you are interested to work at intersection of formal methods and artificial intelligence. Check out our [Research Statement] for more detail.

Research paper recognition:
1. DATE-23 paper received Best Paper Award Nomination.
2. CAV-22 paper invited to FMSD issue dedicated to the best papers from CAV.
3. ICCAD-21 paper received Best Paper Award Nomination (6 out of 121 papers).

Tutorial:
AAAI & IJCAI-22: Automated Synthesis: Towards the Holy Grail of AI. [description].

Selected recorded talks:
1. Manthan: A Data-Driven Apporach for Boolean Functional Synthesis [video @ SAT-SMT workshop-2020].
2. Program Synthesis as Dependency Quantified Formula Modulo Theory [video @ Formal Method Update-2021].

News

Ph.D. Done! Successfully defended my Ph.D. thesis, “Functional Synthesis via Formal Methods and Machine Learning.”
Thankful to my amazing advisors, Kuldeep S. Meel and Subhajit Roy.
Our paper A Scalable Shannon Entropy Estimator is invited to appear in Formal Methods in System Design (FMSD) issue dedicated to the best papers from CAV 2022.
Our paper on Synthesis with Explicit Dependencies has been accepted to DATE 2023. Moreover, it has also received the best paper award nomination.
We present an approach that combines advances in machine learning with automated reasoning for efficiently synthesizing functions with explicit dependencies.
Joint work with: Subhajit Roy and Kuldeep S. Meel
Excited to attend a fully packed FLoC-22. We will be presenting:

Conference Papers

Functional Synthesis via Formal Methods and Machine Learning.

PhD Thesis, National University of Singapore and Indian Institute of Technology Kanpur, 2023.

PDF

Synthesis with Explicit Dependencies.

Design, Automation and Test in Europe Conference, DATE (received Best Paper Award Nomination), 2023.

PDF

A Scalable Shannon Entropy Estimator.

34th International Conference on Computer-Aided Verification,CAV, 2022.

PDF Code

On Quantitative Testing of Samplers.

International Conference on Constraint Programming, CP, 2022.

PDF Code

Engineering an Efficient Boolean Functional Synthesis Engine.

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.

Formal Methods in Computer-Aided Design, FMCAD, 2021.

PDF Code Slides Video

Program Synthesis as Dependency Quantified Formula Modulo Theory.

30th International Joint Conference on Artificial Intelligence,IJCAI, 2021.

PDF Code Poster Video

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

32nd International Conference on Computer-Aided Verification, CAV, 2020.

PDF Code Slides Video

Software

Manthan

Manthan: A Data-Driven Approach for Boolean Function Synthesis

Scalbarbarik

On Quantitative Testing of Samplers

DeQuS

Program Synthesis as Dependency Quantified Formula Modulo Theory

EntropyEstimation

A Scalable Shannon Entropy Estimator

CMSGen

Designing Samplers is Easy: The Boon of Testers