陳銘松

陳銘松，男，在2003年與2006年分別獲得南京大學計算機科學與技術專業本科與碩士學位，2010年獲得美國佛羅里達大學計算機博士學位。

基本介紹

• 中文名：陳銘松
• 國籍：中國
• 學位/學歷：博士
• 性別：男
• 單位：華東師範大學 

個人簡歷

陳銘松2003年與2006年分別獲得南京大學計算機科學與技術專業本科與碩士學位，2010年獲得美國佛羅里達大學計算機博士學位。2010年加入華東師範大學軟體學院，2015年獲教授職稱。主要研究方向為信息物理融合系統設計自動化、計算機體系結構、物聯網技術，形式化方法。在嵌入式系統與雲計算頂級期刊與會議如ACMTECS、ACMTODAES、IEEETC、IEEETCAD、IEEETCC、 IEEETPDS、CODES+ISSS、DAC、DATE、ICSE上發表論文70餘篇，獲批軟體著作權10餘項，申請/獲批專利20餘項。主持完成包括自然科學基金委重點項目在內的省部級項目5項。相關研究成果2013年形成Springer英文專著一部，其俄文版本也於2014年正式出版。2009年與2013年曾兩次獲得國際重要會議“國際VLSI設計大會”最佳論文提名。

擔任SCI期刊Journal of Circuits, Systems and Computers（2013-至今）與IET Computers & Digital Techniques（2015年至今）副主編，擔任過嵌入式領域頂級會議CODES+ISSS 2013 Session主席，可信軟體知名會議SERE 2014 Session主席，2012微軟亞洲研究院-ECNU“可驗證軟體國際研討會”組織主席，中國計算機協會2016嵌入式專委會年會組織主席與出版主席。擔任上海市計算機協會物聯網專委會副主任，IEEE高級會員，中國計算機協會高級會員，中國計算機協會嵌入式專委會常委委員，上海計算機協會YOCSEF學術委員與2017-2018學術秘書，中國計算機系會形式化方法專委會委員。擔任包括嵌入式著名會議DATE、VLSID、SAC在內的20餘個國際會議的技術委員會委員，擔任過20餘個著名期刊會議的審稿人，以及國家自然科學基金委重點項與面上項目的評閱人。

主要研究方向

信息物理融合系統設計與驗證自動化、可信IC、EDA、形式化方法、智慧型系統、雲計算/邊緣計算，物聯網

工作經歷

2015.12- 華東師範大學軟體學院 教授

發表論文

專著

• Mingsong Chen‚ Xiaoke Qin‚ Heon-mo Koo and Prabhat Mishra. System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. Springer, 2012. ISBN: 978-1-4614-1358-5（英文版）
• Mingsong Chen‚ Xiaoke Qin‚ Heon-mo Koo and Prabhat Mishra. System-Level Validation: High-Level Modeling and Directed Test Generation Techniques. Springer, 2014. ISBN: 978-5-94836-365-3（俄文版）

論文

• Yangdi Lyu, Xiaoke Qin, Mingsong Chen and Prabhat Mishra. Directed Test Generation for Validation of Cache Coherence Protocols.IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2018.
• Tongquan Wei, Junlong Zhou, Kun Cao, Peijin Cong, Mingsong Chen, X. Sharon Hu, and Jianming Yan.Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoC Systems. IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD), 2018.
• Mingsong Chen,Xinqian Zhang, Haifeng Gu, Tongquan Wei and Qi Zhu. Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling Under Thermal and Energy Variations. To appear in IEEE Transactions on Sustainable Computing, 2017
• Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei and Frederic Mallet. Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. To appear in IEEE Transactions on COMPUTER-AIDED DESIGN of Integrated Circuits and Systems (TCAD)，2017
• Mingsong Chen, Xin Fu, Geguang Pu and Tongquan Wei. Efficient Resource Constrained Scheduling using Parallel Two-Phase Branch-and-Bound Heuristics. IEEE Transactions on Parallel and Distributed Systems (TPDS), 2017
• Mingsong Chen, Xin Fu, Saijie Huang, Xiao Liu and Jifeng He. Statistical Model Checking-Based Evaluation and Optimization forCloud Workflow Resource Allocation. IEEE Transactions on Cloud Computing, 2016.
• Jingweijia Tan, Mingsong Chen, Yang Yi, and Xin Fu, Mitigating the Impact of Hardware Variability for GPGPUs Register File, IEEE Transactions on Parallel and Distributed Systems (TPDS), 2016.
• Kaige Yan, Peng Lu, Mingsong Chen, and Xin Fu. Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms.To appear in ACM Transactions on Design Automation of Electronic Systems (TODAES)
• Junlong Zhou, Tongquan Wei, Mingsong Chen, Yue Ma, and Sharon Hu. Thermal-Aware Task Scheduling for Energy Minimization in Heterogeneous Real-Time MPSoC Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)‚ 2016.
• Jingweijia Tan, Zhi Li,Mingsong Chen, and Xin Fu. Exploring Soft-Error Robust and Energy-Efficient Register File in GPGPUs using Resistive Memory.To appear in ACM Transactions on Design Automation of Electronic Systems (TODAES), 2016.
• Mingsong Chen, Xinqian Zhang, Geguang Pu, Xin Fu and Prabhat Mishra. Efficient Resource Constrained Scheduling using Parallel Structure Aware Pruning Techniques. IEEE Transactions on Computers,2016
• Mingsong Chenand Prabhat Mishra.Automaitc RTL Test Generation from SystemC TLM Specifications. ACM Transaction on Embedded Computing Systems, 2012.
• Mingsong Chen and Prabhat Mishra.Property Learning Techniques for Efficient Generation of Directed Tests. IEEE Transactions on Computers‚2011.
• Mingsong Chenand Prabhat Mishra.Efficient SAT-based Test Generation using Property Clustering.IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems‚ 2010
• Mingsong Chen‚ Xiaokang Qiu‚ Wei Xu‚ Linzhang Wang‚ Jianhua Zhao‚ Xuandong Li.UML Activity Diagram Based Automatic Test Case Generation for Java Programs. In The Computer Journal‚ 2009.
• Haifeng Gu, Mingsong Chen, Tongquan Wei, Li Lei, and Fei Xie. Specification-Driven Automated Conformance Checking for Virtual Prototype and Post-Silicon Designs. Design Automation Conference (DAC), 2018
• Fan Gu, Xinqian Zhang, Mingsong Chen, Daniel Grosse, Rolf Drechsler. Timing Analysis of UML Activity Diagrams Using Statistical Model. Design Automation and Test in Europe (DATE),2016.
• Mingsong Chen, Daian Yue, Xiaoke Qin, Xin Fu and Prahbat Mishra. Variation-Aware Evaluation for MPSoC Task Allocation and Scheduling Strategies using Statistical Model Checking. Design, Automation and Test in Europe (DATE),2015
• Mingsong Chen, Lei Zhou, Geguang Pu and Jifeng HE. Bound-Oriented Parallel Pruning Approaches for Efficient Resource Constrained Scheduling of High-Level Synthesis.International Conference on Hardware/Software Codesign and System Synthesis Design (CODES+ISSS), 2013
• Ang Li and Mingsong Chen.Efficient Self-learning Techniques for SAT-based Test Generation.International Conference on Hardware/Software Codesign and System Synthesis Design (CODES+ISSS)2012
• Mingsong Chen and Prabhat Mishra.Decision Ordering Based Property Decomposition for Functional Test Generation.Design‚ Automation and Test in Europe‚2011
• Mingsong Chen‚ Xiaoke Qin and Prabhat Mishra‚ Efficient Decision Ordering Techniques for SAT-based Test Generation‚Design Automation and Test in Europe‚ 2010