Publications

  • Learning Reliable Logical Rules with SATNet (to appear)
    Zhaoyu Li, Jinpei Guo, Yuhe Jiang, Xujie Si
    NeurIPS 2023

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

  • TorchProbe: Fuzzing Dynamic Deep Learning Compilers
    Qidong Su, Chuqin Geng, Gennady Pekhimenko, Xujie Si
    APLAS 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'23: The 54th ACM Technical Symposium on Computer Science Education

  • NSNet: A General Neural Probabilistic Framework for Satisfiability Problems.
    Zhaoyu Li, Xujie Si
    NeurIPS 2022

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

  • Techniques for Symbol Grounding with SATNet.
    Sever Topan, David Rolnick, Xujie Si
    NeurIPS 2021 [paper, slides, artifact]
    Spotlight

  • 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 [paper, code]

  • Data-driven Optimization of Inductive Generalization.
    Nham Le, Xujie Si, Arie Gurfinkel
    FMCAD 2021 [paper, slides, artifact]

  • Code2Inv: A Deep Learning Framework for Program Verification.
    Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
    CAV 2020 [paper, slides, artifact, demo]

  • Synthesizing Datalog Programs using Numerical Relaxation.
    Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik
    IJCAI 2019 [paper, slides, poster, artifact]

  • Learning a Meta-Solver for Syntax-Guided Program Synthesis.
    Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song
    ICLR 2019 [paper, poster, artifact]

  • Continuously Reasoning about Programs via Differential Bayesian Inference.
    Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik
    PLDI 2019 [paper, slides, artifact, video abstract]
    ACM SIGPLAN Distinguished Paper Award

  • Syntax-Guided Synthesis of Datalog Programs.
    Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paris Koutris, Mayur Naik
    FSE 2018 [paper, slides, artifact]

  • Learning Loop Invariants for Program Verification.
    Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
    NeurIPS 2018 [paper, slides, poster, artifact, video abstract]
    Spotlight

  • Maximum Satisfiability in Software Analysis: Applications and Techniques
    Mayur Naik, Xujie Si, Xin Zhang, Radu Grigore
    VMCAI Invited Tutorial 2018 [abstract, slides]

  • Effective Interactive Resolution of Static Analysis Alarms
    Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik
    OOPSLA 2017 [paper]

  • Maximum Satisfiability in Software Analysis: Applications and Techniques
    Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik
    CAV 2017 [paper, slides]
    Invited Tutorial

  • APISan: Sanitizing API Usages through Semantic Cross-checking
    Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik
    USENIX Security 2016 [paper, slides, code]
    CSAW Best Applied Research Paper Finalist

  • On Incremental Core-Guided MaxSAT Solving
    Xujie Si, Xin Zhang, Vasco Manquinho, Mikolas Janota, Alexey Ignatiev, Mayur Naik
    CP 2016 [paper, slides, code]

Workshop