Editorial Activity:
-
Associate Editor
of Journal of Circuits, Systems and Computers (JCSC), 2013 - present
-
Associate Editor
of IET Computers & Digital Techniques(CDT), 2016 - present
Technical Program Committee Member:
- Design Autoamtion and Test in Europe (DATE'14-16, 19)
- International Conference on VLSI Design (VLSID'14-15, 18-19)
- ACM Symposium on Applied Computing (SAC'11-18)
- Australasian Symposium on Parallel and Distributed Computing (AusPDC 17)
- Embedded System Technical Conference of CCF (ESTC2016), Organization Chair.
- Microsoft Reasearch Asia Verified Software, 2012.
- International Workshop on Formal methOds for Real-time Distributed Systems (FORDS'12)
- International Conference on Contemporary Computing (IC3), 2010.
- International Conference on Formal Engineering Methods (ICFEM), 2010.
Reviewer:
- International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2007, 2008, 2009, 2012
- International Conference on VLSI Design (VLSI Design) 2007-2010
- ACM Great Lakes Symposium on VLSI (GLSVLSI), 2009
- IEEE Computer Society Annual Symposium on VLSI (ISVLSI), 2009
- Design Automation Conference (DAC), 2009-2016
- Asia and South Pacific Design Automation Conference (ASP-DAC), 2010.
- Design Automation & Test in Europe (DATE),2010-2016
- The International Conference on Computer-Aided Design (ICCAD), 2012
- Journal of Electronic Testing
- ACM Transactions on Design Automation of Electronic Systems
- IEEE Design & Test of Computers
- IEEE Transactions on Cloud Computing
- IEEE Transactions on Computers
- IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
- ACM Transactions on Cyber-Physical Systems
- Frontiers of Computer Science in China
- Journal of Systems and Software
- 软件学报
- 计算机学报
Memberships:
- 上海计算机协会物联网专委会 副主任
- 中国计算机协会微机专委会 常务委员
- 中国计算机学会青年计算机科技论坛CCF YOCCEF上海地区 AC委员
- 中国计算机学会 高级会员
- 中国计算机学会上海体系架构分委会 委员
- 中国计算机学会上海协同计算分委会 委员
- 中国计算机学会上海嵌入式系统分委会 委员
- IEEE Senior Member
- ACM Member