research

This is a repository for my research, paper reading summaries/reviews, and relevant blog-like posts in markdown.

Reading Queue

Overview

This is a list of readings that I have enqueued (i.e. on-deck), but I am tired of keeping tabs open to track them. I would also like to have a public place where I can update the list for others to see or to make suggestions.

Note: there are no guarantees of these readings being scheduled.

On-deck (1-2 week horizon)

The Structured Queue

Topic Type First Author Research Lab Reading Short Description
Architecture Dissertation Roy Fielding Taylor Lab Network-based Software Architectures The power of REST
Storage M.S. Thesis Reza Nasirigerdeh UCSC SRL (Dr. Maltzahn) Data Access Policies for Science ROOT filesystem for science
SMT-Aided Dissertation Niki Vazou UCSD ProgSys (Dr. Jhala) Liquid Haskell Liquid Haskell for theorem proving

The Unstructured Queue