Cunxi Yu @ University of Maryland

Assistant Professor

University of Maryland, College Park
Email:cunxiyu(at)umd(dot)edu

About

Cunxi is an Assistant Professor in the ECE Department (A. James Clark School of Engineering), and an affiliated Assistant Professor in the CS Department, at the University of Maryland, College Park. His research interests focus on novel algorithms, systems, and hardware designs for computing and security. Before joining University of Maryland, Cunxi was Assistant Professor with University of Utah, and held PostDoc at Cornell University (with Prof. Zhiru Zhang) and EPFL in 2017-2018 (with Prof. Giovanni De Micheli). Cunxi was a research intern at IBM T.J Watson Research Center in 2015 and 2016. He received Ph.D. degree from UMass Amherst in 2017 under Prof. Maciej Ciesielski. His work received the Best Paper Award at ASPLOS (2025), Best Paper Award at DAC (2023), two Best Paper Nominations, and 1st place at DAC Hack@DAC (2017), American Physical Society DLS poster award (2022), and NSF CAREER Award (2021). CV

I am very fortunate to work with a group of talented researchers and students! I am actively seeking students who show strong interests in EDA and formal methods research.

I am deeply grateful to my wife and our two beloved cats, Bagel and Oreo, for their unwavering support and companionship.

Recent talks

The Rise and Fall of Machine Learning for EDA - Studies in Synthesis and Verification (U Delaware, Peking U, Google X, NVIDIA, Synopsys, UWisconsin Madison, GaTech, TAMU)
A Computer Engineering Journey to Optical Neural Networks: Infrastructure, Algorithms, and Co-design (Rutgers Efficient AI Seminar, Stevens Institute of Technology, NCSU, OPTSys Seminar Series)

News

05/2025 Received NVIDIA GPU Cloud Grant.
05/2025 REVEAL accepted at IWLS 2025.
05/2025 BoolE has received Best Paper Nomination at DAC 2025!
05/2025 One paper accepted at Nature Communications.
05/2025 One paper accepted at ICML'25.
05/2025 HEC accepted at USENIX ATC'25.
04/2025 SmoothE received Best Paper Award at ASPLOS'25!

GitHub

03/2025 Invited Seminar at TAMU.
03/2025 Receive Northrop Grumman Seed Grant.
02/2025 Invited Seminar at Georgia Institute of Technology.
02/2025 Two papers accepted at DAC'25.
01/2025 Received a DARPA award for intelligent combinatorial optimization.
12/2024 Our collaborative work with Prof. Weilu Gao accepted at Advanced Photonics Research.
12/2024 Invited Seminar at University of Wisconsin–Madison.
11/2024 One paper appeared at VLSI-SoC'25 on formal verification of modular arithmetic.
10/2024 Team UMD placed 3rd in the first LLM for Hardware Design Contest@ICCAD, led by Junior student Carsten. Congrats!
10/2024 SmoothE to appear at ASPLOS'25!
08/2024 Welcome Zhan Song, Chen Chen, Qihao Hu to the group!
06/2024 Yu gave Talks at NVIDIA Research and Google DeepMind.
06/2024 MapTune is accepted at ICCAD'24 GitHub
05/2024 Differentiable combinatorial scheduler is accepted at ICML'24. GitHub
04/2024 Daniel (NSF REU) will begin his PhD study at MIT EECS in Fall'24!
04/2024 Received $900K NSF Grant for advanced hardware synthesis w Prof. Zhiru Zhang (Cornell).
(past news)

Tools

ML-based Synthesis & Design Automation Systems

MapTune (ICCAD'24) Boosting ASIC Mapping with STD Library Tuning - [Github]/li> on RTL Designs) [Github]
Gamora (DAC'23) (graph learning 4 Boolean reasoning) [Github]
FlowTune (ICCAD'20, TCAD'22) (w end-to-end FPGA/ASIC support) [Github]
FlowGen (DAC'18)[Github] (replaced by FlowTune)

Formal Verification System

Algebraic Combinational Equivalence Checking (ACEC) [Thesis Version] [New Version] [ACEC@ABC]
Logic Decryption using Incremental SAT [Website] [Github]
Formal Verification of GF(2^n) Arithmetic [Website] [Github]