Department Software
A
Alchemy 2.0
A software package for inference and learning in Markov logic networks (MLNs). Alchemy 2.0 is that it includes several lifted probabilistic inference algorithms.
Developed by Prof. Gogate’s group.
Numerous downloads of the predecessor: Alchemy 1.0.
Anonymization Toolbox
Developed by Prof. Murat Kantarcioglu’s group it provides implementations of multiple data anonymization tools.
ARENA
A tool developed by Prof. Andrian Marcus’ group that combines source code analysis, software summarization techniques and information mined from software repositories in order to automatically generate release notes of software systems.
B
BigSecret
This project aims to secure outsourcing of Key-Value stores, simply by utilizing public clouds through a proxy application.
Developed by Kantarcioglu’s group.
C
CGDemo
CGDemo software is a companion of the textbook for L. Ammeraal and Prof. K. Zhang, Computer Graphics for Java Programmers, 2nd Edition, Wiley, 2007. It provides detailed demonstration of important computer graphics algorithms through animated and step-wise execution.
CherryPicker
A coreference resolution tool that implements the recently-developed cluster-ranking model as well as some popular learning-based coreference models developed by Professor Vincent Ng’s group.
It has been downloaded more than 4500 times since its release in 2009.
Coinductive Logic Programming Metainterpreter System
Developed by Prof. Gupta’s group.
A metainterpreter that extends Prolog with coinduction.
D
E
ECHO
A semi-supervised framework for classifying evolving data streams based on our previous approach SAND with better runtime performance.
Developed by Prof. Latifur Khan’s group.
Efficient Sampling-Based Kernel Mean Matching
Performing Kernel Mean Matching over subsampled source and target datasets to achieve scalability.
Developed by Prof. Latifur Khan’s group.
eXtended Word Net
A major resource developed at UTD.
Developed by Prof. Dan Moldovan’s group, its goal is to automatically (1) syntactically parse the glosses, (2) transform glosses into logical forms and (3) tag semantically the nouns, verbs, adjectives and adverbs of the glosses.
Downloaded 9000+ times since its release.
F
Focus Location Extraction
Focus locality extraction from news stories
Developed by Prof. Latifur Khan’s group (in collaboration with political scientist Prof. Patrick Brandt’s group).
FUSION
An Efficient Multistream Classification using Direct DensIty Ratio Estimation.
Developed by Prof. Latifur Khan’s group.
G
Galliwasp
Developed by Prof. Gopal Gupta’s group.
A goal-directed implementation of an answer set programming system for non-monotonic reasoning.
H
I
iDiscovery
Tool to automatically infer precise program invariants by applying symbolic execution and dynamic invariant discovery in tandem.
Developed by Lingming Zhang’s group.
IJGP-sampling and SampleSearch for the PR and MAR tasks
A formula-based version of this solver won the PR track in the 20 min. and 1 hr. categories at the UAI 2010 approximate inference challenge.
Developed by Prof. Vibhav Gogate.
J
Jena-HBase
A Distributed, Scalable and Efficient RDF Triple Store.
Developed by Prof. Bhavani Thuraisingham and Murat Kantarcioglu’s group.
JiST Simulator
A high-performance discrete event simulation engine developed by Professor Zygmunt Haas’ group that runs over a standard Java virtual machine. It is a prototype of a new general-purpose approach to building discrete event simulators, called virtual machine-based simulation, that unifies the traditional systems and language-based simulator designs.
K
Keyphrase Extraction Package
This software package includes implementations of some of the most well-known unsupervised approaches to extracting important words/phrases from a text document. Developed by Prof. Vincent Ng’s group;
L
Laempel System
Developed by Prof. Klaus Truemper for spelling and syntax checking.
Leibniz Software System
Companion Software for the the book “Design of Logic-based Intelligent Systems” authored by Prof. Klaus Truemper.
Library For Manupulating Large RDF Graphs
This project provides an extension to Jena that allows the creation, manipulation, and, querying of large RDF graphs.
Developed by Thuraisingham, Khan, and Kantarcioglu’s group.
Linguistically Aware Coreference Evaluation Tool
This software package contains implementations of our proposed linguistically-informed versions of commonly-used coreference evaluation metrics.
M
Morpheme++
An unsupervised, language-independent word analysis system that segments a word into morphems. Developed by Prof. Vincent Ng’s group.
Multistream Classification
Classification (class label prediction) over two non-stationary data streams, one with labeled data (source) and the other with unlabeled data (target). Covariate shift is assumed between the source and target streams.
Developed by Prof. Latifur Khan’s group.
N
O
OS-Sommelier
An OS fingerprinting technique based on the memory snapshot of OS kernels.
Developed by Prof. Zhiqiang Lin.
P
Paillier Threshold Encryption Toolbox
Developed by Prof. Murat Kantarcioglu’s group.
The Threshold Paillier Encryption software can be used to implement different cryptographic and secure multiparty computation protocols.
PlanEx
Excel plugin for adding finite domain constraints to spreadsheets.
Available upon request: gupta@utdallas.edu
Population Dynamics Matlab Toolbox
Developed by Prof. Alvaro Cardenas’ group.
This toolbox is a Matlab implementation of evolutionary dynamics from game theory, such as replicator dynamics, smith dynamics, logit dynamics, and Brown-von Neumann-Nash.
Q
R
RePAIR
Recommendation of political actors in real time using news articles.
In this project, we extend the knowledgebase of actors required by automated event coders. We first recommend political actors found the news articles to the human annotators. They provide feedback and based on that we include the recommended actors to an online dictionary. This dictionary is later used by the automated event coders to generate political events.
Developed by Prof. Latifur Khan’s group (in collaboration with political scientist Prof. Patrick Brandt’s group).
S
SAND
A semi-supervised framework for classifying evolving data streams. Project GitHub
Developed by Prof. Latifur Khan’s group.
Securing Data Analytics on SGX with Randomization
Secure analytics performed over a third-party resource by addressing side-channel information leak when using Intel SGX.
Developed by Prof. Latifur Khan’s group.
SPEC: Spark Based Political Event Coding
A framework created to run automated event coder in distributed manner to encode large number of unprocessed news articles and generate political events.
Developed by Prof. Latifur Khan’s group (in collaboration with political scientist Prof. Patrick Brandt’s group).
SinoBerryPicker
A tool for Chinese coreference resolution developed by Prof. Vincent Ng’s group that won the first place in the Chinese coreference subtask of the CoNLL-2012 shared task.
SinoCoreferencer
The first publicly-available tool for identifying and coreferencing events mentioned in Chinese text documents. Developed by Prof. Vincent Ng’s group.
StormRider
A framework that uses existing cloud computing and semantic web technologies to provide application programmers with automated support for these tasks.
Developed by Prof. Bhavani Thuraisingham and Murat Kantarcioglu’s group.
Summary-Based Context-Sensitive Data-Dependence Analysis Tool
Tool to summarize library code analysis with tree-adjoining-language (TAL) reachability. The library summary can then be used to speed up various client code analyses, e.g., data-dependence analysis.
Developed by Lingming Zhang’s group.
T
TAscheduler
Developed by Prof. Gopal Gupta’s group.
A constraint programming tool for scheduling TAs to courses subject to various constraints. Used in the CS and EE Departments at UT Dallas for the last 12 years.
Available upon request: gupta@utdallas.edu.
Tools for Analyzing, Visualizing and Creating Human Motions
Developed by Prof. B. Prabhakaran’s group, these tools allow users to analyze, visualize and create human motions and animations.
TraceNET
A network diagnostic/debugging tool, similar to traceroute, developed by Professor Kamil Sarac’s group. When run toward a remote IP address, it collect layer 3 topology information of each visited subnetwork (i.e., IP addresses of all the systems connected to each visited subnetwork) on the path to the remote system.
U
Unimodularity Library
Developed by Prof Klaus Truemper, Professor Emeritus.
V
W
Web Scraper
The news article collector running on a single node, collecting ~ 10K-13K news articles daily from ~400 news sources. This is the input to the SPEC and RePAIR projects described above.
Developed by Prof. Latifur Khan’s group (in collaboration with political scientist Prof. Patrick Brandt’s group).