Aman Nougrahiya
where else to find them
what they talk about
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
who talks about the same things
- V Krishna Nandivada8 talks
- Vijay Sundaresan5 talks
- Aditya Anand3 talks
- Manas Thakur9 talks
- Krishna Shankaranarayanan4 talks
- Daryl Maier4 talks
| title | conference | date |
|---|---|---|
| IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis | OOPSLA 2025 | 2025-10-16 |
Algorithm IncIDFA produces precise incremental variants for any monotone IDFA using a two-pass approach plus per-SEC stabilization and safe/under-approximated… | ||
| Homeostasis: Design and Implementation of a Self-Stabilizing Compiler (TOPLAS) | OOPSLA 2024 | 2024-10-20 |
Homeostasis is a compiler framework that automatically captures program changes into a centralized compressed log, triggers stabilization on demand, and… | ||
| nothing matches | ||