Sai Divvela: Formally Verified Nonsense
Publications
Talks
Portfolio
Blog Posts
CV

Sai Divvela

Undergrad at UMD interested in PL, Systems and Security

Earth
University of Maryland
Email
GitHub
Bluesky

Automatic Energy Analysis Using Types

SRC@PLDI, 2026

Share on

Bluesky Facebook LinkedIn X (formerly Twitter)

Sitemap

Follow:
GitHub
Feed

© 2026 Sai Divvela, Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.
Site last updated 2026-06-28