82 citations · 97 across the 8 of their papers we have counts for
4 papers
Testing Probabilistic Circuits
Yash Pote, Kuldeep S. Meel
Probabilistic circuits (PCs) are a powerful modeling framework for representing tractable probability distributions over combinatorial spaces. In machine learning and probabilistic…
ADHA: Automatic Data layout framework for Heterogeneous Architectures
Deepak Majeti, Kuldeep S. Meel, Rajkishore Barik +1
Data layouts play a crucial role in determining the performance of a given application running on a given architecture. Existing parallel programming frameworks for both multicore…
Sampling Techniques for Boolean Satisfiability
Kuldeep S. Meel
Boolean satisfiability ({\SAT}) has played a key role in diverse areas spanning testing, formal verification, planning, optimization, inferencing and the like. Apart from the class…
Balancing Scalability and Uniformity in SAT Witness Generator
Supratik Chakraborty, Kuldeep S. Meel, Moshe Y. Vardi
Constrained-random simulation is the predominant approach used in the industry for functional verification of complex digital designs. The effectiveness of this approach depends on…