Phone: +44 (0) 131 6504425
I am a Lecturer(Assistant Professor) in Computer Science in the School of Informatics at the University of Edinburgh. I am a member of the ICSA – Institute for Computing Systems Architecture institute. Previously, I was a postdoctoral researcher and Associate Lecturer at the University of Wisconsin–Madison. I earned my Ph.D. working with Prof. Andrea Arpaci-Dusseau and Prof. Remzi Arpaci-Dusseau at the University of Wisconsin–Madison. Prior to graduate school, I worked at NetApp for almost eight years building the WAFL (Write Anywhere File Layout) filesystem. I also spent time (8 months) at SanDisk trying to design the FTL for a TLC drive.
I am a Systems researcher and interested in building systems. My work spans several areas: Concurrency, Operating Systems, Security, Storage & File Systems, and Distributed Systems. In my dissertation, I introduced two new problems – scheduler subversion and adversarial synchronization and broke the decades-old basic assumption that synchronization is a cooperative entity. Instead, I show that synchronization needs to be viewed as a competitive entity to ensure strong performance isolation. I am interested in studying real-world isolation-related problems that arise in concurrent systems due to sharing of resources. My vision is to build abstractions and techniques that provide near-ideal isolation in a shared environment.
I am looking for Ph.D. students to join my group. If you are interested in working with me, please get in touch with me, and see the Informatics Postgraduate pages for information about our postgraduate program and the application procedure. If you are already a student at the University of Edinburgh (Ph.D./MS/MPhil) looking for research opportunities, please schedule a meeting with me.
Publications & Patents
Peer-reviewed Conference Publications
Peer-reviewed Workshop Publications
Peer-reviewed Journals/Invited Publications
NOTE: I have decided to refrain myself from highlighting the best paper awards. For me, everyone's work is important (and therefore the best) to ensure that Science makes forward progress.
I will be teaching Security Engineering (with Ross Anderson) in Spring 2023. Please enroll if you are interested in Security and Systems. Other courses that I have taught are:
|Introduction to Operating Systems (CS537)||University of Wisconsin–Madison||Summer 21, Fall 21, Spring 22, Summer 22|
|Guest Lecture on Bw-Tree (Topics in Database Management Systems, CS 764)||University of Wisconsin–Madison||2018|
|Guest Lecture on NFS (Distributed Systems, CS739)||University of Wisconsin–Madison||2018|
|Introduction to Computer Science, WCATY||University of Wisconsin–Madison||2018|
I am currently looking for students to join my group at the University of Edinburgh.
I am working with these awesome set of students on various topics.
|Leping Li (undergraduate@UW-Madison)||Studying fairness aspects of hardware operations||2022-|
|Xuehang Wang (undergraduate@UW-Madison)||Consistency aware Concurrency||2022-|
|Aanandita Dhawan (graduate@UW-Madison)||Work Conserving Scheduler Cooperative Locks||2022-|
|Gunuru Manoj Taraka Ramarao (undergraduate@IIT-Gandhinagar)||Hierarchical lock usage fairness||2022-|
|Anant Patel (graduate@IIT-Gandhinagar)||Hierarchical lock usage fairness||2023-|
In the past, I have had the great pleasure of working with the following students.
|Youlin Charles QU (undergraduate@UW-Madison)||Work Conserving Scheduler Cooperative Locks||2022-2022|
|Xiaohan Shen (undergraduate@UW-Madison)||Work Conserving Scheduler Cooperative Locks||2022-2022|
|Vinay Banakar (graduate@UW-Madison)||Concurrency Models for NVM||2021-2022|
|Akshat Sinha (graduate@UW-Madison)||Adversarial Synchronization||2021-2021|
|Shalini Ramakrishna (undergraduate@UW-Madison)||Static Analysis of Linux Kernel Critical Sections||2021-2021|
|Abigail Matthews (graduate@UW-Madison)||Static Analysis of Linux Kernel Critical Sections||2021-2021|
|Ruijian Huang (undergraduate@UW-Madison)||Analyzing Linux Kernel Critical Sections||2020-2021|
|Chenhao Ye (undergraduate@UW-Madison)||Synchronization Attacks on Inode Cache||2020-2020|
Trātṛ to tame Adversarial Synchronization
2. CuttleFS – Emulate different filesystem fsync failures
3. Scheduler Cooperative Locks
4. Protocol-Aware Correlated Crash Explorer