|
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 broadly spans computer architecture, programming languages, and computer systems. We embrace the constructive, specification-directed approach to system design where possible. We've found the approach not only leads to correctness but also to efficiency.
A full list of publications can be found here. Code can be found here. We work on hardware/software support for:
| Research area | Recent Publications |
|---|---|
Consistency & Availability of Key-value-stores |
[DSN'23] [EuroSys'21] [PPoPP'20] [ASPLOS'20] [EuroSys'18] |
| Persistent memory | [ASPLOS'20] [ISCA'18] [HPCA'17] [MICRO'15] |
| Synthesis of coherence protocols | [Top Picks'23] [PLDI'23] [LATTE'23] [HPCA'22] [PaPoC'21] [ISCA'20] [ISCA'18] [DATE'18] |
| Consistency & Coherence of Multicores | [ISCA'21] [Synthesis Lectures] [FMCAD'17] [HPCA'16] [TACO'15] [HPCA'14] [PLDI'13] [ASPLOS'12] |
| CAPS Research Group |
| PhD Students |
Mahesh Dananjaya Adarsh Patil An Qi Zhang |
Research Associates |
Sukarn Agarwal Andres Goens |
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 (Researcher, Intel, Portland) Saumay Dublish (Synopsys) Vasileios Gavrielatos (Huawei Research) Antonis Katsarakis (Huawei Research) Nicolai Oswald(NVIDIA Research) |
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 |
|---|
| Teaching |
| Professional Activities |