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
Nov 16, 2022 2:15 PM
Excited to attend a fully packed FLoC-22
. We will be presenting:
Aug 1, 2022 1:15 PM
Happy to present first in-person tutorial :) We will be talking about automated synthesis
Jul 24, 2022 2:15 PM
I am attending Highlights of Logic, Games and Automata
. 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.
Jun 27, 2022 2:15 PM
Our work on A Scalable Shannon Entropy Estimator is accepted to CAV-22.
We propose the first efficient algorithmic technique to estimate the Shannon entropy of a specification with PAC-style guarantees, i.e., the computed estimate is guaranteed to lie within a (1 ± ε)-factor of the ground truth with confidence >= 1−δ.
Joint work with: Brendan Juba and Kuldeep S. Meel
May 9, 2022 1:15 PM
Our work On Quantitative Testing of Samplers has been accepted to CP-22.
We design a computational hardness-based tester, called ScalBarbarik. ScalBarbarik provides a qunatitative way to analysis the quality of a sampler.
Joint work with: Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
May 8, 2022 1:15 PM