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 × 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 DBLP: Song:Chengyu

Contributed to:

SOSP 20152015
ASE 20192019
ASPLOS 20202020

Wrote 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.

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.