WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking.

Santosh Nagarakatte Milo M. K. Martin Steve Zdancewic

Published in: CGO (2014)

Keyphrases

data structure
general purpose
programming language
consistency checking
software systems
distributed memory machines
highly optimized
real time
data sets
learning algorithm
artificial intelligence
case study
bayesian networks
constraint language