Travelled to:
1 × China
Collaborated with:
F.Yu S.Yang F.Wang C.Chan
Talks about:
parallel (1) program (1) consist (1) symbol (1) check (1) open (1)
Person: Guan-Cheng Chen
DBLP: Chen:Guan=Cheng
Contributed to:
Wrote 1 papers:
- LCTES-2012-YuYWCC #consistency #parallel #source code
- Symbolic consistency checking of OpenMp parallel programs (FY, SCY, FW, GCC, CCC), pp. 139–148.