Memory-Safe Hardware and Software Architecture

Motivated by developer productivity, serverless computing, and microservices have become the de facto development model in the cloud. Microservices decompose monolithic applications into separate functional units deployed individually. This deployment model, however, costs CSPs a large infrastructure tax of more than 25%.

To overcome this architectural limitation, we hypothesize a Memory-Safe Software and Hardware Architecture providing a general-purpose runtime environment to specialize functionality when needed and strongly isolate components.


The Rise of Memory-Safe Languages: Building a Fast, Elastic, Secure Software & Hardware Architecture Poster at DARPA Forward Conference, 2022.


MeSHwA: The case for a Memory-Safe Software and Hardware Architecture for Serverless Computing Workshop On Resource Disaggregation and Serverless Computing (WORDS), 2022.

PDF Slides Video