ChinaSoft 论坛巡礼 | NASAC 青年软件创新奖论坛

?  +

+

论坛巡礼

论坛名称：NASAC 青年软件创新奖论坛

时间：2022年11月26日15:30-17:30

论坛简介：

    自 2016 年起，本论坛邀请上年度“CCF NASAC 青年软件创新奖”获得者作青年学者论坛 告，以进一步促进中国青年软件人才成长激励中国青年软件人才“面向世界科技前沿、面向 国家重大需求、面向国民经济主战场”，立足自主创新与实践，从而为推动中国软件发展做出重要贡献。

日程安排

Schedule

贾宁

华为操作系统内核实验室副主任及内核架构首席专家、OpenHarmony技术指导委员会委员

     具有长期的基础软件领域研发经验及技术积累，深度参与华为鸿蒙内核的设计及研发工作，推动其成为业界首个同时获得CC EAL5+ 及 ASIL-D 双高等级安全认证的操作系统内核。

告题目

操作系统未来展望与校企协同创新机制

摘要

    操作系统在计算系统中发挥中枢作用，承担释放芯片与硬件能力、使能应用高效运行、提升全局能效等关键角色。华为发起了openEuler与OpenHarmony开源操作系统 区，面向智能终端与数字基础设施构建基础软件根技术，并将其捐赠给开放原子基金会。在过去两年多的运作中，openEuler与OpenHarmony在软件生态、技术竞争力与商业落地方面获得一定的成果。未来面向计算架构、产业与应用场景等变化，操作系统会迎来更大的挑战，同时也是新的机遇。仅依靠一家高校或企业的力量难以攻克挑战，华为在与高校共建创新及联合实验室的基础上，持续探索了黄大年茶思屋开放平台、领域挑战难题揭榜、 区高校技术俱乐部等机制，期望更高效的汇聚全 会力量，共同打造中国基础软件的根。

获奖者

Award Winners

陈振邦

国防科技大学计算机学院副教授

     主要研究方向为程序分析、形式化方法及其在不同背景下的应用。主持和参与国家自然科学基金、国家973或863计划课题等国家级重点课题十余项。近年来主要围绕符 执行相关的理论、技术和应用开展研究，成果发表在ICSE、FSE、ISSTA、ASE、FM、TCS等重要国际会议或期刊上，获ACMSIGSOFT杰出论文奖2次（ICSE 2018和ISSTA 2021）。获国家科技进步二等奖1项、省部级科技进步二等奖2项。研制的程序分析工具在多个国家重大工程中开展应用，为解决国家重大工程中的软件质量保障问题探索了有效解决途径。

告题目

符 执行：进展与挑战

摘要

符 执行是一种相对精确的程序分析技术。虽然符 执行近年来被广泛应用于各类软件系统的自动测试与分析，并取得不错效果，但符 执行的进一步发展与应用仍面临路径空间爆炸和约束求解这两个根本挑战。本 告将介绍团队近期在应对这两个挑战的相关成果和研究思考，并对不同层面和背景下的具体技术挑战进行探讨，同时展望符 执行未来的发展。