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 × Italy
Collaborated with:
Y.Vizel P.Subramanyan A.Gupta S.Malik Q.Gao Y.Xiong Y.Mi L.Zhang Z.Zhou B.Xie H.Mei
Talks about:
composit (1) program (1) memori (1) verif (1) secur (1) self (1) safe (1) leak (1) lazi (1) fix (1)

Person: Weikun Yang

DBLP DBLP: Yang:Weikun

Contributed to:

ICSE 20152015
CAV (2) 20182018

Wrote 2 papers:

ICSE-v1-2015-GaoXMZYZXM #c #source code
Safe Memory-Leak Fixing for C Programs (QG, YX, YM, LZ, WY, ZZ, BX, HM), pp. 459–470.
CAV-2018-YangVSGM #composition #lazy evaluation #security #self #verification
Lazy Self-composition for Security Verification (WY, YV, PS, AG, SM), pp. 136–156.

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.