Li Chenxi/liˇ ʈʂʰənˊ ɕiˉ/
§
About
A programmer working at the intersection of theory and practice.
B.Eng., Sun Yat-sen University·M.Eng., Nanjing University
Currently at Meituan·In love
§
Research
- —Functional Programming
- —Programming Languages
- —Program Analysis
- —Mathematical Logic
§
Engineering
- —Web Development
- —Compiler
- —Docker & CI/CD
- —VSCode / Emacs
§
Publications
[1] Chenxi Li, Haoran Lin, Tian Tan, and Yue Li. (2025). Two Approaches to Fast Bytecode Frontend for Static Analysis. In Proc. ACM Program. Lang. 9, OOPSLA2, Art. 303, 27 pp. doi↗