• Memory errors are still one of the main causes of software vulnerabilities and bugs. Low-Fat bounds checking is a new approach for detecting spatial memory errors (bounds errors) using a novel pointer representation, low-fat pointers
  • Effective solving of constraint problems often requires designing specific or choosing good search heuristics. Thus, developing general-purpose search strategies is an important component in Constraint Programming.
  • 1
  • 2