publications
A selection of publications that I'm not too ashamed of
Xuran Cai
Xuran Cai
About
I am a research postgraduate student in HKUST alpacas research group, supervised by professor Amir Goharshady. I am interested in progaming analysis, blockchain system, and parameterized algorithm. I am currently working on static program analysis.