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.

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
Format-string and Cross-site scripting
Time-of-check-to-time-of-use bugs
User/kernel bugs
Resource Exhaustion bugs.
12 pm-1:20 pm
Cloud: Why cloud? Struggles with DSM.
Goals: Fault tolerance, heterogeneity, performance, proximity, scalability, etc.
Distributed shared memory.
3-5 pm
Lab
6th Dec 9-10:50 am
Cybersecurity: More examples of software defects.
Cache side channels.
Crash-consistency bugs.
Data Lifetime in Memory and its Implications.
11 am-12:50 pm
Cloud: MapReduce, Spark.
Programming model: deterministic computation, immutable inputs
Lineage
Fault tolerance
Straggler mitigation
2:30-5 pm
Lab
7th Dec 9-10:50 am
Cybersecurity: Automatic identification of software defects.
Static Checkers (static and symbolic analyses, dataflow analysis/abstract interpretation).
Dynamic Checkers (Taint Analysis, Safe Memory Allocators, Model Checking, Fuzzing).
11 am-12:50 pm
Cloud: Spark streaming, Flink.
Continuous operator model
Primary-backup replication
Discretized Streams
Freshness
Consistent checkpoints
Chandy-lamport algorithm in Flink.
2:30-5 pm
Lab
8th Dec 9-10:50 am
Cybersecurity: Prevention Approaches.
Use of Safe Languages and Library Interfaces.
Canaries.
Address-space Layout Randomization.
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: Reflections on Trusting Trust (by Ken Thompson)
11 am-12:50 pm
Lab
2:30-5 pm
Lab