RISC 2016, the Research and Innovation Symposium for Computer scientists organized by the Computer Science and Engineering department, IIT Bombay, was held on Saturday, April 2, 2016 in the Kanwal Rekhi (KReSIT) building and New CSE building. The symposium comprised of multiple events (click on an event tab for details):



  • In-house participants/attendees:

    Time: 09:00 - 09:15

    Venue: SIB 301 Lecture Hall (2nd/3rd floor, KReSIT)


  • Industry attendees:

    Time: 12:50 - 13:00

    Venue: Conference Room (1st floor, KReSIT)

    • Address by Prof. Uday Khedker

    • Organizations:
      • IBM Research
      • IBM India
      • TCS Research (TRDDC)
      • TCS
      • Canon R&D
      • Canon India
      • Microsoft India
      • Instart Logic
      • Continuum Managed Services
      • Vubites India (Rediff.com)
      • Aerospike
      • Bubble
      • SINE IITB
      Number of attendees from these organizations ~ 30.



Time: 09:15 - 10:30

Venue: SIB 301 Lecture Hall (2nd/3rd floor, KReSIT)

Session Chair: Prof. G. Sivakumar [Session opening video] [Session closing video]

Judges: Prof. S. Sudarshan, Prof. Supratim Biswas, Prof. Varsha Apte, Prof. Rushikesh Joshi

The abstract booklet is here. The content described here is work in progress, and the slides/videos are confidential and intended only for RISC attendees.


Speaker Time Title Slides/Video Link
Vrinda Yadav 09:15 Process Edification [slides] [video]
Anshuman Dhuliya 09:20 Generating Program Analyzers (GAP) -
Divyesh Unadkat 09:25 Towards Precise Software Verification [slides] [video]
Akanksha Patel 09:30 Framework for Optimal NFV Architecture in Cellular Networks -
Arghya Roy Chaudhuri 09:35 Large scale Multi Armed Bandit and MDP [slides] [video]
Kevin Patel 09:40 NLP Resource Creation and Enrichment using Deep Learning [slides] [video]
Priyanka Naik 09:45 Improving Performance of a Network Function Virtualization (NFV) System [slides] [video]
Chandra Prakash 09:50 Nested Containers: Containers within a Virtual Machine -
Thyagarajan Radhakrishnan 09:55 Colocalization Estimation using Statistical Analysis and Modeling of Images -
Saptarshi Sarkar 10:00 Decomposition of automata [slides] [video]
Rahul Mitra 10:05 Design Robust local Image Descriptor Using ConvNet [slides] [video]
Abhishek Chakraborty 10:10 Evolutionary Design of Robotics -
Souvik Sinha Deb 10:15 Music Transcription for Keyboard-like Instruments [slides] [video]
Sunny Lohani 10:20 Building and benchmarking SDN-based LTE EPC [slides] [video]

Time: 11:00 - 13:00

Venue: SIB 301 Lecture Hall (2nd/3rd floor, KReSIT)

Session Chair: Prof. Supratik Chakraborty, Prof. Sharat Chandran [Session closing video]

Judges: Prof. Shivaram Kalyanakrishnan, Prof. Purushottam Kulkarni, Prof. Bhaskar Raman, Prof. Kavi Arya

The abstract booklet is here. The content described here is work in progress, and the slides/videos are confidential and intended only for RISC attendees.


Speaker Time Title Slides/Video Link
Khushraj Madnani - Logics and Models for Real Time Systems [video]
Mohd. Ahmar Hashmi* 11:05 Effective Learning of Pre-ordering Rules for Machine Translation [slides] [video]
Akshay Arun Bapat* 11:10 XData - Data Generation for Testing SQL Queries [slides] [video]
Jatin Khurana* 11:15 Pattern Mining for Machine Translation [slides] [video]
Durgesh Samant 11:20 Mitigating BootStorms in Virtualized Datacenters -
Aditya Joshi 11:25 Computational Sarcasm [slides] [video]
K. Venkatesh Emani 11:30 Optimization of Database Application Programs by Rewriting to SQL [slides] [video]
Bikash Chandra 11:35 Optimizing Remote Calls in Parallel Data Management Systems [slides]
Swetha PT Srinivasan 11:40 Power Considerations in Virtualized Environments [slides] [video]
Pritam Manohar Gharat 11:45 Flow and Context Sensitive Points-to Analysis using Higher Order Reachability [slides] [video]
Bholanath Roy 11:50 Design and Implementation of an Espionage Network for Cache-based Side Channel Attacks on AES [slides] [video]
Meghshyam G. Prasad 11:55 Mosaicing Scenes with a Quadcopter [slides] [video]
Anshuj Garg 12:00 Complimentary Usage of GPUs in Virtualized Systems [slides] [video]
Rohit Gupta 12:05 Graceful Degradation of QoS in Smart Grid [slides] [video]
Ahana Pradhan 12:10 Theory of Dynamic Evolution in Petri Net Models of Workflow Processes [slides]
Omkarendra Tiwari 12:15 Segment Slicing [slides] [video]
Preeti Gopal 12:20 Multi-slice Tomographic Reconstruction: To Couple or Not to Couple [slides] [video]
Abhisekh Sankaran 12:25 A Finitary Analogue of the Downward Lowenheim-Skolem Property [slides] [video]
Vini Kanvar 12:30 Heap Abstractions for Static Analysis [slides] [video]
Sandeep Mathias 12:35 How Hard Can it Be? The E-Score: A Scoring Metric to Assess the Complexity of Text [slides]
Devendra Bhave 12:40 A Logical Characterization for Dense-Time Visibly Pushdown Automata [slides] [video]
Mukulika Maity 12:45 TCP Download Performance in Dense WiFi Scenarios: Analysis and Solution [slides] [video]

* Early RS participant

Time: 15:30 - 18:00

Venue: SIB 301 Lecture Hall (2nd/3rd floor, KReSIT)

Session Chair: Prof. Ajit Rajwade [Session opening video]

Judges: Prof. Nutan Limaye, Prof. Kameswari Chebrolu, Prof. Sriram Srinivasan, Dr. Mitesh Khapra (IBM Research, IITB Ph.D. Alumnus)

Convener: Prof. Sriram Srinivasan

Session closing: Prof. Sharat Chandran [Session closing + Industry Speak video]


The abstract booklet is here. The content described here is work in progress, and the slides/videos are confidential and intended only for RISC attendees.

Speaker Time Title Slides/Video Link
Arghya Roy Chaudhuri* 15:30 Large scale Multi Armed Bandit and MDP [slides] [video]
Saptarshi Sarkar* 15:45 Decomposition of automata [slides] [video]
Divyesh Unadkat* 16:00 Towards Precise Software Verification [slides] [video]
Aditya Joshi 16:15 Computational Sarcasm -
Abhisekh Sankaran 16:30 A Finitary Analogue of the Downward Lowenheim-Skolem Property [slides] [video]
Meghshyam G. Prasad 16:45 Mosaicing Scenes with a Quadcopter [slides] [video]
Preeti Gopal 17:00 Multi-slice Tomographic Reconstruction: To Couple or Not to Couple [slides] [video]
Vini Kanvar 17:15 Heap Abstractions for Static Analysis [slides] [video]
K. Venkatesh Emani 17:30 Optimization of Database Application Programs by Rewriting to SQL [slides] [video]

* Early RS finalist

Time: 13:00 - 15:30, including lunch

Venue: Room No. 105 and Lobby (1st floor, New CSE Building)

Judges: Prof. Parag Chaudhuri, Prof. Siddhartha Chaudhuri, Prof. Akshay S., Prof. Abhiram Ranade
Convener: Prof. Abhiram Ranade

The abstract booklet is here. The content described here is work in progress, and the posters are confidential and intended only for RISC attendees.


Presenter Title Poster Link
Saurabh Shigwan A Statistical Model for Smooth Shapes in Kendall Shape Space [poster]
Rudra Murthy Multilingual Named Entity Recognition using Deep Learning -
Ravi Bhandari Tracking Unsafe Stopping Behaviour of Buses -
Preeti Gopal A Comparison of Some Direct 2D Reconstruction Methods using Discrete Projective Mathematical Transforms [poster]
Aditya Joshi A Computational Approach to Automatic Prediction of Drunk-Texting -
Bikash Chandra Optimizing Remote Calls in Parallel Data Management Systems [poster]
Bholanath Roy Design and Implementation of an Espionage Network for Cache-based Side Channel Attacks on AES -
Meghshyam G. Prasad Mosaicing Scenes with a Quadcopter [poster]
Nehul Jain Realizability and Games in Distributed Systems [poster]
Sandeep Albert Mathias Using Machine Translation Evaluation Techniques to Evaluate Text Simplification Systems [poster]
Abhisekh Sankaran A Finitary Analogue of the Downward Lowenheim-Skolem Property -
Anoop Kunchukuttan Substring-based unsupervised transliteration with phonetic and contextual knowledge -
Abhijit Mishra Scanpath Complexity: A Measure of Cognitive Load for Text Reading and Annotation -
Diptesh Kanojia Civique: Using Social Media to Detect Urban Emergencies -
Girishkumar Ponkiya Noun Compound Interpretation -

Time: 18:00 - 19:30

Venue: Various classrooms (2nd/3rd floor, KReSIT)

Industry participants:
  • Continuum Managed Services
  • IBM Research
  • Microsoft India
  • TCS Research (TRDDC)
  • TCS



Time: 19:30 - 20:00, followed by dinner

Venue: F. C. Kohli Auditorium and Atrium (1st floor, KReSIT)

Prof. S. Sudarshan, Head of CSE department felicitated the winners of the Sprint Thesis Talks and Technical Poster session.

Speaker/Presenter Category Award
Divyesh Unadkat Sprint Thesis Talk (Early RS) Best Talk
Arghya Roy Chaudhuri Sprint Thesis Talk (Early RS) Honorable Mention
Aditya Joshi Sprint Thesis Talk (Senior RS) Best Talk
Abhisekh Sankaran Sprint Thesis Talk (Senior RS) Honorable Mention
Meghshyam G. Prasad Sprint Thesis Talk (Senior RS) Honorable Mention
Girishkumar Ponkiya Technical Poster Best Poster
Bikash Chandra Technical Poster Honorable Mention


Congratulations to All!