Research Papers from the Department in the year 2016-17
Research papers published in Journals
Extended nonlocal games and monogamy-of-entanglement games; N. Johnston, R. Mittal, V. Russo and J. Watrous.
Proceedings of the Royal Society A, 2016.
, Proceedings of the Royal Society A.
Sven C. Muller, Hanno Georg, James Nutaro, Edmund Widl, Yi Deng, Peter Palensky, Muhammad Awais, Moustafa Chenine, Markus Kuch, Mathias Shifter, Hua Lin, Sandeep Shukla, Christian Wietfelf, Christian Rehtanz, Christian Dufour, Xiaoyu Wang, Venkata Dinavahi, Md, Omar Faruque, Wenchao Meng, Shichao Liu, Antonello Monti, Ming Ni, Ali Davoudi, Ali Mehrizi-Sani, "Interfacing Power System and ICT Simulators: Challenges, State-of-the-Art, and Case Studies", accepted for IEEE Transactions on Smart Grid.
, IEEE Transactions on Smart Grid.
Research papers published in Conferences
Medha Atre. For the DISTINCT clause of SPARQL queries, in 25th ACM International World Wide Web conference (WWW), Montreal, Canada, 2016
, WWW, Montreal, Canada, 11--15 April, 2016.
Purushottam Kar, S. Li., H. Narasimhan, S. Chawla, and F. Sebastiani, Online Optimization Methods for the Quantification Problem, KDD 2016.
, KDD, San Fransisco, August 13-17.
Yasser Shoukry, PierLuigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas and Paulo Tabuada. Scalable Motion Planning Using Lazy SMT-Based Solving. CDC 2016.
, CDC, Las Vegas, USA.
Program Synthesis Using Natural Language, by Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy, at ICSE 2016
, ICSE, Austin, Texas, USA, May 14 - 22, 2016.
Deep Distance Metric Learning with Data Summarization. Wenlin Wang, Changyou Chen, Wenlin Chen, Piyush Rai, and Lawrence Carin. ECML 2016, Riva del Garda, Italy
, ECML, Riva del Garda, Italy, Sept 19 - 23, 2016.
Surender Baswana, Shreejit Ray Chaudhury, Keerti Choudhary, Shahbaz Khan. Dynamic DFS Tree in Undirected Graphs: Breaking the O(m) barrier. SODA 2016.
, SODA, Virginia, USA, 10-12 January 2016.
Fault Tolerant Subgraph for Single Source Reachability: Generic and Optimal.
Surender Baswana, Keerti Choudhary, and Liam Roditty. STOC 2016.
Identity Testing for constant-width, and commutative, read-once oblivious ABPs. Rohit Gurjar, Arpita Korwar and Nitin Saxena. CCC 2016.
J. Leeka, S. Bedathur, D. Bera, M. Atre, Quark-X: An Efficient Top-K Processing Framework for RDF Quad Stores, in 25th ACM International Conference on Information and Knowledge Management (CIKM), Indianapolis, IN, USA, 2016
, CIKM, Indianpolis, IN, USA, Oct 24-28, 2016.
Liveness-Based Garbage Collection for Lazy Languages, Prasanna Kumar, Amitabha Sanyal & Amey Karkare, at ACM SIGPLAN International Symposium on Memory Management (ISMM), 2016.
, ISMM, Santa Barbara, USA, 14 June 2016.
Prachi Josi, Vedahari Narasimhan G., Haibo Zeng, Sandeep K. Shukla, Chung-Wei Lin, Huafeng Yu, "Design Space Exploration for Time-Triggered Ethernet-based Architecture of Automotive Systems", IEEE HLDVT 2016.
, IEEE High Level Design Validation and Test (HLDVT), Santa Cruz, CA, Oct 7-8, 2016.
Prakhar Banga, Atul R Pai, Subhajit Roy, Mainak Chaudhuri. Accelerating Schedule Space Exploration of Multi-threaded Programs with GPUs. MEMOCODE 2016.
, MEMOCODE, Kanpur, November 18-20.
Saurav Muralidharan, Amit Roy, Mary Hall, Michael Garland, Piyush Rai. Architecture-Adaptive Code Variant Tuning via Transfer Learning. ASPLOS 2016
, ASPLOS, April 2-6, 2016.
Shubhendu Aggarwal, Shubhadip Mitra and Arnab Bhattacharya, "SkyCover: Finding Range-Constrained Approximate Skylines with Bounded Quality Guarantees", COMAD 2016
Vivek Gupta, Harish Karnick, Ashendra Bansal, Pradhuman Jhala. Product Classification in E-commerce using Distributional Semantics. COLING 2016 Posters.
, 26th International Conference on Computational Linguistics, Osaka, Japan, December 13-16.
Vivek Gupta, Siddhant Mittal, Sandip Bhaumik, Raj Roy. Assisting Humans to Achieve Optimal Sleep by Changing Ambient Temperature. BIBM 2016.
, International Conference on Bioinformatics and Biomedicine, December 15-18.
W. Pan, H. Narasimhan, Purushottam Kar, P. Protopapas, H. G. Ramaswamy, Optimizing the Multiclass F-measure via Biconcave Programming, ICDM 2016.
, IEEE International Conference on Data Mining, Barcelona, Spain, December 12-15, 2016.