Skip to content

Department Software

A B C D E F G H I J K L M

N O P Q R S T U V W X Y Z


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.

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

Anonymization Toolbox
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

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.

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

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.

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

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.

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

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.

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

Coinductive Logic Programming Metainterpreter System
Developed by Prof. Gupta’s group.

A metainterpreter that extends Prolog with coinduction.

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

D

E

E-Plan
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/

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.

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

Downloaded 9000+ times since its release.

F

G

Galliwasp
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/

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.

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

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.

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

J

Jena-HBase
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

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.

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

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;

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

L

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

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

Leibniz Software System
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

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.

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

Linguistically Aware Coreference Evaluation Tool

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/

M

Morpheme++
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

N

O

OS-Sommelier
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

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.

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

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.

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

Q

R

S

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.

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

SinoCoreferencer
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/

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.

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

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.

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

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.

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

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.

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

U

Unimodularity Library
Developed by Prof Klaus Truemper, Professor Emeritus.

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

V

W

X

Y

Z