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 |