Travelled to:1 × USA
Collaborated with:C.Min S.Kashyap B.Lee T.Kim Pan Zhang H.Yin D.Zou E.Shi H.J.0001 D.Mu W.Guo A.Cuevas Y.Chen J.Gai X.Xing B.Mao
Talks about:execut (2) effici (2) network (1) klotski (1) correct (1) control (1) channel (1) analysi (1) against (1) system (1)
Person: Chengyu Song
DBLP: Song:Chengyu
Contributed to:
2015
2019
2020Wrote 3 papers:
- SOSP-2015-MinKLSK #correctness #debugging #file system #semantics
- Cross-checking semantic correctness: the case of finding file system bugs (CM, SK, BL, CS, TK), pp. 361–377.
- ASE-2019-MuGCCGXMS #alias #analysis #execution #named #performance
- RENN: Efficient Reverse Execution with Neural-Network-Assisted Alias Analysis (DM, WG, AC, YC, JG, XX, BM, CS), pp. 924–935.
- ASPLOS-2020-ZhangSYZS0 #execution #named #obfuscation #performance
- Klotski: Efficient Obfuscated Execution against Controlled-Channel Attacks (PZ, CS, HY, DZ, ES, HJ0), pp. 1263–1276.