Travelled to:
1 × China
Collaborated with:
F.Yu F.Wang G.Chen C.Chan
Talks about:
parallel (1) program (1) consist (1) symbol (1) check (1) open (1)
Person: Shun-Ching Yang
DBLP: Yang:Shun=Ching
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.