程旭-中国科学院大学-UCAS

基本信息

程旭男博导其他
电子邮件： chengxu@mprc.pku.edu.cn
通信地址：北京大学
邮政编码：

研究领域

计算机系统结构

网络和计算机体系结构

招生信息

招生专业

081201-计算机系统结构

招生方向

网络和计算机体系结构

教育背景

1991-09--1994-06   哈尔滨工业大学   研究生，工业博士
1988-09--1991-07   哈尔滨工业大学   研究生，工学硕士
1984-09--1988-07   哈尔滨工业大学   本科，工学学士

工作经历

工作简历

2011-06~现在, 北京大学, 教授，北京大学先进技术研究院院长，微处理器研发中心主任
2008-06~2011-06,北京大学, 教授，微处理器研发中心主任
2002-06~2008-06,北京大学, 教授，计算机系主任，微处理器研发中心主任
1999-06~2002-06,北京大学, 教授，计算机系副主任
1996-07~1999-08,北京大学, 副教授，系统结构教研室主任
1994-09~1996-07,北京大学, 博士后

社会兼职

2010-02-08-今,国家信息化专家咨询委员会委员,

教授课程

高等计算机系统结构
计算机组成与体系结构

专利与奖励

曾获北京大学优秀教师、霍英东青年教师奖、宝钢优秀教师奖、教育部跨世纪优秀人才、北京大学最受学生爱戴的“十佳教师”、北京市“五四奖章”等奖励。

专利成果

[1] 佟冬, 徐大亮, 程旭. 一种执行饱和寻址加载和存储操作的设备和方法. CN: CN110362501A, 2019-10-22.

[2] 程旭, 阮坤良, 刘先华, 程建朋, 陆俊林. 一种应用程序完整性多级检查机制. CN: CN108460293A, 2018-08-28.

[3] 程旭, 张国威, 管雪涛, 陆俊林. 一种基于异构多核芯片的计算机安全启动方法. CN: CN108460282A, 2018-08-28.

出版信息

发表论文

[1] 崔宏伟, 梁书豪, 崔玉杰, 张炜奇, 占红兰, 杨春, 刘先华, 程旭. A Hardware-Software Cooperative Interval-Replaying for FPGA-based Architecture Evaluation. Design, Automation & Test in Europe Conference & Exhibition (DATE)null. 2023, [2] 占红兰, 王晨茜, 崔宏伟, 刘先华, 刘锋, 程旭. High-Speed and Energy-Efficient Single-Port Content Addressable Memory to Achieve Dual-Port Operation. Design, Automation, and Test in Europe (DATE)null. 2023, [3] 崔玉杰, 崔宏伟, 程旭. Information Leakage Attacks Exploiting Cache Replacement in Commercial Processors. IEEE TRANSACTIONS ON COMPUTERS[J]. 2023, [4] 陈东维, 佟冬, 杨春, 易江芳, 程旭. FlexPointer: Fast Address Translation Based on Range TLB and Tagged Pointers. 31st International Conference on Parallel Architectures and Compilation Techniques (PACT)null. 2022, [5] 崔玉杰, 杨春, 程旭. Abusing Cache Line Dirty States to Leak Information in Commercial Processors. IEEE INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE[J]. 2022, [6] 崔宏伟, 杨春, 程旭. Secure Speculation via Speculative Secret Flow Tracking. Journal of Computer Science and Technology[J]. 2021, [7] Xianhua Liu, Qinghong Yang, Miao Tao, Qinshu Chen, Xu Cheng. An Efficient Register Renaming Technique with Delayed Allocation and Register Packing.. International Conference on Electronics Circuits and Systems[J]. 2020, [8] Liu Yangguo, Lu Junlin, Tong Dong, Cheng Xu, IEEE. Locality-Aware Bank Partitioning for Shared DRAM MPSoCs. 2017 22ND ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC)null. 2017, 770-775, [9] Cheng Xu. A Staged Memory Resource Management Method for CMP systems. Architectures and Processors (ASAP). 2017, [10] Yang, Chun, Liu, Xianhua, Cheng, Xu. Content Look-Aside Buffer for Redundancy-Free Virtual Disk I/O and Caching. ACM SIGPLAN NOTICESnull. 2017, 52(7): 214-227, [11] 刘阳国, 陆俊林, 程旭, 易江芳, 佟冬, 刘锋. 面向异构多核系统芯片的高效动态带宽划分方法. 计算机辅助设计与图形学学报[J]. 2016, 28(10): 1786-1795, http://lib.cqvip.com/Qikan/Article/Detail?id=670133733.
[12] Sui Yan, Yang Chun, Tong Dong, Liu Xianhua, Cheng Xu, IEEE. MFAP:Fair Allocation Between Fully Backlogged and Non-Fully Backlogged Applications. PROCEEDINGS OF THE 34TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD)null. 2016, 576-583, [13] 黄明凯, 刘先华, 谭明星, 谢子超, 程旭. 一种面向解释器的间接转移预测技术. 计算机研究与发展[J]. 2015, 52(1): 66-82, http://lib.cqvip.com/Qikan/Article/Detail?id=663477207.
[14] Cheng Xu. An Energy-Efficient Branch Prediction with Grouped Global History. International Conference on Parallel Processing. 2015, [15] Cheng Xu. Exploration of the Relationship Between Just-in-Time Compilation Policy and Number of Cores. International Conference on Algorithms and Architectures for Parallel Processing. 2015, [16] Cheng Xu. DTT Program Structure Aware Indirect Branch Optimization via Direct TPC Table in DBT system. Proceedings of the 11th ACM International Conference on Computing Frontier. 2014, [17] Xie Mingli, Tong Dong, Huang Kan, Cheng Xu, IEEE. Improving System Throughput and Fairness Simultaneously in Shared Memory CMP Systems via Dynamic Bank Partitioning. 2014 20TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH PERFORMANCE COMPUTER ARCHITECTURE (HPCA-20)null. 2014, 344-355, [18] Li, LingDa, Lu, JunLin, Cheng, Xu. Retention Benefit Based Intelligent Cache Replacement. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2014, 29(6): 947-961, https://www.webofscience.com/wos/woscc/full-record/WOS:000345382500002.
[19] Xie Mingli, Tong Dong, Feng Yi, Huang Kan, Cheng Xu, IEEE. Page Policy Control with Memory Partitioning for DRAM Performance and Power Efficiency. 2013 IEEE INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED)null. 2013, 298-303, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000337238700052.
[20] Xie Zichao, Tong Dong, Cheng Xu, IEEE. An Energy-Efficient Branch Prediction Technique via Global-History Noise Reduction. 2013 IEEE INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN (ISLPED)null. 2013, 211-216, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000337238700036.
[21] Xie, ZiChao, Tong, Dong, Huang, MingKai, Shi, QinQing, Cheng, Xu. SWIP Prediction: Complexity-Effective Indirect-Branch Prediction Using Pointers. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2012, 27(4): 754-768, http://lib.cqvip.com/Qikan/Article/Detail?id=42601800.
[22] 谭明星, 刘先华, 张吉豫, 佟冬, 程旭. 一种混合型值关联间接跳转预测机制. 电子学报[J]. 2012, 40(11): 2298-2302, http://lib.cqvip.com/Qikan/Article/Detail?id=44147829.
[23] Tan Mingxing, Liu Xianhua, Zhang Jiyu, Tong Dong, Cheng Xu. Compiler-Assisted Value Correlation for Indirect Branch Prediction. CHINESE JOURNAL OF ELECTRONICS[J]. 2012, 21(3): 414-418, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000306618700005.
[24] WANG Jing GUAN Xuetao CHENG Xu. Energy-Efficient Web Browsing over IEEE 802.11 Wireless Networks. 电子学报：英文版[J]. 2012, 21(1): 144-148, http://lib.cqvip.com/Qikan/Article/Detail?id=44611503.
[25] 李皓, 郑衍松, 庞九凤, 佟冬, 程旭. EmBIOS：一种支持MSWindows的嵌入式系统BIOS设计. 北京大学学报：自然科学版[J]. 2012, 48(1): 20-28, http://lib.cqvip.com/Qikan/Article/Detail?id=40816892.
[26] 谭明星, 刘先华, 张吉豫, 程旭. 基于优化回溯模型的无重叠模调度算法. 电子学报[J]. 2012, 40(8): 1681-1686, http://lib.cqvip.com/Qikan/Article/Detail?id=43215530.
[27] 党向磊, 王箫音, 佟冬, 陆俊林, 程旭, 王克义. 面向按序执行处理器的预执行指导的数据预取方法. 电子学报[J]. 2012, 40(11): 2145-2151, http://lib.cqvip.com/Qikan/Article/Detail?id=44147806.
[28] Cheng Xu. Compiler-Directed Value Correlation for Indirect Branch Prediction. Chinese Journal of Electronics (CJE). 2012, [29] 张吉豫, 刘先华, 谭明星, 程旭, 丛京生. 一种针对位操作密集应用的扩展指令自动选择方法. 电子学报[J]. 2012, 40(2): 209-214, http://lib.cqvip.com/Qikan/Article/Detail?id=41294597.
[30] Li, Lingda, Tong, Dong, Xie, Zichao, Lu, Junlin, Cheng, Xu, IEEE. Improving Inclusive Cache Performance with Two-level Eviction Priority. 2012 IEEE 30TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD)null. 2012, 387-392, [31] 刘丹, 冯毅, 佟冬, 程旭, 王克义. 面向内存访问性能优化的总线仲裁方法. 计算机研究与发展[J]. 2012, 49(5): 1061-1071, http://lib.cqvip.com/Qikan/Article/Detail?id=41729879.
[32] 程旭. SWIP Prediction: Complexity-Effective Indirect-Branch Prediction Using Pointers. 计算机科学技术学报(英文版)[J]. 2012, 27(4): 754-768, http://lib.cqvip.com/Qikan/Article/Detail?id=42601800.
[33] 刘丹, 冯毅, 党向磊, 佟冬, 程旭, 王克义. 降低系统芯片中跨时钟域设计和验证复杂度的方法. 通信学报[J]. 2012, 33(11): 151-158, http://lib.cqvip.com/Qikan/Article/Detail?id=43952131.
[34] Cheng Xu. Energy-Efficient Branch Prediction Using Compiler-Guided History Stack. Design Automation and Test in Europe (DATE). 2012, [35] Cheng Xu. CVP: An Energy-Efficient Indirect Branch Prediction with Compiler-Guided Value Pattern. 2012, [36] Zheng Yansong, Lu Junlin, Tong Dong, Wang Keyi, Cheng Xu. Detect Peripheral Hardware Faults Using I/O-state-based Dynamic Value Invariants. CHINESE JOURNAL OF ELECTRONICS[J]. 2012, 21(2): 221-226, http://lib.cqvip.com/Qikan/Article/Detail?id=44611517.
[37] Cheng Xu. Optimal Bypass Monitor for High Performance Last-level Caches. International Conference on Parallel Architectures and Compilation Techniques (PACT). 2012, [38] Wang Xiaoyin, Tong Dong, Dang Xianglei, Lu Junlin, Cheng Xu. 面向按序执行处理器的预执行机制设计空间探索. 北京大学学报：自然科学版[J]. 2011, 47(1): 35-44, http://lib.cqvip.com/Qikan/Article/Detail?id=36488695.
[39] Niu Yan, Yang Chun, Xia Yubin, Cheng Xu. 使用缓存的虚拟机内存扩展. 北京大学学报：自然科学版[J]. 2011, 47(2): 251-257, http://lib.cqvip.com/Qikan/Article/Detail?id=37188520.
[40] 庞九凤, 佟冬, 李皓, 何浪, 程旭. 面向基于x86处理器和AMBA的系统芯片的全系统模拟器PKUsim-86. 电子学报[J]. 2011, 39(2): 351-357, http://lib.cqvip.com/Qikan/Article/Detail?id=36987857.
[41] 张良, 佟冬, 程旭, 王克义. 覆盖矩阵反馈的演化测试程序生成方法. 计算机辅助设计与图形学学报[J]. 2011, 23(3): 456-464, http://lib.cqvip.com/Qikan/Article/Detail?id=36884229.
[42] ZHANG Yang, GUAN Xuetao, CHENG Xu. 面向瘦客户计算的应用特定图形缓存机制. 北京大学学报：自然科学版[J]. 2011, 47(3): 427-434, http://lib.cqvip.com/Qikan/Article/Detail?id=37872457.
[43] 张良, 易江芳, 佟冬, 程旭, 王克义. 使用局部建模的微处理器测试程序自动生成方法. 电子学报[J]. 2011, 39(7): 1639-1644, http://lib.cqvip.com/Qikan/Article/Detail?id=38926247.
[44] 钮艳, 杨春, 夏虞斌, 程旭. 使用缓存的虚拟机内存扩展. 北京大学学报：自然科学版[J]. 2011, 47(2): 251-257, http://lib.cqvip.com/Qikan/Article/Detail?id=37188520.
[45] 黄侃, 佟冬, 程旭. 基于行冲突预测的内存控制器QoS管理机制. 电子学报[J]. 2011, 39(2): 358-363, http://lib.cqvip.com/Qikan/Article/Detail?id=36987858.
[46] 帖猛, 程旭. 可校准电源偏差并基于标准单元的温度传感器. 北京大学学报：自然科学版[J]. 2011, 47(1): 17-22, http://lib.cqvip.com/Qikan/Article/Detail?id=36488692.
[47] 张吉豫, 刘先华, 梁堃, 程旭. 一种基于人工神经网络的基本块重排方法. 北京大学学报：自然科学版[J]. 2011, 47(1): 9-16, http://lib.cqvip.com/Qikan/Article/Detail?id=36488691.
[48] 李皓, 李险峰, 庞九凤, 黄侃, 郑衍松, 佟冬, 程旭. 基于固件的系统芯片协同验证平台. 计算机辅助设计与图形学学报[J]. 2011, 23(9): 1593-1602, http://lib.cqvip.com/Qikan/Article/Detail?id=39142975.
[49] 王箫音, 佟冬, 党向磊, 冯毅, 程旭. 一种高能效的面向单发射按序处理器的预执行机制. 电子学报[J]. 2011, 39(2): 458-463, http://lib.cqvip.com/Qikan/Article/Detail?id=36987876.
[50] 钮艳, 杨春, 夏虞斌, 程旭. 基于受限行为约束策略的桌面计算系统交互性能测量方法. 计算机研究与发展[J]. 2011, 48(2): 338-345, http://lib.cqvip.com/Qikan/Article/Detail?id=36689287.
[51] WANG Jing, GUAN Xuetao, CHENG Xu, CONG Jason. Wireless Network Interface Card Energy Management for Interactive Applications. 电子学报：英文版[J]. 2011, 20(1): 45-50, http://lib.cqvip.com/Qikan/Article/Detail?id=37368430.
[52] 张杨, 管雪涛, 程旭. 面向瘦客户计算的应用特定图形缓存机制. 北京大学学报：自然科学版[J]. 2011, 47(3): 427-434, http://lib.cqvip.com/Qikan/Article/Detail?id=37872457.
[53] Wang Jing, Guan Xuetao, Cheng Xu, Cong Jason. Wireless Network Interface Card Energy Management for Interactive Applications. CHINESE JOURNAL OF ELECTRONICS[J]. 2011, 20(1): 45-50, http://lib.cqvip.com/Qikan/Article/Detail?id=37368430.
[54] 谢子超, 陆俊林, 佟冬, 王箫音, 程旭. 一种面向超标量处理器的高能效指令缓存路选择技术. 电子学报[J]. 2011, 39(11): 2473-2479, http://lib.cqvip.com/Qikan/Article/Detail?id=40336033.
[55] 王箫音, 佟冬, 党向磊, 陆俊林, 程旭. 面向按序执行处理器的预执行机制设计空间探索. 北京大学学报：自然科学版[J]. 2011, 47(1): 35-44, http://lib.cqvip.com/Qikan/Article/Detail?id=36488695.
[56] 庞九凤, 陆俊林, 李皓, 佟冬, 程旭. 一种面向Microsoft Windows的AMBA设备PCI虚拟化机制. 电子学报[J]. 2011, 39(5): 1013-1019, http://lib.cqvip.com/Qikan/Article/Detail?id=38150603.
[57] 钮艳, 郑衍松, 杨春, 程旭. GOSBMB：基于客户操作系统行为的虚拟机内存均衡方法. 电子学报[J]. 2011, 39(9): 2178-2183, http://lib.cqvip.com/Qikan/Article/Detail?id=39582914.
[58] 夏虞斌, 杨春, 程旭. FUPS-DV：用于桌面虚拟化的全时抢占CPU调度算法. 电子学报[J]. 2011, 39(8): 1721-1726, http://lib.cqvip.com/Qikan/Article/Detail?id=39160750.
[59] 郑衍松, 佟冬, 王克义, 程旭. MDCI：基于多粒度动态控制流不变式的硬件故障局部化. 电子学报[J]. 2010, 38(11): 2465-2470, http://lib.cqvip.com/Qikan/Article/Detail?id=36137864.
[60] 黄侃, 佟冬, 刘洋, 杨寿贵, 程旭. MCS-DMA：一种面向SoC内DMA传输的内存控制器优化设计. 电子学报[J]. 2010, 38(3): 598-604, http://lib.cqvip.com/Qikan/Article/Detail?id=33732883.
[61] Liu Shu, Guan Xuetao, Tong Dong, Cheng Xu. Analysis and Comparison of NAND Flash Specific File Systems. CHINESE JOURNAL OF ELECTRONICS[J]. 2010, 19(3): 403-408, http://lib.cqvip.com/Qikan/Article/Detail?id=37118343.
[62] 庞九凤, 李险峰, 谢劲松, 佟冬, 程旭. 基于支持向量机的微体系结构设计空间探索. 北京大学学报：自然科学版[J]. 2010, 55-63, http://lib.cqvip.com/Qikan/Article/Detail?id=32672529.
[63] CHEN Jie TONG Dong LI Xianfeng XIE Jingsong WANG Keyi CHENG Xu. Slice Analysis Based Bayesian Power Model for Sequential Circuits. 电子学报：英文版[J]. 2010, 107-112, http://lib.cqvip.com/Qikan/Article/Detail?id=37118629.
[64] 张良, 佟冬, 林桦, 程旭, 王克义. 基于多目标演化算法的测试程序生成. 计算机辅助设计与图形学学报[J]. 2010, 1382-1389, http://lib.cqvip.com/Qikan/Article/Detail?id=34752440.
[65] Xia Yubin, Yang Chun, Niu Yan, Cheng Xu. Credit-HC: An I/O-friendly CPU Scheduler for Xen. CHINESE JOURNAL OF ELECTRONICS[J]. 2010, 19(3): 409-413, http://lib.cqvip.com/Qikan/Article/Detail?id=37118344.
[66] 夏虞斌, 杨春, 钮艳, 程旭. 基于Xen平台的虚拟机交互式性能隔离改进. 北京大学学报：自然科学版[J]. 2010, 41-47, http://lib.cqvip.com/Qikan/Article/Detail?id=32672526.
[67] 林桦, 佟冬, 黄侃, 王克义, 程旭. 结合PVT模拟和排队模型的系统级主存性能分析. 计算机辅助设计与图形学学报[J]. 2010, 2228-2236, http://lib.cqvip.com/Qikan/Article/Detail?id=36056176.
[68] LIU Shu GUAN Xuetao TONG Dong CHENG Xu. Analysis and Comparison of NAND Flash Specific File Systems. 电子学报：英文版[J]. 2010, 403-408, http://lib.cqvip.com/Qikan/Article/Detail?id=37118343.
[69] 程旭, Senior, Member,CCF, 王箫青, 陆俊林, 易江芳, 佟冬, 管雪涛, 刘锋, 刘先华, Member,, CCF, 杨春, 冯毅. Research Progress of UniCore CPUs and PKUnity SoCs. 计算机科学技术学报：英文版[J]. 2010, 200-213, http://lib.cqvip.com/Qikan/Article/Detail?id=33054256.
[70] Cheng, Xu, Wang, XiaoYin, Lu, JunLin, Yi, JiangFang, Tong, Dong, Guan, XueTao, Liu, Feng, Liu, XianHua, Yang, Chun, Feng, Yi. Research Progress of UniCore CPUs and PKUnity SoCs. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2010, 25(2): 200-213, http://lib.cqvip.com/Qikan/Article/Detail?id=33054256.
[71] 王晶, 管雪涛, 杨春, 张杨, 程旭. CBLA：多信道无线网状网络负载感知的分簇式信道分配. 电子学报[J]. 2010, 38(3): 546-551, http://lib.cqvip.com/Qikan/Article/Detail?id=33732866.
[72] Chen Jie, Tong Dong, Li Xianfeng, Xie Jingsong, Wang Keyi, Cheng Xu. Slice Analysis Based Bayesian Power Model for Sequential Circuits. CHINESE JOURNAL OF ELECTRONICS[J]. 2010, 19(1): 107-112, http://lib.cqvip.com/Qikan/Article/Detail?id=37118629.
[73] 聂久焘, 程旭, 王克义. 一种高效的完全值编号算法. 电子学报[J]. 2010, 416-421, http://lib.cqvip.com/Qikan/Article/Detail?id=32939727.
[74] XIA Yubin, YANG Chun, NIU Yan, CHENG Xu. Credit-HC: An I/O-friendly CPU Scheduler for Xen. 电子学报：英文版[J]. 2010, 409-413, http://lib.cqvip.com/Qikan/Article/Detail?id=37118344.
[75] 郑衍松, 佟冬, 李皓, 王克义, 程旭. FaLoFiN：基于不确定性过滤的硬件故障局部化方法. 计算机辅助设计与图形学学报[J]. 2010, 1207-1214, http://lib.cqvip.com/Qikan/Article/Detail?id=34471605.
[76] 陈杰, 李险峰, 佟冬, 王克义, 程旭. 基于贝叶斯推理和向量压缩技术的最大功耗分析. 北京大学学报：自然科学版[J]. 2009, 215-221, http://lib.cqvip.com/Qikan/Article/Detail?id=29788825.
[77] 方昊, 程旭, 宋晓笛. 用扫描链重构来提高EFDR编码的测试压缩率和降低测试功耗. 计算机辅助设计与图形学学报[J]. 2009, 1290-1297, http://lib.cqvip.com/Qikan/Article/Detail?id=31573343.
[78] 王箫音, 佟冬, 孙含欣, 程旭. 面向访问需求的数据缓存泄漏功耗管理方法. 电子学报[J]. 2009, 37(2): 362-366, http://lib.cqvip.com/Qikan/Article/Detail?id=29619233.
[79] 段炼, 方昊, 王逵, 帖猛, 程旭. 一种1Ops以下时钟偏差的纯数字电路分频器设计. 电路与系统学报[J]. 2009, 14(6): 87-90, http://lib.cqvip.com/Qikan/Article/Detail?id=32541177.
[80] 方昊, 宋晓笛, 程旭. CacheCompress：一种新颖的面向IP核的动态字典测试压缩技术. 北京大学学报：自然科学版[J]. 2009, 776-782, http://lib.cqvip.com/Qikan/Article/Detail?id=31644171.
[81] Cheng Xu, Tie Meng. A cross-coupled-structure-based temperature sensor with reduced process variation sensitivity. 半导体学报[J]. 2009, 73-79, http://lib.cqvip.com/Qikan/Article/Detail?id=30061461.
[82] 聂久焘, 程旭. 一种收益驱动的语义代码移动算法. 北京大学学报自然科学版[J]. 2009, 599-606, http://lib.cqvip.com/Qikan/Article/Detail?id=31060706.
[83] 陆俊林, 刘丹, 佟冬, 程旭. 一种提供高效带宽分配和低延迟的片上通信仲裁方法. 北京大学学报：自然科学版[J]. 2009, 20-28, http://lib.cqvip.com/Qikan/Article/Detail?id=29473981.
[84] 冯毅, 许经纬, 易江芳, 佟冬, 程旭. 面向模型检验的跨时钟域设计电路特性生成方法. 电子学报[J]. 2009, 37(2): 258-265, http://lib.cqvip.com/Qikan/Article/Detail?id=29619215.
[85] 程旭, 方昊, 姚博, 宋晓笛. 双游程编码的无关位填充算法. 电子学报[J]. 2009, 37(1): 1-6, http://lib.cqvip.com/Qikan/Article/Detail?id=29425589.
[86] Zhang Yang, Guan Xuetao, Huang Tao, Cheng Xu, Sasaki H, Bellot GO, Ehmann M, Dini O. A Heterogeneous Auto-Offloading Framework Based on Web Browser for Resource-constrained Devices. 2009 FOURTH INTERNATIONAL CONFERENCE ON INTERNET AND WEB APPLICATIONS AND SERVICESnull. 2009, 193-199, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000274563200030.
[87] 谢劲松, 佟冬, 李险峰, 庞九凤, 王克义, 程旭. RiTLB：基于存储区域重用的iTLB设计. 北京大学学报：自然科学版[J]. 2009, 607-615, http://lib.cqvip.com/Qikan/Article/Detail?id=31060708.
[88] 帖猛, 程旭. A cross-coupled-structure-based temperature sensor with reduced process variation sensitivity. 半导体学报[J]. 2009, 73-79, http://lib.cqvip.com/Qikan/Article/Detail?id=30061461.
[89] 王逵, 董海瀛, 程旭. 针对面积优化的时钟偏斜规划算法. 北京大学学报：自然科学版[J]. 2009, 29-34, http://lib.cqvip.com/Qikan/Article/Detail?id=29473983.
[90] 段炼, 方昊, 王逵, 帖猛, 程旭. 一种10ps以下时钟偏差的纯数字电路分频器设计. 电路与系统学报[J]. 2009, 14(6): 87-90, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=3786855&detailType=1.
[91] 郑衍松, 佟冬, 李皓, 庞九凤, 王克义, 程旭. MS Windows兼容的系统芯片硬件核心的分析与实践. 北京大学学报：自然科学版[J]. 2009, 973-978, http://lib.cqvip.com/Qikan/Article/Detail?id=32146816.
[92] 赵雨来, 佟冬, 程旭. 利用年龄编码的Bloom过滤算法降低Load-Store队列功耗. 北京大学学报：自然科学版[J]. 2008, 44(4): 559-565, http://lib.cqvip.com/Qikan/Article/Detail?id=27911426.
[93] 赵雨来, 李险峰, 佟冬, 孙含欣, 陈杰, 程旭. 一种基于活跃周期的低端口数低能耗寄存器堆设计. 计算机学报[J]. 2008, 31(2): 299-308, http://lib.cqvip.com/Qikan/Article/Detail?id=26491240.
[94] 刘先华, 杨阳, 张吉豫, 程旭. 一种基于子结构分析的基本块重排算法. 软件学报[J]. 2008, 19(7): 1603-1612, http://lib.cqvip.com/Qikan/Article/Detail?id=27587621.
[95] 孙含欣, 杨鲲鹏, 赵雨来, 佟冬, 程旭. CASA: A New IFU Architecture for Power-Efficient Instruction Cache and TLB Designs. 计算机科学技术学报：英文版[J]. 2008, 141-153, http://lib.cqvip.com/Qikan/Article/Detail?id=26256649.
[96] Sun, HanXin, Yang, KunPeng, Zhao, YuLai, Tong, Dong, Cheng, Xu. CASA: A new IFU architecture for power-efficient instruction cache and TLB designs. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2008, 23(1): 141-153, http://lib.cqvip.com/Qikan/Article/Detail?id=26256649.
[97] YANG Chun, NIU Yan, XIA Yubin, CHENG Xu. Performance Analysis Applications in Virtual of Interactive Desktop Machine Environment. 电子学报：英文版[J]. 2008, 17(2): 242-246, http://lib.cqvip.com/Qikan/Article/Detail?id=27546410.
[98] Xie Jinsong, Li Xianfeng, Tong Dong, Chen Jie, Cheng Xu. A Low-Power dTLB Design Based on Memory Region Encoding. CHINESE JOURNAL OF ELECTRONICS[J]. 2008, 17(4): 595-601, http://lib.cqvip.com/Qikan/Article/Detail?id=28662705.
[99] LIU Shu, GOU Xiaogang, QU Ning, LI Xianfeng, CHENG Xu MPRC. 针对顺序数据访问应用的分离式数据缓存器设计. 北京大学学报：自然科学版[J]. 2008, 44(3): 359-369, http://lib.cqvip.com/Qikan/Article/Detail?id=27334612.
[100] 林桦, 李险峰, 佟冬, 程旭. 保证QoS的片上网络低能耗映射与路由方法. 计算机辅助设计与图形学学报[J]. 2008, 20(4): 425-431, http://lib.cqvip.com/Qikan/Article/Detail?id=26886478.
[101] 陈杰, 佟冬, 李险峰, 谢劲松, 程旭. 基于切片分析的CMOS组合电路贝叶斯动态功耗模型. 半导体学报[J]. 2008, 29(3): 502-509, http://lib.cqvip.com/Qikan/Article/Detail?id=26739409.
[102] Wang Kui, Fang Hao, Xu Hu, Cheng Xu, IEEE. A fast incremental clock Skew scheduling algorithm for slack optimization. 2008 ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2null. 2008, 440-445, [103] 林桦, 张良, 佟冬, 李险峰, 程旭. 面向Mesh片上网络的快速层次化多目标映射方法. 北京大学学报自然科学版[J]. 2008, 44(5): 711-720, http://lib.cqvip.com/Qikan/Article/Detail?id=28306638.
[104] SUN Hanxin, WANG Xiaoyin, TONG Dong, CHENG Xu. 一种降低流水化指令缓冲存储器泄漏功耗的设计方法. 北京大学学报：自然科学版[J]. 2008, 44(1): 55-61, http://lib.cqvip.com/Qikan/Article/Detail?id=26442261.
[105] Chen Jie, Tong Dong, Li Xianfeng, Xie Jinsong, Cheng Xu. 基于切片分析的CMOS组合电路贝叶斯动态功耗模型. 半导体学报[J]. 2008, 29(3): 502-509, http://lib.cqvip.com/Qikan/Article/Detail?id=26739409.
[106] 孙含欣, 王箫音, 佟冬, 程旭. 一种降低流水化指令缓冲存储器泄漏功耗的设计方法. 北京大学学报：自然科学版[J]. 2008, 44(1): 55-61, http://lib.cqvip.com/Qikan/Article/Detail?id=26442261.
[107] Chun, Yang, Yan, Niu, Yubin, Xia, Xu, Cheng. Performance analysis of interactive desktop applications in virtual machine environment. CHINESE JOURNAL OF ELECTRONICS[J]. 2008, 17(2): 242-246, https://www.webofscience.com/wos/woscc/full-record/WOS:000255103200011.
[108] 王逵, 方昊, 程旭. 面向裕量优化的高效时钟偏差规划和延迟提取. 计算机辅助设计与图形学学报[J]. 2008, 20(10): 1288-1296, http://lib.cqvip.com/Qikan/Article/Detail?id=28385978.
[109] 孙含欣, 佟冬, 袁鹏, 程旭. 基于簇的寄存器堆功耗管理方法. 电子学报[J]. 2008, 36(2): 278-284, http://lib.cqvip.com/Qikan/Article/Detail?id=26649949.
[110] 段炼, 许浒, 王逵, 程旭. 给定偏差约束下的时钟布线局部拓扑构造优化算法. 计算机辅助设计与图形学学报[J]. 2008, 20(4): 452-458, http://lib.cqvip.com/Qikan/Article/Detail?id=26886483.
[111] 王宏伟, 佟冬, 程旭, 陆俊林. 支持服务质量的片上网络路由器设计. 计算机辅助设计与图形学学报[J]. 2008, 20(11): 1403-1410, http://lib.cqvip.com/Qikan/Article/Detail?id=28720497.
[112] 冯毅, 易江芳, 刘丹, 佟冬, 程旭. 面向SoC系统芯片中跨时钟域设计的模型检验方法. 电子学报[J]. 2008, 36(5): 886-892, http://lib.cqvip.com/Qikan/Article/Detail?id=27353294.
[113] XIE Jinsong LI Xianfeng TONG Dong CHEN Jie CHENG Xu. A Low-Power dTLB Design Based on Memory Region Encoding. 电子学报：英文版[J]. 2008, 17(4): 595-601, http://lib.cqvip.com/Qikan/Article/Detail?id=28662705.
[114] 刘姝, 苟小刚, 曲宁, 李险峰, 程旭. 针对顺序数据访问应用的分离式数据缓存器设计. 北京大学学报：自然科学版[J]. 2008, 44(3): 359-369, http://lib.cqvip.com/Qikan/Article/Detail?id=27334612.
[115] 程旭, 陆俊林, 易江芳, 刘姝. 面向UMPC的北大众志-SK系统芯片设计. 计算机学报[J]. 2008, 31(11): 1877-1887, http://lib.cqvip.com/Qikan/Article/Detail?id=28668921.
[116] 易江芳, 佟冬, 程旭. 使用贝叶斯网络的高效模拟矢量生成方法. 计算机辅助设计与图形学学报[J]. 2007, 19(5): 616-621, http://lib.cqvip.com/Qikan/Article/Detail?id=24451943.
[117] 曲宁, 袁鹏, 管雪涛, 程旭. 网络计算机典型应用程序的d-TLB行为分析. 北京大学学报：自然科学版[J]. 2007, 43(1): 85-91, http://lib.cqvip.com/Qikan/Article/Detail?id=23680071.
[118] 杨春, 夏虞斌, 钮艳, 程旭. 一种用于网络计算机系统的半集中计算模型. 北京大学学报：自然科学版[J]. 2007, 43(5): 703-708, http://lib.cqvip.com/Qikan/Article/Detail?id=25573570.
[119] Duan Lian, Xu Hu, Wang Kui, Cheng Xu. 基于模拟退火与合并代价反标的低功耗门控时钟布线算法. 北京大学学报：自然科学版[J]. 2007, 43(5): 694-702, http://lib.cqvip.com/Qikan/Article/Detail?id=25573568.
[120] QU Ning, ZHAO Yulai, GUAN Xuetao, CHENG Xu. A Retargetable Full System Simulator for Thin Client Platform. 电子学报：英文版[J]. 2007, 16(3): 401-405, http://lib.cqvip.com/Qikan/Article/Detail?id=25164293.
[121] GUAN Xuetao LIU Shu CHENG Xu. Multiple-Interface Operating Systems Designed for Thin-Client Platforms. 电子学报：英文版[J]. 2007, 16(2): 227-230, http://lib.cqvip.com/Qikan/Article/Detail?id=24472626.
[122] 赵雨来, 李险峰, 佟冬, 程旭. An Energy-Efficient Instruction Scheduler Design with Two-Level Shelving and Adaptive Banking. 计算机科学技术学报：英文版[J]. 2007, 22(1): 15-24, http://lib.cqvip.com/Qikan/Article/Detail?id=23704728.
[123] Liu Xianhua, Zhang Jiyu, Cheng Xu, ACM. Efficient Code Size Reduction without Performance Loss. APPLIED COMPUTING 2007, VOL 1 AND 2null. 2007, 666-672, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000268215700133.
[124] 李险峰, 佟冬, 程旭, 陈杰, 赵晓莺. 基于三维特征参数的贝叶斯推理电路功耗模型. 计算机辅助设计与图形学学报[J]. 2007, 19(10): 1241-1246,1251, http://lib.cqvip.com/Qikan/Article/Detail?id=25632553.
[125] Qu Ning, Zhao Yulai, Guan Xuetao, Cheng Xu. A retargetable full system simulator for thin client platform. CHINESE JOURNAL OF ELECTRONICS[J]. 2007, 16(3): 401-405, http://lib.cqvip.com/Qikan/Article/Detail?id=25164293.
[126] 王宏伟, 陆俊林, 杨佟冬, 程旭. 层次化的片上网络设计方法. 北京大学学报：自然科学版[J]. 2007, 43(5): 669-676, http://lib.cqvip.com/Qikan/Article/Detail?id=25573564.
[127] 赵晓莺, 易江芳, 佟冬, 程旭. 利用遗传算法实现CMOS组合电路静态功耗优化. 北京大学学报：自然科学版[J]. 2007, 43(3): 421-427, http://lib.cqvip.com/Qikan/Article/Detail?id=24571349.
[128] Guan Xuetao, Liu Shu, Cheng Xu. Multiple-interface operating systems designed for thin-client platforms. CHINESE JOURNAL OF ELECTRONICS[J]. 2007, 16(2): 227-230, http://lib.cqvip.com/Qikan/Article/Detail?id=24472626.
[129] Zhao, YuLai, Li, XianFeng, Tong, Dong, Cheng, Xu. An energy-efficient instruction scheduler design with two-level shelving and adaptive banking. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY[J]. 2007, 22(1): 15-24, http://lib.cqvip.com/Qikan/Article/Detail?id=23704728.
[130] Liu Shu, Guan Xuetao, Cheng Xu. DTM: A new mechanism for extensible operating systems. CHINESE JOURNAL OF ELECTRONICS[J]. 2007, 16(4): 591-597, https://www.webofscience.com/wos/woscc/full-record/WOS:000250398100004.
[131] Nie JiuTao, Cheng Xu, Shao Z. An efficient SSA-based algorithm for complete global value numbering. PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGSnull. 2007, 4807: 319-334, [132] 段炼, 许浒, 王逵, 程旭. 基于模拟退火与合并代价反标的低功耗门控时钟布线算法. 北京大学学报：自然科学版[J]. 2007, 43(5): 694-702, http://lib.cqvip.com/Qikan/Article/Detail?id=25573568.
[133] 陆俊林, 佟冬, 程旭, 王宏伟. 层次化片上网络结构的簇生成算法. 电子学报[J]. 2007, 35(5): 916-920, http://lib.cqvip.com/Qikan/Article/Detail?id=24708942.
[134] 赵晓莺, 佟冬, 程旭. VSF：CMOS组合电路的静态功耗评估模型. 半导体学报[J]. 2007, 28(5): 789-795, http://lib.cqvip.com/Qikan/Article/Detail?id=24422410.
[135] 许俊娟, 程旭. 时间约束调度中功能单元的下限估算. 计算机辅助设计与图形学学报[J]. 2006, 18(4): 532-537, http://lib.cqvip.com/Qikan/Article/Detail?id=21718582.
[136] 刘强, 佟冬, 程旭. 部分并行的蒙哥马利模乘法器实现研究. 电子学报[J]. 2006, 34(8): 1537-1541, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=2435740&detailType=1.
[137] 许俊娟, 程旭. 两种不同前提下的多电压调度对比. 计算机辅助设计与图形学学报[J]. 2006, 18(4): 545-550, http://lib.cqvip.com/Qikan/Article/Detail?id=21718584.
[138] 易江芳, 佟冬, 程旭. 基于关键信号的路径覆盖率模型. 计算机辅助设计与图形学学报[J]. 2006, 18(8): 1085-1091, http://lib.cqvip.com/Qikan/Article/Detail?id=22467011.
[139] 易江芳, 佟冬, 程旭. GATEST：使用遗传算法自动生成模拟矢量的验证平台. 北京大学学报. 自然科学版[J]. 2006, 42(5): 668-673, http://sciencechina.cn/gw.jsp?action=detail.jsp&internal_id=2412040&detailType=1.
[140] 宋传华, 程旭. 基于北大众志-863 CPU系统芯片的多级TLB性能研究. 电子学报[J]. 2005, 33(2): 363-366, http://lib.cqvip.com/Qikan/Article/Detail?id=15018954.
[141] 刘强, 佟冬, 程旭. 一款RSA模乘幂运算器的设计与实现. 电子学报[J]. 2005, 33(5): 923-927, http://lib.cqvip.com/Qikan/Article/Detail?id=15736067.
[142] 刘强, 马芳珍, 佟冬, 程旭. 基于新型脉动阵列的RSA密码处理器. 北京大学学报：自然科学版[J]. 2005, 41(3): 495-500, http://lib.cqvip.com/Qikan/Article/Detail?id=15983923.
[143] Liu Qiang, Ma Fangzhen, Tong DONG, Cheng Xu. 一款高吞吐率RSA密码处理器的设计. 北京大学学报：自然科学版[J]. 2005, 41(5): 754-763, http://lib.cqvip.com/Qikan/Article/Detail?id=20221375.
[144] 刘强, 马芳珍, 佟冬, 程旭. 一款高吞吐率RSA密码处理器的设计. 北京大学学报：自然科学版[J]. 2005, 41(5): 754-763, http://lib.cqvip.com/Qikan/Article/Detail?id=20221375.
[145] 刘强, 佟冬, 程旭. 蒙哥马利算法到脉动阵列的规范映射方法. 计算机工程与应用[J]. 2004, 40(34): 1-2，17, http://lib.cqvip.com/Qikan/Article/Detail?id=11253240.
[146] 朱德新, 程旭, 慎辉. UNICORE体系结构中动态转移预测机制的研究与设计. 电子学报[J]. 2004, 32(8): 1351-1355, http://lib.cqvip.com/Qikan/Article/Detail?id=10280233.
[147] 白锋, 程旭. 一种针对短循环的跳转隐藏技术. 计算机工程与应用[J]. 2003, 39(22): 70-71,97, http://lib.cqvip.com/Qikan/Article/Detail?id=8118564.
[148] 程旭, 白锋. 基于主存访问相关解决等技术的高带宽主存控制器设计. 计算机工程与应用[J]. 2003, 39(26): 125-128, http://lib.cqvip.com/Qikan/Article/Detail?id=8323945.
[149] 程旭, 韩曙. 北方微电子产业基地面向TSMC工艺的MPW计划与进展. 中国集成电路[J]. 2002, 49-55, http://lib.cqvip.com/Qikan/Article/Detail?id=1004279954.
[150] 朱德新, 谢丹夏, 程旭. 面向嵌入式系统的优化编译器生成器设计. 小型微型计算机系统[J]. 2002, 23(1): 1-3, http://lib.cqvip.com/Qikan/Article/Detail?id=5881870.
[151] 程旭, 谢丹夏, 韩果凌. 可重定义目标编译器的原理及设计. 计算机工程与应用[J]. 2001, 37(7): 61-, http://lib.cqvip.com/Qikan/Article/Detail?id=5031401.
[152] 刘强, 程旭, 佟冬, 崔光佐. 面向处理器的系统级模拟、仿真及调试技术——基于软硬件协同设计的新方法. 计算机研究与发展[J]. 2001, 38(3): 361-, http://lib.cqvip.com/Qikan/Article/Detail?id=5018832.
[153] 谢丹夏, 程旭. 面向嵌入式系统的优化编译器生成器设计. 计算机应用研究[J]. 2001, 18(4): 9-, http://lib.cqvip.com/Qikan/Article/Detail?id=5042110.
[154] 石利霞, 程旭, 都志辉, 许卓群, 汪剑平. 一种HPF程序的监测与分析工具. 软件学报[J]. 1999, 10(10): 1091-, http://lib.cqvip.com/Qikan/Article/Detail?id=3776579.
[155] 丁文魁, 许卓群, 李晓明, 程旭, 汪剑平. HPF编译器中的通信实现策略及其相关算法. 计算机学报[J]. 1999, 22(5): 486-, http://lib.cqvip.com/Qikan/Article/Detail?id=3545776.
[156] 程旭, 王克义, 杨芙清, 崔光佐. 基于多线索机制的无断流流水. 电子学报[J]. 1999, 27(9): 133-, http://lib.cqvip.com/Qikan/Article/Detail?id=3697812.
[157] 程旭, 崔光佐. 多T_Pipeline耦合结构. 电子学报[J]. 1999, 27(5): 1-, http://lib.cqvip.com/Qikan/Article/Detail?id=3611563.
[158] 程旭. Moore定律还能走多远？. 中国经济和信息化[J]. 1999, 23-26, http://lib.cqvip.com/Qikan/Article/Detail?id=3000789591.
[159] 程旭. 五种执行机制下的指令级并行性. 电子器件[J]. 1997, 20(1): 423-428, http://lib.cqvip.com/Qikan/Article/Detail?id=2442132.

科研活动

科研项目

（ 1 ）安全适用计算机CPU研发与应用, 主持, 国家级, 2009-01--2013-12
（ 2 ）智能硬件软硬件一体化安全芯片及其IP核, 主持, 国家级, 2015-10--2018-09
（ 3 ）嵌入式CPU内核低功耗关键技术研究, 主持, 院级, 2019-07--2021-12
（ 4 ）嵌入式CPU内核高安全关键技术研究, 主持, 院级, 2020-10--2023-07
（ 5 ）国产CPU核心性能提升研究, 主持, 国家级, 2018-01--2019-12
（ 6 ）嵌入式高性能数字信号处理器（DSP）关键技术, 主持, 省级, 2018-01--2021-12
（ 7 ） XX处理器体系结构关键技术, 主持, 国家级, 2019-01--2020-12
（ 8 ） XX处理器, 主持, 国家级, 2019-01--2021-12

指导学生

现指导学生

杨瑞鹏博士研究生 081201-计算机系统结构

王占鹏博士研究生 081201-计算机系统结构

徐志强博士研究生 081201-计算机系统结构

王文智博士研究生 081201-计算机系统结构

王光博士研究生 081201-计算机系统结构

冯雨思博士研究生 081201-计算机系统结构

蔡文静博士研究生 081201-计算机系统结构

户彦飞博士研究生 081203-计算机应用技术

李帅博士研究生 081201-计算机系统结构

杜莹莹博士研究生 081201-计算机系统结构

王文博博士研究生 081201-计算机系统结构