@inproceedings{kranz13gdsl,
  author = {J. Kranz and A. Sepp and A. Simon},
  title = {{GDSL}: {A} {U}niversal {T}oolkit for {G}iving {S}emantics to {M}achine {L}anguage},
  booktitle = {Asian Symposium on Programming Languages and Systems},
  editor = {C. Shan},
  month = {December},
  year = 2013,
  publisher = {Springer},
  doi = {10.1007/978-3-319-03542-0_15},
  address = {Melbourne, Australia},
}