Coding Projects
Emoji Selection System
A course project of Software Engineering Practice. It allows users to select emojis and review their selection history. This is a project finished by a four-member group.
Course Projects
Python
HTML
CPU design and application programs
A course project of Computer Organization and Design Honored. This project is a teamwork of me and my teammate Yuanyuan Xu.
Course Projects
Verilog
Research
Synthesizing Runtime Checkers from Tests to Detect Semantic Failures in Production
Silent semantic failure detection is a challenging topic in system reliability. While other types of semantic failures, such as fail-stop and fail-slow failures, are relatively easy to detect by checking heartbeats and timeouts, silent semantic failures violate semantics but remain operational without explicit error signals, making detection a challenge without a deep understanding of system semantics. To address this issue, this project aimed to synthesize runtime checkers with minimal manual effort by deriving them automatically from existing tests in the source code. I work in a five-member group leaded by Chang Lou and supervised by Ryan Huang.
Research
Java
Distributed Systems