Proceedings of the 4th workshop on Programming languages and operating systems