Skip to main content

CaesarGetting Started Docs About News

GitHub Publications

Recent posts

2025

Caesar 2.1: UI Improvements, More Guardrails, and Improvements to Slicing

2024

A Game-Based Operational Semantics for HeyVL
Caesar 2.0: VSCode Extension, Slicing, and more!
ERC Proof of Concept Grant
Talk at the Dafny 2024 Workshop

2023

Distinguished Artifact at OOPSLA '23
Paper Accepted at OOPSLA '23

2022

Winner of the 2022 WhatsApp Privacy Aware Program Analysis Request for Proposals

Authors

Philipp Schroer
8
Caesar Developer

Documentation

Getting Started
HeyVL
Standard Library
Proof Rules

Community

Caesar Discussions
Academic Publications

More

About
News
GitHub

Copyright © 2025 Caesar Developers. Built with Docusaurus.