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:

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