活动详情

硬件专用架构的软件自动化

日期:2022/12/07 - 2022/12/07

学术讲座:硬件专用架构的软件自动化

主讲人:Dr. Yu Zeng, Ph.D. candidate at Princeton University

时间:2022年12月7日(周三)上午9:00

讲座摘要

With Moore's Law slowing down, Domain-Specific Architectures (DSAs) are being widely utilized. Although DSAs have higher performance and energy efficiency, their unique architecture designs require customized software support, which takes considerable engineering effort. In this talk, I introduce my work on reducing the burden of software development with formal methods and program synthesis.  There are mainly two parts: (1) automatically generating ISA models for DSAs, (2) synthesizing the compute libraries for DSAs with program synthesis.

主讲人简介

Yu Zeng is currently a 5th year PhD candidate at Princeton University. His research focus is on formal methods for hardware and software. His research at Princeton is supported by Qualcomm Innovation Fellowship. He got his Master's degree from the University of Michigan, Ann Arbor, and a bachelor's degree from Fudan.