Priyanka
Priyanka
Home
CV
News
Publications
Software
Teaching
Light
Dark
Automatic
<b>Excited to announce that I will presenting a talk on synthesis at the <a href="https://esslli2021.unibz.it/">32nd, European Summer School in Logic, Language, and Information</a>.</b>
Date
Jul 1, 2021 2:15 PM
Priyanka Golia
Assistant ProfessorChandruka New Faculty FellowEmail:
pgolia@cse.iitd.ac.in
Bharti 415, CSE, IITD
Research Statement
Next
<b>Our paper Designing Samplers is Easy: The Boon of Testers has been accepted to <a href="https://fmcad.org/FMCAD21/">FMCAD 2021</a>.</b> <br> Our Sampler not only passes the tests of Barbarik but also leads to significant performance improvements for real-world instances. <br> Joint work with: Mate Soos, Sourav Chakraborty, Kuldeep S. Meel<br>
Previous
<b>Our paper on Program Synthesis as Dependency Quantified Formula Modulo Theory has been accepted to <a href="https://ijcai-21.org/">IJCAI 2021</a>.</b> <br>We show that theory-constrained synthesis can be reduced DQF(T), i.e., to the problem of finding a witness of a dependency quantified formula modulo theory. <br> Joint work with: Subhajit Roy and Kuldeep S. Meel<br>
Cite
×
