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 Joshi, Pushpak Bhattacharyya: Deep Models for Converting Sarcastic Utterances into their Non Sarcastic Interpretation. COMAD/CODS 2019: 289-292 Diptesh Kanojia, Malhar Kulkarni, Pushpak Bhattacharyya, Gholamreza Haffari: Cognate Identification to improve Phylogenetic trees for Indian Languages. COMAD/CODS 2019: 297-300 Sangameshwar Patil, Sachin Pawar, Swapnil Hingmire, Girish Keshav Palshikar, Vasudeva Varma, Pushpak Bhattacharyya: Identification of Alias Links among Participants in Narratives. ACL (2) 2018: 63-68 V. Rudra Murthy, Anoop Kunchukuttan, Pushpak Bhattacharyya: Judicious Selection of Training Data in Assisting Language for Multilingual Neural NER. ACL (2) 2018: 401-406 Raksha Sharma, Pushpak Bhattacharyya, Sandipan Dandapat, Himanshu Sharad Bhatt: Identifying Transferable Information Across Domains for Cross-domain Sentiment Classification. ACL (1) 2018: 968-978 Sandeep Mathias, Diptesh Kanojia, Kevin Patel, Samarth Agrawal, Pushpak Bhattacharyya: Eyes are the Windows to the Soul: Predicting the Rating of Text Quality Using Gaze Behaviour. ACL (1) 2018: 2352-2362 Sandeep Mathias, Pushpak Bhattacharyya: Thank "Goodness"! A Way to Measure Style in Student Essays. NLP-TEA@ACL 2018: 35-41 Nikhil Wani, Sandeep Mathias, Jayashree Aanand Gajjam, Pushpak Bhattacharyya: The Whole is Greater than the Sum of its Parts: Towards the Effectiveness of Voting Ensemble Classifiers for Complex Word Identification. BEA@NAACL-HLT 2018: 200-205 Deepak Gupta, Rajkumar Pujari, Asif Ekbal, Pushpak Bhattacharyya, Anutosh Maitra, Tom Geo Jain, Shubhashis Sengupta: Can Taxonomy Help? Improving Semantic Question Matching using Question Taxonomy. COLING 2018: 499-513 Girishkumar Ponkiya, Kevin Patel, Pushpak Bhattacharyya, Girish K. Palshikar: Treat us like the sequences we are: Prepositional Paraphrasing of Noun Compounds using LSTM. COLING 2018: 1827-1836 Tirthankar Ghosal, Vignesh Edithal, Asif Ekbal, Pushpak Bhattacharyya, George Tsatsaronis, Srinivasa Satya Sameer Kumar Chivukula: Novelty Goes Deep. A Deep Neural Solution To Document Level Novelty Detection. COLING 2018: 2802-2813

Deepak Gupta, Pabitra Lenka, Asif Ekbal, Pushpak Bhattacharyya: Uncovering Code-Mixed Challenges: A Framework for Linguistically Driven Question Generation and Neural Based Question Answering. CoNLL 2018: 119-130 Deepanway Ghosal, Md. Shad Akhtar, Dushyant Chauhan, Soujanya Poria, Asif Ekbal, Pushpak Bhattacharyya: Contextual Inter-modal Attention for Multi-modal Sentiment Analysis. EMNLP 2018: 3454-3466 Deepanway Ghosal, Md. Shad Akhtar, Asif Ekbal, Pushpak Bhattacharyya: Deep Ensemble Model with the Fusion of Character, Word and Lexicon Level Information for Emotion and Sentiment Prediction. ICONIP (5) 2018: 162-174 Tulika Saha, Sriparna Saha, Pushpak Bhattacharyya: Exploring Deep Learning Architectures Coupled with CRF Based Prediction for Slot-Filling. ICONIP (1) 2018: 214-225 Tulika Saha, Dhawal Gupta, Sriparna Saha, Pushpak Bhattacharyya: Reinforcement Learning Based Dialogue Management Strategy. ICONIP (3) 2018: 359-372 Mauajama Firdaus, Shobhit Bhatnagar, Asif Ekbal, Pushpak Bhattacharyya: A Deep Learning Based Multi-task Ensemble Model for Intent Detection and Slot Filling in Spoken Language Understanding. ICONIP (4) 2018: 647-658 Naveen Saini, Sriparna Saha, Pushpak Bhattacharyya: Cascaded SOM: An Improved Technique for Automatic Email Classification. IJCNN 2018: 1-8 Tirthankar Ghosal, Rajeev Verma, Asif Ekbal, Sriparna Saha, Pushpak Bhattacharyya: Investigating Impact Features in Editorial Pre-Screening of Research Papers. JCDL 2018: 333-334 Tirthankar Ghosal, Amitra Salam, Swati Tiwary, Asif Ekbal, Pushpak Bhattacharyya: TAP-DLND 1.0 : A Corpus for Document Level Novelty Detection. LREC 2018 Deepak Gupta, Asif Ekbal, Pushpak Bhattacharyya: A Deep Neural Network based Approach for Entity Extraction in Code-Mixed Indian Social Media Text. LREC 2018 Deepak Gupta, Surabhi Kumari, Asif Ekbal, Pushpak Bhattacharyya: MMQA: A Multi-domain Multi-lingual Question-Answering Framework for English and Hindi. LREC 2018 Aditya Joshi, Pranav Goel, Pushpak Bhattacharyya, Mark J. Carman: Sarcasm Target Identification: Dataset and An Introductory Approach. LREC 2018 Sabyasachi Kamila, Asif Ekbal, Pushpak Bhattacharyya: Sentence Level Temporality Detection using an Implicit Time-sensed Resource. LREC 2018 Diptesh Kanojia, Kevin Patel, Pushpak Bhattacharyya: Indian Language Wordnets and their Linkages with Princeton WordNet. LREC 2018

Anoop Kunchukuttan, Pratik Mehta, Pushpak Bhattacharyya: The IIT Bombay English-Hindi Parallel Corpus. LREC 2018 Sandeep Mathias, Pushpak Bhattacharyya: ASAP++: Enriching the ASAP Automated Essay Grading Dataset with Essay Attribute Scores. LREC 2018 Girishkumar Ponkiya, Kevin Patel, Pushpak Bhattacharyya, Girish K. Palshikar: Towards a Standardized Dataset for Noun Compound Interpretation. LREC 2018 Sreelekha S, Pushpak Bhattacharyya: Morphology Injection for English-Malayalam Statistical Machine Translation. LREC 2018 Shweta Yadav, Asif Ekbal, Sriparna Saha, Pushpak Bhattacharyya: Medical Sentiment Analysis using Social Media: Towards building a Patient Assisted System. LREC 2018 Shweta Yadav, Asif Ekbal, Sriparna Saha, Pushpak Bhattacharyya, Amit P. Sheth: Multi-Task Learning Framework for Mining Crowd Intelligence towards Clinical Treatment. NAACL-HLT (2) 2018: 271-277 Md. Shad Akhtar, Palaash Sawant, Sukanta Sen, Asif Ekbal, Pushpak Bhattacharyya: Solving Data Sparsity for Aspect Based Sentiment Analysis Using Cross-Linguality and Multi-Linguality. NAACL-HLT 2018: 572-582 Sabyasachi Kamila, Mohammed Hasanuzzaman, Asif Ekbal, Pushpak Bhattacharyya, Andy Way: Fine-Grained Temporal Orientation and its Relationship with Psycho-Demographic Correlates. NAACL-HLT 2018: 663-674 Mauajama Firdaus, Shobhit Bhatnagar, Asif Ekbal, Pushpak Bhattacharyya: Intent Detection for Spoken Language Understanding Using a Deep Ensemble Model. PRICAI (1) 2018: 629-642 Ajay Gupta, Devendra Verma, Sachin Pawar, Sangameshwar Patil, Swapnil Hingmire, Girish K. Palshikar, Pushpak Bhattacharyya: Identifying Participant Mentions and Resolving Their Coreferences in Legal Court Judgements. TSD 2018: 153-162 K. Venkatesh Emani, S. Sudarshan: Cobra: A Framework for Cost-Based Rewriting of Database Applications. ICDE 2018: 689-700 Pooja Agrawal, Bikash Chandra, K. Venkatesh Emani, Neha Garg, S. Sudarshan: Test Data Generation for Database Applications. ICDE 2018: 1621-1624 Vrinda Yadav, Rushikesh K. Joshi, Sea Ling: Evolution Traceability Roadmap for Business Processes. ISEC 2019: 20:1-20:5 Deepika Kansal, Tejashree Aher, Rushikesh K. Joshi: Sensitivity and Monotonicity in Class Cohesion Metrics. ISEC 2019: 24:1-24:5

Vrinda Yadav, Suman Roy, Rushikesh K. Joshi: Patterns for Process Edification in Process-Aware Information Systems. SCC 2018: 161-168 Vrinda Yadav, Rushikesh K. Joshi, Sea Ling: A Tool for Traceable Evolution of Process Architectures. ICSA Companion 2018: 101-106 Priyanka Mary Mammen, Hareesh Kumar, Krithi Ramamritham, Haroon Rashid: Want to Reduce Energy Consumption, Whom should we call? e-Energy 2018: 12-20 Stephen Lee, Prashant J. Shenoy, Krithi Ramamritham, David E. Irwin: vSolar: Virtualizing Community Solar and Storage for Energy Sharing. e-Energy 2018: 178-182 Rohit Gupta, Krithi Ramamritham: Extracting the Full Potential of Voltage. e-Energy 2018: 211-222 Vivek Kuthanazhi, Santhosh Jois, Krithi Ramamritham, Anil Kottantharayil: Meeting Mid-Day Peak Loads through Distributed Rooftop PV Systems: Tale of Two Cities. e-Energy 2018: 444-446 Basina Deepak Raj, Satish Kumar, Sambit Padhi, Arnab Sarkar, Arijit Mondal, Krithi Ramamritham: Brownout Based Blackout Avoidance Strategies in Smart Grids. e-Energy 2018: 456-458 Gopinath Karmakar, Uddhav Arote, Anshul Ajay Agarwal, Krithi Ramamritham: Adaptive Hybrid Approaches to Thermal Modeling of Building. e-Energy 2018: 477-479 Shaunak Manurkar, Krithi Ramamritham, SEIL Team: Building IoT nodes - a flexible approach: poster abstract. IPSN 2018: 154-155 Divam Gupta, Kushagra Singh, Soumen Chakrabarti, Tanmoy Chakraborty: Multi-task Learning for Target-Dependent Sentiment Classification. PAKDD (1) 2019: 185-197 Rijula Kar, Susmija Reddy, Sourangshu Bhattacharya, Anirban Dasgupta, Soumen Chakrabarti: Task-Specific Representation Learning for Web-Scale Entity Disambiguation. AAAI 2018: 5812-5819 Prachi Jain, Pankaj Kumar, Mausam, Soumen Chakrabarti: Type-Sensitive Knowledge Base Inference Without Explicit Type Supervision. ACL (2) 2018: 75-80 Shiv Shankar, Vihari Piratla, Soumen Chakrabarti, Siddhartha Chaudhuri, Preethi Jyothi, Sunita Sarawagi: Generalizing Across Domains via Cross-Gradient Training. ICLR 2018 Prachi Jain, Shikhar Murty, Mausam, Soumen Chakrabarti: Mitigating the Effect of Out-of-Vocabulary Entity Pairs in Matrix Factorization for KB Inference. IJCAI 2018: 4122-4129 Sandeep Subramanian, Soumen Chakrabarti: New Embedded Representations and Evaluation Protocols for Inferring Transitive Relations. SIGIR 2018: 1037-1040

Soumen Chakrabarti: Knowledge Extraction and Inference from Text: Shallow, Deep, and Everything in Between. SIGIR 2018: 1399-1402 Abhijeet Awasthi, Sunita Sarawagi: Continual Learning with Neural Networks: A Review. COMAD/CODS 2019: 362-365 Shiv Shankar, Sunita Sarawagi: Labeled Memory Networks for Online Model Adaptation. AAAI 2018: 4034-4041 Shiv Shankar, Siddhant Garg, Sunita Sarawagi: Surprisingly Easy Hard-Attention for Sequence to Sequence Learning. EMNLP 2018: 640-645 Shiv Shankar, Vihari Piratla, Soumen Chakrabarti, Siddhartha Chaudhuri, Preethi Jyothi, Sunita Sarawagi: Generalizing Across Domains via Cross-Gradient Training. ICLR 2018 Aviral Kumar, Sunita Sarawagi, Ujjwal Jain: Trainable Calibration Measures For Neural Networks From Kernel Mean Embeddings. ICML 2018: 2810-2819 Ashutosh Raina, Sahana Murthy, Sridhar Iyer: "Help Me Build": Making as an Enabler for Problem Solving in Engineering Design. ICALT 2018: 455-457 S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah: What's Hard About Boolean Functional Synthesis? CAV (1) 2018: 251-269 Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi: Functional Synthesis via Input-Output Separation. FMCAD 2018: 1-9 Komal Pathade, Uday P. Khedker: Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments. CC 2019: 159-169 Varsha Apte: "What Did I learn In Performance Analysis last year?": Teaching Queuing Theory for Long-term Retention. ICPE Companion 2019: 71-77 Varsha Apte: Recent Trends in Performance Modeling of Big Data Systems. ICPE Companion 2017: 105 Varsha Apte, T. V. S. Viswanath, Devidas Gawali, Akhilesh Kommireddy, Anshul Gupta: AutoPerf: Automated Load Testing and Resource Usage Profiling of Multi-Tier Internet Applications. ICPE 2017: 115-126 Tikaram Sanyashi, Sreyans Nahata, Rushang Dhanesha, Bernard Menezes: Learning Plaintext in Galbraith's LWE Cryptosystem. ICETE (2) 2018: 725-731 Chandra Prakash, Prashanth, Umesh Bellur, Purushottam Kulkarni:

Deterministic Container Resource Management in Derivative Clouds. IC2E 2018: 79-89 Shankara Narayanan Krishna, Khushraj Madnani, Paritosh K. Pandya: Logics Meet 1-Clock Alternating Timed Automata. CONCUR 2018: 39:1-39:17 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna: Perfect Timed Communication Is Hard. FORMATS 2018: 91-107 Parosh Aziz Abdulla, Mohamed Faouzi Atig, Shankara Narayanan Krishna, Shaan Vaidya: Verification of Timed Asynchronous Programs. FSTTCS 2018: 8:1-8:16 Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna: Regular and First-Order List Functions. LICS 2018: 125-134 Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna: Regular Transducer Expressions for Regular Transformations. LICS 2018: 315-324 Chandra Prakash, Prashanth, Umesh Bellur, Purushottam Kulkarni: Deterministic Container Resource Management in Derivative Clouds. IC2E 2018: 79-89 Rinku Shah, Mythili Vutukuru, Purushottam Kulkarni: Cuttlefish: Hierarchical SDN Controllers with Adaptive Offload. ICNP 2018: 198-208 Rinku Shah, Aniket Shirke, Akash Trehan, Mythili Vutukuru, Purushottam Kulkarni: pcube: Primitives for Network Data Plane Programming. ICNP 2018: 430-435 Sukalyan Bhakat, Ganesh Ramakrishnan: Anomaly Detection in Surveillance Videos. COMAD/CODS 2019: 252-255 Vishal Kaushal, Rishabh K. Iyer, Khoshrav Doctor, Anurag Sahoo, Pratik Dubal, Suraj Kothawade, Rohan Mahadev, Kunal Dargan, Ganesh Ramakrishnan: Demystifying Multi-Faceted Video Summarization: Tradeoff Between Diversity, Representation, Coverage and Importance. WACV 2019: 452-461 Vishal Kaushal, Sandeep Subramanian, Suraj Kothawade, Rishabh K. Iyer, Ganesh Ramakrishnan: A Framework Towards Domain Specific Video Summarization. WACV 2019: 666-675 Vishal Kaushal, Rishabh K. Iyer, Suraj Kothawade, Rohan Mahadev, Khoshrav Doctor, Ganesh Ramakrishnan: Learning From Less Data: A Unified Data Subset Selection and Active Learning Framework for Computer Vision. WACV 2019: 1289-1299 Shantanu Thakoor, Simoni Shah, Ganesh Ramakrishnan, Amitabha Sanyal: Synthesis of Programs from Multimodal Datasets. AAAI 2018: 184-191 Ashish Kulkarni, Narasimha Raju Uppalapati, Pankaj Singh, Ganesh Ramakrishnan: An Interactive Multi-Label Consensus Labeling Model for Multiple Labeler Judgments. AAAI 2018: 1479-1486

Pankaj Joshi, Digvijaysingh Gautam, Ganesh Ramakrishnan, Preethi Jyothi: Time Aggregation Operators for Multi-label Audio Event Detection. Interspeech 2018: 3309-3313 Ayush Maheshwari, Vishwajeet Kumar, Ganesh Ramakrishnan, J. Saketha Nath: Entity Resolution and Location Disambiguation in the Ancient Hindu Temples Domain using Web Data. NAACL-HLT (Demonstrations) 2018: 46-50 Vishwajeet Kumar, Kireeti Boorla, Yogesh Meena, Ganesh Ramakrishnan, Yuan-Fang Li: Automating Reading Comprehension by Generating Question and Answer Pairs. PAKDD (3) 2018: 335-348 Heena Gupta, Parag Chaudhuri: SheetAnim - From Model Sheets to 2D Hand-drawn Character Animation -. VISIGRAPP (1: GRAPP) 2018: 17-27 Swapnam Bajpai, Vaibhav Krishan, Deepanshu Kush, Nutan Limaye, Srikanth Srinivasan: A #SAT Algorithm for Small Constant-Depth Circuits with PTF Gates. ITCS 2019: 8:1-8:20 Suryajith Chillara, Christian Engels, Nutan Limaye, Srikanth Srinivasan: A Near-Optimal Depth-Hierarchy Theorem for Small-Depth Multilinear Circuits. FOCS 2018: 934-945 Suryajith Chillara, Nutan Limaye, Srikanth Srinivasan: A Quadratic Size-Hierarchy Theorem for Small-Depth Multilinear Formulas. ICALP 2018: 36:1-36:13 Suryajith Chillara, Nutan Limaye, Srikanth Srinivasan: Small-depth Multilinear Formula Lower Bounds for Iterated Matrix Multiplication, with Applications. STACS 2018: 21:1-21:15 Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman: Continuous Reachability for Unordered Data Petri Nets is in PTime. FoSSaCS 2019: 260-276 S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah: What's Hard About Boolean Functional Synthesis? CAV (1) 2018: 251-269 S. Akshay, Blaise Genest, Nikhil Vyas: Distribution-based objectives for Markov Decision Processes. LICS 2018: 36-45 Pakshal Bohra, Ajit Rajwade: Poisson Low-Rank Matrix Recovery Using the Anscombe Transform. GlobalSIP 2018: 141-145 Chinmay Talegaonkar, Ajit Rajwade: Performance Bounds for Tractable Poisson Denoisers with Principled Parameter Tuning. GlobalSIP 2018: 151-155 Dhruv Shah, Alankar Kotwal, Ajit Rajwade: Designing Constrained Projections for Compressed Sensing: Mean Errors and Anomalies with Coherence. GlobalSIP 2018: 321-325

Himanshu Pandotra, Eeshan Malhotra, Ajit Rajwade, Karthik S. Gurumoorthy: Signal Recovery in Perturbed Fourier Compressed Sensing. GlobalSIP 2018: 326-330 Himanshu Pandotra, Rajbabu Velmurugan, Karthik S. Gurumoorthy, Ajit Rajwade: Perturbed Compressed Sensing Based Single Snapshot DOA Estimation. GlobalSIP 2018: 1252-1256 Priyanka Naik, Akash Kanase, Trishal Patel, Mythili Vutukuru: libVNF: Building Virtual Network Functions Made Easy. SoCC 2018: 212-224 Rinku Shah, Mythili Vutukuru, Purushottam Kulkarni: Cuttlefish: Hierarchical SDN Controllers with Adaptive Offload. ICNP 2018: 198-208 Rinku Shah, Aniket Shirke, Akash Trehan, Mythili Vutukuru, Purushottam Kulkarni: pcube: Primitives for Network Data Plane Programming. ICNP 2018: 430-435 Rudrajit Das, Aditya Golatkar, Suyash P. Awate: Sparse Kernel PCA for Outlier Detection. ICMLA 2018: 152-157 Prachi H. Kulkarni, S. N. Merchant, Suyash P. Awate: Bayesian reconstruction of R-fMRI from K-T undersampled data using a robust, subject-invariant, spatially-regularized dictionary prior. ISBI 2018: 302-306 Meet P. Shah, S. N. Merchant, Suyash P. Awate: Abnormality detection using deep neural networks with robust quasi-norm autoencoding and semi-supervised learning. ISBI 2018: 568-572 Thyagarajan Radhakrishnan, K. Krishna Harsha Reddy, Suyash P. Awate: A novel Bayesian graphical model and perfect Monte Carlo EM algorithm for automated colocalization estimation in multichannel fluorescence microscopy. ISBI 2018: 1583-1587 Viswanath P. Sudarshan, Zhaolin Chen, Suyash P. Awate: Joint PET+MRI Patch-Based Dictionary for Bayesian Random Field PET Reconstruction. MICCAI (1) 2018: 338-346 Meet P. Shah, S. N. Merchant, Suyash P. Awate: MS-Net: Mixed-Supervision Fully-Convolutional Networks for Full-Resolution Segmentation. MICCAI (4) 2018: 379-387 Saurabh Garg, Suyash P. Awate: Perfect MCMC Sampling in Bayesian MRFs for Uncertainty Estimation in Segmentation. MICCAI (1) 2018: 673-681 Hubert Lin, Melinos Averkiou, Evangelos Kalogerakis, Balazs Kovacs, Siddhant Ranade, Vladimir G. Kim, Siddhartha Chaudhuri, Kavita Bala: Learning Material-Aware Local Descriptors for 3D Shapes. 3DV 2018: 150-159 Sanjeev Muralikrishnan, Vladimir G. Kim, Siddhartha Chaudhuri:

Tags2Parts: Discovering Semantic Regions From Shape Tags. CVPR 2018: 2926-2935 Shiv Shankar, Vihari Piratla, Soumen Chakrabarti, Siddhartha Chaudhuri, Preethi Jyothi, Sunita Sarawagi: Generalizing Across Domains via Cross-Gradient Training. ICLR 2018 Shivaram Kalyanakrishnan, Rahul Alex Panicker, Sarayu Natarajan, Shreya Rao: Opportunities and Challenges for Artificial Intelligence in India. AIES 2018: 164-170 Arghya Roy Chaudhuri, Shivaram Kalyanakrishnan: Quantile-Regret Minimisation in Infinitely Many-Armed Bandits. UAI 2018: 425-434 Sriram Srinivasan, Marc Lanctot, Vinícius Flores Zambaldi, Julien Pérolat, Karl Tuyls, Rémi Munos,

Michael Bowling: Actor-Critic Policy Optimization in Partially Observable Multiagent Environments.

NeurIPS 2018: 3426-3439

Vishwas T. Patil, Nivia Jatain, R. K. Shyamasundar: Role of Apps in Undoing of Privacy Policies on Facebook. DBSec 2018: 85-98 B. S. Radhika, N. V. Narendra Kumar, R. K. Shyamasundar: FlowConSEAL: Automatic Flow Consistency Analysis of SEAndroid and SELinux Policies. DBSec 2018: 219-231 Khedkar Shrikrishna, N. V. Narendra Kumar, R. K. Shyamasundar: Security Analysis of EMV Protocol and Approaches for Strengthening It. ICDCIT 2018: 69-85 Shashank Khobragade, N. V. Narendra Kumar, R. K. Shyamasundar: Secure Synthesis of IoT via Readers-Writers Flow Model. ICDCIT 2018: 86-104 Sandip Ghosal, R. K. Shyamasundar, N. V. Narendra Kumar: Static Security Certification of Programs via Dynamic Labelling. ICETE (2) 2018: 400-411 Bhagyesh Patil, Parjanya Vyas, R. K. Shyamasundar: SecSmartLock: An Architecture and Protocol for Designing Secure Smart Locks. ICISS 2018: 24-43 Vishwas T. Patil, R. K. Shyamasundar: Efficacy of GDPR's Right-to-be-Forgotten on Facebook. ICISS 2018: 364-385 Amit Pathania, B. S. Radhika, Rudrapatna K. Shyamasundar: MySecPol: A Client-Side Policy Language for Safe and Secure Browsing. ICISS 2018: 427-447 Rudrapatna K. Shyamasundar, N. V. Narendra Kumar, Abhijit Taware, Parjanya Vyas: An Experimental Flow Secure File System. TrustCom/BigDataSE 2018: 790-799 Elette Boyle, Abhishek Jain, Manoj Prabhakaran, Ching-Hua Yu: The Bottleneck Complexity of Secure Multiparty Computation. ICALP 2018: 24:1-24:16 Navneet Agarwal, Sanat Anand, Manoj Prabhakaran:

Brief Announcement: On Secure m-Party Computation, Commuting Permutation Systems and Unassisted Non-Interactive MPC. ICALP 2018: 103:1-103:4 Deepesh Data, Manoj Prabhakaran: Towards Characterizing Securely Computable Two-Party Randomized Functions. Public Key Cryptography (1) 2018: 675-697 Rohit Gurjar, Nisheeth K. Vishnoi: On the Number of Circuits in Regular Matroids (with Connections to Lattices and Codes). SODA 2019: 861-880 Rohit Gurjar, Thomas Thierauf, Nisheeth K. Vishnoi: Isolating a Vertex via Lattices: Polytopes with Totally Unimodular Faces. ICALP 2018: 74:1-74:14 Saurabh Garg, Tanmay Parekh, Preethi Jyothi: Code-switched Language Models Using Dual RNNs and Same-Source Pretraining. EMNLP 2018: 3078-3083 Kalpesh Krishna, Preethi Jyothi, Mohit Iyyer: Revisiting the Importance of Encoding Logic Rules in Sentiment Classification. EMNLP 2018: 4743-4751 Shiv Shankar, Vihari Piratla, Soumen Chakrabarti, Siddhartha Chaudhuri, Preethi Jyothi, Sunita Sarawagi: Generalizing Across Domains via Cross-Gradient Training. ICLR 2018 Abhinav Jain, Minali Upreti, Preethi Jyothi: Improved Accented Speech Recognition Using Accent Embeddings and Multi-task Learning. Interspeech 2018: 2454-2458 Saurabh Garg, Tanmay Parekh, Preethi Jyothi: Dual Language Models for Code Switched Speech Recognition. Interspeech 2018: 2598-2602 Pankaj Joshi, Digvijaysingh Gautam, Ganesh Ramakrishnan, Preethi Jyothi: Time Aggregation Operators for Multi-label Audio Event Detection. Interspeech 2018: 3309-3313