Collaborated with:
Q.Zhang Z.Z.0002 K.Nguyen Guoqing Harry Xu Z.Su
Talks about:
constraint (1) translat (1) reachabl (1) context (1) refer (1) guid (1) call (1) cfl (1)
Person: Cheng Cai
DBLP: Cai:Cheng
Contributed to:
Wrote 1 papers:
- PLDI-2018-CaiZZNXS #constraints
- Calling-to-reference context translation via constraint-guided CFL-reachability (CC, QZ, ZZ0, KN, GHX, ZS), pp. 196–210.