陳天石[中國科學院計算技術研究所研究員]:陳天石，男，1985年6月生， -百科知識中文網

個人簡歷

陳天石，男，1985年6月生，江西南昌人。2010年畢業於中國科學技術大學計算機學院，獲工學博士學位。同年進入中國科學院計算技術研究所工作。研究方向為計算機體系結構和計算智慧型。在IEEE/ACM Transactions、Theoretical Computer Science、ASPLOS、ISCA、MICRO、HPCA、IJCAI、AAAI、SPAA、DATE等重要期刊和會議上發表論文40餘篇。曾獲ASPLOS最佳論文獎（2014）、MICRO最佳論文獎（2014）、全國百篇優秀博士論文提名獎（2012）、中國計算機學會優秀博士論文獎（2011）、中國科學院優秀博士論文獎（2011）、中國科學院院長獎（2010）等榮譽，併入選計算所百星計畫（2011）、CCF-Intel青年學者提升計畫（2014）。

2001年-2005年：中國科學技術大學少年班，獲理學學士（數學與套用數學專業）

2005年-2010年：中國科學技術大學計算機學院，獲工學博士（計算機軟體與理論專業；導師陳國良、姚新）

2010年-2013年：中國科學院計算技術研究所助理研究員

2013年-2016年：中國科學院計算技術研究所副研究員

2016年至今：中國科學院計算技術研究所研究員，中科寒武紀科技CEO 。研發出我國首款人工智慧晶片寒武紀。

研究方向

計算機體系結構、計算智慧型

代表論著

-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

-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

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

-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

-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

-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

-Weiwu Hu, Yunji Chen, Tianshi Chen*, Cheng Qian, and Lei Li, "Linear Time Memory Consistency Verification," IEEE Transactions on Computers, vol

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

-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

-Tianshi Chen, Jun He, Guoliang Chen, and Xin Yao, "Choosing Selection Pressure for Wide-gap Problems," Theoretical Computer Science, vol

-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

會議論文

-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)

-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)

-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)

-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)

-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)

-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)

-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)

-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)

-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)

-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)

-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

-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)

-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)

-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)

-Tianshi Chen, Ke Tang, Guoliang Chen, and Xin Yao, "Rigorous Time Complexity Analysis of Univariate Marginal Distribution Algorithm with Margins," In Proceedings of 2009 IEEE Congress on Evolutionary Computation (CEC'09)

-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)