张越龄 - 华东师范大学 - 软件工程学院

个人简介

张越龄，博士，具有4年国外留学工作经历。主要研究方向为约束求解理论与技术研究、程序（协议）分析与验证、AI芯片编译器理论与技术研究，加入高可信软件研究团队。在CAV、ASE、ISSTA、SCP等国际高水平期刊或会议上发表文章16篇。教育经历 2015.09-2019.07 华东师范大学博士（软件工程） 2017-2018 访问普林斯顿大学 2018-2019 访问伊利诺伊大学香槟分校 2013.09-2015.07 复旦大学硕士（软件工程） 2008.09-2012.07 华东师范大学学士（软件工程）工作经历 2019.09-2022.05 华东师范大学软件工程学院，博士后，合作导师何积丰院士 2020 - 2022 新加坡管理大学计算与信息系统学院，合作交流，Research Scientist，合作导师孙军教授 2022.06-今华东师范大学软件工程学院，副教授

研究领域

约束求解理论方法研究及应用软件（程序、协议、智能系统）可信安全分析与验证 AI芯片编译器理论与技术研究

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Yueling Zhang, Geguang Pu*, Jun Sun. Accelerating All-SAT Computation with short Blocking Clauses. ASE 2020 CCF A. Lingfeng Zhang, Yueling Zhang*, Min Zhang*. Efficient White-box Fairness Testing through Gradient Search. ISSTA 2021 CCF A. Grigory Fedyukovich, Yueling Zhang, Aarti Gupta. Syntax-Guided Termination Analysis. CAV 2018 CCF A. Jianwen Li, Kristin Y. Rozier, Geguang Pu, Yueling Zhang, Moshe Y. Vardi. SAT-based Explicit LTLf Satisfiability Checking. AAAI 2019 CCF A. Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Y. Rozier. SAT-based Explicit LTLf Satisfiability Checking. Artif. Intell. 2020 CCF A, SCI. Xia Mao; Xin Li; Yanhong Huang; Jianqi Shi; Yueling Zhang. PLC Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Transactions on Industrial Informatics. SCI. Yueling Zhang, Min Zhang*, Geguang Pu*. Optimizing Backbone Filtering. Sci. Comput. Program 2020 CCF B, SCI. Yueling Zhang, Geguang Pu*, Min Zhang*, William Y. Generating Adversarial Examples for DNN using Pooling Layers. J. Intell. Fuzzy Syst 2019 SCI. Yueling Zhang, Min Zhang*, Geguang Pu*, Fu Song, Jianwen Li. Towards Backbone Computing: A Greedy-Whitening based Approach. AI Commun. 2018 SCI. Jianwen Li, Shufang Zhu, Yueling Zhang, Geguang Pu, Moshe Y. Vardi. Safety Model Checking with Complementary Approximations. ICCAD 2017 CCF B. Yueling Zhang, Geguang Pu*, Min Zhang*. SMTBCF: Efficient Backbone Computing for SMT Formulas. ICFEM 2019 CCF C. Yueling Zhang, Jianwen Li, Min Zhang*, Geguang Pu*, Fu Song. Optimizing Backbone Filtering. TASE 2017 CCF C. Bangfeng Xia, Yueling Zhang*, Weiting Chen, Xiangfeng Wang, Jiangtao Wang*. EdgeAugment: Data Augmentation by Fusing and Filling Edge Maps. ICANN 2020 CCF C. Chunguang Jiang, Yueling Zhang*, Jiangtao Wang*, Weiting Chen. Approximated Masked Global Context Network for Skin Lesion Segmentation. ICANN 2021 CCF C. Shunkai Zhou, Yueling Zhang*, Jiangtao Wang*, Guitao Cao. Generating Adversarial Examples by Distributed Upsampling. ICONIP 2021 CCF C Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li. A Refinement Development Approach for Enhancing the Safety of PLC Programs with Event-B. SCP 2021 SCI, CCF B