Pinned Repositories
sedge
A dynamic symbolic execution system, that generates test cases to exercise the key behavior of the operators that comprise a data flow program.
anomaly-detection
Identify atypical data and receive automatic notifications
kaituo's Repositories
kaituo/220repo
kaituo/alerting
📟 Open Distro for Elasticsearch Alerting Plugin
kaituo/alerting-dashboards-plugin
📟 Manage your monitors, alerts and notifications in OpenSearch Dashboards
kaituo/alerting-kibana-plugin
📟 Open Distro for Elasticsearch Kibana Alerting Plugin
kaituo/anomaly-detection
[In Development] A machine learning plugin in Open Distro for Elasticsearch for real time anomaly detection on streaming data.
kaituo/anomaly-detection-1
kaituo/anomaly-detection-dashboards-plugin
An OpenSearch Dashboards plugin to perform real-time and historical anomaly detection on OpenSearch data.
kaituo/anomaly-detection-kibana-plugin
[In Development] A Kibana plugin providing visualizations for anomaly detection in Open Distro for Elasticsearch.
kaituo/call-graph-toolbox
A toolbox with several call graph construction algorithm implementations
kaituo/common-utils
kaituo/Disjoint-Domains
The abstract domains and programs used in "Exploiting Domain and Program Structure to Synthesize Efficient and Precise Data Flow Analyses"
kaituo/dissertation
kaituo/documentation-website
The documentation for OpenSearch, OpenSearch Dashboards, and their associated plugins.
kaituo/elasticsearch
Open Source, Distributed, RESTful Search Engine
kaituo/fastai_deeplearn_part1
Notes for Fastai Deep Learning Course
kaituo/job-scheduler
kaituo/Kaituo.github.io
kaituo/myrepo2
kaituo/OpenSearch
Open source distributed and RESTful search engine.
kaituo/opensearch-build
🧰 OpenSearch / OpenSearch-Dashboards Build Systems
kaituo/opensearch-dashboards-functional-test
Maintains functional tests for OpenSearch Dashboards and Dashboards plugins
kaituo/opensearch-spark
Spark Accelerator framework ; It enables secondary indices to remote data stores.
kaituo/random-cut-forest-by-aws
An implementation of the Random Cut Forest data structure for sketching streaming data, with support for anomaly detection, density estimation, imputation, and more.
kaituo/rfbi
kaituo/security
🔐 Open Distro for Elasticsearch Security plugin
kaituo/souffle
Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
kaituo/sql
Query your data using familiar SQL or intuitive Piped Processing Language (PPL)
kaituo/TPO-DP
The source code and the traces used in "Deciding Type-Based Partial-Order Constraints for Path-Sensitive Analysis" paper by Elena Sherman, Brady J. Garvin, Matthew B. Dwyer (ACM Trans. Softw. Eng. Methodol)
kaituo/typesolver
kaituo/z3
The Z3 Theorem Prover