Sanidhya Kashyap

Sanidhya Kashyap

[Sanidhya] Assistant Professor
School of Computer and Communication Sciences (IC)
École Polytechnique Fédérale de Lausanne (EPFL)
Lausanne, Switzerland

Research Interest

Operating Systems, Concurrency, Distributed Systems, Computer Architecture

Publications

  1. Finding Bugs in File Systems with an Extensible Fuzzing Framework. [  ]
    Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, and Taesoo Kim.
    ACM Transactions on Storage (TOS 2020),
    GT News, GT News
  2. KRACE: Data Race Fuzzing for Kernel File Systems.
    Meng Xu, Sanidhya Kashyap, Hanqing Zhao, and Taesoo Kim.
    In Proceedings of the 41st IEEE Symposium on Security and Privacy (S&P 2020),
  3. Scalable and Practical Locking With Shuffling. [  |   |  ]
    Sanidhya Kashyap, Irina Calciu, Xiaohe Cheng, Changwoo Min, and Taesoo Kim.
    In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP 2019),
    GT News
  4. Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework. [  |   |  ]
    Seulbae Kim, Meng Xu, Sanidhya Kashyap, Jungyeon Yoon, Wen Xu, and Taesoo Kim.
    In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP 2019),
    GT News, GT News
  5. RECIPE: Converting Concurrent DRAM Indexes to Persistent-Memory Indexes. [  |   |  ]
    Se Kwon Lee, Jayashree Mohan, Sanidhya Kashyap, Taesoo Kim, and Vijay Chidambaram.
    In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP 2019),
    GT News
  6. SplitFS: Reducing Software Overhead in File Systems for Persistent Memory. [  |   |  ]
    Rohan Kadekodi, Se Kwon Lee, Sanidhya Kashyap, Taesoo Kim, Aasheesh Kolli, and Vijay Chidambaram.
    In Proceedings of the 27th ACM Symposium on Operating Systems Principles (SOSP 2019),
    PIRL, GT News
  7. MV-RLU: Scaling Read-Log-Update with Multi-Versioning. [  |  ]
    Jaeho Kim, Ajit Mathew, Sanidhya Kashyap, Madhava Krishnan Ramanathan, and Changwoo Min.
    In Proceedings of the 23rd ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2019),
    Concurrency Freaks
  8. Fuzzing File Systems via Two-Dimensional Input Space Exploration. [  |   |  ]
    Wen Xu, Hyungon Moon, Sanidhya Kashyap, Po-Ning Tseng, and Taesoo Kim.
    In Proceedings of the 40th IEEE Symposium on Security and Privacy (S&P 2019),
    GT News
  9. Scaling Guest OS Critical Sections With $e$CS. [  |   |  ]
    Sanidhya Kashyap, Changwoo Min, and Taesoo Kim.
    In Proceedings of the 2018 USENIX Annual Technical Conference (ATC 2018),
  10. A Scalable Ordering Primitive for Multicore Machines. [  |   |  ]
    Sanidhya Kashyap, Changwoo Min, Kangnyeon Kim, and Taesoo Kim.
    In Proceedings of the 13th ACM European Conference on Computer Systems (EuroSys 2018),
  11. SOLROS: A Data-Centric Operating System Architecture for Heterogeneous Computing. [  |   |  ]
    Changwoo Min, Woonhak Kang, Mohan Kumar, Sanidhya Kashyap, Steffen Maass, and Taesoo Kim.
    In Proceedings of the 13th ACM European Conference on Computer Systems (EuroSys 2018),
  12. LATR: Lazy Translation Coherence. [  |   |  ]
    Mohan Kumar, Steffen Maass, Sanidhya Kashyap, Jan Vesely, Zi Yan, Taesoo Kim, Abhishek Bhattacharjee, and Tushar Krishna.
    In Proceedings of the 23rd ACM Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2018),
  13. Designing New Operating Primitives to Improve Fuzzing Performance. [  |   |  ]
    Wen Xu, Sanidhya Kashyap, Changwoo Min, and Taesoo Kim.
    In Proceedings of the 24th ACM Conference on Computer and Communications Security (CCS 2017),
    Mozilla research
  14. Scalable NUMA-aware Blocking Synchronization Primitives. [  |   |  ]
    Sanidhya Kashyap, Changwoo Min, and Taesoo Kim.
    In Proceedings of the 2017 USENIX Annual Technical Conference (ATC 2017),
  15. Mosaic: Processing a Trillion-Edge Graph on a Single Machine. [  |   |  ]
    Steffen Maass, Changwoo Min, Sanidhya Kashyap, Woonhak Kang, Mohan Kumar, and Taesoo Kim.
    In Proceedings of the 12th ACM European Conference on Computer Systems (EuroSys 2017),
    Best Student paper
    Hacker News, The Next Platform, GT News, the morning paper
  16. Instant OS Updates via Userspace Checkpoint-and-Restart. [  |  ]
    Sanidhya Kashyap, Changwoo Min, Byoungyoung Lee, Taesoo Kim, and Pavel Emelyanov.
    In Proceedings of the 2016 USENIX Annual Technical Conference (ATC 2016),
    Linux Plumbers Conference 2015, CRIU
  17. Understanding Manycore Scalability of File Systems. [  |   |  ]
    Changwoo Min, Sanidhya Kashyap, Steffen Maass, Woonhak Kang, and Taesoo Kim.
    In Proceedings of the 2016 USENIX Annual Technical Conference (ATC 2016),
  18. Opportunistic Spinlocks: Achieving Virtual Machine Scalability in the Clouds. [  |  ]
    Sanidhya Kashyap, Changwoo Min, and Taesoo Kim.
    ACM SIGOPS Operating Systems Review (OSR), Volumn 50-1,
    LWN: qspinlock in Linux
  19. Cross-checking Semantic Correctness: The Case of Finding File System Bugs. [  |   |  ]
    Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, and Taesoo Kim.
    In Proceedings of the 25th ACM Symposium on Operating Systems Principles (SOSP 2015),
    Bug Report
  20. Scalability in the Clouds! A Myth or Reality? [  |   |  ]
    Sanidhya Kashyap, Changwoo Min, and Taesoo Kim.
    In Proceedings of the 6th Asia-Pacific Workshop on Systems (APSys 2015),
    Best paper, nominated to Operating Systems Review (OSR)
    LWN: qspinlock in Linux
  21. RLC: A Reliable Approach to Fast and Efficient Live Migration of Virtual Machines in the Clouds. [  ]
    Sanidhya Kashyap, Jaspal Singh Dhillon, and Suresh Purini.
    In Proceedings of the 8th IEEE Conference on Cloud Computing (CLOUD 2014),
  22. Virtual Machine Coscheduling: A Game Theoretic Approach. [  ]
    Jaspal Singh Dhillon, Suresh Purini, and Sanidhya Kashyap.
    In Proceedings of the 6th ACM/IEEE Conference on Utility Computing (UCC 2013),

Updated: August 10, 2020