GAIN: GPU-Based Constraint Checking for Context Consistency.

Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu

Browse the full APSEC paper archive.