系统软件与软件安全

2019-2020年度在研究组的2020届本科毕业生们

发布时间:2020-09-04  浏览次数:639


2019-2020年度在研究组的2020届本科毕业生们


2020年6月和7月,在研究组开展本科毕业设计的8名同学黄奕桐、王博、彭昀、邓皓巍、李权熹、周智维、方宇辰、邵军阳以及部分时间在研究组开展工作的王瑞凯顺利通过论文答辩。在9名本科生的毕业设计中,有2同学的毕业论文被评为校级优秀项目、3同学的毕业论文被评为院级优秀项目。围绕毕业设计工作,撰写并录用论文3篇,申请发明专利1项,取得软件著作权1项。部分同学早在大三即参与科研探索,相关工作发表论文2篇、申请发明专利2项。9名同学将在合肥、北京、香港、新加坡、美国等不同的地方继续深造。

在研究组开展的毕业论文

姓名论文题目
彭昀Python软件的语言特征使用分析
方宇辰Python 调用图的分析与构建
王博智能家居平台的规则合成与安全检查
黄奕桐多模型推理在GPU 上的调度优化
邓皓巍量子程序的分支跳转实际运行时的优化
李权熹量子程序中自动还原计算及其优化
周智维可视化以ROS为基础架构的软件
邵军阳基于模糊测试的无人车系统缺陷分析与检测的调查分析

毕业设计相关的研究成果

论文

  1. 彭昀胡明哲. An Empirical Study for Common Language Features Used in Python Projects. 28th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2021), March 9-12, 2021.

  2. 王博张昱耿佳宁李向阳. SSRules: 让智能家居自动化规则更易于编写和检查. 软件学报, 2020.6 录用.

  3. 黄奕桐张昱冯博远, 郭兴, 张燕咏, 丁雨霏. A Close Look at Multi-Tenant Parallel CNN Inference for Autonomous Driving. 17th Annual IFIP International Conference on Network and Parallel Computing(NPC2020), Zhengzhou, Henan, China , Sept.28-30, 2020.

  4. 邓皓巍, 张昱, 李权熹. CODAR : A Contextual Duration-Aware Qubit Mapping for Various NISQ Devices. 57th Design Automation Conference (DAC 2020), San Francisco, CA, USA, July 19-23, 2020.

  5. 张昱, 邓皓巍, 李权熹, 宋昊泽, 聂雷海. Optimizing Quantum Programs against Decoherence: Delaying Qubits into Quantum Superposition. 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Guilin, China, July 29- August 1, 2019. (本篇论文是2018秋季学期《编译原理和技术(H)》课后创新研究的产出)

已公开未授权的发明专利

  1. 一种Python语言特征自动识别系统和方法.CN111858322.公开日期:2020.10.30.

  2. 面向嘈杂中型量子设备的逻辑-物理比特重映射方法. CN110569979.公开日期:2019.12.13.

  3. 一种应对退相干的量子程序变换方法及系统CN109961150公开日期:2019.7.2.

软件著作权

  1. 多用户并行CNN网络推理框架[简称:MPInfer]V1.0. 著作权人:中国科学技术大学,软著登记号2020SR0790034.首次发表日期:2020.5.25,证书编号:No.06062769, 发证日期:2020.7.17.



地址:安徽省合肥市蜀山区黄山路443号     电话:0551-63603804         

中国科学技术大学网络信息中心制作维护