log in  |  register  |  feedback?  |  help  |  web accessibility
Cost analysis via types
Sai Divvela
5105 Brendan Iribe Center for Computer Science and Engineering (IRB)
Thursday, September 25, 2025, 12:00-1:00 pm
  • You are subscribed to this talk through .
  • You are watching this talk through .
  • You are subscribed to this talk. (unsubscribe, watch)
  • You are watching this talk. (unwatch, subscribe)
  • You are not subscribed to this talk. (watch, subscribe)
Abstract

In this talk, we will show how type systems can be used to infer bounds on the cost of programs, and briefly discuss applications to intermittent computing.

This talk is organized by Finn