Vijay Nagarajan

Professor

vijay@cs.utah.edu

WEB 2897
Website | Google Scholar

Research Interests
Computer architecture, Programming Languages and Computer Systems with a focus on: Consistency Models, Coherence Protocols, Replication protocols, Language support for microarchitecture design, Correct-by-construction system design.