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: Yang:Weikun
Contributed to:
2015
2018Wrote 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.