FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Zhijia Zhao

Registered user since Fri 12 Sep 2014

Name:Zhijia Zhao
Country:United States
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

Show activities from other conferences

ICSE 2023-profile
View general profile