- IoT and Edge/Fog Computing
- Cloud Computing and Resource Management
- Software System Performance and Reliability
- Advanced Data Processing Techniques
- Distributed systems and fault tolerance
- Software Testing and Debugging Techniques
- Caching and Content Delivery
Peking University
2021-2023
Serverless computing is a popular cloud paradigm that frees developers from server management. Function-as-a-Service (FaaS) the most implementation of serverless computing, representing applications as event-driven and stateless functions. However, existing studies report functions FaaS severely suffer cold-start latency. In this article, we propose an approach, namely, FaaSLight , to accelerating cold start for through application-level optimization. We first conduct measurement study...
Abstract Serverless computing has become a new trending paradigm in cloud computing, allowing developers to focus on the development of core application logic and rapidly construct prototype via composition independent functions. With prosperity serverless major vendors have successively rolled out their commodity platforms. However, characteristics these platforms not been systematically studied. Measuring can help select most adequate platform develop serverless‐based applications right...
Serverless computing is a popular cloud paradigm that frees developers from server management. Function-as-a-Service (FaaS) the most implementation of serverless computing, representing applications as event-driven and stateless functions. However, existing studies report functions FaaS severely suffer cold-start latency. In this paper, we propose an approach namely FaaSLight to accelerating cold start for through application-level optimization. We first conduct measurement study investigate...
Large language models for code (i.e., LLMs) have shown strong understanding and generation capabilities. To evaluate the capabilities of LLMs in various aspects, many benchmarks been proposed (e.g., HumanEval ClassEval). Code reasoning is one most essential abilities LLMs, but existing are not sufficient. Typically, they focus on predicting input output a program, ignoring evaluation intermediate behavior during program execution, as well logical consistency model should give correct if...