F. Morandat, B. Hill, L. Osvald, and J. Vitek. Proceedings of the 26th European Conference on Object-Oriented Programming, page 104--131. Berlin, Heidelberg, Springer-Verlag, (2012)
T. Kalibera, P. Maj, F. Morandat, and J. Vitek. Proceedings of the 10th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, page 89--102. New York, NY, USA, ACM, (March 2014)