Vijay Nagarajan

Publications

1. PLDI'26 A Formally Verified Foundation for Compositional Heterogeneous Coherence

   An Qi Zhang, Andrés Goens, Daniel J. Sorin, Vijay Nagarajan

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

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

3. 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

4. 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

5. PLDI'23 Compound Memory Models

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