Repositories list

• cis6010

  Public
  CIS 6010 Fall 2025: GPGPU Programming

  C++

  •

  Apache License 2.0

  •16•4•0•0•Updated Oct 9, 2025Oct 9, 2025

• ocolos-public

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

  C++

  •

  BSD 2-Clause "Simplified" License

  •16•53•2•0•Updated Jun 23, 2025Jun 23, 2025

• RPG2-public

  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.

  C

  •

  MIT License

  •2•11•0•0•Updated May 15, 2024May 15, 2024

• BOLT

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

  183•2•0•0•Updated Feb 27, 2024Feb 27, 2024

• ProcessCache

  Public
  ProcessCache

  Rust

  •2•1•17•0•Updated Dec 10, 2023Dec 10, 2023

• acg-latex-template

  Public
  LaTeX paper template based on sigplanconf

  TeX

  •0•0•0•0•Updated Aug 29, 2022Aug 29, 2022

• barracuda

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

  C++

  •

  BSD 3-Clause "New" or "Revised" License

  •5•5•0•1•Updated Nov 22, 2020Nov 22, 2020

• cis501

  Public
  CIS 501: Computer Architecture Fall 2019

  Assembly

  •42•22•0•0•Updated Apr 21, 2020Apr 21, 2020

• det-stresstests

  Public
  C++

  •0•1•3•0•Updated Feb 3, 2020Feb 3, 2020

• dettrace-ae

  Public
  DetTrace repo for ASPLOS 2020 AE

  C++

  •0•4•0•0•Updated Dec 5, 2019Dec 5, 2019

• det-tests

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

  C

  •0•0•2•0•Updated Oct 4, 2019Oct 4, 2019

• jawns

  Public
  JAWNS: Job scheduling with Amazon Web services and Nothing Shared

  Java

  •0•0•0•0•Updated Feb 3, 2019Feb 3, 2019

• gpuDranoDynamicAnalysis

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

  LLVM

  •

  Other

  •2•14•1•0•Updated Nov 17, 2018Nov 17, 2018

• gpudrano-static-analysis_v1.0

  Public
  GPU Drano Static Analysis for GPU programs.

  llvmstatic-analysisgpu-kernels

  C++

  •

  Other

  •4•23•0•0•Updated Nov 16, 2018Nov 16, 2018

• cis371

  Public
  repo for CIS 371 Spring 2018

  Assembly

  •14•15•0•0•Updated Apr 14, 2018Apr 14, 2018

• Barracuda-tests

  Public
  Concurrency bug suite used by Barracuda

  Python

  •4•0•0•0•Updated Feb 7, 2018Feb 7, 2018

• dune

  Public
  C

  •

  MIT License

  •63•0•4•0•Updated Nov 1, 2017Nov 1, 2017

• verified-tsan

  Public
  Experiments in verifying race detection.

  Coq

  •1•1•0•0•Updated Sep 7, 2017Sep 7, 2017

• shadow

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

  0•0•0•0•Updated Apr 18, 2017Apr 18, 2017

• REMIX

  Public
  Automatic runtime repair of Java false-sharing

  Java

  •

  GNU General Public License v2.0

  •3•2•0•0•Updated May 31, 2016May 31, 2016