82 citations · 369 across the 63 of their papers we have counts for
4 papers · 1 filter
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…
Distribution-Aware Sampling and Weighted Model Counting for SAT
Supratik Chakraborty, Daniel J. Fremont, Kuldeep S. Meel +2
Given a CNF formula and a weight for each assignment of values to variables, two natural problems are weighted model counting and distribution-aware sampling of satisfying assignme…
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…