51 citations · 96 across the 12 of their papers we have counts for
4 papers · 1 filter
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…
Learning Robust Search Strategies Using a Bandit-Based Approach
Wei Xia, Roland H. C. Yap
Effective solving of constraint problems often requires choosing good or specific search heuristics. However, choosing or designing a good search heuristic is non-trivial and is of…
Shape Neutral Analysis of Graph-based Data-structures
Gregory J. Duck, Joxan Jaffar, Roland H. C. Yap
Malformed data-structures can lead to runtime errors such as arbitrary memory access or corruption. Despite this, reasoning over data-structure properties for low-level heap manipu…
An Extended Low Fat Allocator API and Applications
Gregory J. Duck, Roland H. C. Yap
The primary function of memory allocators is to allocate and deallocate chunks of memory primarily through the malloc API. Many memory allocators also implement other API extension…