Spring 2026

Spring 2026

This is the course page for Software Engineering (CS20202) and Software Engineering Lab (CS29202) course at IIT Kharagpur.

The instructors are Prof. Jibesh Patra (jibesh@cse.iitkgp.ac.in) and Prof. Soumyajit Dey (soumya@cse.iitkgp.ac.in).

The teaching assistants are:

Announcements 📣

Logistics

Outline of the Lectures

#DateTopicRemarks/Slides
1.7-Jan-2026Introduction. Why study SE?-
2.8-Jan-2026More introduction-
3.9-Jan-2026Introduction to OCaml-
4.14-Jan-2026OCaml until "Tail recursion"-
5.15-Jan-2026OCaml until "Pattern Matching"-
6.16-Jan-2026Introduction Cont.-
7.21-Jan-2026More types - Option, Result-
8.22-Jan-2026More types - Unit, Variant-
9.28-Jan-2026User-defined Types-
10.29-Jan-2026Checking Correctness & Standard Library-
11.30-Jan-2026Higher-Order Programming & Modules. (End of OCaml)-
12.4-Feb-2026Syntax-
13.5-Feb-2026Syntax & Semantics (Phrasal Syntax)-
14.6-Feb-2026Derivation Systems & Static Semantics-
15.11-Feb-2026Type Checking Algorithm-
16.12-Feb-2026Type checking algo cont. and short DSL demo-
17.13-Feb-2026-❓ Class Test 1
18.5-Mar-2026Code demo-
19.6-Mar-2026Coding demo - Tokenization-
20.11-Mar-2026Testing-
21.12-Mar-2026❌Class Cancelled - Personal reasons
22.13-Mar-2026Testing Cont.-
23.18-Mar-2026Static Analysis-
24.19-Mar-2026Static Analysis-
25.20-Mar-2026Static Analysis-
26.25-Mar-2026Static Analysis-
27.26-Mar-2026Static Analysis-
28.27-Mar-2026Static Analysis-
29.1-Apr-2026C++ tutorial (Virtual functions, try-catch etc.)-
30.2-Apr-2026Code Coverage-
31.8-Apr-2026Static Analysis-
32.9-Apr-2026-Mid-Sem & Class Test 1 copies were shown
33.10-Apr-2026Static Analysis-
34.15-Apr-2026Mutation Testing-
35.16-Apr-2026-❓ Class Test 2

Reference Materials