Verification in the Age of Microservices

Aurojit Panda, Mooly Sagiv, Scott Shenker

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Many large applications are now built using collections of microservices, each of which is deployed in isolated containers and which interact with each other through the use of remote procedure calls (RPCs). The use of microservices improves scalability - each component of an application can be scaled independently - and deployability. However, such applications are inherently distributed and current tools do not provide mechanisms to reason about and ensure their global behavior. In this paper we argue that recent advances in formal methods and software packet processing pave the path towards building mechanisms that can ensure correctness for such systems, both when they are being built and at runtime. These techniques impose minimal runtime overheads and are amenable to production deployments.

Original languageEnglish (US)
Title of host publicationHotOS 2017 - Proceedings of the 16th Workshop on Hot Topics in Operating Systems
PublisherIEEE Computer Society
Number of pages7
ISBN (Electronic)9781450350686
StatePublished - May 7 2017
Event16th Workshop on Hot Topics in Operating Systems, HotOS 2017 - Whistler, Canada
Duration: May 7 2017May 10 2017

Publication series

NameProceedings of the Workshop on Hot Topics in Operating Systems - HOTOS
VolumePart F129307


Other16th Workshop on Hot Topics in Operating Systems, HotOS 2017

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Verification in the Age of Microservices'. Together they form a unique fingerprint.

Cite this