UPenn Architecture & Compilers Group

ocolos-public

Ocolos is the first online code layout optimization system for unmodified applications written in unmanaged languages.

cis501

CIS 501: Computer Architecture Fall 2019

gpudrano-static-analysis_v1.0

GPU Drano Static Analysis for GPU programs.

gpuDranoDynamicAnalysis

An llvm pass for counting global uncoalesced acceses for cuda code via dynamic analysis.

cis371

repo for CIS 371 Spring 2018

dettrace-ae

DetTrace repo for ASPLOS 2020 AE

barracuda

BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs

cis6010

CIS 6010 Fall 2022: GPGPU Programming Models

BOLT

Binary Optimization and Layout Tool - A linux command-line utility used for optimizing performance of binaries

RPG2-public

RPG^2 is a pure-software system that operates on running C/C++ programs, profiling them, injecting prefetch instructions, and then tuning those prefetches to maximize performance.

det-stresstests

ProcessCache

ProcessCache

REMIX

Automatic runtime repair of Java false-sharing

verified-tsan

Experiments in verifying race detection.

acg-latex-template

LaTeX paper template based on sigplanconf

Barracuda-tests

Concurrency bug suite used by Barracuda

det-tests

A suite of programs to test robustness of a determinizing system.

dune

jawns

JAWNS: Job scheduling with Amazon Web services and Nothing Shared

shadow

Shadowspace Hooks for Attaching Data to Objects or Words (SHADOW)