Links

Thanks again for visiting my website! Below are links to some fantastic people I know, including my friends, collaborators, mentors, etc :)

Personal Friends

Xiaolin Bu

Qizhao Huang 

Yiyue Jiang

Panfeng Liu 

Aniket Murhekar 

Shuqing Luo

Yichen Tao 

Fantastic Mentors

Prof. Bhaskar Ray Chaudhury

Prof. Kate Donahue 

Prof. Yu Feng

Prof. Shengxin Liu

Prof. Biaoshuai Tao 

Prof. Yuhao Zhang 

Collaborators

Dr. Yanju Chen

Junrui Liu 

Dr. Zihao Li 

Dr. Pooja Kulkarni

Parnian Shahkar

Hongbo Wen 

Prof. Kuan Yang

Useful links I am collecting...

Conference

• deadlines (Security / AI )

• CFP: EC'25 / SODA'26 / OOPLSA'25

• Talks:  EC'24 recording 

TCS

• The Probabilistic Methods 

• Calibration in 15 minutes -- by Aaron 

PL/Compiler

• Tutorial: GN: Languages / Real world OCaml / An overview of Groth16 proof system / SVF / Raft protocol / My first language frontend with LLVM

• Lectures: Grobner basis  

• CVE details / Linux online / Zenodo

• CS 162: Programming languages (My friend's course)

Paper writing

• How we write a rebuttals?

• Academic Productivity with GenAI: A Researcher’s Guide -- by Yeganeh

• arXiv-latex-cleaner

UIUC:

• degree audit

• IE521 / CS598 (Expanison)