Automating Software Development for Domain-Specific Architectures

Date: 2022/12/07 - 2022/12/07

Academic Seminar: Automating Software Development for Domain-Specific Architectures

Speaker: Dr. Yu Zeng, Ph.D. candidate at Princeton University

Time: 9:00 a.m. Dec. 7, 2022 (Beijing Time)

Abstract

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.

Biography

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.