Zeming Yu
Tempe, AZ [email protected] GitHub
EDUCATION
Arizona State University, Tempe, AZ Aug 2021 - Expected: 2026
PhD student in Computer Science — Advisor: Tiffany Bao
Research Area: Symbolic Execution, Human-computer interaction
Tsinghua University, Beijing, China Aug 2012 - Aug 2017
B.S. in Computer Software
EXPERIENCE
Teaching Assistant, Arizona State University
- CSE 365: Introduction to Information Assurance Spring, 2022
Research Support, Pennsylvania State University Nov 2018 ~ Oct 2019
- Work with Prof. Linhai Song as a visiting scholar
- Research interest in concurrency bugs in Rust, Go and other languages
Research Engineer, Network and Information Security Lab, Tsinghua University Jul 2017 ~ Jul 2018
- Participate in the development, testing and maintenance of project prototypes.
- Captain of Lab's ICS CTF Teams
Teaching Assistant, Tsinghua University
- Architecture of Computer and Network (Prof. Hanning Fan) Spring, 2016
- Data Structure and Algorithm (Prof. Li Chen) Spring, 2014 ~ 2015
- Embedded System Design and Applications (Prof. Pin Tao) Autumn, 2013 ~ 2015
Intern, Network and Information Security Lab, Tsinghua university Oct 2012 ~ Sept 2013
PUBLICATIONS
- Understanding memory and thread safety practices and issues in real-world Rust programs PLDI 2020
Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, Yiying Zhang
PROJECTS
StaticRaceChecker2 GitHub Repo
a static race detector designed for data race between an anonymous function and its outside function especially sharing data by closure. It contributed 7 bug-fix commits for 3 famous open-source software.
CEAC Status Tracker Website
Automatically check your F-1 visa case every 6 hours and push updates to your Wechat. Predict the captcha by CNN.
SKILLS
- Programming Languages: C/C++, Python, JavaScript, HTML/CSS, Pascal
- Tools: Git, Docker, Linux, VSCode
- Framework: Bootstrap, Flask, Django, Pytorch, Scikit-learn
MISC
- Have fun with programming problems? Find me at here