Open to paper review for all top-level journals and conferences!

I am always open to reviewing manuscripts in areas of programming languages, formal verifications, and other related topics. If you have any relevant review requests, please feel free to invite me at - he662[at]purdue.edu

Academic Services

Reviewer

• Artifact:

• OOPSLA 2025 Artifacts R1, OOPSLA 2025 Artifacts R2

Talks

• DASC 2020
• PLDI 2026 (Expected)
• OOPSLA 2026 (Expected)

Teaching

• VE 370, Computer Organization, Summer 2019, Shanghai Jiaotong University
• CS 354, Operating System, Fall 2022, Purdue University
• CS 354, Operating System, Spring 2023, Purdue University
• CS 354, Operating System, Fall 2023, Purdue University
• CS 352, Compiler, Spring 2024, Purdue University
• CS 159, Programming in C, Fall 2024, Purdue University
• CS 159, Programming in C, Spring 2025, Purdue University
• CS 240, C Programming, Summer 2025, Purdue University
• CSCI 402, Architecture, Fall 2025, Purdue University (Indianapolis)
• CSCI 403, Operating System, Spring 2026, Purdue University (Indianapolis)