2015年10月4日至9日，为期一周的国际嵌入式系统大会（Embedded Systems Week）在荷兰阿姆斯特丹召开。由开云（中国）研究员、博士生导师刘韦辰以第一作者和通讯作者完成的‘Efficient SAT-based Application Mapping and Scheduling on Multiprocessor Systems for Throughput Maximization’在嵌入式系统编译、结构和综合国际会议（International Conference on Compilers, Architectures and Synthesis of Embedded Systems, CASES）上发表。开云（中国）是该论文的第一完成单位，参与这篇论文的课题组成员还包括浙江大学的顾宗华老师和上海交通大学的叶瑶瑶老师，分列第二和第三作者。该会议今年的论文接收率为23%，且该论文被推选为大会的三篇最佳论文奖候选之一，获颁最佳论文提名奖。刘韦辰研究员参加了此次会议，并于10月6日代表重庆大学在大会上宣讲了该论文。

    CASES是嵌入式系统领域的国际传统顶级会议之一，在国际上影响力巨大，目前在中国计算机学会CCF推荐国际学术会议列表中属于C类，并将因其不断扩大的影响力在今年十月份的修订列表中调整为B类（http://www.ccf.org.cn/sites/ccf/CCF.html）。今年，CASES的论文接收率仅为23%，竞争激烈，作为全部接收文章中仅有的三篇最佳论文候选之一，该论文获得大会的最佳论文提名奖，获奖率仅为3.8%，体现了重庆大学在嵌入式系统研究领域的水平已经达到了国际前沿。

    近年来，在国家科技部863基金、国家自然科学基金、重庆市自然科学基金等资助下，刘韦辰研究员的课题小组面向嵌入式系统、片上多处理器系统、片上网络等领域，就系统可靠性、容错、性能和能耗优化等问题，开展了广泛的研究工作，取得了一系列的研究成果。该会议论文创新地提出了利用形式化方法（formal methods）来解决多处理器调度的吞吐率优化问题，并提出了高性能的算法来提升此类算法的搜索效率，提高技术的可扩展性(scalability)，以能够解决工业界较大规模的实际问题，具有高度的实用性。

    该研究不仅获得了国际嵌入式系统会议专委会的认可，同时也获得了工业界的关注。华为公司的中央研究院对此工作表示了极大的兴趣，并与重庆大学刘韦辰研究小组建立合作，将该技术实用化。目前已完成了成果转化，在华为生产的海思处理器中利用此技术实现了对图片编解码效率的优化，集成了含有此技术的专用图像处理加速器，将应用在未来华为手机等移动终端产品线，极大地实现了技术的产、学、研一体化发展，加速了科研成果的应用和转化，获得了经济效益。

    CASES是关于编译器、体系结构和嵌入式系统设计和综合的世界顶级会议之一，被该会接收的论文会同时被国际电气与电子工程师学会（IEEE）和美国计算机学会（ACM）的数据库收录。会议的主题涵盖面广，包括嵌入式系统、物联网的架构/编译器(物联网)平台、网络物理系统架构和神经形态和认知计算等。CASES每年与嵌入式系统领域另外两大国际会议EMSOFT和CODES+ISSS一起召开，形成了国际嵌入式系统周（Embedded System Week, ESWEEK）。今年ESWEEK于10月4日至9日在荷兰阿姆斯特丹举行，会议吸引了包括普林斯顿大学、卡内基梅隆大学、麻省理工、国防科技大学及东北大学等大批来自国际、国内学术界和工业界的专家学者。CASES每年接收的文章主要来自欧美等国际知名高校或研究机构，重庆大学的研究成果作为候选论文参加最佳论文奖评审，将进一步扩大重庆大学在嵌入式系统设计相关领域的国际影响力。

    会议详情请见：http://esweek.acm.org/cases/