@MASTERSTHESIS{t14,
  author = {Justin Restivo},
  title = {A Zero Kernel Operating System: Rethinking Microkernel Design by Leveraging Tagged Architectures and Memory-Safe Languages},
  school = {Massachusetts Institue of Technology},
  year = {2020},
  address={Cambridge, MA}
}