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>