serverless RDMA + FaaS = rFaaS Solving the high latency invocations problem of FaaS. SeBS, the serverless benchmark suite Understanding performance challenges in the serverless world. faaskeeper, building serverless services Blueprint for serverless applications demonstrated on ZooKeeper. fmi, serverless collectives high-performance message passing and collective communication serverless software disaggregation for HPC hpc Work-stealing prefix scan Developing new prefix scan algorithms for unbalanced workloads. Single-source GPU programming Incorporating Khronos SYCL into HPX. GPU-accelerated model checking Bringing GPU acceleration to statistical model checking. program analysis perf-taint Enhancing performance modeling with program analysis information. Performance-Detective Cheap and accurate white-box performance models. Analysis of Open Source C++ World Analyzing how the open-source community works with C++.