Cameron Wong
I do cool things, occasionally.
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 looking for a software developer position, full-time or otherwise. 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
- Wise, J., Bader, J., Wong, C., Aldrich, J., Tanter, É., Sunshine, J. “Gradual Verification of Recursive Heap Data Structures”
“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 TyDe 2022 submission)
Projects
Experience
- Jane Street, Tools and Compilers group (2020-2022)
- Prior experience provided on request.
Teaching
- Hype for Types (mirror) (Fall 2019-Spring 2020)
- Prior experience provided on request.