第二届CCF量子线路设计自动化研讨会(CCF Quantum Circuit Design Automation Conference, QCDAC 2025)将于2025年5月10-11日在中国深圳市举行,现开放征稿。
06ICRA 2025会议全称：The Premier Conference in Robotics & AutomationCCF分类：CCF-B全文截止时间：2024...
主要研究方向为智能软件系统优化和智能化软件工程。多项研究成果发表于ICSE、FSE、TOSEM、DAC、ATC、VLDB、ICML等国际顶级会议和期刊。曾获Siebel 学者、EECS Rising Star、ICSE的杰出论文奖等荣誉与奖项。 论坛主席:陈震鹏 个人简介: 陈震...
MSRA等科研机构进行访学与合作研究;主要研究领域涉及软件工程、可信软件、形式化方法等方面,部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、CAV、RTSS、ICSE、ISSTA、ASE、DAC等上;入选国家级青年人才计划、高校计算机专业优秀教师
place: San Francisco, CA - year: 2025 id: dac25 link: https://www.dac.com/Conference/2025-Call-for-Contributions timeline: - abstract_deadline: '2024-12-12 17:00:00' deadline: '2024-12-19 17:00:00' timezone: UTC-8 date: June 22-25, 2025 place: San Francisco, CAFooter...
- year: 2025 id: dac25 link: https://www.dac.com/Conference/2025-Call-for-Contributions timeline: - abstract_deadline: '2024-12-12 17:00:00' deadline: '2024-12-19 17:00:00' timezone: UTC-8 date: June 22-25, 2025 place: San Francisco, CA Loading Oops, something went wrong....
主要研究领域涉及软件工程、可信软件、形式化方法等方面,部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、CAV、RTSS、ICSE、ISSTA、ASE、DAC等上;入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖、CCF青年人才发展...
计算机体系结构 / 并行与分布计算 / 存储系统:ACM 的设计自动化会议Design Automation Conference (DAC)由 15 年的 B 类提升至 A 类,而影响较大的 EuroSys 会议仍是 B 类。 计算机网络:USENIX 的网络系统设计会议NSDI提升到 A 类。 软件工程/ 系统软件 / 程序设计语言:ACM 的软件测试分析会议ISSTA由 B 提...
2018年博士毕业于清华大学,围绕“后摩尔时代”安全高效能智能计算芯片架构开展研究,主持国家自然科学基金面上项目、青年基金等国家级项目,以核心骨干参与国家自然科学基金重大研究计划重点支持项目、JKW重点课题等科研项目,在IEEE TC/IEEE TCAD/DAC等高水平会议和期刊发表论文40余篇。获得“北京市课程思政教学名师”、“...
相关成果发表在RTSS、RTAS、EMSOFT、DAC、DATE和IEEE trans on Computers、ACM trans on ECS和IEEE trans on CAD等实时嵌入式领域的顶级会议和顶级期刊,获得国际顶级会议RTSS最佳论文奖、EMSOFT最佳论文奖和RTSS工业挑战议题的最佳解决方案奖。担任实时领域国际顶级会议RTAS、DAC、RTSS、EMSOFT以及RTCSA、HiPC、ISORC和...