Proceedings of the meeting on SIGPLAN/SIGMICRO interface