{"id":647265,"date":"2020-05-15T05:46:55","date_gmt":"2020-05-15T12:46:55","guid":{"rendered":"https:\/\/www.microsoft.com\/en-us\/research\/?post_type=msr-project&p=647265"},"modified":"2023-06-30T09:56:56","modified_gmt":"2023-06-30T16:56:56","slug":"project-verona","status":"publish","type":"msr-project","link":"https:\/\/www.microsoft.com\/en-us\/research\/project\/project-verona\/","title":{"rendered":"Project Verona"},"content":{"rendered":"
\n\t
\n\t\t
\n\t\t\t\"Image\t\t<\/div>\n\t\t\n\t\t
\n\t\t\t\n\t\t\t
\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\t\n\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\n\n

Project Verona<\/h1>\n\n\t\t\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t<\/div>\n\t\t<\/div>\n\t<\/div>\n<\/section>\n\n\n\n\n\n

Project Verona: a programming language for the modern cloud<\/h2>\n\n\n\n

Adoption of the cloud requires trust, but software vulnerabilities can quickly erode that trust. There is a real drive in the industry to make memory safety vulnerabilities a thing of the past. Project Verona is a highly ambitious research project to make that a reality for the infrastructure we build for the cloud. The research combines world-class research on compilers, programming language semantics and type systems to the design of Project Verona. We aim to provide the secure foundations we need for trusting the cloud.<\/p>\n\n\n\n

Project Verona is a research project being run by Microsoft Research in collaboration with Imperial College London and Uppsala University. We are exploring research around language and runtime design for safe scalable memory management and compartmentalisation.\u202fThe core research questions, we hope to address are:<\/p>\n\n\n\n