Statistics
Publications
12
Citations
356
H-Index
11
Active since
2014
Xujie Si is an author at Georgia Institute of Technology specializing in computer science, computing, and automated reasoning.
Publications per year
2014–2023
12
12
APISan: Sanitizing {API} Usages through Semantic Cross-Checking
Insu Yun, Changwoo Min, Xujie Si et al. · USENIX Security Symposium · 2016 · 56 citations
Learning Loop Invariants for Program Verification
Xujie Si, Hanjun Dai, Mukund Raghothaman et al. · Neural Information Processing Systems · 2018 · 55 citations
Syntax-guided synthesis of Datalog programs
Xujie Si, Woosuk Lee, Richard Zhang et al. · 2018 · 51 citations · Full text
Synthesizing Datalog Programs using Numerical Relaxation
Xujie Si, Mukund Raghothaman, Kihong Heo et al. · 2019 · 39 citations · Full text
Effective interactive resolution of static analysis alarms
Xin Zhang, Radu Grigore, Xujie Si et al. · Proceedings of the ACM on Programming Languages · 2017 · 30 citations · Full text
1–5 of 12