@article{HjortBlindellEtAl:2017:CASES, author = {Hjort Blindell, Gabriel and Carlsson, Mats and Casta\~{n}eda Lozano, Robert and Schulte, Christian}, journal = {ACM Transactions on Embedded Computing Systems}, number = {5s}, pages = {119:1--119:18}, series = {TECS}, title = {Complete and Practical Universal Instruction Selection}, volume = {16}, year = {2017}, }