Ziyan Wang
Abstraction is what you need.
Software Engineer
Deep Learning Compiler Engineer
Email: w.ziyan AT proton.me
Bio
Ziyan is a full-stack developer.
Ziyan strives to make programming languages and development tools better, to simplify the way people learn programming and the way developers work.
Programming languages. Ziyan works to design safe, well-abstracted general-purpose and domain-specific languages with high development productivity and diverse programming paradigms. It is Ziyan's observation that a large proportion of software defects, i.e. bugs and vulnerabilities, though seemingly nothing more than run-of-the-mill errors in code, can be traced back to the underlying subtle design flaws of languages (e.g. [1][2]). He believes that a well-designed language eliminates such defects at the very root, far before developers start coding.
Development tools. Ziyan works to improve the quality of code written in various languages by designing static analyzers, libraries and frameworks. Static program analysis detects potential bugs, provides possible fixes, and improves developers' skills. He focuses on fundamental techniques, trying to find a better balance between analysis soundness and completeness.
Only with good languages and tools can developers achieve their best.
| References | |
| [1] | Null References: The Billion Dollar Mistake |
| [2] | Java and Scala's Type Systems are Unsound |
Research Interests
-
Programming Languages
- Static Program Analysis
- Language Design
- Compiler Optimization
- Runtime Environment
-
Software Engineering
- Smart Contracts (Blockchain)
Education
-
Sun Yat-Sen University, China, 2020 – 2022
- M.S. in Software Engineering
- Advisors: Xiangping Chen and Xiaocong Zhou
-
South China Normal University, China, 2014 – 2019
- B.S. in Computer Science and Technology (graduated with honors)
- Advisor: Jia Zhu
Experience
- 2022 – 2023: Deep Learning Compiler Engineer
- 2021: Teaching Assistant. Principles of Compiler Design, instructed by Xianwei Zhang at Sun Yat-Sen University
- 2020: Software Engineer. Beijing Kungeek Technology Co., Ltd.
Major Awards and Honors
- Outstanding Graduate Award (<2% selected), South China Normal University, 2019
- Outstanding Student Scholarship for two consecutive years (1.4%), South China Normal University, 2017 & 2018
- Grand Prize for Asia and Pacific Mathematical Contest in Modeling (0.1%), 2018
- First Prize for Lan-Qiao Software And IT Talents Contest (0.3%), 2018
- First Prize for Kai-Tong Java Programming Contest (0.1%), 2017
Open-Source Projects
(100+ GitHub stars, 100k+ downloads/month, used by Microsoft)
Publications
- Ziyan Wang, Xiangping Chen et al., An Empirical Study of Solidity Language Features, IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C), December 2021 [paper]
- Queping Kong, Ziyan Wang et al., Characterizing and Detecting Gas-Inefficient Patterns in Smart Contracts, Journal of Computer Science and Technology (JCST), January 2022 [paper]
Casual Talks
- InplusLab Seminar, "A Gentle Introduction to Smart Contract Vulnerabilities", Guangzhou, March 2021 [slides (in Chinese)]
Personal Interests
- Linguistics (constructed languages, synthetic languages)
- Psychology (developmental psychology)
- Strategy games (chess, tower defense)
- Light music (piano)
Lifestyle. Ziyan is a progressivist and leads a dependence minimization lifestyle. He encourages people to pursue their dreams in a simple life like Strickland in The Moon and Sixpence.
Privacy. Ziyan believes privacy is a basic human right. He guides people to protect privacy by helping them better keep their personal data private and free from surveillance.
Programming Languages
Java/C#, TypeScript/JavaScript, Python, Scala, Kotlin, Go, C/C++, Haskell, ...
Languages
Chinese, English, Esperanto, German
Lighting up the Lighthouse
Ziyan priortizes helping the brightest talents, and the children in the most undeveloped regions. In other words, he supports:
- Researches in science and engineering
- Actions to advance social justice, especially in education
List of organizations Ziyan donated to
- Charity Federation of Shaanxi Province
- China Children and Teenagers' Fund
- China Social Welfare Foundation
- Ningbo Shan-Yuan Public Welfare Foundation
- Shanghai Overseas Chinese Foundation
- Shenzhen Social Commonweal Foundation
- United Nations Children's Fund (UNICEF)
Ziyan pays attention to humanitarian issues around the globe, regardless of nationality or race. He is a volunteer of World Community Grid, solving problems in health and sustainability by technologies.
