Vijay Nagarajan Professor (on a leave of absence) My Current Webpage School of Informatics University of Edinburgh 1.22 Informatics Forum 10 Crichton Street Edinburgh, EH8 9AB Office Phone: (+44) 131-651-3440 E-mail: vijay.nagarajan at ed.ac.uk |
(FREE E-book) |
Publications CAPS Research Group Teaching Personal CV |
Research |
Our research broadly spans computer architecture, compilers 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 Andrés 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 |