| Schedule for Sixth CSA Undergraduate Summer School | ||
| Monday, July 2, 2018 | ||
| Time | Title | Speaker |
| 9 am - 10 am | Registration | CSA-USS Team |
| 10 am - 10:15 am | Welcome Speech | Prof. Shalabh Bhatnagar |
| 10:15 am - 11 am | PB-Cut Theorem | Shubham Gupta |
| 11 am - 11:30 am | Snacks | - |
| 11:30 am - 12:30 pm | Fun and Opportunities in Doing Research in Computer Systems | Prof. Arkaprava Basu |
| 12:30 pm - 1 pm | Hats off to Theoretical Computer Science | Janaky Murthy |
| 1 pm - 2 pm | Lunch | - |
| 2 pm - 2:45 pm | Alloy: A Tool for Relational Modelling - I | Stanly Samuel |
| 2:45 pm - 3:45 pm | Games on Networks: Modeling, Algorithms, Computational Analysis, Applications | Dr. Ramasuri Narayanam (IRL) |
| 3:45 pm - 4:15 pm | Snacks | - |
| 4:15 pm - 5 pm | Blockchains and Mechanism Design | Shivika Narang |
| 5 pm - 7 pm | Extra Curricular Activities | CSA-USS Team |
| Tuesday, July 3, 2018 | ||
| Time | Title | Speaker |
| 9 am - 10 am | Building Knowledgeable Machines | Prof. Partha Pratim Talukdar |
| 10 am - 11 am | Meltdown and Spectre Attacks | Prof. Vinod Ganapathy |
| 11 am - 11:30 am | Snacks | - |
| 11:30 am - 1 pm | Math behind Symmetries | Ashwin Guha |
| 1 pm - 2 pm | Lunch | - |
| 2 pm - 2:45 pm | Alloy: A Tool for Relational Modelling - II | Stanly Samuel |
| 2:45 pm - 3:45 pm | Does your code do what you think it does? Ask Dafny | Prof. Viraj Kumar (DCCC) |
| 3:45 pm - 4:15 pm | Snacks | - |
| 4:15 pm - 5 pm | RL.init() | Anirban Biswas |
| 5 pm - 5:30 pm | The Lord of The Rings: Nonlinear Algebra is The King | Santosh |
| 5:30 pm - 7 pm | Extra Curricular Activities | CSA-USS Team |
| Wednesday, July 4, 2018 | ||
| Time | Title | Speaker |
| 9 am - 10 am | Let's tame the Bandits! | Aadirupa Saha |
| 10 am - 11 am | Qubits and gates: The building blocks of quantum computing | Prof. Subroto Mukerjee |
| 11 am - 11:30 am | Snacks | - |
| 11:30 am - 12:30 pm | Be Not Ashamed of the Pimple - Flaunt It! | Ullas Aparanji |
| 12:30 pm - 1 pm | CSA Ideas Competition Presentations | CSA-USS Team |
| 1 pm - 1:10 pm | Preliminary Information for a Subsequent Talk | Aravind Acharya |
| 1:10 pm - 2 pm | Lunch | - |
| 2 pm - 2:45 pm | Quantum Computation for Babies - I - Linear Algebra | Shubham Gupta |
| 2:45 pm - 3:45 pm | Big Data, Small Testing? | Prof. Jayant Haritsa |
| 3:45 pm - 4:15 pm | Snacks | - |
| 4:15 pm - 5 pm | Taking the Red Pill and Going Down the Rabbit Hole of Deep Learning | Rajarshi Banerjee |
| 5 pm - 7 pm | Extra Curricular Activities | CSA-USS Team |
| Thursday, July 5, 2018 | ||
| Time | Title | Speaker |
| 9 am - 10 am | Computational cognitive neuroscience | Prof. Sridharan Devarajan |
| 10 am - 11 am | Student Presentations | CSA-USS Team |
| 11 am - 11:30 am | Snacks | - |
| 11:30 am - 12 pm | Scalable Big Data | Nilesh Agrawal |
| 12 pm - 1 pm | Faculty Ask me Anything Session | Prof. Chiranjib Bhattacharyya, Prof. Anand Louis, Prof. K.V. Raghavan, Prof. Deepak D'Souza |
| 1 pm - 2 pm | Lunch | - |
| 2 pm - 2:45 pm | Quantum Computation for Babies - II - Quantum Mechanics | Shubham Gupta |
| 2:45 pm - 3:45 pm | Abstract Interpretation - A Framework for Program Analysis and Verification | Prof. K.V. Raghavan |
| 3:45 pm - 4:15 pm | Snacks | - |
| 4:15 pm - 5 pm | Bitwise Wise | Dr. N.S. Kumar |
| 5:30 pm - 7 pm | Extra Curricular Activities | CSA-USS Team |
| Friday, July 6, 2018 | ||
| Time | Title | Speaker |
| 9 am - 10 am | Inclusive Design: Designing for the next billion | Prof. Manohar Swaminathan (MSR) |
| 10 am - 11 am | Automating Mathematics: PolyMath, Type Theory and Learning | Prof. Siddhartha Gadgil |
| 11 am - 11:30 am | Snacks | - |
| 11:30 am - 12 pm | AI and Startups | Tushar Shinde |
| 12 pm - 12:30 pm | Discovering the joy of creating software that quietly runs the world – A personal perspective on the evolution of systems software research and development | Dr. Suparna Bhattacharya |
| 12:30 pm - 1 pm | Student Ask me Anything Session | Saloni, Mayank, Rounak, Parul, Deval |
| 1 pm - 2 pm | Lunch | - |
| 2 pm - 2:45 pm | Surprise Talk | Prof. N. Viswanadham |
| 2:45 pm - 3:30 pm | Smashing the Stack for Fun and Profit | Kripa Shanker |
| 3:30 pm - 4 pm | Snacks | - |
| 4 pm - 5 pm | Compilation Techniques for High Performance | Aravind Acharya |
| 5 pm - 5:45 pm | Under the hood | Ajinkya Rajput |
| 6 pm - 8 pm | Hackathon Final | Nihar, Anshuman |
| Saturday, July 7, 2018 | ||
| Time | Title | Speaker |
| 8:30 am - 9:30 am | Breakfast | - |
| 9:30 am - 10:30 am | How information theory helped me understand Veeru’s failure to catch Jai’s trickery in Sholay | Prof. Himanshu Tyagi |
| 10:30 am - 12:30 pm | Campus Tour | CSA-USS Team |
| 12:30 pm - 12:45 pm | Prize Distribution | CSA-USS Team |
| 12:45 pm - 1 pm | Vote of Thanks | Shubham Gupta |
| 1 pm - 2 pm | Lunch | - |