COL862 : Advanced Topics in Operating Systems : Schedule

Date Presentation Lead(s) Paper Title Slides/Scribes Summary by
31th July - 10th Aug Aseem Saxena,Shubhani Light-Weight Contexts: An OS Abstraction for Safety and Performance Scribes
Arpit Aggarwal : link
10th Aug - 17th Aug Rachit Arora,Kishalay Coordinated and Efficient Huge Page Management with Ingens Scribes
Balivada Venkata Saikiranpatnaik : link
21st Aug - 24th Aug Manjeet Push-button verification of file systems via crash refinement Scribes
28th Aug - 7th Sept Agastya Nanda, Praveen Kulkarni CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels Slides Shubhani : link
7th Sept - 14th Sept Shailja Pandey,Ankit Bhardwaj FaSST: Fast, Scalable and Simple Distributed Transactions with Two-Sided (RDMA) Datagram RPCs Scribes
Sandeep kumar : link
14th Sept - Sandeep Kumar,Pawan Efficient Network Reachability Analysis Using a Succinct Control Plane Representation
- Balivada Venkata Saikiranpatnaik,Kalla Venkat Nikhil Kumar EbbRT: A Framework for Building Per-Application Library Operating Systems
- Arpit Aggarwal,Rajat Gupta TensorFlow: A System for Large-Scale Machine Learning
- Harsh Arya SCONE: Secure Linux Containers with Intel SGX
- Anmol Mahajan,Sachin Meena NetBricks: Taking the V out of NFV