@article{ETD,
      recid = {122},
      author = {Diatchki, Iavor S. and },
      title = {High-level abstractions for low-level programming},
      publisher = {Oregon Health and Science University},
      school = {Ph.D.},
      address = {2007},
      number = {ETD},
      url = {http://digitalcollections.ohsu.edu/record/122},
      doi = {https://doi.org/10.6083/M4736NTX},
}