Anish Athalye
where else to find them
website:https://anishathalye.com
github:anishathalye
bluesky:anishathalye.bsky.social
linkedin:anishathalye
what they talk about
where they keep going back
no series more than once — all 1 in the filters
on a stage with
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Leakage models are a leaky abstraction (...) | PLARCH 2023 | 2023-06-17 |
They verify timing by symbolically executing gate‑level RTL instead of assuming leakage models, translating circuits to Rosette and running a symbolic RTL… | ||
| nothing matches | ||