Explore projects

An N-way superscalar out-of-order processor based on the R10K scheme, implemented, integrated and verified by my EECS470 group as part of our final project. It includes all basic functioning features and modules for correctness.

MSI Cache Coherency protocol verification using the Murphi 3.1 Model Checker Tool developed by Stanford. Added the Owned state as an optimization (MOSI).

Low fidelity quadrotor model for testing RCAC based controllers

This project aims to predict the outcome of interest level as defined by the number of inquiries a listing received in the duration of the listing being live on the Renthop website.

tweet popularity prediction in climate change

The program reads a file as a system argument and give the total number of lines, characters and words within the file.

For this homework, we will practice some basic R programming skills, reading in and manipulating data. We will also do some simple graphics