published in Proceedings of the 2nd Workshop on High Performance Serverless Computing Journal Proceedings of the 2nd Workshop on High Performance Serverless Computing Proceedings