Vijay Nagarajan
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- PLDI Workshop Honoring Andreas Podelski2 editions2023–2026
on a stage with
- Andrés Goens2×
- An Qi Zhangonce
- Daniel Sorinonce
all 17 in the filters
who talks about the same things
- Andrés Goens6 talks
- Soham Chakraborty7 talks
- Parosh Aziz Abdulla9 talks
- Zhong Shao19 talks
- Kartik Nagar6 talks
- Jérémie Koenig4 talks
| title | conference | date |
|---|---|---|
| Consistency and Coherence of the NVIDIA Grace-Hopper Superchip | ISMM 2026 | 2026-06-16 |
Empirical study validates the Grace‑Hopper enforces the Compound Memory Consistency Model using 1,960 litmus variants spanning ARM and PTX, showing independent… | ||
| A Formally Verified Foundation for Compositional Heterogeneous Coherence | PLDI 2026 | 2026-06-15 |
Claims that the de-facto Principle of Synchronous Propagation is sufficient to guarantee the Compound Memory Consistency Model for a wide class of CPU/GPU… | ||
| Compound Memory Models | PLDI 2023 | 2023-06-17 |
Defines a compositional operational specification that composes distinct device models into a x86TSO/PTX compound model and proves C-to-architecture compiler… | ||
| Avocado: A Secure In-Memory Distributed Storage System | USENIX ATC '21 | 2021-07-14 |
Avocado is a secure in‑memory distributed key‑value store that uses Intel SGX to run the replication protocol inside enclaves, splits keys (in‑enclave) and… | ||
| nothing matches | ||