Yu Zhang

Email: yuzhang AT ustc DOT edu DOT cn
Phone: 86-551-63603804

Visiting Scholar, Yale University, working with Bryan Ford and Zhong Shao's team, Oct. 2010 - Oct. 2011
PhD in Computer Science, Jan 2005, University of Science and Technology of China, Supervisor: Prof. Yiyun Chen.

Research

Research Areas: Program Languages, Computer Systems, Parallel Computing
Research Interests: My group tries to build automatic, intelligent, reliable and efficient programming systems for emerging fields such as artificial intelligence, cloud native and quantum computing.
Standards for Autonomous Driving [IEEE P3184, DB34 /T 4101-2022] and Quantum Computing [ISO/IEC 4879, IEC:QIT2021]

Intelligent Unmanned Systems (since 2019) such as autonomous driving and AIoT, closely collaborating with Prof. Yanyong Zhang, Jianmin Ji
Sonic Smart Vehicle: a self-driving system implemented on various smart vehicles.[Demo: 2020, 2021]
My group focuses on the construction of efficient perception systems, compilation and optimization of machine learning systems, heterogeneous computing, scenario synthesis and verification, etc.[papers, patents]
Cloud-Native System Software: improve the safety and performance of multilingual software such as Python/C[SANER2020], Go/C through program analysis, language feature analysis[SANER2021], type checking and inference[ISSRE2021], compilation and runtime optimization, lightweight virtualization, etc.
Compilation for Quantum Computing: Compilation and optimization of quantum programs for different quantum systems such as superconducting, ion-trapped, neutral atoms.[TASE2019, DAC2020, SPIN2021, TQC2021]

System-Enforced Deterministic Parallelism
Parallel Programming Language with Requirement Description of Shared Resources
VSync: Verification of Concurrent Programs with Diverse Synchronization Mechanisms
Synchronization Optimization & Data Race Detection
JIT-assisted GC: Just-in-time Compiler assisted Garbage Collection
XML Data Stream Processing and Access Control