Xiaokang Qiu, Ph.D.
Affiliations: | 2013 | Computer Science | University of Illinois, Urbana-Champaign, Urbana-Champaign, IL |
Area:
Computer ScienceGoogle:
"Xiaokang Qiu"Parents
Sign in to add mentor| Madhusudan Parthasarathy | grad student | 2013 | UIUC | |
| (Automatic techniques for proving correctness of heap-manipulating programs.) | ||||