Research
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.
I was a master's student in the PLSE group at the University of Toronto, working with Prof. Ningning Xie.
My 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
-
Multi-Stage Programming with Splice Variables.
Tsung-Ju Chiang and Ningning Xie
ICFP 2025 [web intro] [pdf] [formalization]
ACM SIGPLAN Distinguished Paper Award -
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]