Xujie Si
About
In The Last Decade
Xujie Si
11 papers receiving 172 citations
Peers
Comparison fields: 5 of 15
- Information Systems 106
- Artificial Intelligence 97
- Software 95
- Signal Processing 43
- Computer Networks and Communications 36
Countries citing papers authored by Xujie Si
This map shows the geographic impact of Xujie Si's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Xujie Si with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Xujie Si more than expected).
Fields of papers citing papers by Xujie Si
This network shows the impact of papers produced by Xujie Si. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Xujie Si. The network helps show where Xujie Si may publish in the future.
Co-authorship network of co-authors of Xujie Si
This figure shows the co-authorship network connecting the top 25 collaborators of Xujie Si. A scholar is included among the top collaborators of Xujie Si based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Xujie Si. Xujie Si is excluded from the visualization to improve readability, since they are connected to all nodes in the network.
All Works
| # | Title | Journal | Authors | Indexed citations |
|---|---|---|---|---|
| 1 | Code Repair with LLMs gives an Exploration-Exploitation Tradeoff | Kevin Ellis, Xujie Si et al. | 0 | |
| 2 | Idiolect: A Reconfigurable Voice Coding Assistant | Xujie Si et al. | 0 | |
| 3 | Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning | Neural Information Processing Systems | Ziyang Li, Binghong Chen et al. | 12 |
| 4 | Data Collection for the Learn-OCaml Programming Platform | Brigitte Pientka, Xujie Si et al. | 1 | |
| 5 | Continuously reasoning about programs using differential Bayesian inference | Kihong Heo, Mukund Raghothaman et al. | 14 | |
| 6 | Synthesizing Datalog Programs using Numerical Relaxation | Xujie Si, Mukund Raghothaman et al. | 22 | |
| 7 | Learning Loop Invariants for Program Verification | Neural Information Processing Systems | Xujie Si, Hanjun Dai et al. | 19 |
| 8 | Learning a Meta-Solver for Syntax-Guided Program Synthesis | International Conference on Learning Representations | Xujie Si, Yuan Yang et al. | 9 |
| 9 | Syntax-guided synthesis of Datalog programs | Xujie Si, Woosuk Lee et al. | 30 | |
| 10 | Combining the logical and the probabilistic in program analysis | Xujie Si, Mayur Naik et al. | 6 | |
| 11 | Effective interactive resolution of static analysis alarms | Proceedings of the ACM on Programming Languages | Xin Zhang, Radu Grigore et al. | 19 |
| 12 | APISan: Sanitizing {API} Usages through Semantic Cross-Checking | USENIX Security Symposium | Insu Yun, Changwoo Min et al. | 36 |
| 13 | Automated black-box detection of access control vulnerabilities in web applications | Xiaowei Li, Xujie Si et al. | 11 |
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.