V Krishna Nandivada
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2024–2025
all 4 in the filters
on a stage with
all 13 in the filters
who talks about the same things
- Aman Nougrahiya2 talks
- Vijay Sundaresan5 talks
- Manas Thakur9 talks
- Daryl Maier4 talks
- Shashin Halalingaiah2 talks
- Aditya Anand3 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… | ||
| Stories of Jens Palsberg for Fun and Profit | JENSFEST 2024 | 2024-10-22 |
A series of anecdotes centers on concrete results: a 50 sheep story about time reallocation, a provable fix for type-safe method inlining that explains why… | ||
| Reducing Write Barrier Overheads for Orthogonal Persistence | SLE 2024 | 2024-10-20 |
Implements replication-based persistency (RBP) inside HotSpot VM (OpenJDK) and shifts the expensive fence from every putfield to copier-weight handshakes that… | ||
| The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and(…) | OOPSLA 2024 | 2024-10-20 |
A scheme called ART encodes flow-sensitive, context-insensitive points-to results so a consumer can regenerate them without recomputing fixed points and verify… | ||
| 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… | ||
| Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes | PLDI 2024 | 2024-06-24 |
Static + dynamic system uses a precise static escape analysis (built in Soot) to emit optimistic stack allocations into the OpenJ9 JIT, and when runtime… | ||
| nothing matches | ||