Image of Verona, Italy

Project Verona

Project Verona: a programming language for the modern cloud

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.

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. The core research questions, we hope to address are:

  • If we design a language without concurrent mutation, can we build scalable memory management?
  • Can linear regions be used to remove the restrictions of per-object linearity without sacrificing memory management?
  • Can language level regions be used to support compartmentalisations?

人员

Microsoft Team

Sylvan Clebsch的肖像

Sylvan Clebsch

Principal Research Software Development Engineer

Matthew Johnson的肖像

Matthew Johnson

Principal Research Scientist

Matthew Parkinson的肖像

Matthew Parkinson

Principal Researcher

Academic Team

Ellen Arvidsson的肖像

Ellen Arvidsson

Ph.D. Student

Uppsala University

Elias Castegren的肖像

Elias Castegren

Professor

Uppsala University

Luke Cheeseman的肖像

Luke Cheeseman

Ph.D. Student

Imperial College

Sophia Drossopoulou的肖像

Sophia Drossopoulou

Professor

Imperial College

Marios Kogias的肖像

Marios Kogias

Assistant Professor & Visiting Researcher

Imperial College & Microsoft

James  Noble的肖像

James Noble

Professor

Tobias Wrigstad的肖像

Tobias Wrigstad

Professor

Uppsala University

Previous Interns

Theo Butler的肖像

Theo Butler

Intern

Paul Liétar的肖像

Paul Liétar

Intern

Albert  Mingkun Yang的肖像

Albert Mingkun Yang

Intern

Ming-Ho  Yee的肖像

Ming-Ho Yee

Intern

Alumni

Renato Golin的肖像

Renato Golin

Senior Research Software Engineer

Juliana Vicente Franco的肖像

Juliana Vicente Franco

Research Software Engineer