|
Vijay Nagarajan Professor Kahlert School of Computing The University of Utah Warnock Engineering Building 2897 72 Central Campus Drive Salt Lake City, Utah, 84112 Office Phone: (+1) 801 581-7026 E-mail: vijay at cs.utah.edu |
|
(FREE E-book) |
Publications CAPS Research Group Teaching Personal CV |
| Research |
Our research spans computer architecture, programming languages, and computer systems. Our approach is constructive and specification-directed: we derive implementations from precise specifications, so they are correct by construction. They are also efficient, because we build only what the specification requires.
A full list of publications can be found here. Code can be found here. Current research thrusts:
| Research thrust | Insight | Overview | Recent publications |
|---|---|---|---|
| Compound memory models | When entities with distinct memory models share memory, we must specify their composition. | [PLDI'23] | [ASPLOS'27a] [ASPLOS'27b] [PLDI'26] [ISMM'26] |
| *Gen: correct-by-construction coherence | Designers write abstract atomic protocols; *Gen generates the concurrent, hierarchical and heterogeneous ones. | [Position paper] [Talk] | [PACT'24] [ISCA'24] [Top Picks'23] [HPCA'22] [ISCA'20] [ISCA'18] |
| Ordering for non-coherent interconnects | A precise I/O memory model enables efficient ordering at the destination. | [Position paper] | [ASPLOS'26] |
| Consistency & availability of key-value stores | Datacenter replication = fast-path coherence + slow-path consensus. | [SIGARCH blog] | [VLDB'25] [EDBT'25] [DSN'23] [EuroSys'21] [PPoPP'20] [ASPLOS'20] [EuroSys'18] |
| CAPS Research Group |
| PhD Students |
Wei Siew Liew Hastin Kapoor |
PhD Alumni |
Bharghava Rajaram (First: Assistant Professor, VIT University; Current: Assistant Professor, Mahindra Ecole Centrale, India) Andrew J. McPherson (First: IBM Research; Current: Senior Data Scientist, Credit Suisse) Marco Elver (Software Engineer, Google, Mountain View) Cheng-Chieh Huang (First: Senior Software Development Engineer, Mentor Graphics; Current: Software Engineer, Google) Arpit Joshi (NVIDIA) Saumay Dublish (NVIDIA) Vasileios Gavrielatos (Huawei Research) Antonis Katsarakis (Huawei Research) Nicolai Oswald(NVIDIA Research) Adarsh Patil (Senior Research Engineer, ARM) Mahesh Dananjaya(Huawei Research) An Qi Zhang (defended; Amazon Annapurna Labs) |
Post-doc Alumni |
Jose Cano Reyes (Assistant Professor, University of Glasgow) Rakesh Kumar (Associate Professor, NTNU) Chris Banks (Permanent Research Scientist, Roslin Institute and School of Veterinary studies, Edinburgh Sukarn Agarwal (Assistant Professor, IIT Mandi) Andres Goens (Assistant Professor, University of Amsterdam) |
|---|
| Teaching |
| Professional Activities |