51 citations · 96 across the 12 of their papers we have counts for
13 papers
Fully Randomized Pointers
Sai Dhawal Phaye, Gregory J. Duck, Roland H. C. Yap +1
Memory errors continue to be a critical concern for programs written in low-level programming languages such as C and C++. Many different memory error defenses have been proposed,…
Fast Converging Anytime Model Counting
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Model counting is a fundamental problem which has been influential in many applications, from artificial intelligence to formal verification. Due to the intrinsic hardness of model…
Applying Deep Reinforcement Learning to the HP Model for Protein Structure Prediction
Kaiyuan Yang, Houjing Huang, Olafs Vandans +4
A central problem in computational biophysics is protein structure prediction, i.e., finding the optimal folding of a given amino acid sequence. This problem has been studied in a…
CCDD: A Tractable Representation for Model Counting and Uniform Sampling
Yong Lai, Kuldeep S. Meel, Roland H. C. Yap
Knowledge compilation concerns with the compilation of representation languages to target languages supporting a wide range of tractable operations arising from diverse areas of co…
Benchmarking Symbolic Execution Using Constraint Problems -- Initial Results
Sahil Verma, Roland H. C. Yap
Symbolic execution is a powerful technique for bug finding and program testing. It is successful in finding bugs in real-world code. The core reasoning techniques use constraint so…
Correlation Heuristics for Constraint Programming
Ruiwei Wang, Wei Xia, Roland H. C. Yap
Effective general-purpose search strategies are an important component in Constraint Programming. We introduce a new idea, namely, using correlations between variables to guide sea…