Publication A Design and Verification Methodology for Secure Isolated Regions Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani Programming Languages Design and Implementation (PLDI) | June 2016
Publication Structured Sparse Regression via Greedy Hard-Thresholding Prateek Jain, Nikhil Rao, Inderjit S. Dhillon Neural Information Processing Systems (NIPS) | May 2016 Neural Information Processing Systems (NIPS) Project
Publication Tensor vs Matrix Methods: Robust Tensor Decomposition under Block Sparse Perturbations Anima Anandkumar, Prateek Jain, Yang Shi, U N Niranjan Proceedings of the 19th International Conference on Artificial Intelligence and Statistics (AISTATS) | May 2016 Project
Publication Peer-to-peer in the workplace: A view from the road Syed Ishtiaque Ahmed, Nicola J. Bidwell, Himanshu Zade, Srihari Hulikal Muralidhar, Anupama Dhareshwar, Baneen Karachiwala, Cedrick N. Tandong, Jacki O'Neill CHI Conference on Human Factors in Computing Systems | May 2016 Honorable Mention Project
Publication Information Flows in Encrypted Databases Kapil Vaswani, Ravi Ramamurthy, Ramarathnam Venkatesan May 2016
Publication Functions of Code-Switching in Tweets: An Annotation Scheme and Some Initial Experiments Rafiya Begum, Kalika Bali, Monojit Choudhury, Koustav Rudra, Niloy Ganguly LREC | May 2016 Project
Publication Inferring Annotations For Device Drivers From Verification Histories Zvonimir Pavlinovic, Akash Lal, Rahul Sharma MSR-TR-2016-15 | April 2016 Project
Publication Reducing Depth in Constrained PRFs: From Bit-Fixing to NC Nishanth Chandran, Srinivasan Raghuraman, Dhinakaran Vinayagamurthy Public Key Cryptography (PKC) 2016 | March 2016
Publication Does the Sharing Economy do any Good? Tawanna R. Dillahunt, Loren Terveen, Airi Lampinen, Cory Kendrick, Jacki O'Neill March 2016 Project
Publication Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!) Pantazis Deligiannis, Matt McCutchen, Paul Thomson, Shuo Chen, Alastair F. Donaldson, John Erickson, Cheng Huang, Akash Lal, Rashmi Mudduluru, Shaz Qadeer, Wolfram Schulte 14th USENIX Conference on File and Storage Technologies (FAST) | February 2016 Project Project
