陳天石[中國科學院計算技術研究所研究員]

陳天石[中國科學院計算技術研究所研究員]

陳天石,男,1985年6月生,江西南昌人,中國科學院計算技術研究所 研究員,中科寒武紀科技CEO

基本信息

個人簡歷

陳天石,男,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)

陳姓名人盤點(二)

盤點陳姓當中一些在各行各業有著突出成績的人物,包括教師,研究員,科研人員以及機關幹部等名人。
陳進良
陳錦旺
陳金石
陳金聲
陳和興
陳惟時
陳為霖
陳為匡
陳金典
陳威烈
陳萬勛
陳萬雄
陳和鈞
陳同蕙
陳通謨
陳庭金
陳金本
陳天柱
陳天石
陳潔清
陳天朗
陳天高
陳天彪
陳將熙
陳健琦
陳特鑾
陳劍儒
陳劍林
陳四海
陳四川
陳思渠
陳舜娥
陳順先
陳順清
陳帥民
陳合明
陳冠洲
陳樹實
陳樹培
陳樹蘭
陳述榮
陳廣真
陳曙霞
陳暑庭
陳淑英
陳漢興
陳淑身
陳淑榮
陳光楹
陳光曄
陳叔瑾
陳書章
陳守川
陳守常
陳甲申
陳世元
陳世鈺
陳世瑜
陳世宜
陳世修
陳世坤
陳世高
陳世澄
陳士平
陳嘉明
陳家琦
陳盛祿
陳聖源
陳省山
陳申生
陳申寬
陳社保
陳紹智
陳家琅
陳家驥
陳漢輝
陳漢東
陳少宗
陳少毅
陳少純
陳善卿
陳山林
陳森強
陳三陽
陳潤政
陳瑞賢
陳繼蘭
陳瑞璘
陳瑞娣
陳汝翼
陳汝活
陳如意
陳如燕
陳吉清
陳如泉
陳榕星
陳榮鍾
陳冠茂
陳榮清
陳榮廉
陳吉琛
陳榮海
陳榮峰
陳國虞
陳任昭
陳仁物
陳仁績
陳人蔣
陳權盛
陳全友
陳光松
陳秋乾
陳瓊花
陳慶佑
陳國香
陳惠國
陳清炮
陳青良
陳欽豪
陳謙海
陳琪明
陳其統
陳其明
陳其華
陳其恩
陳丕基
陳國樹
陳佩惠
陳沛生
陳培中
陳培生
陳培堅
陳國倫
陳國榘
陳南村
陳木喜
陳謨有
陳煥林
陳明揚
陳懷濤
陳懷嵩
陳明慈
陳華信
陳華山
陳厚傑
陳梅梅
陳茂松
陳光山
陳祿生
陳陸均
陳隆勛
陳龍玄
陳留根
陳令生
陳洪霄
陳國海
陳洪達
陳林俊
陳林峰
陳林長
陳梁棟
陳良猷
陳連亭
陳宏溪
陳紅勝
陳麗堂
陳紅路
陳弘道
陳立奇
陳立龍
陳立宏
陳科文
陳康全
陳開周
陳開運
陳國敦
陳開本
陳浚泉
陳峻青
陳俊文
陳均祝
陳君勝
陳君德
陳覺凝
陳恆昌
陳菊齡
陳居堂
陳冠初
陳鏡合
陳國呈
陳貴揚
陳進莊
陳金明
陳洛生
陳煥玲
陳林祥
陳南雲
陳明儀
陳聽寬
陳恆華
陳和毓
陳基生
陳瑞文
陳立平[教授]
陳開勛
陳巨鎖
陳榮華
陳慧敏
陳敬忠
陳慶宣
陳天寶
陳晃明
陳塑寰
陳佩薰
陳漢生
陳建業
陳鴻德
陳建偉
陳淑範
陳洪光
陳國階
陳鶴鳴
陳林森
陳利銘
陳浩然
陳漢源
陳國英
陳松齡[京劇丑角]
陳日新
陳建勛[教師]
陳漢欣
陳慶華
陳建新
陳天麒
陳體漲
陳光庭
陳建定
陳敏華
陳家驊
陳淑儀
陳家福
陳吉紅
陳及霖
陳煥章
陳立群
陳紹宏
陳紹光
陳紹蕃
陳久金
陳鶴年
陳建華[文學家]
陳玲玲[崑曲演員]
陳為江
陳萬東
陳素榮
陳建中
陳樹勛
陳光斗
陳癸尊
陳世源
陳時理
陳石生
陳紹強
陳如松
陳立新[武漢大學教授]
陳全茂
陳能秀
陳金登
陳明強
陳民揚
陳靈芝
陳述彭
陳淑長
陳榮悌
陳建軍
陳夢熊
陳樹中
陳涵奎
陳利明
陳明仁
陳國達

相關詞條

相關搜尋

熱門詞條

聯絡我們