Is superoptimization viable for VM instruction sets?

Tom Hume, Des Watson. Is superoptimization viable for VM instruction sets?. Software: Practice and Experience, 45(4):571-579, 2015. [doi]

@article{HumeW15,
  title = {Is superoptimization viable for VM instruction sets?},
  author = {Tom Hume and Des Watson},
  year = {2015},
  doi = {10.1002/spe.2240},
  url = {http://dx.doi.org/10.1002/spe.2240},
  researchr = {https://researchr.org/publication/HumeW15},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {45},
  number = {4},
  pages = {571-579},
}