SHF:Small:A Language-based Approach to Faster and Safer Serverless Computing

云计算允许客户从云提供商那里租用虚拟服务器，它是为消费者、企业和政府使用的各种互联网应用程序提供动力的基础设施。不幸的是，传统的云计算需要大量的系统管理专业知识来确保应用程序的可靠性、安全性和成本效益。相比之下，“无服务器计算”是云计算的一种新方法，它自动化了系统管理的重要部分，并且在过去几年中出现了爆炸性增长。尽管无服务器计算是一个很有前途的进步，但它引入了新的问题，并且在范围上比传统云计算更有限。该研究项目开发工具和技术，使无服务器计算更具成本效益，更可靠，更广泛地适用。该项目的智力价值在于：(1)无服务器计算的数学基础，(2)帮助程序员发现和消除无服务器软件中的软件缺陷的分析工具，(3)使更广泛的软件类别能够使用无服务器计算的新抽象，以及(4)使无服务器计算更快、更便宜的新运行时系统的发展。该项目更广泛的意义和重要性在于：(1)它帮助程序员使他们的无服务器应用程序更加可靠和安全；(2)它使云计算提供商通过使无服务器计算更便宜和更快而受益；(3)它通过使研究结果的发布和开源软件的发布鼓励了在这个新领域的进一步研究。该项目还包括高中外展研讨会，以扩大对计算机的参与。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

Cloud computing, which allows a customer to rent virtual servers from cloud providers, is the infrastructure that powers a wide variety of Internet applications used by consumers, businesses, and the government. Unfortunately, traditional cloud computing requires significant system-management expertise to ensure that applications are reliable, secure, and cost-effective. In contrast, "serverless computing" is a new approach to cloud computing that automates a significant portion of system management, and has seen explosive growth over the last few years. Despite being a promising advance, serverless computing introduces new problems, and is more limited in scope than traditional cloud computing. This research project develops tools and techniques to make serverless computing more cost-effective, more reliable, and more broadly applicable. The intellectual merits of the project are the development of (1) the mathematical foundations of serverless computing, (2) analysis tools to help programmers find and eliminate software bugs in serverless software, (3) new abstractions that enable a broader class of software to use serverless computing, and (4) new runtime systems that make serverless computing faster and cheaper. The project's broader significance and importance are that (1) it helps programmers make their serverless applications more reliable and secure, (2) it benefits cloud-computing providers by making serverless computing cheaper and faster, and (3) it encourages further research in this new area by enabling the publishing of research results and the release of open-source software. The project also involves high-school outreach workshops to broaden participation in computing.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.