Not registered as user yet

Name: Zhendong Su

Country: United States

Affiliation: University of California, Davis

Personal website: http://web.cs.ucdavis.edu/~su/

POPL 2017 Activities

• Author of Context-sensitive data dependence analysis via Linear Conjunctive Language Reachability within the POPL-track in POPL 2017
• Show activities from other conferences