李林翼 linyi2@illinois.edu UIUC计算机系,博士研究生

关于

我是李林翼,是就读于伊利诺伊大学厄巴纳-香槟分校计算机系的博士研究生。 我的导师是李博教授谢涛教授

我致力于使用计算机理论,验证,和静态分析方法提高深度神经网络的安全性和可靠性。 目前,我的研究课题为深度神经网络的(鲁棒性)验证与训练可验证的鲁棒深度神经网络。 同时,我亦在集成学习与理论,神经网络的黑盒攻击,以及机器学习在软件工程和软件测试上的运用有探索与研究。 除此之外,我对计算机理论,程序语言,机器学习和软件工程这些方向有广泛的兴趣。

我本科毕业于清华大学计算机科学与技术系。在白晓颖教授的指导下,我进行了Web API自动化测试方向的研究。

[个人简历](英文)

论文列表

  1. 张佳玮*, 李林翼*, 李慧琛, 张晓露, 杨爽, 李博
    Progressive-Scale Boundary Blackbox Attack via Projective Gradient Estimation
    International Conference on Machine Learning 2021
    [预发表版]   [BibTex]
  2. 李林翼*, Maurice Weber*, 徐晓骏, Luka Rimanic, Bhavya Kailkhura, 谢涛, Ce Zhang, 李博
    TSS: Transformation-Specific Smoothing for Robustness Certification
    ACM Conference on Computer and Communications Security (CCS) 2021
    [预发表版]   [BibTex]   [代码]
  3. 李慧琛*, 李林翼*, 徐晓骏, 张晓露, 杨爽, 李博
    Nonlinear Projection Based Gradient Estimation for Query Efficient Blackbox Attacks
    International Conference on Artificial Intelligence and Statistics (AISTATS) 2021
    [论文]   [BibTex]   [Code]
  4. 牛中翰, 陈昭熹, 李林翼, 杨育彬, 李博, 易津锋
    On the Limitations of Denoising Strategies as Adversarial Defenses
    arXiv: 2012.09384
    [论文]   [BibTex]
  5. 李林翼, 漆翔宇, 谢涛, 李博
    SoK: Certified Robustness for Deep Neural Networks
    arXiv: 2009.04131
    [论文]   [BibTex]   [代码]
  6. 杨卓林*, 李林翼*, 徐晓骏*, 左世良, Qian Chen, Benjamin Rubinstein, Ce Zhang, 李博
    TRS: Transferability Reduced Ensemble via Encouraging Gradient Diversity and Model Smoothness
    ICML Workshop on Uncertainty & Robustness in Deep Learning (UDL) 2020
    [论文]   [Workshop版]   [BibTex]
  7. 李林翼, 李振文, Weijie Zhang, Jun Zhou, Pengcheng Wang, 吴菁, Guanghua He, Xia Zeng, 邓月堂, 谢涛
    Clustering Test Steps in Natural Language toward Automating Test Automation
    ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2020, Industry Track
    [论文]   [BibTex]   [视频]
  8. 李林翼*, 钟泽轩*, 李博, 谢涛
    Robustra: Training Provable Robust Neural Networks over Reference Adversarial Space
    International Joint Conference on Artificial Intelligence (IJCAI) 2019
    [论文]   [BibTex]   [代码]
  9. Klas Leino, Shayak Sen, Anupam Datta, Matt Fredrikson, 李林翼
    Influence-Directed Explanations for Deep Convolutional Networks
    International Test Conference (ITC) 2018; arXiv: 1802.03788
    [论文]   [BibTex]
  10. 王钧奕, 白晓颖, 李林翼, 马浩然, 季智成
    A Model-Based Framework For Cloud API Testing
    IEEE Computer Software and Applications Conference (COMSPAC) 2017
    [论文]   [BibTex]
  11. 王钧奕, 白晓颖, 马浩然, 李林翼, 季智成
    Cloud API Testing
    IEEE International Conference on Software Verification and Validation Workshops (ICSTW) 2017
    [论文]   [BibTex]
("*"表示共同第一作者)
更新日期: 2021 年 3 月 9 日