Kuldeep S. Meel

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 160

Top Venues

Publications

Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
On Approximating Total Variation Distance. IJCAI (2023)
Kuldeep S. Meel, Sourav Chakraborty, Umang Mathur
A faster FPRAS for #NFA. CoRR (2023)
Antoine Amarilli, Timothy van Bremen, Kuldeep S. Meel
Conjunctive Queries on Probabilistic Graphs: The Limits of Approximability. CoRR (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
Scalable Probabilistic Routes. CoRR (2023)
Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya
Constraint Optimization over Semirings. CoRR (2023)
Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Support Size Estimation: The Power of Conditioning. MFCS (2023)
Ansuman Banerjee, Shayak Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar, Sayantan Sen
Testing of Horn Samplers. AISTATS (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. SAT (2023)
Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel
Distinct Elements in Streams: An Algorithm for the (Text) Book. CoRR (2023)
Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel
Solving the Identifying Code Set Problem with Grouped Independent Support. IJCAI (2023)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
Total Variation Distance Estimation Is as Easy as Probabilistic Inference. CoRR (2023)
Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel, Maciej Obremski
Engineering an Efficient Approximate DNF-Counter. IJCAI (2023)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Synthesis with Explicit Dependencies. DATE (2023)
Gunjan Kumar, Kuldeep S. Meel, Yash Pote
Tolerant Testing of High-Dimensional Samplers with Subcube Conditioning. CoRR (2023)
A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
Model Counting Meets Distinct Elements. Commun. ACM 66 (9) (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
Scalable Probabilistic Routes. LPAR (2023)
Jiong Yang, Kuldeep S. Meel
Rounding Meets Approximate Model Counting. CoRR (2023)
Yash Pote, Kuldeep S. Meel
On Scalable Testing of Samplers. CoRR (2023)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Synthesis with Explicit Dependencies. CoRR (2023)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, A. Pavan, N. V. Vinodchandran
Total Variation Distance Estimation Is as Easy as Probabilistic Inference. Electron. Colloquium Comput. Complex. (2023)
A. Pavan, N. Variyam Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
Estimation. ACM Trans. Database Syst. 48 (3) (2023)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Fast Converging Anytime Model Counting. AAAI (2023)
Mohimenul Kabir, Kuldeep S. Meel
A Fast and Accurate ASP Counting Based Network Reliability Estimator. LPAR (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
Scalable Probabilistic Routes. ENIGMA@KR (2023)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
"How Biased are Your Features?": Computing Fairness Influence Functions with Global Sensitivity Analysis. FAccT (2023)
Suwei Yang, Victor C. Liang, Kuldeep S. Meel
INC: A Scalable Incremental Weighted Sampler. CoRR (2023)
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Approximate Model Counting: Is SAT Oracle More Powerful Than NP Oracle? ICALP (2023)
Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel
Exact ASP Counting with Compact Encodings. CoRR (2023)
Suwei Yang, Kuldeep S. Meel
Engineering an Exact Pseudo-Boolean Model Counter. CoRR (2023)
Kuldeep S. Meel
Distribution Testing: The New Frontier for Formal Methods. FMCAD (2023)
Jiong Yang, Arijit Shaw, Teodora Baluta, Mate Soos, Kuldeep S. Meel
Explaining SAT Solving Using Causal Reasoning. CoRR (2023)
Aduri Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya
Constraint Optimization over Semirings. AAAI (2023)
Kuldeep S. Meel, Supratik Chakraborty, S. Akshay
Auditable Algorithms for Approximate Model Counting. CoRR (2023)
Jiong Yang, Kuldeep S. Meel
Rounding Meets Approximate Model Counting. CAV (2) (2023)
Timothy van Bremen, Kuldeep S. Meel
Probabilistic Query Evaluation: The Combined FPRAS Landscape. PODS (2023)
Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel
Solving the Identifying Code Set Problem with Grouped Independent Support. CoRR (2023)
Arijit Shaw, Brendan Juba, Kuldeep S. Meel
An Approximate Skolem Function Counter. CoRR (2023)
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle? CoRR (2023)
Yacine Izza, Kuldeep S. Meel, João Marques-Silva
Locally-Minimal Probabilistic Explanations. CoRR (2023)
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
A Scalable t-wise Coverage Estimator. ICSE (2022)
A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
Model Counting Meets Distinct Elements in a Data Stream. SIGMOD Rec. 51 (1) (2022)
Mate Soos, Kuldeep S. Meel
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. ICCAD (2022)
Kuldeep S. Meel
Counting, Sampling, and Synthesis: The Quest for Scalability. IJCAI (2022)
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
A Scalable Shannon Entropy Estimator. CAV (1) (2022)
Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
Efficient Learning of Interpretable Classification Rules. CoRR (2022)
Kuldeep S. Meel, Sourav Chakraborty, N. V. Vinodchandran
Estimation of the Size of Union of Delphic Sets: Achieving Independence from Stream Size. PODS (2022)
Remi Delannoy, Kuldeep S. Meel
On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. LICS (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Fast Converging Anytime Model Counting. CoRR (2022)
Priyanka Golia, Brendan Juba, Kuldeep S. Meel
A Scalable Shannon Entropy Estimator. CoRR (2022)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
CCDD: A Tractable Representation for Model Counting and Uniform Sampling. CoRR (2022)
Mohimenul Kabir, Flavio O. Everardo, Ankit K. Shukla, Markus Hecher, Johannes Klaus Fichte, Kuldeep S. Meel
ApproxASP - a Scalable Approximate Answer Set Counter. AAAI (2022)
Mate Soos, Priyanka Golia, Sourav Chakraborty, Kuldeep S. Meel
On Quantitative Testing of Samplers. CP (2022)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, Dimitrios Myrisiotis, Aduri Pavan, N. V. Vinodchandran
On Approximating Total Variation Distance. CoRR (2022)
Sourav Chakraborty, N. V. Vinodchandran, Kuldeep S. Meel
Distinct Elements in Streams: An Algorithm for the (Text) Book. ESA (2022)
Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
Efficient Learning of Interpretable Classification Rules. J. Artif. Intell. Res. 74 (2022)
Suwei Yang, Victor Liang, Kuldeep S. Meel
INC: A Scalable Incremental Weighted Sampler. FMCAD (2022)
Diptarka Chakraborty, Gunjan Kumar, Kuldeep S. Meel
Support Size Estimation: The Power of Conditioning. CoRR (2022)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
How Biased is Your Feature?: Computing Fairness Influence Functions with Global Sensitivity Analysis. CoRR (2022)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
Algorithmic Fairness Verification with Graphical Models. AAAI (2022)
Aditya A. Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, João Marques-Silva, Moshe Y. Vardi
Constraint-Driven Explanations for Black-Box ML Models. AAAI (2022)
Yash Pote, Kuldeep S. Meel
On Scalable Testing of Samplers. NeurIPS (2022)
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
Projected Model Counting: Beyond Independent Support. ATVA (2022)
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
Predicting Forest Fire Using Remote Sensing Data And Machine Learning. AAAI (2021)
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
The Power of Literal Equivalence in Model Counting. AAAI (2021)
Gilles Pesant, Kuldeep S. Meel, Mahshid Mohammadalitajrishi
On the Usefulness of Linear Modular Arithmetic in Constraint Programming. CPAIOR (2021)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification For Deep Neural Networks. ICSE (2021)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Program Synthesis as Dependency Quantified Formula Modulo Theory. CoRR (2021)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
Algorithmic Fairness Verification with Graphical Models. CoRR (2021)
Nicolas Prevot, Mate Soos, Kuldeep S. Meel
Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. SAT (2021)
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
Engineering an Efficient Boolean Functional Synthesis Engine. CoRR (2021)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Program Synthesis as Dependency Quantified Formula Modulo Theory. IJCAI (2021)
Aduri Pavan, N. V. Vinodchandran, Arnab Bhattacharya, Kuldeep S. Meel
Estimation. PODS (2021)
Mate Soos, Kuldeep S. Meel
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling. CoRR (2021)
Yash Pote, Kuldeep S. Meel
Testing Probabilistic Circuits. CoRR (2021)
Kuldeep S. Meel, N. V. Vinodchandran, Sourav Chakraborty
Estimating the Size of Union of Sets in Streaming Models. PODS (2021)
Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel
Symmetric Component Caching for Model Counting on Combinatorial Instances. AAAI (2021)
Suwei Yang, Massimo Lupascu, Kuldeep S. Meel
Predicting Forest Fire Using Remote Sensing Data And Machine Learning. CoRR (2021)
Durgesh Agrawal, Yash Pote, Kuldeep S. Meel
Partition Function Estimation: A Quantitative Study. CoRR (2021)
Mate Soos, Kuldeep S. Meel
Gaussian Elimination Meets Maximum Satisfiability. KR (2021)
Jiong Yang, Supratik Chakraborty, Kuldeep S. Meel
Projected Model Counting: Beyond Independent Support. CoRR (2021)
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy, Kuldeep S. Meel
Engineering an Efficient Boolean Functional Synthesis Engine. ICCAD (2021)
Durgesh Agrawal, Yash Pote, Kuldeep S. Meel
Partition Function Estimation: A Quantitative Study. IJCAI (2021)
Yash Pote, Kuldeep S. Meel
Testing Probabilistic Circuits. NeurIPS (2021)
Jaroslav Bendík, Kuldeep S. Meel
Counting Minimal Unsatisfiable Subsets. CAV (2) (2021)
Jiong Yang, Kuldeep S. Meel
Engineering an Efficient PB-XOR Solver. CP (2021)
Priyanka Golia, Mate Soos, Sourav Chakraborty, Kuldeep S. Meel
Designing Samplers is Easy: The Boon of Testers. FMCAD (2021)
Aduri Pavan, N. V. Vinodchandran, Arnab Bhattacharyya, Kuldeep S. Meel
Model Counting meets F0 Estimation. CoRR (2021)
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel, Prateek Saxena
Scalable Quantitative Verification for Deep Neural Networks. ICSE (Companion Volume) (2021)
Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel
Justicia: A Stochastic SAT Approach to Formally Verify Fairness. AAAI (2021)
Jaroslav Bendík, Kuldeep S. Meel
Counting Maximal Satisfiable Subsets. AAAI (2021)
Kuldeep S. Meel, S. Akshay
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice. LICS (2020)
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S. Meel, N. V. Vinodchandran
Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning. NeurIPS (2020)
Kuldeep S. Meel, Yash Pote, Sourav Chakraborty
On Testing of Samplers. NeurIPS (2020)
A. Dileep, Kuldeep S. Meel, Ammar F. Sabili
Induction Models on N. LPAR (2020)
Mate Soos, Stephan Gocht, Kuldeep S. Meel
Tinted, Detached, and Lazy CNF-XOR Solving and Its Applications to Counting and Sampling. CAV (1) (2020)
Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel
Taming Discrete Integration via the Boon of Dimensionality. CoRR (2020)
A. Dileep, Kuldeep S. Meel, Ammar F. Sabili
Induction Models on \mathbb{N}. CoRR (2020)
Eduard Baranov, Axel Legay, Kuldeep S. Meel
Baital: an adaptive weighted sampling approach for improved t-wise coverage. ESEC/SIGSOFT FSE (2020)
Priyanka Golia, Subhajit Roy, Kuldeep S. Meel
Manthan: A Data Driven Approach for Boolean Function Synthesis. CoRR (2020)
Bishwamittra Ghosh, Dmitry Malioutov, Kuldeep S. Meel
Classification Rules in Relaxed Logical Form. ECAI (2020)

Kuldeep S. Meel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kuldeep S. Meel