Travelled to:2 × USA
Collaborated with:B.Blackham G.Heiser S.Park Z.Yin S.Lu Y.Zhou W.Chen W.Zheng
Talks about:use (3) definit (2) sequenti (1) properti (1) concurr (1) verifi (1) invari (1) formal (1) detect (1) wrong (1)
Person: Yao Shi
DBLP: Shi:Yao
Contributed to:
20132010Wrote 2 papers:
- OOPSLA-2013-ShiBH #optimisation #using
- Code optimizations using formally verified properties (YS, BB, GH), pp. 427–442.
- OOPSLA-2010-ShiPYLZCZ #concurrent #debugging #detection #invariant
- Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs (YS, SP, ZY, SL, YZ, WC, WZ), pp. 160–174.