Department Software

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.

Available from: https://code.google.com/p/alchemy-2/

Developed by Prof. Murat Kantarcioglu’s group it provides implementations of multiple data anonymization tools.

Available from:  http://cs.utdallas.edu/dspl/cgi-bin/toolbox/index.php

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.

Available from: http://seers.utdallas.edu/ARENA.

This project aims to secure outsourcing of Key-Value stores, simply by utilizing public clouds through a proxy application.

Developed by Kantarcioglu’s group.

Available from: https://github.com/ermanpattuk/BigSecret

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.

Available at https://github.com/Hengxiugao/CGDemo

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.

Available from:  www.hlt.utdallas.edu/~altaf/cherrypicker/

Developed by Prof. Gupta’s group.

A metainterpreter that extends Prolog with coinduction.

Available from http://utdallas.edu/~gupta.

A system to help emergency first responders fight chemically hazardous fires; Used in almost all the states of the US; Stores data on 400,000 chemical facilities.

Subscription info: http://eplannews.utdallas.edu/

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.

Available at : https://github.com/ahaque-utd/ECHO

Performing Kernel Mean Matching over subsampled source and target datasets to achieve scalability.

Developed by Prof. Latifur Khan’s group.

Available at : https://github.com/swarupchandra/sampling_kmm

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.

Available from: http://www.hlt.utdallas.edu/~xwn/about.html

Downloaded 9000+ times since its release.

Focus locality extraction from news stories

Developed by Prof. Latifur Khan’s group (in collaboration with political scientist Prof. Patrick Brandt’s group).

Available at: https://github.com/Maryam-Imani/Focus-Locality

An Efficient Multistream Classification using Direct DensIty Ratio Estimation.

Developed by Prof. Latifur Khan’s group.

Available at:  https://github.com/ahaque-utd/FUSION

Developed by Prof. Gopal Gupta’s group.

A goal-directed implementation of an answer set programming system for non-monotonic reasoning.

Available from: http://galliwasp.sourceforge.net/

Tool to automatically infer precise program invariants by applying symbolic execution and dynamic invariant discovery in tandem.

Developed by Lingming Zhang’s group.

Available at http://www.utdallas.edu/~lxz144130/idisc.html

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.

Available at: http://www.hlt.utdallas.edu/~vgogate/ijgp-samplesearch.html

A Distributed, Scalable and Efficient RDF Triple Store.

Developed by Prof. Bhavani Thuraisingham and Murat Kantarcioglu’s group.

Available from:
https://github.com/vaibhavkhadilkar/hbase-rdf

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.

Available from: http://jist.ece.cornell.edu

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;

Available from: www.hlt.utdallas.edu/~saidul/code.html

Developed by Prof. Klaus Truemper for spelling and syntax checking.

Available from:  http://www.utdallas.edu/~klaus/Laempelprogram/laempelmain.html

Companion Software for the the book “Design of Logic-based Intelligent Systems” authored by Prof. Klaus Truemper.

Available from: http://www.utdallas.edu/~klaus/Leibnizprogram/leibnizmain.html

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.

Available from: http://cs.utdallas.edu/semanticweb/Very-Large-Graphs/ig-extension.html

This software package contains implementations of our proposed linguistically-informed versions of commonly-used coreference evaluation metrics.

Available from: www.hlt.utdallas.edu/~yzcchen/coreference/

An unsupervised, language-independent word analysis system that segments a word into morphems. Developed by Prof. Vincent Ng’s group.

Available from: www.hlt.utdallas.edu/~sajib/Morphology-Software-Distribution.html

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.

Available at: https://github.com/swarupchandra/multistream

An OS fingerprinting technique based on the memory snapshot of OS kernels.

Developed by Prof. Zhiqiang Lin.

Details in: http://www.utdallas.edu/~zhiqiang.lin/file/SOCC12.pdf

URL of the code: https://bitbucket.org/guyufei/os-sommelier

Developed by Prof. Murat Kantarcioglu’s group.

The Threshold Paillier Encryption software can be used to implement different cryptographic and secure multiparty computation protocols.

Available from:  http://www.cs.utdallas.edu/dspl/cgi-bin/pailliertoolbox/

Excel plugin for adding finite domain constraints to spreadsheets.

Available upon request: gupta@utdallas.edu

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.

Available from https://github.com/carlobar/PDToolbox_matlab

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).

Available at: https://github.com/openeventdata/political-actor-recommendation

A semi-supervised framework for classifying evolving data streams. Project GitHub

Developed by Prof. Latifur Khan’s group.

Available at: https://github.com/ahaque-utd/SAND

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.

Available at: https://github.com/swarupchandra/secure-analytics-sgx

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).

 

Available at: https://github.com/openeventdata/SPEC_CORENLP

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.

Available from:  www.hlt.utdallas.edu/~yzcchen/coreference/

The first publicly-available tool for identifying and coreferencing events mentioned in Chinese text documents. Developed by Prof. Vincent Ng’s group.

Available from: www.hlt.utdallas.edu/~yzcchen/coreference/

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.

Available from: https://github.com/vaibhavkhadilkar/stormrider

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.

Available at:  http://www.utdallas.edu/~lxz144130/tal.html

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.

Developed by Prof. B. Prabhakaran’s group, these tools allow users to analyze, visualize and create human motions and animations.

Available from: http://multimedia.utdallas.edu/node/10

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.

More information at http://itom.utdallas.edu/tools.html

Developed by Prof Klaus Truemper, Professor Emeritus.

Available from: http://www.utdallas.edu/~klaus/TUtest/index.html

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).

Available from: https://github.com/Sayeedsalam/web-scraper-and-crawler