陈天石  研究员  

研究方向:

所属部门:

导师类别:博导计算机系统结构(客座)

联系方式:

个人网页:http://novel.ict.ac.cn/tchen

简       历:

  陈天石,男,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. 

科研项目:

获奖及荣誉: