Parallel Optimization of Queries in XML Dataset Using GPU. - Xujie Si; Airu Yin; Xiaocheng Huang; Xiaojie Yuan; Xiaoguang Liu 001; Gang Wang 001 (PAAP, 2011)

Automated black-box detection of access control vulnerabilities in web applications. - Xiaowei Li 003; Xujie Si; Yuan Xue 001 (CODASPY, 2014)

A Dynamic Load-balancing Scheme for XPath Queries Parallelization in Shared Memory Multi-core Systems. - Xiaocheng Huang; Xujie Si; Xiaojie Yuan; Chao Wang 054 (J. Comput., 2014)

On Incremental Core-Guided MaxSAT Solving. - Xujie Si; Xin Zhang 035; Vasco Manquinho; Mikolás Janota; Alexey Ignatiev; Mayur Naik (CP, 2016)

APISan: Sanitizing API Usages through Semantic Cross-Checking. - Insu Yun; Changwoo Min; Xujie Si; Yeongjin Jang; Taesoo Kim; Mayur Naik (USENIX Security Symposium, 2016)

Maximum Satisfiability in Software Analysis: Applications and Techniques. - Xujie Si; Xin Zhang 035; Radu Grigore; Mayur Naik (CAV (1), 2017)

Combining the logical and the probabilistic in program analysis. - Xin Zhang 035; Xujie Si; Mayur Naik (MAPL@PLDI, 2017)

Effective interactive resolution of static analysis alarms. - Xin Zhang 035; Radu Grigore; Xujie Si; Mayur Naik (Proc. ACM Program. Lang., 2017)

Learning Loop Invariants for Program Verification. - Xujie Si; Hanjun Dai; Mukund Raghothaman; Mayur Naik; Le Song (NeurIPS, 2018)

Syntax-guided synthesis of Datalog programs. - Xujie Si; Woosuk Lee; Richard Zhang 004; Aws Albarghouthi; Paraschos Koutris; Mayur Naik (ESEC/SIGSOFT FSE, 2018)

Learning a Meta-Solver for Syntax-Guided Program Synthesis. - Xujie Si; Yuan Yang; Hanjun Dai; Mayur Naik; Le Song (ICLR (Poster), 2019)

Synthesizing Datalog Programs using Numerical Relaxation. - Xujie Si; Mukund Raghothaman; Kihong Heo; Mayur Naik (IJCAI, 2019)

Continuously reasoning about programs using differential Bayesian inference. - Kihong Heo; Mukund Raghothaman; Xujie Si; Mayur Naik (PLDI, 2019)

Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving. - Xujie Si; Yujia Li 001; Vinod Nair; Felix Gimeno (CoRR, 2019)

Code2Inv: A Deep Learning Framework for Program Verification. - Xujie Si; Aaditya Naik; Hanjun Dai; Mayur Naik; Le Song (CAV (2), 2020)

Data-driven Optimization of Inductive Generalization. - Nham Le; Xujie Si; Arie Gurfinkel (FMCAD, 2021)

Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning. - Jiani Huang; Ziyang Li; Binghong Chen; Karan Samel; Mayur Naik; Le Song; Xujie Si (NeurIPS, 2021)

Techniques for Symbol Grounding with SATNet. - Sever Topan; David Rolnick; Xujie Si (NeurIPS, 2021)

Data Collection for the Learn-OCaml Programming Platform: Modelling How Students Develop Typed Functional Programs. - Alana Ceci; Hanneli C. A. Tavante; Brigitte Pientka; Xujie Si (SIGCSE, 2021)

Graph Contrastive Pre-training for Effective Theorem Reasoning. - Zhaoyu Li; Binghong Chen; Xujie Si (CoRR, 2021)

XCheck: a Simple, Effective and Extensible Bug Finder using micro-grammar. - Hanwen Zhu; Junyoung Jang 001; Xujie Si (CoRR, 2021)

Novice Type Error Diagnosis with Natural Language Models. - Chuqin Geng; Haolin Ye; Yixuan Li; Tianyu Han; Brigitte Pientka; Xujie Si (APLAS, 2022)

NSNet: A General Neural Probabilistic Framework for Satisfiability Problems. - Zhaoyu Li; Xujie Si (NeurIPS, 2022)

Toward Reliable Neural Specifications. - Chuqin Geng; Nham Le; Xiaojie Xu; Zhaoyue Wang; Arie Gurfinkel; Xujie Si (CoRR, 2022)

TorchProbe: Fuzzing Dynamic Deep Learning Compilers. - Qidong Su; Chuqin Geng; Gennady Pekhimenko; Xujie Si (APLAS, 2023)

Idiolect: A Reconfigurable Voice Coding Assistant. - Breandan Considine; Nicholas Albion; Xujie Si (BotSE, 2023)

Towards Reliable Neural Specifications. - Chuqin Geng; Nham Le; Xiaojie Xu; Zhaoyue Wang; Arie Gurfinkel; Xujie Si (ICML, 2023)

Scalar Invariant Networks with Zero Bias. - Chuqin Geng; Xiaojie Xu; Haolin Ye; Xujie Si (NeurReps, 2023)

Learning Reliable Logical Rules with SATNet. - Zhaoyu Li; Jinpei Guo; Yuhe Jiang; Xujie Si (NeurIPS, 2023)

Identifying Different Student Clusters in Functional Programming Assignments: From Quick Learners to Struggling Students. - Chuqin Geng; Wenwen Xu; Yingjie Xu; Brigitte Pientka; Xujie Si (SIGCSE (1), 2023)

Can ChatGPT Pass An Introductory Level Functional Language Programming Course? - Chuqin Geng; Yihan Zhang; Brigitte Pientka; Xujie Si (CoRR, 2023)

Towards Robust Saliency Maps. - Nham Le; Arie Gurfinkel; Xujie Si; Chuqin Geng (ACML, 2024)

Modernizing SMT-Based Type Error Localization. - Max Kopinsky; Brigitte Pientka; Xujie Si (FMCAD, 2024)

Autoformalizing Euclidean Geometry. - Logan Murphy; Kaiyu Yang; Jialiang Sun; Zhaoyu Li; Anima Anandkumar; Xujie Si (ICML, 2024)

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation. - Bowen Li 007; Zhaoyu Li; Qiwei Du; Jinqi Luo; Wenshan Wang; Yaqi Xie 001; Simon Stepputtis; Chen Wang 033; Katia P. Sycara; Pradeep Ravikumar; Alexander G. Gray; Xujie Si; et al. (NeurIPS, 2024)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff. - Hao Tang 008; Keya Hu; Jin Zhou; Sicheng Zhong; Wei-Long Zheng; Xujie Si; Kevin Ellis (NeurIPS, 2024)

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning. - Ziyan Luo; Xujie Si (SAIV, 2024)

Learning Minimal NAP Specifications for Neural Network Verification. - Chuqin Geng; Zhaoyue Wang; Haolin Ye; Saifei Liao; Xujie Si (CoRR, 2024)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving. - Chuqin Geng; Haolin Ye; Yihan Zhang; Brigitte Pientka; Xujie Si (CoRR, 2024)

A Survey on Deep Learning for Theorem Proving. - Zhaoyu Li; Jialiang Sun; Logan Murphy; Qidong Su; Zenan Li; Xian Zhang; Kaiyu Yang; Xujie Si (CoRR, 2024)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff. - Hao Tang 008; Keya Hu; Jin Peng Zhou; Sicheng Zhong; Wei-Long Zheng; Xujie Si; Kevin Ellis (CoRR, 2024)

Assessing Code Generation with Intermediate Languages. - Xun Deng; Sicheng Zhong; Honghua Dong; Jingyu Hu; Sidi Mohamed Beillahi; Xujie Si; Fan Long (CoRR, 2024)

Library Learning Doesn't: The Curious Case of the Single-Use "Library". - Ian Berlot-Attwell; Frank Rudzicz; Xujie Si (CoRR, 2024)

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks. - Zhaoyu Li; Jinpei Guo; Xujie Si (Trans. Mach. Learn. Res., 2024)

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts. - Honghua Dong; Qidong Su; Yubo Gao; Zhaoyu Li; Yangjun Ruan; Gennady Pekhimenko; Chris J. Maddison; Xujie Si (ACL (1), 2025)

PyEuclid: A Versatile Formal Plane Geometry System in Python. - Zhaoyu Li; Hangrui Bi; Jialiang Sun; Zenan Li; Kaiyu Yang; Xujie Si (CAV (4), 2025)

Decoupling Training-Free Guided Diffusion by ADMM. - Youyuan Zhang; Zehua Liu; Zenan Li; Zhaoyu Li; James J. Clark; Xujie Si (CVPR, 2025)

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning. - Zenan Li; Zhaoyu Li; Wen Tang; Xian Zhang; Yuan Yao 001; Xujie Si; Fan Yang; Kaiyu Yang; Xiaoxing Ma (ICLR, 2025)

Learning Minimal Neural Specifications. - Chuqin Geng; Zhaoyue Wang; Haolin Ye; Xujie Si (NeuS, 2025)

Decoding Interpretable Logic Rules from Neural Networks. - Chuqin Geng; Xiaojie Xu; Zhaoyue Wang; Ziyu Zhao 006; Xujie Si (CoRR, 2025)

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation. - Sicheng Zhong; Jiading Zhu; Yifang Tian; Xujie Si (CoRR, 2025)

Learning Interpretable Logic Rules from Deep Vision Models. - Chuqin Geng; Yuhe Jiang; Ziyu Zhao 006; Haolin Ye; Zhaoyue Wang; Xujie Si (CoRR, 2025)

Extracting Interpretable Logic Rules from Graph Neural Networks. - Chuqin Geng; Zhaoyue Wang; Ziyu Zhao 006; Haolin Ye; Xujie Si (CoRR, 2025)

LLM Library Learning Fails: A LEGO-Prover Case Study. - Ian Berlot-Attwell; Frank Rudzicz; Xujie Si (CoRR, 2025)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once. - Xun Deng; Sicheng Zhong; Andreas G. Veneris; Fan Long; Xujie Si (CoRR, 2025)

Understanding Behavioral Metric Learning: A Large-Scale Study on Distracting Reinforcement Learning Environments. - Ziyan Luo; Tianwei Ni; Pierre-Luc Bacon; Doina Precup; Xujie Si (CoRR, 2025)

τ2-Bench: Evaluating Conversational Agents in a Dual-Control Environment. - Victor Barres; Honghua Dong; Soham Ray; Xujie Si; Karthik Narasimhan (CoRR, 2025)

TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories. - Honghua Dong; Jiacheng Yang; Xun Deng; Yuhe Jiang; Gennady Pekhimenko; Fan Long; Xujie Si (CoRR, 2025)