IITD CS&E Research Acceleration Fund Donation Campaign

Reconnecting Alumni @ IITD. Click here to contribute.


CSE, IIT Delhi, Excelling in Research

Our department has been ranked as the number 1 Indian department in the area of Computer Science and Information Systems by QS World University Rankings for the year 2015 and 2016.


Virtually Vittala: A 3D reconstruction of the Vittala temple in Hampi

From modeling to navigation, the project allows users to virtually visit and experience the site in a step towards virtual tourism and the preservation of historical sites.


AutoCom : Automatic Brain Tumor Detector

The project aims at developing a tool to be used by the radiologists for detection of Brain Tumors in MRI images automatically.


Latest @ CSE


Collaboration activities

Sanjiva Prasad visited Dartmouth College (USA), McGill University, Montreal (Canada), University of Goettingen (Germany), University of Ulm (Germany), Max-Planck Institute of Software Systems (Germany), University of Saarland (Germany),and Technical University of Munich (Germany) as well as attended Dagstuhl Seminar 16251 on "Information-centric Networking and Security" in May-June 2016.  He gave talks on "From ABC to a LiTTLe Logic for mobile networks" at Goettingen, Ulm and Munich and on "Program Execution on Reconfigurable Multicore Architectures" at McGill and Saarbruecken. 

Faculty awards and achievements

Four papers accepted in DATE 2017 (top conference in hardware/computer architecture). Congratulations to all the students: Rahul Jain, Neetu Jindal, Rajshekar K., and Hameedah Sultan, who published
 their work under the mentorship of Profs. Preeti R. Panda and Smruti R. Sarangi.

Naveen Garg awarded 2016 Shanti Swarup Bhatnagar award for Mathematical Sciences.

Saroj Kaushik with Kuntal Dey, Sahil Agrawal and Rahul Malviya published paper "Assessment of Effectiveness of Content Models for Approximating Twitter Social Connection Structures", in DyNo Workshop at ASONAM Conference proceedings, San Francisco, USA, 18th - 21st August, 2016.

Saroj Kaushik with Kuntal Dey, Hemank Lamba and Seema Nagar got paper "Man-O-Meter: Modeling and Assessing the Evolution of Language Usage of Individuals on Microblogs", accepted in APWeb (Asia PAcific Web Conference), Suzhou, China, 23rd-25th September, 2016.

Saroj Kaushik with Kuntal Dey and Ritvik Srivastava got paper " A Paraphrase and Semantic Similarity Detection System on User Generated Short-Text Content on Microblogs" accepted in top tier conference COLING (International Conference on Computational Linguistics), Osaka, Japan, 11th-16th December, 2016.

Sanjiva Prasad has a paper [co-authored with Lenore D. Zuck] accepted at EXPRESS/SOS 2016, Quebec Canada, August 2016. "Self-Similarity breeds Resilience".   http://express-sos2016.cs.vu.nl

Sanjiva Prasad presented a paper "Dynamic Execution on Reconfigurable Multicore Architectures" at the PLACES 2016 workshop at ETAPS 2016, Eindhoven, Netherlands.

Social impact: Dr. Aaditeshwar Seth's team's work on quality of telecom service has been featured in the media. Click here for the full story.

Research paper Machine Learned Machines: Adaptive Co-optimization of Caches, Cores, and On-chip Network by Rahul Jain, Preeti Ranjan Panda, and Sreenivas Subramoney, receives Best Interactive Presentation nomination at DATE 2016, Dresden.

Paper by Sandeep Chandran, Preeti Ranjan Panda, Smruti Ranjan Sarangi, Deepak Chauhan, and Sharad Kumar, titled Extending Trace History Through Tapered Summaries in Post-silicon Validation, received a Best Paper nomination at ASPDAC'16, Macau, 25-28 Jan 2016.

Sorav Bansal is the Technical Program Co-Chair for the ACM
Asia-Pacific Workshop on Systems 2016: APSys 2016

The Ministry of Social Justice and Empowerment's prestigious National Award for the Empowerment of Persons with Disabilities for the year 2015 was awarded to the Assitech group on the 3rd December by the Finance Minister of India. Assistech's flagship product, the Smartcane for visually challenged persons,  was recognized as one of the two best applied research projects impacting the lives of disabled by the Ministry.

Three papers with IIT D coauthors accepted at AAAI 2016. Click here for details.

Four papers with IIT Delhi authors accepted at NIPS 2015, 3 by Parag Singla, 1 by Manik Verma. Students Himanshu Jain and Happy Mittal involved in one each. Click here for details.

Paper titled "Unfolding-based Partial Order Reduction" on which Dr. Subodh Sharma is a co-author has been awarded the best paper in CONCUR 2015 held in Madrid, Spain, from September 1-4, 2015.

Sanjiva Prasad presented a paper "A Switch, in Time" [co-authored with Lenore D. Zuck] at the 10th International Symposium on Trustworthy Global Computing (TGC 2015), Madrid, August 31-September 1, 2015.   The article appears in the proceedings.   http://tgc2015.disia.unifi.it/


Sanjiva Prasad has a paper [co-authored with Lenore D. Zuck] accepted at HVC 2015, Haifa Israel, November 2015. "Limited Mobility, Eventual Stability"   http://www.research.ibm.com/haifa/conferences/hvc2015/

Saroj Kaushik and Sunita Tiwari received Best Paper Award for their research paper entiled " Crowsourcing Based Fuzzy Information Enrichment of Tourist spot Recommender Systems" in ICCSA'2015 held in Banff, Canada, 22nd June-26th June 2015.

Sorav Bansal receives a faculty award of USD 25K from VMware for his research on operating systems and machine virtualization.

Mausam has been granted Senior Member status in the Association for the Advancement of Artificial Intelligence(AAAI).

Mausam awarded a research grant from University of Washington Seattle worth USD77K on scaling up multi-document summarization.

Prof. M. Balakrishnan's Smart Cane featured on BBC. Link here.

Mausam and Parag Singla awarded research grant from Korea Institute of Science and Technology Information for research on knowledge extraction worth USD90K.

Mausam awarded Google research grant worth USD50K for research on open inference rule learning.

Student awards and achievements

Chandrika Bhardwaj has a paper [co-authored with Sanjiva Prasad] accepted in the journal Scalable Computing: Practice and Experience: "PRAVAH: PARAMETERISED INFORMATION FLOW CONTROL IN E-HEALTH", Volume 17, Number 3, 2016. http://www.scpe.org. DOI 10.12694/scpe.v17i3.1177

Paper by Rajesh Kumar PalIerum Shanaya, [with Kolin PaulSanjiva Prasad]
Dynamic core allocation for energy efficient video decoding in homogeneous and heterogeneous multicore architectures. In Journal Future Generation Comp. Syst. 56247-261 (2016)

CS&E MTech students are being sought out by top employers! Click here to see the details of the 2015-15 placement season.

Neha Sengupta has been awarded the prestigious and highly competitive IBM PhD Fellowship for 2016. Congratulations, Neha!

MIT Technology Review recognizes each year 35 innovators under the age of 35 who have made an impact through their work.

Dr. Rohan Paul has been recognized as one of the 35 innovators this year for his work on SmartCane at IIT Delhi. Read moe about it at


PhD student Amit Ruhela's research on influential users on Twitter has been covered in the news.

Chandrika Bhardwaj and Sanjiva Prasad's paper "Parametric Information Flow Control in eHealth" has been accepted at ReHIS,  IEEE HealthCom '15, October 14-17 2015, Boston USA. [http://users.encs.concordia.ca/~amjad/ReHIS/]

PhD student Dipanjan Chakraborty's proposal on using mobile phones to improve transparency and accountability in government schemes, has been accepted for funding by the Google IIT pilot program.

Ankit Kumar, Dhruv Gupta and Pulkit Sapra of the ASSISTECH group have bagged the best project award for developing affordable Refreshable Braille Cells at TechTop 2014, a national innovation contest. Congratulations!

Shibashis Guha, a research scholar advised by Prof. S. Arun Kumar, has settled a 15-year old open problem in timed automata. Their paper, titled "Reducing Clocks in Timed Automata while Preserving Bisimuation", has been accepted for publication in CONCUR 2014, Rome, Italy.

Editorial boards and Program Chairs

Sanjiva Prasad and Sujata Ghosh are PC co-chairs of the ICLA 2017 Conference. http://www.cse.iitk.ac.in/users/icla/

Sanjiva Prasad and Nikolaj Bjorner are PC co-chairs of the ICDCIT 2016 Conference. http://www.icdcit.ac.in/

Technology transfer

OnBoard - a device that facilitates boarding of pulbilc buses by visually impaired was successfully tested on 25 BEST buses in Mumbai for more than 2 months. The technology is now being transferred to KritiKal Solutions for scaling up production and full scale deployment.

Sorav Bansal developed the course “Operating Systems” for NPTEL.

Department News

Our department has been ranked as the #1 Indian department in Computer Science and Information Systems by QS World University Rankings for the year 2015-16.

Welcome to Prof B N Jain for joining the department as Visiting Professor.

Smruti Ranjan Sarangi's book, Computer Organization and Architecture, has been released on August 14th by publisher McGrawHill India. The book is now available at Flipkart and Amazon.

Latest Projects

Towards developing a Technical Knowledge-Base for Personalized Learning

A commonly faced challenge by enthusiastic learners is to build a complete and well-rounded understanding of a topic of interest. While understanding the big picture is equally important, it is also necessary that the learning material be presented to the user in the correct order. Understanding the content from a textbook would be too overwhelming for a reader who has very little background on a ...

Monitoring the state of cellular data connectivity in India

The count of mobile Internet users in India has been growing at a rate of 27% annually and is expected to reach 300M by 2017. There is however limited understanding of whether this rapid growth is happening while also ensuring that good quality of service is provided to users. To find out, we deployed a measurement framework in 20 rural, semi-urban, and urban sites in North India and probed four ...

Building citizen engagement into the implementation of welfare schemes in rural India

Citizen feedback on the implementation of social welfare schemes can help fine tune their design, understand problems, and assess the benefits and impact from these schemes. Such feedback loops however are singularly missing in most schemes in India, and are conveyed only indirectly via civil society and social audit organizations that try to serve as a bridge between citizens and the government. ...

The rich and middle classes on Twitter: Are popular users indeed different from regular users?

Online social networking (OSN) websites such as Twitter and Facebook are known to have a wide heterogeneity in the popularity of their users, counted typically in terms of the number of followers or friends of the users. We add to the large body of work on information diffusion on online social networking websites, by studying how the behavior of the small minority of very popular users on Twitter...

Optimal Radius for Connectivity in Duty-Cycled Wireless Sensor Networks

We investigate the condition on transmission radius needed to achieve connectivity in duty-cycled wireless sensor networks (briefly, DC-WSN). First, we settle a conjecture of Das et. al. (2012) and prove that the connectivity condition on Random Geometric Graphs (RGG), given by Gupta and Kumar (1989), can be used to derive a weak sufficient condition to achieve connectivity in DCWSN. To find a str...

Sec-X: A Framework for Collecting Runtime Statistics for SoCs with Multiple Accelerators

We are moving into an era where large SoCs will have a portfolio of different kinds of cores and accelerators. Many of these computational elements might be designed by third parties. In this setting, it is beneficial to collect accurate runtime information such that we can diagnose performance problems, verify and report correctness issues, and collect usage scenarios of third party hardware. Thi...

Fast Dynamic Binary Translation for the Kernel

Dynamic binary translation (DBT) is a powerful technique with several important applications. System-level binary translators have been used for implementing a Virtual Machine Monitor [2] and for instrumentation in the OS kernel [10]. In current designs, the performance overhead of binary translation on kernel-intensive workloads is high. e.g., over 10x slowdowns were reported on the sys...

MajSynth : An n-input Majority Algebra based Logic Synthesis Tool for Quantum-dot Cellular Automata

We need specialized logic synthesis methods to exploit the 3- input Majority gate, the primary logic element of the emerging Quantum-dot Cellular Automata paradigm. Existing methods take a narrow approach of manipulating functions into a network of 3-input Majority functions with no knowledge of larger Majority functions, and hence fall short while minimizing large Boolean functions. In thi...

Analysis of the Spread of Information on Twitter and its Application to Internet Content Distribution

With rapidly growing traffic volumes on the Internet, service providers are finding it increasingly hard to manage delivery of content to end users. We observe that a large portion of the traffic is contributed and accessed by Online Social Networking (OSN) websites, and we attempt to leverage this fact to build better content placement and caching strategies for Content Delivery Networks (CDNs). ...

Result Clustering for Keyword Search on Graphs

Graph structured data on the web is now massive as well as diverse, ranging from social networks, web graphs to knowledge-bases. Effectively querying this graph structured data is non-trivial and has led to research in a variety of directions structured queries, keyword and natural language queries, automatic translation of these queries to structured queries, etc. In this project, we are con...

Sampling and Reconstruction using Bloom Filters

In this paper, we address the problem of sampling from a set and reconstructing a set stored as a Bloom filter. To the best of our knowledge our work is the first to address this question. We introduce a novel hierarchical data structure called BloomSampleTree that helps us design efficient algorithms to extract an almost uniform sample from the set stored in a Bloom filter and also allows u...

DADS: Distributed Attestation for Device Swarms

Emerging trends in embedded systems, such as applications on Industrial control and IoTs, involve heterogeneous and mobile devices to communicate, process and exchange safety, privacy and mission critical information. These smart interconnected devices often operate in large number. These facts along with the nature of the devices make them susceptible to a wide range of attacks. Various approache...

Copyright © 2017 Department of Computer Science and Engineering. All Rights Reserved.