Thesis/Project Students : Rajeev Kumar

• PhD Students
• Research/Project Associates
• MS Students
• MTech/MSc Students
• BTech/BE Students

PhD Students

• In progress @ IIT-Kgp
• . . .

• Submitted @ IIT-Kgp
• Mahesh Shirole, Concurrency Test Scenario Generation using UML Transition Sequences, July 2014. [@ VJTI Mumbai]
• Soma Saha, Unifying Heuristics and Evolutionary Computig for Charcterizing and Solving Certain Combinatorial Optimization Problems, April 2014. [@ NIT Rourkela]

• Graduated @ IIT-Kgp
• Pravanjan Choudhury, Task Scheduling on Embedded Multiprocessors, 2013. [jointly with PPChak]
• Subrat Kumar Panda, Simulation Based Verification of Pipelined Processors, May 2010. [jointly with PPChak]
• Vasant Patil, Efficient Algorithms for Video Transcoding, October 2009. [@ DRDO Delhi]
• Dipankar Das, Functional and Performance Verification for Multiprocessor Embedded Applications, July 2009. [jointly with PPChak]
• Sandip Aine, Design and Control of Anytime Algorithms, September 2008. [jointly with PPC] [@ IIIT Delhi]
• Pramod Singh, Multiobjective Combinatorial Optimization with Hybridization of EA, March 2008. [jointly with PPChak][@ IIITM Gwalior]
• Durga Mohapatra, Dynamic Slicing of Object-Oriented Programs, September 2005. [jointly with RM] [@ NIT Rourkela]
• Ashok Turuk, QoS Provisioning in WDM Networks, February 2005. [@ NIT Rourkela]

Research/Project Associates

• Rahul Chaudhry, NSC's Software Tools for Extensible CompactRISC Processors, 2001-02. [jointly with PPChak] [@ Yale U.]
• Banit Agarwal, NSC's Software Tools for Extensible CompactRISC Processors, 2001-03. [jointly with PPChak] [@ UCSB]
• Debjit Sinha, NSC's Software Tools for Extensible CompactRISC Processors, 2001-02. [jointly with PPChak] [@ Northwestern U.]
• Supratik Mazumdar, NSC's Software Tools for Extensible CompactRISC Processors, 2001-02. [jointly with PPChak]
• Mrinmoy Ghosh, NSC's Software Tools for Extensible CompactRISC Processors, 2001-04. [jointly with PPChak] [@ GaTech]
• Rakesh Gupta, NSC's Software Tools for Extensible CompactRISC Processors, 2002-03. [jointly with PPChak]
• Subrat Panda, NSC's Software Tools for Extensible CompactRISC Processors, 2002-04. [jointly with PPChak]
• Vibha Rathi, NSC's Software Tools for Embedded Systems, 2003-04. [jointly with PPChak]
• Sanjay Chaterjee, NSC's Software Tools for Embedded Systems, 2003-04. [jointly with PPChak]
• Samik Das, NSC's Software Tools for Embedded Systems, 2003-04. [jointly with PPChak]
• Dipankar Das, NSC's Software Tools for Embedded Systems, 2003-04. [jointly with PPChak]
• Sandip Aine, NSC's Software Tools for Embedded Systems, 2003-04. [jointly with PPChak]
• Arnab Sarkar, NSC's Software Tools for Embedded Systems, 2003-04. [jointly with PPChak]
• Panchali Sen, Microsoft's Object Oriented Technology, 2003-04.
• P. Sankar Muthu, MHRD's Multiobjective EAs for Combinatorial Optimization Problems, 2004-05.
• Soham Chakraborty, Microsoft's Object Oriented Technology, 2004-06.
• Pritam Khanda, MHRD's Virtual Lab, 2010-11.

MS (Research) Students

• Graduated @ IIT-Kgp
• Mrinmoy Ghosh, Compiler Backend Generation and Optimization for Extensible Architectures, June 2004. [jointly with PPChak] [@ GaTech]
• Arnab Sarkar, Low-Overhead Real-Time Proportional Fair Scheduling, May 2006. [jointly with PPChak]
• Sanjay Chaterjee, Algorithms for Post-Compilation Power Optimization in Embedded Processors, December 2006. [jointly with PPChak]
• Soham Chakraborty, Type Analysis and Optimization of OO Systems, February 2008. [jointly with PPChak][@ IBM Research Lab]


• In Progress @ IIT-Kgp
• . . .

MTech/MSc Students

• Graduated @ BITS - Pilani
• Dilip Jain, Multiobjective optimization with evolutionary algorithm, May 1998. [jointly with NC]
• N. Vinay Kumar, Object oriented toolkit for multiobjective EA, May 1999.
• SK Santhanakrishnan, Communication network topology design using multiobjective EA, Dec 1999. [@Cisco]
• Mahesh Agarwal, Face recognition, Dec 1999. [@ Philips]
• Vishnu Makkapati, Encoding of multi-/hyper-spectral image data, Dec 1999. [@ Honeywell]
• Vinay Seth, Finger print identification, May 2000. [@UMCP]
• Bhanu Prakash, Hybrid learning algorithm for vector quantization, May 2000. [@ Cisco]
• Mayank Gupta, Hybrid learning algorithm for vector quantization, May 2000. [@ Honeywell]
• KL Arvind, Visual modelling, May 2000. [jointly with IJN]
• V. Devtha, Video temporal segmentation, Dec 2000. [@ Microsoft]
• Ishan Banerjee, Polymorphism in cipher design, Dec 2000.
• MS Sudarshan, Network topology design using multiobjective EA, Dec 2000. [@ UIUC]
• S. Prasanth, Network topology design using multiobjective EA, Dec 2000. [@ IIM-A]
• . . . . . . . many more


• Graduated @ IIT-Kgp
• B. Srikanth Reddy, Modelling of multimedia traffic, May 2001.
• JS Rao, QoS support for multimedia traffic, Jan 2002.
• Arun Kumar, Modelling of multimedia traffic, May 2002.
• K. Krishnakumar, RWA in WDM networks, May 2002. [jointly with RB]
• GK Rao, QoS support for multimedia traffic with transcoding, Jan 2003.
• Anil Mangolia, Preprocessor for multimethods in object-oriented languages, Jan 2003.
• Vasant Patil, Video transcoding algorithms, May 2004. [@ DRDO, Delhi]
• Arnab Roy, Simulation based verification of microprocessor pipeline simulators, May 2004. [jointly with PPChak] [@ Stanford U.]
• Sant Saran Gupta, Code compression in variable length RISC processors, May 2004. [@ IIM-C]
• Amit Gupta, Optimizing binaries using pattern matching, May 2005. [@ Microsoft]
• M. Sreenivasulu, Code compression for performance enhancement of variable length embedded processors, May 2005.
• Vikram Agarwal, Multiple polymorphic arguments in object-oriented languages, May 2005. [@ Trilogy]
• Anshuman Mishra, Software watermarking scheme for Java class files, May 2006. [jointly with PPChak]
• Atul Bhartia, Video transcoding: Arbitrary resizing of H.264 bit-streams, May 2006. [jointly with JM]
• T. Kalyani, Video transcoding: H.264 to MPEG-II bit-streams, May 2006. [jointly with JM]
• Ashwin Joshi, Multiobjective combinatorial optimization with GP, May 2008
• Krishna Banka, Multiobjective combinatorial optimization with GP, May 2008
• Bipul Kumar Bal, Multiobjective combinatorial optimization for BDMST with GP, May 2009
• Paresh Tolay, Multiobjective combinatorial optimization for Graph Coloring with GP, May 2009
• Kundan Singh, Synchronization and Race Condition, May 2009
• Neeraj Kumar, OO Testing, May 2009
• Anchal Nema, Concurrent Programs, May 2009
• Siddharth Tiwary, Register Allocation (with Jens Palsberg, UCLA), May 2009
• Sri Harsha Dandibhotle, Multiobjective combinatorial optimization with EAs, May 2010.
• Mohammad Aslam, Multiobjective combinatorial optimization with GP, May 2010.
• Abhiram Kasina, Trusted Computing, May 2010.
• Amit Suthar, Generation of test cases from UML diagrams using EAs, May 2010.
• Krunal Modi, Graph Topology Generation (with Nilanjan Banerjee, UArk), May 2011.
• Swadhin Barisal, Safer Java Programming Language Environment, May 2011.
• Gyan Baboo, Multiobjective combinatorial optimization with Evo. Algo, May 2012.
• S. Harikrishnan, Space efficient multi-method dispatch in object oriented languages, May 2012
• Surender Kumar, Static analysis of generic object oriented programs, May 2012.
• Mounika Kommuri, Test-case geenration for concurrent sequence transitions, May 2012.


• In Progress @ IIT-Kgp
. . .

BTech/BE Students

• Graduated @ BITS - Pilani
• Mayur Naik, Message dispatch in object-oriented languages, 1999. [@ Stanford U.]
• Sachin Goel, Algorithms for garbage collection, 1999. [@TI,Utah U.]
• Prashant Pandey, Code optimization, 1999. [@ UIUC]
• Mahesh Agrawal, Textures from multi-resolution images, 1999. [@ Philips]
• Vishnu Makkapati, Analysis of multispectral image data, 1999. [@ Honeywell]
• K.Jeevan Kumar, Finger print identification, 2000.
• Vikram Pandita, Compiler runtime environment, 2000. [@ Motorola]
• V. Prasanna Krishnan, Network topology design using multiobjective EA, 2000. [@ UIUC]
• Satayam Vaghani, Delay estimation in multimedia data traffic, 2000. [@ Stanford U.]
• Apratim Mukherjee, Natural language processor for information retrieval from object attributes, 2000.
• Subhash Nayak, Natural language processor for information retrieval from object attributes, 2000.
• M. Prashant, Cryptography with molecular genetics and image patterns, 2000.
• R. Siddharth, Cryptography with molecular genetics and image patterns, 2000.
• Lakshminarasimhan Raghupathi, Analysis of DCT in image compression, 2000. [@ U. Texas,Arlington]
• Sunny Verma, Heuristic search in games, 2001.
• Vrushali Mahalley, Switch case compilation, 2001.
• Garima Sahay, Algorithms for sub/string matching, 2001. [@ Stanford U.,Google]
• Shashikant Khandelwal, Bicriteria network design optimization, 2001. [@ Stanford U.]
• Ashutosh Sharma, Bicriteria network design optimization, 2001.
• Sagnik Nandy, Secret sharing scheme, 2001. [@ UCSD]
• Srijan Chakraborty, Secret sharing scheme, 2001. [@ Purdue]
• Panchali Sen, Heuristic search algorithms, 2001.
• Madhur Khandelwal, Cryptanalysis for a dynamic cipher, 2002.
• . . . . . . . many more


• Graduated @ IIT-Kgp
• Prajna Prakash Parida, Network topology design using multiobjective EA, 2002. [MS@Yale] [@Oracle, USA]
• Mohit Gupta, Network topology design using multiobjective EA, 2002. [@ UCD]
• Adarsh Sravan, Dynamic cipher design, 2002. [@ IIM-C]
• N. Satish, Exploring newer instructions using decision diagrams and genetic programming, 2003. [jointly with PPChak] [@ UC Berkeley]
• Arnab Roy, SystemC simulator for a pipelined RISC processor, 2003. [jointly with PPC] [@Stanford U.]
• Siva Ramakrishnan, Code compression in variable length RISC processors, 2003. [jointly with PPChak]
• Dipankar Das, Code compression in variable length RISC processors, 2003.
• Sant Saran Gupta, Code compression in variable length RISC processors, 2003. [@ IIM-C]
• Balpreet Singh Pankaj, Porting C#/.NET and Post-compilation optimization, 2004. [@ Trilogy, UIUC]
• Amit Gupta, Porting C#/.NET, 2004. [@ Microsoft]
• Anupam Dixit, Multiobjective TSP using EA, 2004.
• Nilanjan Banerjee, Multiobjective EA : Analysis and applications, 2004. [jointly with SG] [@ UMass]
• Amarjit Gupta, Cryptanalysis of a dynamic cipher, 2005.
• Anshuman Mishra, Code transformation and obfuscation, 2005.
• Atul Bhartia, Multiobjective knapsack using heuristics and EA, 2005.
• Amrinder Pal Singhal, Multiobjective knapsack using heuristics and EA, 2005.
• Anupam Singh, Multimedia communication and QoS, 2006. [jointly with AP]
• Anchal Nema, Trustworthy computing, 2008.
• Pranith Kumar, Trustworthy computing, 2008.
• Neeraj Kumar, Object Oriented Software Testing, 2008.
• Siddharth Tiwary, Multiobjective combinatorial optimization with EA, 2008.
• Paresh Tolay, Multiobjective combinatorial optimization with EA, 2008.
• Abhiram Kasina, Trustworthy Computing, May 2009
• Amit Suthar, Trustworthy Computing, May 2009
• Sri Harsha Dandibhotle, Programming language, July 2009
  
• In Progress @ IIT-Kgp
• . . . .


• Graduated @ IIT Kanpur
• Neeraj Kumar, Static Type Analysis of JAVA Generic Program, May 2014.
• Vishal Kumawat, Static Type Analysis of JAVA Generic Program, May 2014.