Registered user since Fri 12 Sep 2014

Name: Zhijia Zhao

Affiliation: University of California at Riverside

Personal website: http://www.cs.ucr.edu/~zhijia/

Research interests: Programming system support for parallelism, especially for automata, graph, and tree-based computations; Program analysis and software reliability

Contributions