BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

POPL 20152015
DATE 20102010
PLDI 20082008
ESEC/FSE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.