Browsing by Author Xing, Yue
Showing results 1 to 1 of 1
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Nov-2018 | A formal instruction-level GPU model for scalable verification | Xing, Yue; Huang, Bo-Yuan; Gupta, Aarti; Malik, Sharad |