Winter Systems School, IITD
Supported by the Mohit Aron Endowment
About
We are excited to host the first winter systems school at CSE, IIT Delhi. We will study two computer systems areas: cybersecurity, taught by Sorav Bansal, and cloud computing, taught by Abhilash Jindal.
You can see lecture notes for cybersecurity here and cloud computing here. Videos will also be uploaded soon! Thanks to those who attended! Happy hacking!
Logistics
- Venue: The talks will be in Bharti 301 (2nd floor, Bharti building) and the labs will be in LH504 and LH505 (5th floor, Lecture hall complex).
- After winter school: Selected students will also be offered paid internships at IIT Delhi during summer 2023. Selected individuals will also get interviewing opportunity with Microsoft research for Systems Research Fellow and for Systems Intern positions. MSR may skip some of their interview rounds for these individuals.
Please note that we will NOT give any certificate of completion and will NOT provide recommendation letters to graduate schools or otherwise for participating in the school.
Inaugural talk
December 5th, 9-10:30 am
The school will be inaugurated by Mohit Aron. Mohit has over 15 years of experience building scalable, high-performance distributed systems, and has been attributed as the father of hyperconvergence. Aron founded his current company Cohesity in 2013 and co-founded Nutanix in 2009. Prior to founding Nutanix, Aron was at Google as a lead developer on the Google File System engineering project.
Among many prestigious awards, Cohesity has received since its inception, Cohesity was named by the World Economic Forum (WEF) as one of the world’s 61 most promising Technology Pioneers 2018.
Aron graduated with a Ph.D. in Computer Science from Rice University with a focus on distributed systems. He holds a Bachelor of Science in Computer Science from Indian Institute of Technology, Delhi, India.
The title of his talk is “The Entrepreneurial Journey”. It can be attended online using this link.
Tentative schedule:
| 5th Dec | 10:30 am-11:50 pm Cybersecurity: Examples of software defects that cause Security Vulnerabilities. Buffer overflows Integer Overflows Time-of-check-to-time-of-use bugs |
12 pm-1:20 pm Cloud: Why cloud? General cloud setup. Goals: Fault tolerance, heterogeneity, performance, proximity, scalability, etc. What is scalability? |
3-6 pm Lab |
| 6th Dec | 9-10:50 am Cybersecurity: Fuzzing and Introduction to Symbolic Analysis. |
11 am-12:50 pm Cloud: DSM, MapReduce, Work pool model. Struggles with Distributed shared memory MapReduce Fault tolerance Straggler mitigation Work pool model |
2-6 pm Lab |
| 7th Dec | 9-10:50 am Cybersecurity: Automatic Invariant Inference and Memory Modeling during SYmbolic Analysis. |
11 am-12:50 pm Cloud: Spark, Flink. RDDs, deterministic computation, immutable inputs Lineage Discretized streams and freshness Continuous operator model Consistent checkpoints Chandy-lamport algorithm in Flink. |
2-6 pm Lab |
| 8th Dec | 9-10:50 am Cybersecurity: Side-channel Attacks, Reflections on Trusting Trust |
11 am-12:50 pm Cloud: Raft Linearizability Quorums Safety and liveness Replicated state machines. |
3-4:50 pm Cloud: Amazon Dynamo, CRDTs PACELC theorem Eventual consistency Conflict-free replicated data types. |
| 9th Dec | 9-10:50 am Cybersecurity: A Quick Review of Miscellaneous Security Topics. Equivalence Checking and Superoptimization |
11 am-12:50 pm Lab |
2-6 pm Lab |