KC Sivaramakrishnan
About
Publications
Teaching
Advising
Blog
Talks
Calendar
Timeline
© 2008 - 2023. All rights reserved.
KC Sivaramakrishnan
CTO @ Tarides
Teaching
IIT Madras
Monsoon 2022:
CS3300 Compiler Design
Spring 2021:
CS6225 Programs and Proofs
YouTube playlist of the lectures
Monsoon 2020:
CS3100 Paradigms of Programming
YouTube playlist of the lectures
Spring 2020:
CS6225 Programs and Proofs
Monsoon 2019:
CS3100 Paradigms of Programming
The materials developed for this course were used by others to teach the following courses:
IITM CS3100 Monsoon 2021
Rutgers CS314 Principles of Programming Languages
CU Boulder CSCI7000-11 Spring 2023 Principles of Functional Programming