Explore projects

The code behind the paper "The Overhead from Combating Side-Channels in Cloud Systems using VM-Scheduling".

This is a fork from https://github.com/typetools/checker-framework

Calculates motor control signals to relocate arm grabber.

An Administrative Temporal Role Based Access Control (ATRBAC) Safety solver, called Cree.

A custom router for communication networks built using the Xilinx RapidWright framework. This git repository accompanies the FCCM 2019 short paper on this topic.

SE465 Assignment 3 skeleton

Assignment 3 skeleton

SE 465 Assignment 2 skeleton

SE 465 Assignment 1 skeleton