My PhD thesis
  • TeX 90.8%
  • Python 8.3%
  • Gnuplot 0.6%
  • Makefile 0.3%
Find a file
2022-05-18 15:59:20 -04:00
crash-logatom Fix figure-caption spacings 2022-05-15 17:23:27 -04:00
daisy-nfs Fix one more typo 2022-05-16 16:21:39 -04:00
fig Add Adobe Illustrator sources for final figures 2022-05-18 15:59:20 -04:00
frontmatter Fix more little things 2022-05-15 16:53:09 -04:00
go-txn Fix one typo 2022-05-16 08:55:44 -04:00
goose Fix figure-caption spacings 2022-05-15 17:23:27 -04:00
perennial Fix figure-caption spacings 2022-05-15 17:23:27 -04:00
.dir-locals.el Fix reftex setup 2021-08-25 14:22:43 -04:00
.gitignore Pass over the abstract 2021-10-15 14:39:04 -04:00
00-acknowledgments.tex More acknowledgments tweaks 2022-05-16 08:52:52 -04:00
01-introduction.tex Change 10.1 to be a "lessons learned" section 2022-05-13 14:58:10 -04:00
02-related-work.tex Clean up bibliography 2022-05-15 16:44:50 -04:00
03-perennial.tex Pass over Perennial chapter 2022-05-13 23:25:57 -04:00
04-crash-logatom.tex Pass over crash logatom chapter 2022-05-13 23:28:55 -04:00
05-txn.tex Renumber GoTxn files 2022-05-14 16:44:45 -04:00
06-daisy-nfs.tex Renumber daisy-nfs files 2022-05-14 16:42:47 -04:00
07-goose.tex Fix figure-caption spacings 2022-05-15 17:23:27 -04:00
08-impl.tex Fix figure-caption spacings 2022-05-15 17:23:27 -04:00
09-eval.tex Fix figure-caption spacings 2022-05-15 17:23:27 -04:00
99-conclusion.tex Pass over conclusion 2022-05-15 13:26:17 -04:00
aspell.words Pass over acks again 2022-05-16 08:37:40 -04:00
cmds.tex Fix figure-caption spacings 2022-05-15 17:23:27 -04:00
iris.sty Fix compatibility with texlive 2022 2022-04-06 10:45:26 -04:00
latexrun Use local copy of latexrun 2021-10-16 20:24:32 -04:00
Makefile Tentative new numbers for NVMe scale 2022-05-06 14:35:27 -04:00
mitthesis.cls Fix up frontmatter 2022-05-04 10:07:18 -04:00
n-conf.bib Clean up bibliography 2022-05-15 16:44:50 -04:00
n-str.bib Crudely migrate to LaTeX 2021-07-13 12:03:35 -04:00
n.bib Clean up bibliography 2022-05-15 16:44:50 -04:00
paper.bib Clean up bibliography 2022-05-15 16:44:50 -04:00
pftools.sty Copy DaisyNFS paper 2021-09-13 20:01:29 -04:00
preamble.tex Fix figure-caption spacings 2022-05-15 17:23:27 -04:00
README.md Start using iris.sty in Goose chapter 2021-10-16 09:03:49 -04:00
thesis.tex Fix spelling of acknowledgments in file name, too 2022-05-13 17:35:42 -04:00

Verifying a concurrent, crash-safe file system with sequential reasoning

My PhD thesis, on verifying DaisyNFS, which is a concurrent and crash-safe NFS server.