My Courses
Autumn 2016 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| PhD APS IV | Heap Reference Analysis | APS | Prof. Uday P. Khedker |
Autumn 2015 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| PhD APS III | Heap Reference Analysis | APS | Prof. Uday P. Khedker |
Autumn 2014 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| PhD APS II | Heap Reference Analysis | APS | Prof. Uday P. Khedker |
Spring 2014 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| CS 735 | Formal Models for Concurrent and Asynchronous Systems (Topics: Petri nets) | Some lectures | Prof. Akshay S. |
| CS 615 | Formal Specification and Verification of Programs (Topics: Abstract interpretation, TVLA) | Some lectures | Prof. Supratik Chakraborty |
Autumn 2013 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| CS 719 | Topics in Mathematical Foundations of Formal Verifications (Topics: Separation logic, Lattice theory) | Some lectures | Prof. Supratik Chakraborty |
Spring 2013 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| CS 467 | Functional and Logic Programming | Audit | Prof. G. Sivakumar |
| PhD APS I | Research Proposal: Heap Reference Analysis | APS | Prof. Uday P. Khedker |
Autumn 2012 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| CS 797 | MTech Project: Heap Reference Analysis | Credit | Prof. Uday P. Khedker |
Spring 2012 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| CS 620 | New Trends in IT: Trusted Computer Architecture |
Credit | Prof. Bhagirath Narahari |
| CS 692 | R&D Project: Study of Software Managed Memory in NVIDIA GPUs Using CUDA |
Credit | Prof. Supratim Biswas Prof. Uday P. Khedker |
Autumn 2011 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| CS 615 | Formal Specification and Verification of Programs | Audit | Prof. G. Sivakumar |
| CS 616 | Parallelizing Compilers | Credit | Prof. Supratim Biswas |
| CS 691 | R&D Project: Data Access Patterns in CPU cache to enhance parallelism |
Credit | Prof. Supratim Biswas Prof. Uday P. Khedker |
Spring 2011 Semester
| Code | Name | Type | Teacher |
|---|---|---|---|
| CS 302 | Implementation of Programming Languages / Language Processors |
Audit | Prof. Supratim Biswas |
| CS 614 | Advanced Compilers | Credit | Prof. Dhananjay Madhav Dhamdhere |
| CS 694 | Seminar: Heap Reference Analysis | Credit | Prof. Uday P. Khedker |
| CS 715 | Design and Implementation of Gnu Compiler Generation Framework | Credit | Prof. Uday P. Khedker |
| HS 625 | Philosophy of Education | Credit | Prof. R. K. Panda |
| HS 699 | Communication and Presentation Skills | Non-Credit | Prof. Leena Jha, Prof. P. R. Bhat |