Under Construction

I hope to compile projects and presentations here:

The PageRank Algorithm

  • Presentation as part of the Graduate Algorithms (Fall 2018) Course at CU-Boulder (Instructor: Prof. Sriram Sankaranarayanan)
  • Slides

Can Neural Networks learn Loop Unrolling?

  • Project as part of the Computer Aided Verification (Fall 2018) Course at CU-Boulder (Instructor: Prof. Pavol Cerny)
  • Report, Code : Neural Network, Full Repo