DBOS cloud is a serverless platform massively lowering the bar for writing correct stateful applications in the cloud. DBOS exposes a workflow programming model with strong transactional guarantees and exactly once execution.

In addition, DBOS implements unique time traveling capabilities to ease debugging, auditing and observability.

In this talk, we will introduce the DBOS programming model and how we leverage its unique capabilities in DBOS cloud to provide a modern serverless experience.