Priyanka
Priyanka
Home
CV
News
Publications
Software
Teaching
Light
Dark
Automatic
Happy to present first in-person tutorial :) We will be talking about <a href="ijcai22-tutorial/index.html">automated synthesis</a> at IJCAI-22.
Date
Jul 24, 2022 2:15 PM
Priyanka Golia
Assistant ProfessorChandruka New Faculty FellowEmail:
pgolia@cse.iitd.ac.in
Research Statement
Next
Excited to attend a fully packed <a href = "https://www.floc2022.org/">FLoC-22</a>. We will be presenting:<br> <ul> <li> <a href="files/slides/qbf_workshop.pdf"> A data-driven approach for Boolean functional synthesis </a> at QBF workshop. </li> <li> <a href="files/slides/dpcp.pdf">Boolean functional synthesis and its applications </a> at CP doctoral program.</li> <li><a href="files/slides/fmcad21.pdf">Designing sampler is easy: the boon of testers </a> at Model counting workshop.</li> <li> <a href="files/publications/cp22_shakuni.pdf">On quantitative testing of sampler </a> at CP 2022.</li> <li> <a href="files/publications/cav-22-entropy.pdf">A scalable Shannon entropy estimator </a> at CAV 2022.</li></ul>
Previous
I am attending <a href="https://highlights-conference.org/2022/">Highlights of Logic, Games and Automata</a>. I will be talking about our work on program synthesis as dependency quantified formulas. Also, looking forward to visit Pierre Marquis and Daniel Le Berre as a part of Highlights Extended Stay Program.
Cite
×
