Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Page Not Found

Page not found. Your pixels are in another canvas.

About me

About me

Archive Layout with Content

Posts by Category

Posts by Collection

CV

Markdown

Page not in menu

This is a page not in th emain menu

Page Archive

Portfolio

Projects

Publications

Sitemap

Posts by Tags

Talk map

Talks and presentations

Teaching

Terms and Privacy Policy

Work

Blog posts

Posts

Future Blog Post

Published:

This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

Blog Post number 4

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 3

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 2

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

Blog Post number 1

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

projects

DBPR

Published:

Can we combine data privacy and Byzantine resilience in distributed machine learning?

Code Report

Decaf Compiler

Published:

A compiler for Decaf programming language that supports lexical analysis, syntax analysis, semantic analysis, IR generation and code generation.


Trim

Published:

A fast and accurate crash-consistency bug detection tool for persistent-memory applications.


MIC Loop Fuser

Published:

Enabling more loop fusions by Moving Intervening Code blocks between two loop candidates.

Code Report

publications

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

teaching

Academic Writing

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.

work

Bytedance

Software Engineering Intern. Contributed to Lynx, a cross-platform mobile application framework used internally by frontend developers from TikTok, Douyin, Toutiao and other departments.

Msr

Research Intern.