陳銘松

陳銘松

陳銘松,男,在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

相關詞條

熱門詞條

聯絡我們