RISC 2019, the Research and Innovation Symposium in Computing organized by the Computer Science and Engineering department, IIT Bombay, will held on 30th March, 2019 in the Kanwal Rekhi (KReSIT) building and New CSE building. The symposium comprises of talks by senior Ph.D. students in the forenoon session, and a poster session in the afternoon (click on the session tab for details).



Venue:  F.C. Kohli Auditorium, KReSIT Building.

The abstract booklet is here



Time:  10:00 - 11:00

Presenter Title
Vrunda Dave Computability of Regular Functions over Infinite Words is Decidable
Saptarshi Sarkar Block Products for Algebra over Countable Words and Applications to Logic
Sparsa Roychowdhury Efficient Underapproximate Reachability for Timed Multipushdown Systems
Divyesh Unadkat Verifying Array Manipulating Programs by Full-program Induction
Anshuman Dhuliya Synergistic Program ANalyzer (SPAN)
Omkarendra Tiwari Code Smells


Time:  11:20 - 12:40

-->
Presenter Title
Vishal Kaushal Video Analytics for Security and Compliance
Arghya Roy Chaudhuri PAC Identification of Many Good Arms in Stochastic Multi-Armed Bandits
Ravi Bhandari Improving Road Safety Through Smart Sensing
Rinku Shah Leveraging Network programmability to accelerate SDN applications
Aniruddha Kushwaha Bitstream: A Flexible SDN protocol for WANs
Priyanka Naik Tools to build Virtual Network Functions
Sidharth Sharma VNF Availability Model for Service Provider Networks
Muhammed Unais P SymFlex: Symbiotic management of elastic SSD caches in virtualized environments

Venue: Ground Floor, New CSE Building

Time:  13:30 - 15:30

The abstract booklet is here

--> -->
Presenter Title
Aniruddha Kushwaha Bitstream: A Flexible SDN protocol for WANs
Anshuman Dhuliya Synergistic Program ANalyzer (SPAN)
Arghya Roy Chaudhuri Quantile-Regret Minimisation in Infinitely Many-Armed Bandits
Ayush Maheshwari OCR in Indic Languages and Scenes
Divyesh Unadkat Verifying Array Programs with Full-program Induction
Girishkumar Ponkiya Noun Compound Interpretation
Kevin Patel Explaining Deep Neural Networks for Natural Language Processing
Muhammad Inamullah Frame Aggregation in 802.11ac: Need for Block ACK Redesign
Muhammed Unais P SymFlex: Symbiotic management of elastic SSD caches in virtualized environments
Omkarendra Tiwari Code Smells
Prasad Chaugule Variants of Homomorphism polynomials complete for algebraic complexity classes
Prathamesh Deshpande Streaming Adaptation of Deep Forecasting Models using Adaptive Recurrent Units
Preeti Gopal Tomography in Longitudinal Studies: detecting new structures From sparse measurements
Priyanka Naik libVNF: Building Virtual Network Functions Made Easy
Radhika B S Consistency Analysis of SELinux Policies
Rahul Mitra A Large Dataset for improving Patch Matching
Rajeevalochana MR Theory and Implementation in MPC
Ravi Bhandari Improving Road Safety Through Smart Sensing
Rinku Shah Leveraging Network programmability to accelerate SDN applications
Rishabh Dabral Learning 3D Human Pose from Structure and Motion
Rudra Murthy Addressing word-order Divergence in Multilingual Neural Machine Translation for extremely Low Resource Languages
Sandeep Albert Mathias Eyes are the Windows to the Soul: Predicting the Rating of Text Quality Using Gaze Behaviour
Saptarshi Sarkar Block Products for Algebra over Countable Words and Applications to Logic
Sparsa Roychowdhury Efficient Underapproximate Reachability for Timed Multipushdown Systems
Tamali Banerjee Meaningless yet meaningful: Morphology grounded subword-level NMT
Thyagarajan Radhakrishnan A Unified Bayesian MRF-Based Poissonian Deconvolution and Segmentation Algorithm for Quantitative Analysis of Colocalization in Dual-Color Fluorescence Microscopy
Vishal Kaushal A framework towards domain specific video summarization
Vrunda Dave Computability of Regular Functions over Infinite Words is Decidable