Vijay Nagarajan

Publications

1. ASPLOS'27 Beyond the Fence: Sound Compilation for GPU and Heterogeneous CPU+GPU Systems

   Dennis Sprokholt, Reese Levine, Susmit Sarkar, Andrés Goens, Vijay Nagarajan, Soham Chakraborty

2. ASPLOS'27 Formalizing the User-Kernel Shared-Memory Boundary: The C/LKMM Compound Model

   Hastin Kapoor, Soham Bagchi, An Qi Zhang, Soham Chakraborty, Marco Elver, Andrés Goens, Susmit Sarkar, Ryan Stutsman, Vijay Nagarajan

3. CAL'25 Efficient Deadlock Avoidance by Considering Stalling, Message Dependencies, and Topology

   Sanya Srivastava, Fletch Rydell, Andrés Goens, Vijay Nagarajan, Daniel J. Sorin

4. ISCA'24 Determining the Minimum Number of Virtual Networks for Different Coherence Protocols

   Weihang Li, Andrés Goens, Nicolai Oswald, Vijay Nagarajan, Daniel J. Sorin

5. PACT'24 PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model

   An Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel J. Sorin, Vijay Nagarajan

6. PLDI'23 Compound Memory Models

   Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, Vijay Nagarajan