A list of papers, blog posts, etc. that I plan to read. I also track a reading list using notion, but I would like to eventually manage them here on my website.
|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|