The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Xujie Si" ( http://dblp.L3S.de/Authors/Xujie_Si )

  Author page on DBLP  Author page in RDF  Community of Xujie Si in ASPL-2

Publication years (Num. hits)
2011-2019 (14)
Publication types (Num. hits)
article(3) inproceedings(11)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik Synthesizing Datalog Programs Using Numerical Relaxation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik Continuously reasoning about programs using differential Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xujie Si, Yuan Yang, Hanjun Dai, Mayur Naik, Le Song Learning a Meta-Solver for Syntax-Guided Program Synthesis. Search on Bibsonomy ICLR (Poster) The full citation details ... 2019 DBLP  BibTeX  RDF
1Xujie Si, Mukund Raghothaman, Kihong Heo, Mayur Naik Synthesizing Datalog Programs using Numerical Relaxation. Search on Bibsonomy IJCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xujie Si, Woosuk Lee, Richard Zhang, Aws Albarghouthi, Paraschos Koutris, Mayur Naik Syntax-guided synthesis of Datalog programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song Learning Loop Invariants for Program Verification. Search on Bibsonomy NeurIPS The full citation details ... 2018 DBLP  BibTeX  RDF
1Xin Zhang, Radu Grigore, Xujie Si, Mayur Naik Effective interactive resolution of static analysis alarms. Search on Bibsonomy PACMPL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xujie Si, Xin Zhang, Radu Grigore, Mayur Naik Maximum Satisfiability in Software Analysis: Applications and Techniques. Search on Bibsonomy CAV (1) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xin Zhang, Xujie Si, Mayur Naik Combining the logical and the probabilistic in program analysis. Search on Bibsonomy MAPL@PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Insu Yun, Changwoo Min, Xujie Si, Yeongjin Jang, Taesoo Kim, Mayur Naik APISan: Sanitizing API Usages through Semantic Cross-Checking. Search on Bibsonomy USENIX Security Symposium The full citation details ... 2016 DBLP  BibTeX  RDF
1Xujie Si, Xin Zhang, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik On Incremental Core-Guided MaxSAT Solving. Search on Bibsonomy CP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xiaocheng Huang, Xujie Si, Xiaojie Yuan, Chao Wang A Dynamic Load-balancing Scheme for XPath Queries Parallelization in Shared Memory Multi-core Systems. Search on Bibsonomy JCP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xiaowei Li 0003, Xujie Si, Yuan Xue Automated black-box detection of access control vulnerabilities in web applications. Search on Bibsonomy CODASPY The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Xujie Si, Airu Yin, Xiaocheng Huang, Xiaojie Yuan, Xiaoguang Liu, Gang Wang 0001 Parallel Optimization of Queries in XML Dataset Using GPU. Search on Bibsonomy PAAP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license