| Learning loop invariants for program verification X Si, H Dai, M Raghothaman, M Naik, L Song Advances in Neural Information Processing Systems 31, 2018 | 110 | 2018 |
| 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 | 66 | 2016 |
| 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 | 57 | 2018 |
| Synthesizing datalog programs using numerical relaxation X Si, M Raghothaman, K Heo, M Naik arXiv preprint arXiv:1906.00163, 2019 | 47 | 2019 |
| Learning a meta-solver for syntax-guided program synthesis X Si, Y Yang, H Dai, M Naik, L Song International conference on learning representations, 2019 | 36 | 2019 |
| Effective interactive resolution of static analysis alarms X Zhang, R Grigore, X Si, M Naik Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-30, 2017 | 25 | 2017 |
| Scallop: From probabilistic deductive databases to scalable differentiable reasoning J Huang, Z Li, B Chen, K Samel, M Naik, L Song, X Si Advances in Neural Information Processing Systems 34, 25134-25145, 2021 | 23 | 2021 |
| Code2inv: A deep learning framework for program verification X Si, A Naik, H Dai, M Naik, L Song Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 21 | 2020 |
| 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 | 18 | 2014 |
| Maximum satisfiability in software analysis: Applications and techniques X Si, X Zhang, R Grigore, M Naik Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 17 | 2017 |
| 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 | 13 | 2011 |
| On incremental core-guided MaxSAT solving X Si, X Zhang, V Manquinho, M Janota, A Ignatiev, M Naik Principles and Practice of Constraint Programming: 22nd International …, 2016 | 11 | 2016 |
| 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 | 10 | 2019 |
| Techniques for symbol grounding with SATNet S Topan, D Rolnick, X Si Advances in Neural Information Processing Systems 34, 20733-20744, 2021 | 9 | 2021 |
| 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 | 8 | 2017 |
| A dynamic load-balancing scheme for XPath queries parallelization in shared memory multi-core systems. X Huang, X Si, X Yuan, C Wang J. Comput. 9 (6), 1436-1445, 2014 | 5 | 2014 |
| Data collection for the learn-ocaml programming platform: Modelling how students develop typed functional programs A Ceci, HCA Tavante, B Pientka, X Si Proceedings of the 52nd ACM Technical Symposium on Computer Science …, 2021 | 3 | 2021 |
| Difflog: Learning datalog programs by continuous optimization M Raghothaman, X Si, K Heo, M Naik | 2 | 2019 |
| 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 | 2 | 2010 |
| Data-driven Optimization of Inductive Generalization. N Le, X Si, A Gurfinkel FMCAD, 86-95, 2021 | 1 | 2021 |
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
