Travelled to:
1 × USA
Collaborated with:
X.Feng Z.Shao Y.Guo
Talks about:
preemptiv (1) interrupt (1) program (1) hardwar (1) certifi (1) thread (1) level (1) low (1)
Person: Yuan Dong
DBLP: Dong:Yuan
Contributed to:
Wrote 1 papers:
- PLDI-2008-FengSDG #hardware #low level #source code #thread
- Certifying low-level programs with hardware interrupts and preemptive threads (XF, ZS, YD, YG), pp. 170–182.