I got my Ph.D. degree in Computer Software & Theory from the Department of Computer Science & Technology, University of Science & Technology of China. My advisor was Prof. Chen, Yiyun, and I was a member of the Lab of Software Security, Suzhou Institute for Advanced Study, USTC.
Applying Language-based techniques to build efficient and reliable system-level software for modern and future computer systems.
My Ph.D. research focused mainly on Hoare-style program verification at assembly level (Proof-Carrying Code), as well as reasoning and verification of modern garbage collectors and their interaction with mutators in various programming languages.
I'm also interested in other aspects of the theory and practice of programming languages (e.g. type systems, program analysis) and logic in computer science (e.g. separation logic and its applications).
Check here for some of my work.
Fun: F.C. Inter -
Weather in Beijing
Photos: Paralympics - Chinese Memory - Yangtze River - Humble Adimistrator's Garden - and more
Email: cxlin3 at mail dot ustc dot edu dot cn