邮箱登录 | 所务办公 | 收藏本站 | English | 中国科学院
 
首页 计算所概况 新闻动态 科研成果 研究队伍 国际交流 技术转移 研究生教育 学术出版物 党群园地 创新文化 科学传播
研究队伍
院士专家
杰出青年
研究员
副研究员
人才招聘
百人计划
现在位置:首页 > 中文 > 计算所人才库
导师介绍
姓名 陈天石  性别 男 
联系方式   职称 研究员 
研究方向 计算机体系结构、计算智能 
个人介绍
简历:

  陈天石,男,19856月生,江西南昌人。2005年毕业于中国科学技术大学少年班,获理学学士学位(数学与应用数学);2010年毕业于中国科学技术大学计算机学院,获工学博士学位(计算机软件与理论)。同年进入中国科学院计算技术研究所工作,历任助理研究员(2010)、副研究员(2013)和研究员(2016)。研究方向为计算机体系结构和计算智能。在IEEE/ACM TransactionsTheoretical Computer Science、ASPLOS、ISCA、MICRO、HPCAIJCAIAAAISPAADATE等重要期刊和会议上发表论文数十篇。2015年获国家自然科学基金委员会优秀青年基金项目(优青)支持。 

研究方向:
计算机体系结构、计算智能
社会任职:
获奖及荣誉:
代表论著:

  代表性期刊论文(*通讯作者): 

-Tianshi Chen, Shijin Zhang, Shaoli Liu, Zidong Du, Tao Luo, Yuan Gao, Junjie Liu, Dongsheng Wang, Chengyong Wu, Ninghui Sun, Yunji Chen, and Olivier Temam, "A Small-Footprint Accelerator for Large-Scale Neural Networks," ACM Transactions on Computer Systems, in press.

-Tianshi Chen, Qi Guo, Olivier Temam, Yue Wu, Yungang Bao, Zhiwei Xu, and Yunji Chen, "Statistical Performance Comparisons of Computers," IEEE Transactions on Computers, in press . 

-Qi Guo, Tianshi Chen, Zhi-Hua Zhou, Olivier Temam, Ling Li, Depei Qian, and Yunji Chen, "Robust Architectural Design Space Modeling," ACM Transactions on Design Automation of Electronic Systems, in press.

-Shaoli Liu, Tianshi Chen, Ling Li, Xi Li, Mingzhe Zhang, Chao Wang, Haibo Meng, Xuehai Zhou, and Yunji Chen, "FreeRider: Non-local Adaptive Network-on-Chip Routing with Packet-Carried Propagation of Congestion Information," IEEE Transactions on Parallel and Distributed Systems, in press.

-Jun He, Tianshi Chen, and Xin Yao, " On the Easiest and Hardest Fitness Functions," IEEE Transactions on Evolutionary Computation, in press. 

-Qi Guo, Tianshi Chen*, Yunji Chen, Rui Wang, and Huanhuan Chen, Weiwu Hu, and Guoliang Chen, "Pre-Silicon Bug Forecast," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 33, no. 33, pp. 451-463, 2014.  

-Tianshi Chen, Yunji Chen, Qi Guo, Zhi-Hua Zhou, Ling Li, and Zhiwei Xu, "Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations," ACM Transactions on Intelligent Systems and Technology, vol. 5, no. 1, Article 20, 2013. 

-Weishan Dong, Tianshi Chen, Peter Tino, and Xin Yao, "Scaling Up Estimation of Distribution Algorithms For Continuous Optimization," IEEE Transactions on Evolutionary Computation, vol. 17, no. 6, 2013.  

-Yunji Chen, Tianshi Chen*, Ling Li, Ruiyang Wu, Daofu Liu, and Weiwu Hu, "Deterministic Replay Using Global Clock," ACM Transactions on Architecture and Code Optimization, vol. 10, no. 1, Article 1, 2013.  

-Yunji Chen, Tianshi Chen, Ling Li, Lei Li, Liang Yang, Menghao Su and Weiwu Hu, "LDet: Determinizing Asynchronous Transfer for Post-silicon Debugging," IEEE Transactions on Computers, vol. 62, no. 9, pp. 1732-1744, 2013.  

-Yunji Chen, Lei Li, Tianshi Chen*, Ling Li, Lei Wang, Xiaoxue Feng, and Weiwu Hu, "Program Regularization in Memory Consistency Verification," IEEE Transactions on Parallel and Distributed Systems, vol. 23, no. 11, pp. 2163-2174, 2012.  

-Weiwu Hu, Yunji Chen, Tianshi Chen*, Cheng Qian, and Lei Li, "Linear Time Memory Consistency Verification," IEEE Transactions on Computers, vol. 61, no. 4, pp. 502-516, 2012.  

-Tianshi Chen, Ke Tang, Guoliang Chen, and Xin Yao, "A Large Population Size Can be Unhelpful in Evolutionary Algorithms," Theoretical Computer Science, vol. 436, 2012.  

-Tianshi Chen, Ke Tang, Guoliang Chen, and Xin Yao, "Analysis of Computational Time of Simple Estimation of Distribution Algorithms," IEEE Transactions on Evolutionary Computation, vol. 14, no. 1, pp. 1-22, 2010. 2010年度最佳论文奖提名) 

-Tianshi Chen, Jun He, Guoliang Chen, and Xin Yao, "Choosing Selection Pressure for Wide-gap Problems," Theoretical Computer Science, vol. 411, no. 6, pp. 926-934, 2010.  

-Tianshi Chen, Jun He, Guangzhong Sun, Guoliang Chen, and Xin Yao, "A New Approach to Analyzing Average Time Complexity of Population-based Evolutionary Algorithms on Unimodal Problems," IEEE Transactions on Systems, Man, and Cybernetics: Part B, vol. 39, no. 5, pp. 1092-1106, 2009.  

  代表性会议论文: 

-Shijin Zhang, Zidong Du, Lei Zhang, Huiying Lan, Shaoli Liu, Ling Li, Qi Guo, Tianshi Chen, and Yunji Chen, "Cambricon-X: An Accelerator for Sparse Neural Networks," In Proceedings of 49th IEEE/ACM International Symposium on Microarchitecture (MICRO'16), 2016.CCF A类会议)

-Shaoli Liu, Zidong Du, Jinhua Tao, Dong Han, Tao Luo, Yuan Xie, Yunji Chen, and Tianshi Chen, "Cambricon: An Instruction Set Architecture for Neural Networks," In Proceedings of 43rd ACM/IEEE International Symposium on Computer Architecture (ISCA'16), 2016. CCF A类会议;同行评议最高分)

-Daofu Liu, Tianshi Chen, Shaoli Liu, Jinhong Zhou, Shengyuan Zhou, Olivier Temam, Xiaobing Feng, Xuehai Zhou, and Yunji Chen, "PuDianNao: A Polyvalent Machine Learning Accelerator," In Proceedings of 20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'15), 2015.CCF A类会议;第一指导老师)

-Yunji Chen, Tao Luo, Shaoli Liu, Shijin Zhang, Liqiang He, Jia Wang, Ling Li, Tianshi Chen, Zhiwei Xu, Ninghui Sun, and Olivier Temam, "DaDianNao: A Machine-Learning Supercomputer," In Proceedings of 47th IEEE/ACM International Symposium on Microarchitecture (MICRO'14), 2014.最佳论文奖CCF A类会议)

-Tianshi Chen, Zidong Du, Ninghui Sun, Jia Wang, Chengyong Wu, Yunji Chen, and Olivier Temam, "DianNao: A Small-Footprint High-Throughput Accelerator for Ubiquitous Machine-Learning," In Proceedings of 19th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2014), 2014. 最佳论文奖CCF A类会议)  

-Tianshi Chen, Qi Guo, Ke Tang, Olivier Temam, Zhiwei Xu, Zhi-Hua Zhou, and Yunji Chen, "ArchRanker: A Ranking Approach to Design Space Exploration," In Proceedings of 41th ACM IEEE International Symposium on Computer Architecture (ISCA'14), 2014.CCF A类会议) 

-Tianshi Chen, Yunji Chen, Qi Guo, Olivier Temam, Yue Wu, and Weiwu Hu, "Statistical Performance Comparisons of Computers," In Proceedings of 18th International Symposium on High-Performance Computer Architecture (HPCA-18), New Orleans, Louisiana, 2012. CCF A类会议) 

-Tianshi Chen, Yunji Chen, Marc Duranton, Qi Guo, Atif Hashmi, Mikko Lipasti, Andrew Nere, Shi Qiu, Michele Sebag, and Olivier Temam, "BenchNN: On the Broad Potential Application Scope of Hardware Neural Network Accelerators," In Proceedings of 2012 International Symposium on Workload Characterization (IISWC'12), San Diego, California, 2012. (最佳论文奖提名) 

-Qi Guo, Tianshi Chen, Yunji Chen, Zhi-Hua Zhou, Weiwu Hu, and Zhiwei Xu, "Effective and Efficient Microprocessor Design Space Exploration Using Unlabeled Design Configurations," In Proceedings of 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), Barcelona, Spain, 2011. CCF A类会议;第一指导老师) 

-Lei Li, Tianshi Chen, Yunji Chen, Ling Li, Cheng Qian, and Weiwu Hu, "Brief Announcement: Program Regularization in Verifying Memory Consistency," In Proceedings of 23rd ACM Symposium on Parallelism in Algorithms and Architectures (SPAA'11), San Jose, California, 2011.CCF B类;第一指导老师) 

-Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, Yue Wu and Weiwu Hu, "Empirical Design Bugs Prediction for Verification," In Proceedings of 2011 Design, Automation and Test in Europe Conference (DATE'11), Grenoble, France, 2011. CCF B类会议;第一指导老师) 

-Ke Tang, Rui Wang, and Tianshi Chen, "Towards Maximizing The Area Under The ROC Curve For Multi-class Classification Problems," In Proceedings of 25th AAAI Conference on Artificial Intelligence (AAAI'11), San Francisco, USA, 2011. CCF A类会议) 

-Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, and Weiwu Hu, "On-the-fly Reduction of Stimuli for Functional Verification," In Proceedings of 19th IEEE Asian Test Symposium (ATS'10), Shanghai, China, 2010. (第一指导老师) 

-Yunji Chen, Weiwu Hu, Tianshi Chen, and Ruiyang Wu, "LReplay: A Pending Period Based Deterministic Replay Scheme," In Proceedings of 37th ACM IEEE International Symposium on Computer Architecture (ISCA'10), 2010.CCF A类会议) 

-Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua Shen, Pengyu Wang, and Hong Pan, "Fast Complete Memory Consistency Verification," In Proceedings of 15th International Symposium on High-Performance Computer Architecture (HPCA-15), 2009. CCF A类会议;中国大陆研究机构首次发表HPCA论文) 

-Tianshi Chen, Per Kristian Lehre, Ke Tang, and Xin Yao, "When Is an Estimation of Distribution Algorithm Better than an Evolutionary Algorithm," In Proceedings of 2009 IEEE Congress on Evolutionary Computation (CEC'09), Trondheim, Norway, 2009.  

-Tianshi Chen, Ke Tang, Guoliang Chen, and Xin Yao, "Rigorous Time Complexity Analysis of Univariate ">Proceedings of 2009 IEEE Congress on Evolutionary Computation (CEC'09), Trondheim, Norway, 2009.  

-Tianshi Chen, Ke Tang, Guoliang Chen, and Xin Yao, "On the Analysis of Average Time Complexity of Estimation of Distribution Algorithms," In Proceedings of 2007 IEEE Congress on Evolutionary Computation (CEC'07), Singapore, 2007, pp. 453-460. 

承担科研项目情况:
学科类别:
计算机系统结构
所属部门:
计算机体系结构国家重点实验室
专家类别:
正高
杰青入选时间:
百人入选时间:
其他备注:
博导计算机系统结构
其他备注2:
其他备注3:
 
网站地图 | 联系我们 | 意见反馈 | 所长信箱
 
欢迎访问中国科学院计算技术研究所 京ICP备05002829号
地址:北京海淀区中关村科学院南路6号 邮编:100190 电话:010-62601166 邮箱:xuanchuanban@ict.ac.cn