Proceedings of the 1st Workshop on High Performance Serverless Computing