Xujie Si
发表
Xin Zhang,
Radu Grigore,
Mayur Naik,
2017,
Proc. ACM Program. Lang..
Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving
pdf
Yujia Li,
Xujie Si,
Vinod Nair,
2019,
ArXiv.
Xujie Si,
Jinzuo Ye,
Xudong Li,
2010,
2010 International Conference on Multimedia Technology.
Xiaowei Li,
Yuan Xue,
Xujie Si,
2014,
CODASPY '14.
Mayur Naik,
Xujie Si,
Changwoo Min,
2016,
USENIX Security Symposium.
Le Song,
Mayur Naik,
Xujie Si,
2018,
ICLR.
Xin Zhang,
Radu Grigore,
Mayur Naik,
2017,
CAV.
Le Song,
Mukund Raghothaman,
Mayur Naik,
2018,
NeurIPS.
Le Song,
Mayur Naik,
Xujie Si,
2020,
CAV.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019
.
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019,
IJCAI.
Gang Wang,
Xiaojie Yuan,
Xiaoguang Liu,
2011,
2011 Fourth International Symposium on Parallel Architectures, Algorithms and Programming.
Aws Albarghouthi,
Mayur Naik,
Xujie Si,
2018,
ESEC/SIGSOFT FSE.
Xin Zhang,
Mikolás Janota,
Vasco M. Manquinho,
2016,
CP.
Xin Zhang,
Mayur Naik,
Xujie Si,
2017,
MAPL@PLDI.
Chao Wang,
Xiaojie Yuan,
Xujie Si,
2014,
J. Comput..
Mukund Raghothaman,
Mayur Naik,
Xujie Si,
2019,
PLDI.
Xujie Si,
Zhaoyu Li,
Binghong Chen,
2021,
ArXiv.
Xujie Si,
Brigitte Pientka,
Alana Ceci,
2021,
SIGCSE.
Xujie Si,
Hanwen Zhu,
Junyoung Jang,
2021,
ArXiv.
Nham Le,
Arie Gurfinkel,
Xujie Si,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
David Rolnick,
Xujie Si,
Sever Topan,
2021,
NeurIPS.