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 × Canada
1 × Korea
1 × Portugal
1 × USA
Collaborated with:
M.Das P.Gohari D.Dhurjati H.Hampapuram G.Gopalakrishnan H.Sivaraj
Talks about:
path (3) dataflow (2) analysi (2) sensit (2) supervisori (1) discret (1) control (1) system (1) symbol (1) memori (1)

Person: Yue Yang


Contributed to:

SAS 20062006
CASE 20052005
PASTE 20052005
CAV 20042004

Wrote 4 papers:

SAS-2006-DhurjatiDY #analysis #data flow #refinement
Path-Sensitive Dataflow Analysis with Iterative Refinement (DD, MD, YY), pp. 425–442.
CASE-2005-0001G #embedded
Embedded supervisory control of discrete-event systems (YY, PG), pp. 410–415.
PASTE-2005-HampapuramYD #analysis #data flow #simulation
Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.
CAV-2004-GopalakrishnanYS #execution #memory management #order #performance #verification
QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings (GG, YY, HS), pp. 401–413.

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.