成全在线播放视频在线播放,成全电影大全在线播放,三年成全免费观看大全第四集,三人成全免费观看电视剧高清一共多少集啊,成全电影大全免费观看完整版动漫,成全电影大全在线观看第二季

陸杰  副研究員  

研究方向:

所屬部門:處理器芯片重點(diǎn)實(shí)驗(yàn)室

導(dǎo)師類別:碩導(dǎo)

聯(lián)系方式:lujie@ict.ac.cn

個(gè)人網(wǎng)頁(yè):

簡(jiǎn)       歷:

20229月 — 今:中科院計(jì)算所,副研究員
20207月 — 20229月:中科院計(jì)算所,助理研究員
20149月 — 20207月:中科院計(jì)算所,博士生
20109月 — 20147月:四川大學(xué),計(jì)算機(jī)學(xué)院,本科生

主要論著:

期刊文章:

[1] Jie Lu, Feng li, Chen Liu, Lian Li, Xiaobing Feng and Jingling Xue: CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement in 2020 Transactions on Software Engineering(TSE20, CCF-A)


會(huì)議文章:

[1]?Jie Lu, Haofeng Li, Chen Liu, Lian li, Kun Cheng. Detecting Missing-Permission-Check Vulnerabilities in Distributed Cloud Systems(CCS 2022, CCF-A)

[2] Haofeng Li, Jie Lu, Haining Meng, Liqing Cao, Yongheng Huang, Lian Li, Lin Gao. Generic Sensitivity: Customizing Context-Sensitive Pointer Analysis for Generics. (FSE2022, CCF-A)

[3]?Chen Liu, Jie Lu*, Guangwei Li, Ting Yuan, Lian Li, Feng Tan, Jun Yang, Liang youJingling Xue. Detecting TensorFlow Program Bugs in Real-WorldIndustrial Environment. (ASE2021, CCF-A)

[4] Ting yuan, Guangwei Li, Jie Lu*, Chen Liu, Lian Li, and Jingling xue. GoBench: A Benchmark Suite of Real-World GoConcurrency Bugs.CGO2021, CCF-B

[5] Jie Lu, Chen Liu, Lian Li, Xiaobing Feng,Feng Tan,Jun Yang and Liang You : CrashTuner: detecting crash-recovery bugs in cloud systems via meta-info analysis in 2019 ACM Symposium on Operating Systems Principles(SOSP19, CCF-A)

[6] Jie Lu, Feng li, Lian Li, and Xiaobing Feng: CloudRaid: Hunting Concurrency Bugs in the Cloud via Log-Mining in 2018 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE18, CCF-A)

[7] Jie Lu, Chen Liu, Lian Li, and Xiaobing Feng: Understanding Node Change Bugs for Distributed Systems in 2019 IEEE International Conference on Software Analysis, Evolution and Reengineering SANER19, CCF-B

科研項(xiàng)目:

國(guó)家自然科學(xué)基金青年項(xiàng)目:基于動(dòng)靜態(tài)分析的數(shù)據(jù)密集型分布式系統(tǒng)權(quán)限缺陷檢測(cè)方法研究,項(xiàng)目負(fù)責(zé)人

獲獎(jiǎng)及榮譽(yù):

中國(guó)科學(xué)院院長(zhǎng)特別獎(jiǎng)?

中國(guó)科學(xué)院優(yōu)秀博士論文?

兴义市| 鹿邑县| 福清市| 开原市| 奉贤区| 石景山区| 鹤山市| 桃园市| 灵武市| 老河口市| 永德县| 佛教| 阜南县| 云梦县| 贺州市| 米林县| 盐山县| 章丘市| 公安县| 三穗县| 青海省| 汕尾市| 德兴市| 资兴市| 深水埗区| 阳泉市| 南召县| 福安市| 拉萨市| 磴口县| 同德县| 江阴市| 浠水县| 乌拉特中旗| 永靖县| 双辽市| 武功县| 江津市| 邵东县| 常宁市| 临海市|