Proceedings of the Workshop on Binary Instrumentation and Applications