Winter School on Design, Implementation and Verification of Computer Systems

Sponsored by Qualcomm

** Selected students for Winter Schools 2022 have been informed individually by email about the next steps. **

Dates: 3 to 16 January 2022

Academic coordinators:

Subhajit Roy (IIT Kanpur) <firstname>[AT]iitk dot ac dot in
Awanish Pandey (Qualcomm) [email protected]

Hosted by Indian Institute of Technology Kanpur

Platform: Most likely, it will be hosted on Zoom. The link will be shared at the beginning of the course.

Overview of the School:
The school will focus on the design, implementation and verification of two of the primary components of computer systems, computer architecture and compilation system. Starting with fundamentals, the school will expose the participants to designing subsystems, verifying/validating them and also expose them to newer innovations to support modern applications that use machine learning.

List of subtopics:

Computer Hardware Fundamentals
Computer Architecture
Reactive Synthesis
Architectures for Machine Learning
Hardware Verification and Validation
Introduction to Language Processors and Execution Environments
Compiler Optimizations
Program Testing and Verification
Compilers for Machine Learning

Proposed list of speakers (with affiliations):

Amey Karkare (IIT Kanpur)
Subhajit Roy (IIT Kanpur)
Abhijat Vichare
Sushim Shrivastava (Qualcomm)
Ravishankar Kolachana (Qualcomm)
Lakshmana N (Qualcomm)
Arun Rangasamy (Qualcomm)
Suyog Sarda (Qualcomm)
Supratik Chakraborty (IIT Bombay)
R. Govindrajan (IISc Bangalore)
Madhu Mutyam (IIT Madras)
Sunil Simon (IIT Kanpur)
Y. N. Srikant (IISc Bangalore)

Background/prior courses recommended:

Computer Organization and Architecture
Compiler Design
Mathematical Logic
Basic understanding of Machine Learning Models and Deep Neural Networks