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.
Syntax-Guided Synthesis of Datalog Programs.
Xujie Si, Richard Zhang, Woosuk Lee, Aws Albarghouthi, Paris Koutris, Mayur Naik.
Difflog: Beyond Deductive Methods in Program Analysis.
Mukund Raghothaman, Sulekha Kulkarni, Richard Zhang, Xujie Si, Kihong Heo, Woosuk Lee, Mayur Naik.
Machine Learning for Programming (ML4P), 2018
(co-located with CAV 2018)
Maximum Satisfiability in Program Analysis: Applications and Techniques.
Mayur Naik, Xujie Si, Xin Zhang, Radu Grigore.
VMCAI 2018 Invited Tutorial
(co-located with POPL 2018)
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