I do cool things, occasionally.

• contact
• blog
• github

Research

I am currently a PhD student exploring applications of modular staging to side-channel security.

I am broadly interested in the practical applications of type theories and related systems to the development of usable programming languages and practical software verification.

For recruiters: I am not currently on the job market. If you think you have a compelling offer, include one lyric from the hit single “Take Me Home, Country Roads” in the first few lines of your email, or it will be immediately deleted.

Publications

• “Collapsing Towers for Side-Channel Security (Short Paper)”, Wong, C., Abdullah, M., Yang, Y., Yan, M., Chlipala, A., Amin, N.
• “Gradual Verification of Recursive Heap Data Structures”, Wise, J., Bader, J., Wong, C., Aldrich, J., Tanter, É., Sunshine, J.

“Publications”

• Wong, C., Reed, D., “Ntinuation Passing Style”, in SIGBOVIK 2020.
  • SIGBOVIK 2020 Most-Least-Out-of-the-Box
• Wong, C., “A formal semantics of Befunge”, in SIGBOVIK 2019.
• Wong, C., Reed, D., “Objectionability: A Computational View of Mathematical Computation”, in SIGBOVIK 2017.

Other stuff

• Equationally Correct Semantics (rejected ICFP 2022 submission)

Projects

• VCaml
• HOT compilation lecture notes
• CTFlex

Experience

• Stripe, Developer Productivity/Ruby Infrastructure group (2025 Intern)
• Jane Street, Tools and Compilers group (2020-2022)
• Other experience provided on request.

Teaching

• Hype for Types (mirror) (Fall 2019-Spring 2020)
• Prior experience provided on request.