Publication Dependent Array Type Inference from Tests He Zhu, Aditya Nori, Suresh Jagannathan VMCAI ’15: Verification, Model Checking and Abstract Interpretation | January 2015
Publication Relax, No Need to Round: Integrality of Clustering Formulations Pranjal Awasthi, Afonso S. Bandeira, Moses Charikar, Ravishankar Krishnaswamy, Soledad Villar, Rachel Ward Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science | January 2015 ISBN: 978-1-4503-3333-7
Publication The Hidden Graph Model: Communication Locality and Optimal Resiliency with Adaptive Faults Nishanth Chandran, Wutichai Chongchitmate, Juan A. Garay, Shafi Goldwasser, Rafail Ostrovsky, Vassilis Zikas Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS 2015, Rehovot, Israel, January 11-13, 2015 | January 2015 ISBN: 978-1-4503-3333-7
Publication Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources Venkatesh Vinayakarao, Rahul Purandare, Aditya Nori Partial Evaluation and Program Manipulation (PEPM) | January 2015
Publication A Framework for Efficient Modular Heap Analysis G. Ramalingam, Kapil Vaswani Foundations and Trends in Programming Languages | January 2015, Vol 1
Publication Balancing Output Length and Query Bound in Hardness Preserving Constructions of Pseudorandom Functions Nishanth Chandran, Sanjam Garg Progress in Cryptology – INDOCRYPT 2014 – 15th International Conference on Cryptology in India, New Delhi, India, December 14-17, 2014, Proceedings | December 2014 ISBN: 978-3-319-13038-5
Publication Provable Submodular Minimization Using Wolfe’s Algorithm Deeparnab Chakrabarty, Prateek Jain, Pravesh Kothari NIPS’14 Proceedings of the 27th International Conference on Neural Information Processing Systems, Montreal, Canada | December 2014
Publication Educational Content Creation and Sharing by Low-Income Visually Impaired People in India Aditya Vashistha, Erin Brady, Bill Thies, Ed Cutrell December 2014
Publication Non-convex Robust PCA Praneeth Netrapalli, U N Niranjan, Sujay Sanghavi, Anima Anandkumar, Prateek Jain Advances in Neural Information Processing Systems | December 2014 Project
Publication “ye word kis lang ka hai bhai?” Testing the Limits of Word level Language Identification Spandana Gella, Kalika Bali, Monojit Choudhury NLPAI | December 2014 Project
