@phdthesis{DiatchkiPhD,
  author    = {Iavor Sotirov Diatchki},
  title     = {High-Level Abstractions for Low-Level Programming},
  month     = {May},
  year      = {2007},
  school    = {OGI School of Science \& Engineering at Oregon Health \& Science University}
}