Registered user since Thu 7 Dec 2017
Name:Cheng Cai
Affiliation:University of California, Irvine
Personal website:https://www.linkedin.com/in/cheng-cai-82754571/
Research interests:Programming analysis, Big data systems
Contributions
| PLDI 2018 | Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2018-profile
View general profile
View general profile