613 Levine Hall
3330 Walnut Street
Philadelphia, PA 19104
I am a graduate student studying programming languages with Prof. Mayur Naik at Penn. I received my B.S. and M.S. in computer science from Nankai University and Vanderbilt University, respectively.
On Incremental Core-Guided MaxSAT Solving.
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev, Mayur Naik.
APISan: Sanitizing API Usages through Semantic Cross-checking.
Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik.
USENIX Security 2016
World Finalist of the ACM/ICPC, Ekaterinburg, 2014
Champion of the 38th ACM/ICPC Mid-Central USA Regional, Vanderbilt University, 2013
National Scholarship (1/135), Nankai University, 2010