About

Cunxi is a tenure-track Assistant Professor in the ECE Department at the University of Utah. Cunxi was a PostDoc Cornell University with Prof. Zhiru Zhang in 2018-2019, and was a PostDoc at Integrated Systems Laboratory (LSI) at EPFL, Lausanne, Switzerland, with Prof. Giovanni De Micheli in 2017-2018. He received Ph.D. degree from University of Massachusetts Amherst (UMass Amherst) in 2017, under the supervision of Prof. Maciej Ciesielski. His research interests focus on formal methods, electronic design automation, applied machine learning, formal verification, and hardware security. Cunxi spent 11 months as a research intern at IBM T.J Watson Research Center in 2015 and 2016. His work received the best paper nominations at ASP-DAC (2017), TCAD Best paper nomination (2018), and won the 1st place at DAC Security Contest (2017). Cunxi was nominated for ACM Outstanding Ph.D dissertation award by UMass.

News

• Hiring: CE Ph.D. positions avaiable in Fall 2020. Area: 1) Formal Methods 2) EDA/VLSI/Circuits
• 05/2020 I will serve as TPC of 39th International Conference On Computer Aided Design (ICCAD'2020).
• 04/2020 I will serve as PhD/Student Forum Chair of 28th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC 2020), and serve as TPC member of 26th Asia and South Pacific Design Automation Conference(ASP-DAC 2021)
• 02/2020 I will serve as Special Session Chair of The 38th IEEE International Conference on Computer Design (ICCD'20)
• 01/2020 I will serve as Financial Chair of 29th International Workshop on Logic & Synthesis (IWLS'20)
• 11/2019 PhD Students Qiwei Yuan, Yingjie Li join the group. Welcome!
• 07/2019 I will serve as Guest Editor of Journal of Signal Processing Systems (JSPS) Special Issue.
• 05/2019 I will serve as TPC member and Best Paper Award Committee of ASP-DAC'20.
• 03/2019 We are organizing The 30th IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP 2019) July 15-17, 2019, at Cornell Tech, New York City. Paper submission site is open!

Tools & Datasets

• Function Extraction for Integer Arithmetic Circuits using Computer Algebra [TCAD'16] [DAC'15] [ISVLSI'16] [Old Version] [New Version@Github]

• De-camouflaging using Incremental SAT [DATE'16] [TCAD'16] [Website]

• Parallel Analysis of Galois Field Arithmetic - Verification and Reverse Engineering [APS-DAC'17] [DATE'17][TCAD'18] [Github]

• FlowGen-CNNs [DAC'18] [Datasets & Demo @Github]

Research Employments

Assistant Profesor, ECE Dept., University of Utah (08/2019 - present)

Postdoctoral Associate, Cornell University (09/2018 - 08/2019 )

Postdoctoral Researcher, EPFL | École polytechnique fédérale de Lausanne, Lausanne, Switzerland (08/2017 - 08/2018 )

Research Assistant, University of Massachusetts, Amherst, VLSI CAD Laboratory (01/2014 - 07/2017)

Research Intern, IBM Thomas J. Watson Research Center, Yorktown Height, New York, USA (05/2016 - 11/2016 & 05/2015 - 09/2015)

 

People

PhD Students: Qiwei Yuan (Sp'20 - ), Yingjie Li (Sp'20 - )

 

Education

• Ph.D. Computer System Engineering, University of Massachusetts, Amherst 09. 2013 - 04. 2017

  Thesis: Formal Analysis of Arithmetic Circuits using Computer Algebra - Verification, Abstraction, and Reverse Engineering

• B.S. ECE, Zhejiang University City College. 09. 2009 - 06. 2013

 

Professional Service

• Organizing Committee: ASAP'19, IWLS'20, ICCD'20, VLSI-SoC'20

• TPC Member: IWLS'17, IWLS'18, IWLS'19, DUHDe@DATE'19, ASP-DAC'20, ICCAD'20, ASP-DAC'21

• Funding Review/Panelist: NSF-CCF'20

• Journal Reviewer: IEEE Transactions on VLSI, IEEE Design&Test, IEEE Transactions on CAD, IEEE Transactions on Information Forensics and Security, IEEE Embedded System Letter

Conference Reviewer: VTS'15, ICCAD'15, CHES'16, DAC'17, DAC'18, ASPDAC'19, FPGA'19