Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
My experience at AmeriHac
Published:
This past weekend, I participated in the inagural North American Haskell Hackathon - AmeriHac! It was so much fun, despite not even knowing a single bit of Haskell going into it. I wanna write up a bit about my experience, some lessons I learned and things I hope to do in the future :)
portfolio
Preventing Timing Side Channels in High Level Synthesis
A type system extension to enable secure HLS without timing side channels
A lisp -> Wasm compiler built in Haskell
A simple project I made during AmeriHac to learn more about Haskell
publications
SRC@PLDI
talks
Leveraging Types and Typestate for Peripheral Cost Analysis
Published:
I presented in-progress work on developing a type system to automically perform energy cost analysis for embedded systems with stateful peripherals.
teaching
Teaching experience 2
Workshop, University 1, Department, 2015
CMSC389X
Student Taught Initiated Course, University of Maryland, Department of Computer Science, 2026