Travelled to:1 × Germany
1 × India
1 × USA
Collaborated with:Z.Shao K.Zeng C.Angelov Y.C.0001 Z.Yang X.Feng Y.Dong R.Gu J.Koenig T.Ramananandro X.(.Wu S.Weng H.Zhang
Talks about:certifi (2) thread (2) race (2) preemptiv (1) interrupt (1) framework (1) abstract (1) program (1) hardwar (1) graphic (1)
Person: Yu Guo
DBLP: Guo:Yu
Contributed to:
2015
2010
2008
2017Wrote 4 papers:
- POPL-2015-GuKRSWWZG #abstraction #specification
- Deep Specifications and Certified Abstraction Layers (RG, JK, TR, ZS, X(W, SCW, HZ, YG), pp. 595–608.
- DATE-2010-ZengGA #debugging #embedded #framework #visual notation
- Graphical Model Debugger Framework for embedded systems (KZ, YG, CA), pp. 87–92.
- 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.
- ESEC-FSE-2017-GuoCY #concurrent #detection #execution #named #thread
- AtexRace: across thread and execution sampling for in-house race detection (YG, YC0, ZY), pp. 315–325.