2019-2020年度在研究组的2020届本科毕业生们
2020年6月和7月,在研究组开展本科毕业设计的8名同学黄奕桐、王博、彭昀、邓皓巍、李权熹、周智维、方宇辰、邵军阳以及部分时间在研究组开展工作的王瑞凯顺利通过论文答辩。在9名本科生的毕业设计中,有2名同学的毕业论文被评为校级优秀项目、3名同学的毕业论文被评为院级优秀项目。围绕毕业设计工作,撰写并录用论文3篇,申请发明专利1项,取得软件著作权1项。部分同学早在大三即参与科研探索,相关工作发表论文2篇、申请发明专利2项。9名同学将在合肥、北京、香港、新加坡、美国等不同的地方继续深造。
在研究组开展的毕业论文
姓名 | 论文题目 |
彭昀 | Python软件的语言特征使用分析 |
方宇辰 | Python 调用图的分析与构建 |
王博 | 智能家居平台的规则合成与安全检查 |
黄奕桐 | 多模型推理在GPU 上的调度优化 |
邓皓巍 | 量子程序的分支跳转实际运行时的优化 |
李权熹 | 量子程序中自动还原计算及其优化 |
周智维 | 可视化以ROS为基础架构的软件 |
邵军阳 | 基于模糊测试的无人车系统缺陷分析与检测的调查分析 |
毕业设计相关的研究成果
论文
彭昀, 张昱, 胡明哲. 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.
王博, 张昱, 耿佳宁, 李向阳. SSRules: 让智能家居自动化规则更易于编写和检查. 软件学报, 2020.6 录用.
黄奕桐, 张昱, 冯博远, 郭兴, 张燕咏, 丁雨霏. 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.
邓皓巍, 张昱, 李权熹. 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.
张昱, 邓皓巍, 李权熹, 宋昊泽, 聂雷海. 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)》课后创新研究的产出)
已公开未授权的发明专利
一种Python语言特征自动识别系统和方法.CN111858322.公开日期:2020.10.30.
面向嘈杂中型量子设备的逻辑-物理比特重映射方法. CN110569979.公开日期:2019.12.13.
一种应对退相干的量子程序变换方法及系统. CN109961150. 公开日期:2019.7.2.
软件著作权
多用户并行CNN网络推理框架[简称:MPInfer]V1.0. 著作权人:中国科学技术大学,软著登记号2020SR0790034.首次发表日期:2020.5.25,证书编号:No.06062769, 发证日期:2020.7.17.