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.
|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|