613 Levine Hall
3330 Walnut Street
Philadelphia, PA 19104
I am a 3rd(?) year CS PhD student under the supervision of Prof. Mayur Naik at Penn. I received my B.S. and M.S. in computer science from Nankai University and Vanderbilt University, respectively.
I spent the first two years of my Phd at Georgia Tech.
Maximum Satisfiability in Software Analysis: Applications and Techniques.
Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik.
CAV 2017 (invited tutorial)
Combining the Logical and the Probabilistic in Program Analysis.
Xin Zhang, Xujie Si, Mayur Naik.
(co-located with PLDI 2017 )
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
Automated black-box detection of access control vulnerabilities in web applications.
Xiaowei Li, Xujie Si, Yuan Xue
A dynamic load-balancing scheme for XPath queries parallelization in shared memory multi-core systems.
Xiaocheng Huang, Xujie Si, Xiaojie Yuan, Chao Wang
Journal of Computers, 2014
Parallel optimization of queries in XML dataset using GPU.
Xujie Si, Airu Yin, Xiaocheng Huang, Xiaojie Yuan, Xiaoguang Liu, Gang Wang
Automatic wireless embedded projector player system.
Xudong Li, Shuiqing Wang, Jianfeng Tan, Jinzuo Ye, Xujie Si, Mingze Li
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
National Encouragement Scholarship for excellent students (4/135), Nankai University, 2009
The People’s Government of Tianjin Scholarship (1/135), Nankai University, 2008