Proceeding of ACM SIGPLAN - SIGOPS interface meeting on Programming languages - operating systems