@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}, }