Research

I am a master's student in the PLSE group at the University of Toronto, working with Prof. Ningning Xie.

I am interested in programming languages, logic, and type theory. I enjoy exploring the connections between these areas, and applying the techniques for precise program modeling.

My current research focuses on modal type theory and its use in typed meta-programming.

Talks

• MacoCaml: Combining Macros and Module Functors.
  Jane Street Programming Language Colloquium 2023

Publications

• Typed Meta-Programming with Splice Variables.
  Tsung-Ju Chiang
  Master's thesis [draft] [formalization]

• Staged Compilation with Module Functors.
  Tsung-Ju Chiang, Jeremy Yallop, Leo White and Ningning Xie
  ICFP 2024 [doi]

• Longest segment of balanced parentheses: an exercise in program inversion in a segment problem.
  Shin-Cheng Mu and Tsung-Ju Chiang
  JFP 2021 [doi] [arXiv]

• Declarative Pearl: Deriving Monadic Quicksort.
  Shin-Cheng Mu and Tsung-Ju Chiang
  FLOPS 2020 [doi] [arXiv]