Software

Software developed by our group is available below.

List of Software for Relaxed Memory Models (C/C++11, TSO, SC, etc.)

Irvine Research Java Compiler

Benchmarks for Distributed Transactional Memory

Benchmarks that were designed to evaluate our Distributed Transactional Memory(DSTM) system. It can be compiled using our IRC.

 

Java STAMP Benchmark Suite Version 0.5

Java ports of the STAMP benchmark suite. They are written in the IRC dialect of Java and can be compiled with the STM support of IRC.

 

Data Structure Repair Version 0.5

Data structure repair compiler.

 

Transactional I/O Library Version 2 (Complete rewrite)

Transactional I/O Library Version 0.5

Library for Transactional File Access. Implements a file API that can be used inside of transactions. Works with the DSTM2 transactional memory implementation.

 

Transaction Simulator Version 0.6

Transaction Simulator Version 0.5

Discrete event simulator for software transactional memory. It supports simulating various contention management policies to understand the tradeoffs of various contention management policies independent of the overheads of the transactional memory implementation.
Traces for JStamp

 

View Compiler Version 1.0

Views are a novel language extension which enables developers to declaratively specify fine-grained (sub-object-level) locking policies. Provide static support for detecting many race conditions. Work done with Patrick Lam.

 

GARM

Garm is a tool that can enforce data access policies on arbitrary binaries. It uses the Valgrind binary rewriting engine to rewrite binaries to maintain the provenance of data and then uses the provenance information to enforce policies. It can trace provenance across application boundaries and enforce policies across application boundaries. It uses fine-grained encryption to prevent accesses that bypass Garm’s enforcement layer.