Proceedings of the 2nd Workshop on High Performance Serverless Computing