Computer Science and Engineering (CSE) Department, IIT Bombay Annual Report for 2018-2019 Introduction: The Computer Science and Engineering (CSE) department at the Indian Institute of Technology (IIT) Bombay is the largest among CSE Departments in any institute in India. The research and teaching in the department spans a wide spectrum of areas including algorithms, animation, artificial intelligence, compilers, combinatorial optimization, computer vision, data mining, embedded systems, formal methods, functional programming, e-commerce, graphics, databases, image processing and analysis, machine learning, medical image computing, mobile computing, natural language processing, object oriented systems, parallel and distributed processing, programming languages, reinforcement learning, query processing and optimization, real time systems, security, speech processing, software engineering, systems, theoretical computer science, wireless and sensor networks, and verification. The department has 45 faculty members, including 2 visiting faculty and 1 adjunct faculty, with Prof. Uday Khedker as the current head. Student and Faculty Research Achievements (within the last year): ● Prof. Soumen Chakrabarti receives Amazon Research Award to study "Neural Decomposition of Complex Queries Into Subqueries Over Knowledge Graph and Corpus". ● Prof. Soumen Chakrabarti has been elected as a Fellow of the Indian National Science Academy for his seminal contributions to web search and mining. ● Professor Suyash P. Awate and his students (PhD, BTech) have got 3 papers accepted at MICCAI ● Jerin Geo James Ph.D. Student guided by Prof. Ajit Rajwade has won a fellowship from Qualcomm ● Prof. Pushpak Bhattacharyya has been conferred upon the “Distinguished Alumnus Award” for 2018 by his alma mater, IIT Kharagpur. ● Two books where published by CFILT Lab Aditya Joshi, Pushpak Bhattacharyya and Mark J. Carman, Investigations in Computational Sarcasm, Cognitive Systems Monograph Series, Springer Nature, ISBN:978-981-10-8395-2, 2018. Abhijit Mishra and Pushpak Bhattacharyya, Cognitively Inspired Natural Language Processing- An Investigation Based on Eye Tracking, Cognitive Intelligence and Robotics Series, Springer Nature Singapore, ISBN:978-981-13-1515-2, 2018. ● Prof. Sundar Vishwanathan and Prof. Parag Chaudhuri from CSE have been conferred Departmental awards for Excellence in Teaching for the year 2018. ● Prof. Ashwin Gumaste has been awarded the Shanti Swarup Bhatnagar (SSB) Prize for the year 2018 in Engineering Sciences for his outstanding contributions to the development of end-to- end carrier-class networking and carrier ethernet switch routers which are deployed extensively in national infrastructure. SSB prize is a rare distinction conferred by the Government of India upon scientists who have demonstrated exceptional potential in Science and Technology. ● Four faculty members were conferred IIT Bombay Research Awards for the year 2017 announced on October 24th, 2018. ● Four faculty members were conferred IIT Bombay Research Awards for the year 2017 announced on October 24th, 2018. Prof. Supratik Chakraborty was awarded the Research Publication Award for his work on "Scalable constrained sampling and counting with strong approximation guarantees". Prof. Ganesh Ramakrishnan and Prof. Parag Chaudhuri were awarded the Impactful Research Award for their research on "Development of an adaptive framework for end-to-end corrections in Indic OCR" Prof. Siddhartha Chaudhuri was awarded the Early Research Achiever Award. ● B.Tech student Saurabh Garg guided by Prof. Suyash Awate and M.T student Sandeep Subramanian guided by Prof. Ganesh Ramakrishnan have received Excellence in Research Awards for 2018. List of Publications (Papers published in Peer-Reviewed Journals): Debajyoty Banik, Asif Ekbal, Pushpak Bhattacharyya: Machine Learning Based Optimized Pruning Approach for Decoding in Statistical Machine Translation. IEEE Access 7: 1736-1751 (2019) Naveen Saini, Sriparna Saha, Anubhav Jangra, Pushpak Bhattacharyya: Extractive single document summarization using multi-objective optimization: Exploring self-organized differential evolution, grey wolf optimizer and water cycle algorithm. Knowl.-Based Syst. 164: 45-67 (2019) Shweta Yadav, Asif Ekbal, Sriparna Saha, Ankit Kumar, Pushpak Bhattacharyya: Feature assisted stacked attentive shortest dependency path based Bi-LSTM model for protein-protein interaction. Knowl.-Based Syst. 166: 18-29 (2019) V. Rudra Murthy, Mitesh M. Khapra, Pushpak Bhattacharyya: Improving NER Tagging Performance in Low-Resource Languages via Multilingual Learning. ACM Trans. Asian & Low-Resource Lang. Inf. Process. 18(2): 9:1-9:20 (2019) Md. Shad Akhtar, Palaash Sawant, Sukanta Sen, Asif Ekbal, Pushpak Bhattacharyya: Improving Word Embedding Coverage in Less-Resourced Languages Through Multi-Linguality and Cross- Linguality: A Case Study with Aspect-Based Sentiment Analysis. ACM Trans. Asian & Low-Resource Lang. Inf. Process. 18(2): 15:1-15:22 (2019) Sabyasachi Kamila, Mohammed Hasanuzzaman, Asif Ekbal, Pushpak Bhattacharyya: Tempo-HindiWordNet: A Lexical Knowledge-base for Temporal Information Processing. ACM Trans. Asian & Low-Resource Lang. Inf. Process. 18(2): 19:1-19:22 (2019) Anoop Kunchukuttan, Mitesh M. Khapra, Gurneet Singh, Pushpak Bhattacharyya: Leveraging Orthographic Similarity for Multilingual Neural Transliteration. TACL 6: 303-316 (2018) Jonas Harbering, Abhiram Ranade, Marie Schmidt, Oliver Sinnen: Complexity, bounds and dynamic programming algorithms for single track train scheduling. Annals OR 273(1-2): 479-500 (2019) Ahana Pradhan, Rushikesh K. Joshi: A Taxonomy of Consistency Models in Dynamic Migration of Business Processes. IEEE Trans. Services Computing 11(3): 562-579 (2018) Uma Sawant, Soumen Chakrabarti, Ganesh Ramakrishnan: "Open-domain question answering using a knowledge graph and web corpus" by Uma Sawant, Soumen Chakrabarti and Ganesh Ramakrishnan with Martin Vesely as coordinator. SIGWEB Newsletter 2018(Winter): 4:1-4:8 (2018) Sridhar Iyer, Shree Prakash Singh: Multiple-period planning of Internet Protocol-over-Elastic Optical Networks. J. Information Telecommunication 3(1): 39-56 (2019) 2018 Sridhar Iyer, Shree Prakash Singh: An efficient link based model for routing, modulation format and spectrum allocation with quality of transmission consideration in elastic optical networks. IJIPT 11(3): 137-144 (2018) Sridhar Iyer, Sujata Sengar, Rochak Bajpai, Shree Prakash Singh: On the Performance of MLR Optical WDM Network Based on ITU-T Conforming Fibers in the Presence of Dominant Physical Layer Impairments. J. Comm. Inform. Networks 3(3): 91-108 (2018) Nidhi Tiwari, Umesh Bellur, Santonu Sarkar, Maria Indrawan: Optimizing MapReduce for energy efficiency. Softw., Pract. Exper. 48(9): 1660-1687 (2018) S. Akshay, Paul Gastin, Shankara Narayanan Krishna: Analyzing Timed Systems Using Tree Automata. Logical Methods in Computer Science 14(2) (2018) Dipak L. Chaudhari, Om P. Damani: Assumption propagation through annotated programs. Formal Asp. Comput. 29(3): 495-530 (2017) Debadatta Mishra, Purushottam Kulkarni: A survey of memory management techniques in virtualized systems. Computer Science Review 29: 56-73 (2018) Uma Sawant, Soumen Chakrabarti, Ganesh Ramakrishnan: "Open-domain question answering using a knowledge graph and web corpus" by Uma Sawant, Soumen Chakrabarti and Ganesh Ramakrishnan with Martin Vesely as coordinator. SIGWEB Newsletter 2018(Winter): 4:1-4:8 (2018) Suryajith Chillara, Nutan Limaye, Srikanth Srinivasan: Small-Depth Multilinear Formula Lower Bounds for Iterated Matrix Multiplication with Applications. SIAM J. Comput. 48(1): 70-92 (2019) S. Akshay, Paul Gastin, Shankara Narayanan Krishna: Analyzing Timed Systems Using Tree Automata. Logical Methods in Computer Science 14(2) (2018) Mukulika Maity, Bhaskaran Raman, Mythili Vutukuru, Avinash Chaurasia, Rachit Srivastava: Witals: AP-Centric Health Diagnosis of WiFi Networks. IEEE Trans. Mob. Comput. 17(4): 975-989 (2018) Haibin Huang, Evangelos Kalogerakis, Siddhartha Chaudhuri, Duygu Ceylan, Vladimir G. Kim, Ersin Yumer: Learning Local Shape Descriptors from Part Correspondences with Multiview Convolutional Networks. ACM Trans. Graph. 37(1): 6:1-6:14 (2018) Chenyang Zhu, Kai Xu, Siddhartha Chaudhuri, Renjiao Yi, Hao Zhang: SCORES: shape composition with recursive substructure priors. ACM Trans. Graph. 37(6): 211:1-211:14 (2018) Anshu S. Anand, R. K. Shyamasundar, Sathya Peri: STMs in practice: Partial rollback vs pure abort mechanisms. Concurrency and Computation: Practice and Experience 31(5) (2019) Stephen A. Fenner, Rohit Gurjar, Thomas Thierauf: A deterministic parallel algorithm for bipartite perfect matching. Commun. ACM 62(3): 109-115 (2019) List of Publications (Papers Published in Conferences) Ajit A. Diwan, Bodhayan Roy, Subir Kumar Ghosh: Drawing Bipartite Graphs in Two Layers with Specified Crossings. CALDAM 2019: 97-108 Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi: A static slicing method for functional programs and its incremental version. CC 2019: 53-64 Prasanna Kumar K., Amitabha Sanyal, Amey Karkare, Saswat Padhi: A static slicing method for functional programs and its incremental version. CC 2019: 53-64 Shantanu Thakoor, Simoni Shah, Ganesh Ramakrishnan, Amitabha Sanyal: Synthesis of Programs from Multimodal Datasets. AAAI 2018: 184-191 Shrawan Kumar, Amitabha Sanyal, R. Venkatesh, Punit Shah: Property Checking Array Programs Using Loop Shrinking. TACAS (1) 2018: 213-231 Abhijeet Dubey, Aditya