Xujie Si
TitleCited byYear
APISan: Sanitizing API Usages through Semantic Cross-checking
I Yun, C Min, X Si, Y Jang, T Kim, M Naik
25th USENIX Security Symposium (USENIX Security 16), 363-378, 2016
262016
Learning loop invariants for program verification
X Si, H Dai, M Raghothaman, M Naik, L Song
Advances in Neural Information Processing Systems, 7751-7762, 2018
122018
Syntax-guided synthesis of datalog programs
X Si, W Lee, R Zhang, A Albarghouthi, P Koutris, M Naik
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
112018
Parallel optimization of queries in XML dataset using GPU
X Si, A Yin, X Huang, X Yuan, X Liu, G Wang
2011 Fourth International Symposium on Parallel Architectures, Algorithms …, 2011
92011
Automated black-box detection of access control vulnerabilities in web applications
X Li, X Si, Y Xue
Proceedings of the 4th ACM conference on Data and application security and …, 2014
62014
On incremental core-guided maxsat solving
X Si, X Zhang, V Manquinho, M Janota, A Ignatiev, M Naik
International Conference on Principles and Practice of Constraint …, 2016
52016
Effective interactive resolution of static analysis alarms
X Zhang, R Grigore, X Si, M Naik
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 57, 2017
42017
Maximum satisfiability in software analysis: Applications and techniques
X Si, X Zhang, R Grigore, M Naik
International Conference on Computer Aided Verification, 68-94, 2017
42017
Learning a Meta-Solver for Syntax-Guided Program Synthesis
X Si, Y Yang, H Dai, M Naik, L Song
32018
Combining the logical and the probabilistic in program analysis
X Zhang, X Si, M Naik
Proceedings of the 1st ACM SIGPLAN International Workshop on Machine …, 2017
32017
A dynamic load-balancing scheme for XPath queries parallelization in shared memory multi-core systems.
X Huang, X Si, X Yuan, C Wang
JCP 9 (6), 1436-1445, 2014
32014
Synthesizing Datalog Programs using Numerical Relaxation
X Si, M Raghothaman, K Heo, M Naik
arXiv preprint arXiv:1906.00163, 2019
22019
Automatic wireless embedded projector player system
X Li, S Wang, J Tan, J Ye, X Si, M Li
2010 International Conference on Multimedia Technology, 1-5, 2010
22010
Continuously reasoning about programs using differential Bayesian inference
K Heo, M Raghothaman, X Si, M Naik
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
12019
Difflog: Learning Datalog Programs by Continuous Optimization
M Raghothaman, X Si, K Heo, M Naik
2019
Synthesizing Datalog Programs using Numerical Relaxation
M Raghothaman, X Si, K Heo, M Naik
DIFFLOG: Beyond Deductive Methods in Program Analysis
M Raghothaman, S Kulkarni, R Zhang, X Si, K Heo, W Lee, M Naik
Towards Flexible Offloading in Mobile-Cloud Computing
X Zhang, X Si, R Mangal, H Esmaeilzadeh, M Naik
The system can't perform the operation now. Try again later.
Articles 1–18