lmlaaron

ansys_study

cachequery

HW interface for memory caches

car_demo

dinocpu

A teaching-focused RISC-V CPU design used at UC Davis

evsets

Tool for testing and finding minimal eviction sets

gem5-mesh

Fork of gem5 with support for manycore architectures. Includes models and scripts to evaluate a software-defined-vector architecture.

GridDyn

GridDyn is an open-source power transmission simulation software package

GridTrak

GridTrak Open Source SynchroPhasor PMU Project

gunyah-hypervisor

Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.

jailhouse

Linux-based partitioning hypervisor

lmlaaron.github.io

LMS1xx

Driver for SICK LMS1xx. Based on https://github.com/RCPRG-ros-pkg/RCPRG_laser_drivers

mcl_3dl

A ROS node to perform a probabilistic 3-D/6-DOF localization system for mobile robots with 3-D LIDAR(s). It implements pointcloud based Monte Carlo localization that uses a reference pointcloud as a map.

neuzz

neural network assisted fuzzer

obstacle_detector

A ROS package for 2D obstacle detection based on laser range data.

omnetpp

OMNeT++ Discrete Event Simulator

openPDC

Open Source Phasor Data Concentrator

osiris

Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)

plexe-sumo

SUMO is an open source, highly portable, microscopic and continuous road traffic simulation package designed to handle large road networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.

plexe-veins

Repository for Plexe Veins

polca

Tool for inferring cache replacement policies with automata learning. Uses LearnLib and Sketch.

PRIME-SCOPE

The open-source component of Prime+Scope, published at CCS 2021

rlcheck

RLCheck, QuickCheck + Reinforcement Learning to produce more valid inputs.

RLMC

Reinforcement learning-based memory controller with a lattice priority security model

rlmeta

RLMeta is a light-weight flexible framework for Distributed Reinforcement Learning Research.

rtrbench

A Benchmark Suite for Real-Time Robotics

SimpleCPU

An open source CPU design and verification platform for academia

ultrablue

User-friendly Lightweight TPM Remote Attestation over Bluetooth

VENTOS_Public

VEhicular NeTwork Open Simulator (VENTOS)

xi-compiler