Priyanka
Priyanka
Home
CV
News
Publications
Software
Teaching
Light
Dark
Automatic
I will be visiting Daniel Neider (MPI-SWS), Armin Biere (University of Freiburg) in two weeks from now! Hoping to visit CISPA as well to meet Bernd Finkbeiner.
Date
Oct 8, 2021 1:15 PM
Priyanka Golia
Assistant ProfessorChandruka New Faculty FellowEmail:
pgolia@cse.iitd.ac.in
Bharti 415, CSE, IITD
Research Statement
Next
<b>Our paper on Engineering an Efficient Boolean Functional Synthesis Engine has received the best paper nomination at ICCAD 21</b>
Previous
<b>Our paper Engineering an Efficient Boolean Functional Synthesis Engine has been accepted to <a href="https://www.iccad.com/index.php">ICCAD 2021</a>.</b> <br> The work addresses scalability barriers faced by the current state-of-the-art synthesis techniques. We propose four algorithmic improvements for a data-driven framework for functional synthesis.<br> Joint work with: Friedrich Slivovsky, Subhajit Roy and Kuldeep S. Meel<br>
Cite
×
