Hanyu WANG

Hanyu Wang [CV]

About:

Hanyu Wang is a PhD student at UCLA in the department of computer science tutored by Prof. Jason Cong. Hanyu is broadly interested in mathematical optimization problems in electronic design automation. He graduated from Shanghai Jiao Tong University in 2021 and has worked with Prof. Weikang Qian on logic synthesis since 2019.

Outputs:

Publications

Presentations

Projects

Publications

Quantum State Preparation Circuit Optimization Exploiting Don't Cares (ICCAD 2024).
2024.10
Hanyu Wang, Daniel Bochen Tan, and Jason Cong
Rarity-Reducing Logic Synthesis for Mitigating Hardware Trojan Threats (ICCAD 2024).
2024.10
Chang Meng, Mingfei Yu, Hanyu Wang, and Giovanni De Micheli
Global Crossover: An Evolution Strategy for Logic Synthesis (IWLS 2024).
2024.06
Hanyu Wang, Chang Meng, and Giovanni De Micheli
Quantum State Preparation Using an Exact CNOT Synthesis Formulation (DATE 2024).
2024.03
Hanyu Wang, Jason Cong, Giovanni De Micheli
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting (DATE 2024).
Best Paper Award Nominee
2024.03
Chang Meng, Hanyu Wang, Yuqi Mai, Weikang Qian, and Giovanni De Micheli
MapBuf: Simultaneous Technology Mapping and Buffer Insertion for HLS Performance Optimization (IWLS 2023 & ICCAD 2023).
Best Paper Award Nominee
2023.11
Hanyu Wang, Carmine Rizzi, and Lana Josipović
A Cost-generic Resubstitution Algorithm with Customizable Cost Functions (IWLS 2022).
2022.07
Hanyu Wang, Siang-Yun Lee, and Giovanni De Micheli
Distilling Arbitration Logic from Traces using Machine Learning: A Case Study on NoC (DAC 2021)
Best Paper Award Nominee
2021.02
Yuan Zhou, Hanyu Wang, Jieming Yin, Zhiru Zhang

Presentations

DAC 2023 WIP Presentation
2023.07
Hanyu Wang, Siang-Yun Lee, Giovanni De Micheli
YouTube
IWLS Contest 2023 Presentation
2023.06
Siang-Yun Lee, Alessandro Tempia Calvino, Hanyu Wang
YouTube
MapBuf IWLS 2023 Presentation
2023.06
Hanyu Wang, Carmine Rizzi, and Lana Josipović
YouTube
IWLS 2022 Contest
2022.07
Andrea Costamagna, Siang-Yun Lee, Alessandro Tempia Calvino, Hanyu Wang, Mingfei Yu
YouTube
Your Cost is on Your Call
2022.07
Hanyu Wang, Siang-Yun Lee, Giovanni De Micheli
YouTube
Distilling Arbitration Logic from Traces using Machine Learning: A Case Study on NoC
2021.01
Yuan Zhou, Hanyu Wang, Jieming Yin, Zhiru Zhang
YouTube

Projects

Flip Feng Shui OpenSSH RowHammer Exploit
2022.12
Take over a Qemu VM from a co-host attacker VM using RowHammer triggered bitflips and RSA factorizer.
ETH PloyBox
Cost-generic Logic Synthesis
2021.11
Contribute to an open-source logic network implementations tool, Mockturtle.
Github
Attention-based Global Router
2020.04
Won the 1st place in Global Router Contest 2020 at University of Wisconsin Madison.
Github

Inputs:

MATH

Electrical and Computer Engineering

Quantum Information Processing I: Concepts
402-0448-01L ETH Zurich, Zurich, Switzerland
Quantum Information Processing II: Implementations
402-0448-02L ETH Zurich, Zurich, Switzerland
Introduction to Quantum Mechanics for Engineers
151-0966-00L ETH Zurich, Zurich, Switzerland
Semiconductor Devices: Quantum Transport at the Nanoscale
227-0159-00L ETH Zurich, Zurich, Switzerland
Optics and Photonics
227-0125-00L ETH Zurich, Zurich, Switzerland
VLSI 1: HDL based design for FPGAs
227-0116-00L ETH Zurich, Zurich, Switzerland
VLSI 2: Backend Design
227-0147-00L ETH Zurich, Zurich, Switzerland
VLSI 3: Full-Custom Digital Circuit Design
227-0147-10L ETH Zurich, Zurich, Switzerland
VLSI 4: Measurement and testing of Digital VLSI Circuits
227-0148-00G ETH Zurich, Zurich, Switzerland
Design Automation of Digital System
ECE556 University of Wisconsin Madison, Wisconsin, USA
Computer-Aided Design of Integrated Circuits
VE527 Shanghai Jiao Tong University, Shanghai, China
Modern Physics
VP390 Shanghai Jiao Tong University, Shanghai, China
Electronmagnetic Wave Transmission
ECE379 University of Wisconsin Madison, Wisconsin, USA
Introduction on Semiconductor Devices
VE320 Shanghai Jiao Tong University, Shanghai, China
Electronic Circuit
VE311 Shanghai Jiao Tong University, Shanghai, China
Introduction to Logic Design
VE270 Shanghai Jiao Tong University, Shanghai, China
Electronmagnetics
VE230 Shanghai Jiao Tong University, Shanghai, China
Introduction to Signals and Systems
VE216 Shanghai Jiao Tong University, Shanghai, China
Introduction to Circuits
VE215 Shanghai Jiao Tong University, Shanghai, China

Computer Science

Hardware Security
227-0579-00L ETH Zurich, Zurich, Switzerland
Computer Architecture
227-2210-00L ETH Zurich, Zurich, Switzerland
Neural Network Theory
227-0423-00L ETH Zurich, Zurich, Switzerland
Introduction to Computer Organization
VE370 Shanghai Jiao Tong University, Shanghai, China
Introduction to Programming Language and Compiler
CS356 University of Wisconsin Madison, Wisconsin, USA
Introduction to Operating System
VE482 Shanghai Jiao Tong University, Shanghai, China
Introduction to Algorithm
VE477 Shanghai Jiao Tong University, Shanghai, China
Methods and Tools for big data
VE472 Shanghai Jiao Tong University, Shanghai, China
Programming and Elementory Data Structures
VE280 Shanghai Jiao Tong University, Shanghai, China
Data Structure and Algorithms
VE281 Shanghai Jiao Tong University, Shanghai, China

Mathematic

Linear & Combinatorial Optimization
401-3901-00L ETH Zurich, Zurich, Switzerland
Introduction to Cryptography
VE475 Shanghai Jiao Tong University, Shanghai, China
Introduction to Combinatorics
MATH475 University of Wisconsin Madison, Wisconsin, USA
Probabilistic Methods in Engineering
VE401 Shanghai Jiao Tong University, Shanghai, China
Discrete Mathematics
VE203 Shanghai Jiao Tong University, Shanghai, China
Honors Calculus IV
VV256 Shanghai Jiao Tong University, Shanghai, China
Honors Calculus III
VV255 Shanghai Jiao Tong University, Shanghai, China
Honors Calculus II
VV156 Shanghai Jiao Tong University, Shanghai, China
Linear Algebra
VV214 Shanghai Jiao Tong University, Shanghai, China