Posts by Collection
Detecting possible duplicates and ambiguous institution codes within all institutions recorded in Mathematical Reviews.
Automatically generating bug fixes for persistent-memory crash-consistency bugs via transaction mechanism and source-to-source transformation.
A compiler for Decaf programming language that supports lexical analysis, syntax analysis, semantic analysis, IR generation and code generation.
A fast and accurate crash-consistency bug detection tool for persistent-memory applications.
Trim: Scalable and Accurate Persistent Memory Crash-Consistency Testing via Representative Testing
Published in PLDI 2023, 2022
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf
Writing, Shanghai Jiao Tong University, UM-SJTU Joint Institute,
Instructor assistant for VY200 Academic Writing II and VR291 Fantasy Literature.
Foundation of Computer Science
Theory CS, University of Michigan, CSE Department,
Graduate Student Instructor for EECS 376 Foundation of Computer Science.
Software Engineering Intern. Contributed to Lynx, a cross-platform mobile application framework used internally by frontend developers from TikTok, Douyin, Toutiao and other departments.