Kuldeep S. Meel's Publications

Contents: Full publication list, organized by

Research Topic (default, see below)
Year
Publication Type

(Papers listed in reverse chronological order under each heading)

Classified by Publication Type

Change Classification Category:

• Award Winner • Book Chapter/Thesis • Refereed Conference • Journal • Workshop •

Award Winner

Synthesis with Explicit Dependencies.
Priyanka Golia, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of Design, Automation, and Test in Europe(DATE), April 2023.
Best Paper Award Nomination
Details BibTeX Download: [pdf]

Engineering an Efficient Boolean Functional Synthesis Engine.
Priyanka Golia, Friedrich Slivovsky, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), November 2021.
Best Paper Award Nomination
Details BibTeX Download: [pdf]

Model Counting meets F0 Estimation.
A. Pavan ⓡ N.V. Vinodchandran ⓡ Arnab Bhattacharya ⓡ Kuldeep S. Meel.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2021.
CACM Research Highlight and 2021 ACM SIGMOD Research Highlight
Details BibTeX Download: [pdf]

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting.
Kuldeep S. Meel, Aditya A. Shrotri and Moshe Y. Vardi.
In Proceedings of International Conference on Constraint Programming (CP), August 2018.
Invited to Sister Conferences Best Paper Track at IJCAI-19
Details BibTeX Download: [pdf]

On Computing Minimal Independent Support and Its Applications to Sampling and Counting.
Alexander Ivrii, Sharad Malik, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Conference on Constraint Programming (CP), September 2015.
Best Student Paper Award
Details BibTeX Download: [pdf]

A Scalable Approximate Model Counter.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Conference on Constraint Programming (CP), pp. 200–216, September 2013.
Selected for CP 25th Anniversary Volume
Details BibTeX Download: [pdf]

Book Chapter/Thesis

Approximate Model Counting.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh, editors, Handbook of Satisfiability - Second Edition, Frontiers in Artificial Intelligence and Applications, pp. 1015–1045, IOS Press, 2021.
Details BibTeX Download: [pdf]

Constrained counting and sampling: bridging the gap between theory and practice.
Kuldeep S. Meel.
Ph.D. Thesis, Rice University, 2018.
Winner of 2018 Ralph Budd Award for Best Engineering Thesis and Honorable mention, 2018 ACP Doctoral Dissertation Award
Details BibTeX Download: [pdf]

Sampling techniques for boolean satisfiability.
Kuldeep S. Meel.
Master's Thesis, Rice University,2014.
Winner of 2014 VCLA (Vienna Center of Logic and Algorithms) Outstanding Masters Thesis
Details BibTeX Download: [pdf]

Refereed Conference

Engineering an Efficient Approximate DNF-Counter.
Mate Soos, Divesh Aggarwal, Sourav Chakraborty, Kuldeep S. Meel and Maciej Obremski.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2023.
Details BibTeX Download: (unavailable)

Solving the Identifying Code Set Problem with Grouped Independent Support.
Anna Latour, Arunabha Sen and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2023.
Details BibTeX Download: (unavailable)

On Approximating Total Variation Distance.
Arnab Bhattacharyya, Sutanu Gayen, Kuldeep S Meel, Dimitrios Myrisiotis, Pavan A. and N. V. Vinodchandran.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2023.
Details BibTeX Download: (unavailable)

Approximate Model Counting: Is SAT Oracle More Powerful than NP Oracle?.
Diptarka Chakraborty, Sourav Chakraborty, Gunjan Kumar and Kuldeep S. Meel.
In Proceedings of EATCS International Colloquium on Automata, Languages and Programming (ICALP), July 2023.
Details BibTeX Download: [HTML]

Probabilistic Query Evaluation: the Combined FPRAS Landscape.
Timothy van Bremen, and Kuldeep S. Meel.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2023.
Details BibTeX Download: [HTML]

On Testing of Horn Samplers.
Ansuman Banerjee, Shayak, Chakraborty, Sourav Chakraborty, Kuldeep S. Meel, Uddalok Sarkar and Sayantan Sen.
In Proceedings of International Conference on Artificial Intelligence and Statistics (AISTATS), April 2023.
Details BibTeX Download: [HTML]

Constraint Optimization over Semirings.
A. Pavan ⓡ Kuldeep S. Meel ⓡ N. V. Vinodchandran ⓡ Arnab Bhattacharyya.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2023.
Details BibTeX Download: [pdf]

Fast Converging Anytime Model Counting.
Yong Lai, Kuldeep S. Meel and Roland Yap.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2023.
Details BibTeX Download: [pdf]

Rounding meets Approximate Model Counting.
Jiong Yang, and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), 7 2023.
Details BibTeX Download: (unavailable)

A scalable tester for samplers.
Yash Pote ⓡ Kuldeep S. Meel.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), November 2022.
Details BibTeX Download: [pdf]

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling.
Mate Soos, and Kuldeep S. Meel.
In Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), November 2022.
Details BibTeX Download: [pdf]

INC: A Scalable Incremental Weighted Sampler.
Suwei Yang, and Kuldeep S. Meel.
In Proceedings of Formal Methods in Computer-Aided Design (FMCAD), October 2022.
Details BibTeX Download: [pdf]

Projected Model Counting: Beyond Independent Support.
Jiong Yang, Supratik Chakraborty and Kuldeep S. Meel.
In Proceedings of International Symposium on Automated Technology for Verification and Analysis (ATVA), October 2022.
Details BibTeX Download: [pdf]

Distinct Elements in Streams: An Algorithm for the (Text) Book.
Sourav Chakraborty ⓡ N. V. Vinodchandran ⓡ Kuldeep S. Meel.
In Proceedings of European Symposium of Algorithms (ESA), August 2022.
Details BibTeX Download: [pdf]

A Scalable Shannon Entropy Estimator.
Priyanka Golia, Brendan Juba and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), August 2022.
Details BibTeX Download: [pdf]

On Quantitative Testing of Uniform Samplers.
Mate Soos, Priyanka Golia, Sourav Chakraborty and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), August 2022.
Details BibTeX Download: [pdf]

On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing.
Remi Delannoy, and Kuldeep S. Meel.
In Proceedings of Logic in Computer science (LICS), August 2022.
Details BibTeX Download: [pdf]

Counting, Sampling, and Synthesis: The Quest for Scalability.
Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2022.
Details BibTeX Download: [pdf]

Estimation of the Size of Union of Delphic Sets: Achieving Independence from Stream Size.
Kuldeep S. Meel ⓡ Sourav Chakraborty ⓡ N.V. Vinodchandran.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2022.
Details BibTeX Download: [pdf]

A Scalable t-wise Coverage Estimator.
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel and N.V. Vinodchandran.
In Proceedings of International Conference on Software Engineering (ICSE), May 2022.
Details BibTeX Download: [pdf]

Algorithmic Fairness Verification with Graphical Models.
Bishwamittra Ghosh, Debabrota Basu and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2022.
Details BibTeX Download: [pdf]

ApproxASP - A Scalable Approximate Answer Set Counter.
Mohimenul Kabir, Flavio Everardo, Ankit K. Shukla, Markus Hecher, Johannes Fichte and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2022.
Details BibTeX Download: [pdf]

Constraint-Driven Explanations of Black-Box ML Models.
Aditya Shrotri, Nina Narodytska, Alexey Ignatiev, Kuldeep S. Meel, Joao Marques-Silva and Vardi,Moshe Y. .
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2022.
Details BibTeX Download: [pdf]

Testing Probabilistic Circuits.
Yash Pote, and Kuldeep S. Meel.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2021.
Details BibTeX Download: [pdf]

Gaussian Elimination meets Maximum Satisfiability.
Mate Soos, and Kuldeep S. Meel.
In Proceedings of International Conference on Knowledge Representation and Reasoning (KR), November 2021.
Details BibTeX Download: [pdf]

Designing Samplers is Easy: The Boon of Testers.
Priyanka Golia, Mate Soos, Sourav Chakraborty and Kuldeep S. Meel.
In Proceedings of Formal Methods in Computer-Aided Design (FMCAD), October 2021.
Details BibTeX Download: [pdf]

Engineering an Efficient PB-XOR Solver.
Jiong Yang, and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), September 2021.
Details BibTeX Download: [pdf]

Program Synthesis as Dependency Quantified Formula Modulo Theory.
Priyanka Golia, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2021.
Details BibTeX Download: [pdf]

Partition Function Estimation: A Quantitative Study.
Durgesh Agrawal, Yash Pote and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2021.
Details BibTeX Download: [pdf]

Counting Minimal Unsatisfiable Subsets.
Jaroslav Bendik, and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2021.
Details BibTeX Download: [pdf]

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving.
Nicolas Prevot, Mate Soos and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), July 2021.
Details BibTeX Download: [pdf]

On the Usefulness of Linear Modular Arithmetic in Constraint Programming.
Gilles Pesant, Kuldeep S. Meel and Mahshid Mohammadalitajrishi.
In Proceedings of International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR), July 2021.
Details BibTeX Download: [pdf]

Estimating the Size of Unions of Sets in Streaming Models.
Kuldeep S. Meel ⓡ N.V. Vinodchandran ⓡ Sourav Chakraborty.
In Proceedings of ACM Symposium on Principles of Database Systems (PODS), June 2021.
Details BibTeX Download: [pdf]

Scalable Quantitative Verification For Deep Neural Networks.
Teodora Baluta, Zheng Leong Chua, Kuldeep S. Meel and Prateek Saxena.
In Proceedings of International Conference on Software Engineering (ICSE), May 2021.
Details BibTeX Download: [pdf]

The Power of Literal Equivalence in Model Counting.
Yong Lai, Kuldeep S. Meel and Roland Yap.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details BibTeX Download: [pdf]

Symmetric Component Caching for Model Counting on Combinatorial Instances.
Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details BibTeX Download: [pdf]

Counting Maximal Satisfiable Subsets.
Jaroslav Bendik, and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details BibTeX Download: [pdf]

Predicting Forest Fire Using Remote Sensing Data And Machine Learning.
Suwei Yang, Lupascu,Massimo and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details BibTeX Download: [pdf]

Justicia: A Stochastic SAT Approach to Formally Verify Fairness.
Bishwamittra Ghosh, Debabrota Basu and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2021.
Details BibTeX Download: [pdf]

Efficient Distance Approximation for Structured High-Dimensional Distributions via Learning.
Arnab Bhattacharyya, Gayen,Sutanu, Kuldeep S. Meel and N. V. Vinodchandran.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2020.
Details BibTeX Download: [HTML]

Taming Discrete Integration via the Boon of Dimensionality.
Jeffrey M. Dudek, Dror Fried and Kuldeep S. Meel.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2020.
Details BibTeX Download: [HTML]

On Testing of Samplers.
Kuldeep S. Meel ⓡ Yash Pote ⓡ Sourav Chakraborty.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2020.
Details BibTeX Download: [HTML]

Baital: An Adaptive Weighted Sampling Approach for Improved t-wise Coverage.
Eduard Baranov, Axel Legay and Kuldeep S. Meel.
In Proceedings of ACM Joint European Software Engineering Conference and Symposium on the Founda-tions of Software Engineering (ESEC/FSE), November 2020.
Details BibTeX Download: [pdf]

Phase Transition Behavior in Knowledge Compilation.
Rahul Gupta, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), September 2020.
Details BibTeX Download: [pdf]

Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice.
Kuldeep S. Meel ⓡ Akshay,S..
In Proceedings of Logic in Computer science (LICS), July 2020.
Details BibTeX Download: [pdf]

Designing New Phase Selection Heuristics.
Arijit Shaw, and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), July 2020.
Details BibTeX Download: [pdf]

On the Sparsity of XORs in Approximate Model Counting.
Durgesh Agrawal, Bhavishya and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), July 2020.
Details BibTeX Download: [pdf]

Tinted, Detached, and Lazy CNF-XOR solving and its Applications to Counting and Sampling.
Mate Soos, Stephan Gocht and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2020.
Details BibTeX Download: [pdf]

Manthan: A Data-Driven Approach for Boolean Function Synthesis.
Priyanka Golia, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2020.
Details BibTeX Download: [pdf]

Approximate Counting of Minimal Unsatisfiable Subsets.
Jaroslav Bendik, and Kuldeep S. Meel.
In Proceedings of International Conference on Computer-Aided Verification (CAV), July 2020.
Invited to FMSD issue dedicated to the best papers from CAV 2020
Details BibTeX Download: [pdf]

Classification Rules in Relaxed Logical Form.
Bishwamittra Ghosh, Dmitry Malioutov and Kuldeep S. Meel.
In Proceedings of European Conference on Artificial Intelligence(ECAI), June 2020.
Details BibTeX Download: [pdf]

Induction Models on N.
A. Dileep, Kuldeep S. Meel and Ammar F. Sabili.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), April 2020.
Details BibTeX Download: [pdf]

A Study of Symmetry Breaking Predicates and Model Counting.
Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel and Sarfraz Khurshid.
In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2020.
Details BibTeX Download: [pdf]

A MaxSAT-based Framework for Group Testing.
Lorenzo Ciampiconi, Bishwamittra Ghosh, Jonathan Scarlett and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2020.
Details BibTeX Download: [pdf]

Embedding Symbolic Knowledge into Deep Networks.
Yaqi Xie, Ziwei Xu, Kankanhalli,Mohan S., Meel,Kuldeep S. and Harold Soh.
In Proceedings of Advances in Neural Information Processing Systems(NeurIPS), December 2019.
Details BibTeX Download: [pdf]

Quantitative Verification of Neural Networks And its Security Applications.
Teodora Baluta, Shiqi Shen, Shine,Shweta, Kuldeep S. Meel and Prateek Saxena.
In Proceedings of ACM Conference on Computer and Communications Security (CCS), November 2019.
Details BibTeX Download: [pdf]

Dual Hashing-based Algorithms for Discrete Integration.
de Colnet,Alexis, and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), October 2019.
Details BibTeX Download: [pdf]

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting (Extended Abstract).
Kuldeep S. Meel, Aditya A. Shrotri and Moshe Y. Vardi.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2019.
Sister Conference Best Papers Track
Details BibTeX Download: [pdf]

Ganak: A Scalable Probabilistic Exact Model Counter .
Shubham Sharma, Subhajit Roy, Mate Soos and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2019.
Details BibTeX Download: [pdf]

Phase Transition Behavior of Cardinality and XOR Constraints .
Yash Pote, Saurabh Joshi and Kuldeep S. Meel.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2019.
Details BibTeX Download: [pdf]

CrystalBall: Gazing in the Black Box of SAT Solving.
Mate Soos, Raghav Kulkarni and Kuldeep S. Meel.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), July 2019.
Details BibTeX Download: [pdf]

Assessing Heuristic Machine Learning Explanations with Model Counting.
Nina Narodytska, Aditya Shrotri, Kuldeep S. Meel, Alexey Ignatiev and Joao Marques Silva.
In Proceedings of the International Conference on Theory and Applications of Satisfiability Testing (SAT), July 2019.
Details BibTeX Download: [pdf]

WAPS: Weighted and Projected Sampling.
Rahul Gupta, Shubham Sharma, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2019.
Details BibTeX Download: [pdf]

Bosphorus: Bridging ANF and CNF Solvers.
Davin Choo, Mate Soos, Kian Ming A. Chai and Kuldeep S. Meel.
In Proceedings of Design, Automation, and Test in Europe(DATE), March 2019.
Details BibTeX Download: [pdf]

BIRD: Engineering an Efficient CNF-XOR SAT Solver and its Applications to Approximate Model Counting.
Mate Soos, and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2019.
Details BibTeX Download: [pdf]

On testing of Uniform Samplers.
Sourav Chakraborty, and Kuldeep S. Meel.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2019.
Details BibTeX Download: [pdf]

On the Hardness of Probabilistic Inference Relaxations.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), January 2019.
Details BibTeX Download: [pdf]

IMLI: An Incremental Framework for MaxSAT-Based Learning of Interpretable Classification Rules.
Bishwamittra Ghosh, and Kuldeep S. Meel.
In Proceedings of AAAI/ACM Conference on AI, Ethics, and Society(AIES), January 2019.
Details BibTeX Download: [pdf]

Knowledge Compilation meets Uniform Sampling.
Shubham Sharma, Rahul Gupta, Subhajit Roy and Kuldeep S. Meel.
In Proceedings of International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR), November 2018.
Details BibTeX Download: [pdf]

MLIC: A MaxSAT-Based framework for learning interpretable classification rules.
Malioutov,Dmitry, and Kuldeep S. Meel.
In Proceedings of International Conference on Constraint Programming (CP), August 2018.
Details BibTeX Download: [pdf]

Scalable Approximation of Quantitative Information Flow in Programs.
Fabrizio Biondi, Michael Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel and Jean Quilbeuf.
In Proceedings of International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), January 2018.
Details BibTeX Download: [pdf]

On Hashing-Based Approaches to Approximate DNF-Counting.
Kuldeep S. Meel, Aditya A. Shrotri and Moshe Y. Vardi.
In Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), December 2017.
Details BibTeX Download: [pdf]

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas.
Jeffrey Dudek, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), August 2017.
Details BibTeX Download: [pdf]

Counting-Based Reliability Estimation for Power-Transmission Grids.
Leonardo Duenas-Osorio, Kuldeep S. Meel, Roger Paredes and Moshe Y. Vardi.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), February 2017.
Details BibTeX Download: [pdf]

Algorithmic Improvements in Approximate Counting for Probabilistic Inference: From Linear to Logarithmic SAT Calls.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2016.
Details BibTeX Download: [pdf]

Combining the k-CNF and XOR Phase-Transitions.
Jeffrey Dudek, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2016.
Details BibTeX Download: [pdf]

Approximate Probabilistic Inference via Word-Level Counting.
Supratik Chakraborty, Kuldeep S. Meel, Rakesh Mistry and Moshe Y. Vardi.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), June 2016.
Details BibTeX Download: [pdf]

Automatic Data Layout Generation and Kernel Mapping for CPU+GPU Architectures.
Deepak Majeti, Kuldeep S. Meel, Raj Barik and Vivek Sarkar.
In Proceedings of International Conference on Compiler Construction (CC), March 2016.
Details BibTeX Download: [pdf]

Design and Verification of Distributed Phasers.
Karthik, Murthy, Sri Raj, Paul, Kuldeep S., Meel, Tiago Cogumbreiro and John Mellor-Crummey.
In Proceedings of International European Conference on Parallel and Distributed Computing (Euro-Par), January 2016.
Details BibTeX Download: [pdf]

From Weighted to Unweighted Model Counting.
Supratik Chakraborty, Dror Fried, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI), July 2015.
Details BibTeX Download: [HTML]

On Parallel Scalable Uniform SAT Witness Generator.
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia and Moshe Y. Vardi.
In Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp. 304–319, April 2015.
Details BibTeX Download: [pdf]

ADHA: Automatic Data layout framework for Heterogeneous Architectures.
Deepak Majeti, Kuldeep S. Meel, Raj Barik and Vivek Sarkar.
In Proceedings of Parallel Architecture and Compilation Techniques (PACT), August 2014.
Details BibTeX Download: [pdf]

Distribution-Aware Sampling and Weighted Model Counting for SAT.
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel, Sanjit A. Seshia and Moshe Y. Vardi.
In Proceedings of AAAI Conference on Artificial Intelligence (AAAI), July 2014.
Details BibTeX Download: [pdf]

Balancing Scalability and Uniformity in SAT-Witness Generator.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of Design Automation Conference (DAC), pp. 60:1–60:6, June 2014.
Details BibTeX Download: [pdf]

A Scalable and Nearly Uniform Generator of SAT Witnesses.
Supratik Chakraborty, Kuldeep S. Meel and Moshe Y. Vardi.
In Proceedings of International Conference on Computer-Aided Verification (CAV), pp. 608–622, July 2013.
Details BibTeX Download: [pdf]

Journal

Efficient Learning of Interpretable Classification Rules
Bishwamittra Ghosh, Dmitry Malioutov and Kuldeep S. Meel.
Journal of Artificial Intelligence Research (JAIR), 74:1823–1863, September 2022.
Details BibTeX Download: [HTML]

Model Counting Meets Distinct Elements in a Data Stream
A. Pavan, N. V. Vinodchandran, Arnab Bhattacharyya and Kuldeep S. Meel.
SIGMOD Record, 51(1):87–94, June 2022.
Details BibTeX Download: [HTML]

Principled network reliability approximation: A counting-based approach.
Roger Paredes, Leonardo Duenas-Osorio, Kuldeep S. Meel and Moshe Y. Vardi.
Journal of Reliability Engineering and System Safety(RESS), November 2019.
Details BibTeX Download: [pdf]

Not All FPRASs are Equal: Demystifying FPRASs for DNF-Counting
Kuldeep S. Meel, Aditya A. Shrotri and Moshe Y. Vardi.
Constraints, August 2019.
Details BibTeX Download: [pdf]

On Computing Minimal Independent Support and Its Applications to Sampling and Counting
Alexander Ivrii, Sharad Malik, Kuldeep S. Meel and Moshe Y. Vardi.
Constraints, 21(1), September 2016.
Details BibTeX Download: [pdf]

Workshop

Constrained Sampling and Counting: Universal Hashing meets SAT Solving.
Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty, Daniel J. Fremont, Sanjit A. Seshia, Dror Fried, Alexander Ivrii and Sharad Malik.
In Proceedings of Workshop on Beyond NP(BNP), February 2016.
Details BibTeX Download: [pdf]

Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Fri May 19, 2023 02:12:14