1. About Hongxu
2. Publications
3. Experience
4. Awards
5. Teaching
6. My Thoughts and Life
7. Useful Resources
11. Projects
12. 1. InstCombine Debugger
    1. 1.1. User Manual
16. Articles
17. 2. Hands-On Delta Debugging in Rust
    1. 2.1. DDMin - The Original
    2. 2.2. Probabilistic DD
    3. 2.3. Hierarchical DD
    4. 2.4. Weighted DD
    5. 2.5. Perses
    6. 2.6. T-PDD
21. Course Notes (UWaterloo)
22. 3. CS 452/652: Real-Time Programming
23. 4. CS 480/680: Intro to ML
24. 5. CS 848: DB: Query Processing Algos
    1. 5.1. My Notes
       1. 5.1.1. From Pairwise Join to Global Perspective
       2. 5.1.2. Graphical Representation of Joins
    2. 5.2. Foundations of Databases
       1. 5.2.1. The Relational Model
       2. 5.2.2. Conjunctive Queries