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
DBLP: Yang:Yue
Contributed to:
2006
2005
2005
2004Wrote 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.