Travelled to:
1 × The Netherlands
1 × USA
Collaborated with:
Z.Qi W.Binder R.Xin S.Huang Y.Zheng Y.Wang H.Guan
Talks about:
program (1) flexibl (1) concurr (1) runtim (1) extens (1) assist (1) verif (1) studi (1) empir (1) autom (1)
Person: Chengcheng Xiang
DBLP: Xiang:Chengcheng
Contributed to:
Wrote 2 papers:
- SEKE-2015-XiangQB #flexibility #java #runtime #verification
- Flexible and Extensible Runtime Verification for Java (CX, ZQ, WB), pp. 595–600.
- ICSM-2013-XinQHXZWG #concurrent #empirical #source code
- An Automation-Assisted Empirical Study on Lock Usage for Concurrent Programs (RX, ZQ, SH, CX, YZ, YW, HG), pp. 100–109.