Cameron Wong

I do cool things, occasionally.

• contact
• blog

Projects

• In 2019, I wrote VCaml, a library for manipulating neovim with OCaml (I’m not listed on the README, but it’s true, I swear!)
• I’m transcribing lecture notes for 15-417 Higher Order Typed Compilation.
• In 2016, I was a founding member of PACTF, a capture-the-flag competition hosted by Phillips Academy.
  • We developed CTFlex, a Django-based web framework for hosting capture-the-flag competitions.

Teaching

• In Spring 2020, I taught Hype for Types (mirror).
• In Fall 2019, I taught Hype for Types, a student-led course on type theory and programming languages for novices and beginning functional programmers.
• In Spring 2020, I was a TA for 15-317 Constructive Logic.
• In Fall 2019, I was a TA for 15-411 Compiler Design.
• In Spring 2019, I was a TA for 15-312 Programming Languages.
• In Fall 2018, I was a head TA for 15-150 Functional Programming.
• In Spring 2018, I was an infrastructure TA for 15-150 Functional Programming.
• In Fall 2017, I was a TA for 15-150 Functional Programming.

Experience

• Jane Street, Tools and Compilers group (2020-2022)

Research

I am currently a PhD student working under Nada Amin.

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.

Publications

• Wise, J., Bader, J., Wong, C., …, “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 ICFP 2022 submission)

_{Last updated 2022-07-22}