I am a PhD student at the University of Edinburgh, supervised by Sam Lindley. I was an undergraduate student at Peking University, supervised by Zhenjiang Hu.
I work on programming languages.
I like types and effects.
Education
- Ph.D. Student in Informatics, Oct 2022 - Present, The University of Edinburgh
- B.S. in Computer Science (summa cum laude), Sept 2018 - July 2022, Peking University
Papers
-
PhD thesis draft
Modal Effect Types
Sept 2026[draft] -
Draft
Bidirectional Typing with Freezing, Skeletons, and Ghosts
July 2026[arXiv] -
POPL'26
Rows and Capabilities as Modal Effects
Jan 2026[doi][arXiv] -
OOPSLA'25
Modal Effect Types
Apr 2025[doi][arXiv][artifact] -
JFP
From High to Low: Simulating Nondeterminism and State with State
Volume 34, e16, 2025 (special issue on program calculation)[doi][arXiv] -
LMCS
A Calculus for Scoped Effects & Handlers
Volume 20, Issue 4, 2024[doi][arXiv][artifact][demo] -
POPL'24
Soundly Handling Linearity
Jan 2024[doi][arXiv][artifact][SIGPLAN blog post]
ACM SIGPLAN Distinguished Paper Award -
OOPSLA'23
Structural Subtyping as Parametric Polymorphism
Oct 2023[doi][arXiv] -
JFP
Contract Lenses: Reasoning about Bidirectional Programs via Calculation
Volume 33, e10, 2023[doi]
Extended abstracts
Talks
-
Modal Effect Types
Seminar, ETH Zurich, Zurich, Switzerland, Sept 2026
Seminar, University of Southern Denmark, Odense, Denmark, Sept 2026 -
Ergonomic and Expressive Effect Types
Seminar, The University of Hong Kong, Hong Kong, China, April 2026 -
Rows and Capabilities as Modal Effects
POPL 2026, Rennes, France, Jan 2026[slides]
HOPE 2025, Singapore, Oct 2025[slides] -
Freezing Bidirectional Typing
ML Family Workshop 2025, Singapore, Oct 2025[slides] -
Modal Effect Types
OOPSLA 2025, Singapore, Oct 2025[slides]
EHOP Workshop 2025, Scotland, UK, Aug 2025[slides] -
Effects, Linearity, and Modalities
Seminar, Peking University, Beijing, China, Aug 2024[slides]
Seminar, Shanghai Jiao Tong University, Shanghai, China, Aug 2024[slides] -
Soundly Handling Linearity
TUPLE 2024, The University of Edinburgh, Scotland, UK, Feb 2024[slides]
POPL 2024, London, England, UK, Jan 2024[slides]
Seminar, University of Bristol, England, UK, Oct 2023[slides]
EHOP Workshop 2023, Scotland, UK, July 2023[slides] -
Structural Subtyping as Parametric Polymorphism
OOPSLA 2023, Cascais, Portugal, Oct 2023[slides]
Teaching
- TA, Elements of Programming Languages, The University of Edinburgh, Autumn 2024.
- TA & Tutor, Elements of Programming Languages, The University of Edinburgh, Autumn 2023.
- TA & Tutor, Elements of Programming Languages, The University of Edinburgh, Autumn 2022.
- TA, Introduction to Computer Systems, Peking University, Autumn 2020.