Zhijia Zhao

Registered user since Fri 12 Sep 2014

Name:Zhijia Zhao
Affiliation:University of California at Riverside
Research interests:Programming system support for parallelism, especially for automata, graph, and tree-based computations; Program analysis and software reliability

Contributions