Pinned Repositories
boogie
Boogie
bucklescript
A backend for the OCaml compiler which emits JavaScript.
ccured
hack around trying to resuscitate ancient ccured.
cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
CS-381-Class-Project
Fair Use of a Scarce Shared Temporally Bounded Resource
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
deepxplore
DeepXplore code release
fse18-artifact-183
ALPS: Syntax-Guided Synthesis of Datalog Programs
gamepad
A Learning Environment for Theorem Proving
udacity-deep-learning-solution
Tentative Solution for Udacity Deep Learning course taught by Vincent Vanhoucke
XujieSi's Repositories
XujieSi/fse18-artifact-183
ALPS: Syntax-Guided Synthesis of Datalog Programs
XujieSi/udacity-deep-learning-solution
Tentative Solution for Udacity Deep Learning course taught by Vincent Vanhoucke
XujieSi/CS-381-Class-Project
Fair Use of a Scarce Shared Temporally Bounded Resource
XujieSi/cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
XujieSi/gamepad
A Learning Environment for Theorem Proving
XujieSi/boogie
Boogie
XujieSi/bucklescript
A backend for the OCaml compiler which emits JavaScript.
XujieSi/ccured
hack around trying to resuscitate ancient ccured.
XujieSi/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
XujieSi/deepxplore
DeepXplore code release
XujieSi/z3
The Z3 Theorem Prover
XujieSi/demo_app
This is a Ruby on Rails demo
XujieSi/DLV
Safety Verification of Deep Neural Networks
XujieSi/EvadeML-Zoo
Benchmarking and Visualization Tool for Adversarial Machine Learning
XujieSi/first_app
The first Ruby on Rails app
XujieSi/Hello-world
This is a test
XujieSi/joern
A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.
XujieSi/mercury-share
Mercury: A Unified Framework for Exploring Offloading Tradeoffs in Mobile-Cloud Computing
XujieSi/ml4code-mtl.github.io
Hosting the website for ML4Code-Mtl.
XujieSi/pdfminer
Python PDF Parser
XujieSi/PIE
Precondition Inference Engine
XujieSi/PLNN-verification
All code for the Piecewise Linear Neural Networks verification: A comparative study paper
XujieSi/Quad2Dot
Display Java Quad IR in the dot graph format
XujieSi/ReluplexCav2017
XujieSi/sample_app
RoR Tutorial Sample Application
XujieSi/SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
XujieSi/schedulous
Schedule workers to timeslots with ease.
XujieSi/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
XujieSi/SpeedyFOIL
Extend original FOIL with learnt templates
XujieSi/sygus-comp14