Declarative Cloud Programming with AI

Developing correct, high-performance, and scalable distributed cloud applications is notoriously difficult for programmers as it requires reasoning about parallelism, durability, and consistency. The code generation capabilities of large language models (LLMs) and AI agents offer exciting opportunities to automate the cloud application development process.

Research topics: How to design programming abstractions for cloud application developers to specify their functionality, performance, consistency, and durability requirements in a declarative way? How to go from declarative specifications to correct and scalable implementations? How can we teach LLMs to generate code in new programming models or frameworks that offer performance and correctness benefits?