Publication Fast Exact Matrix Completion with Finite Samples Prateek Jain, Praneeth Netrapalli, Praneeth Netrapalli Proceedings of The 28th Conference on Learning Theory (COLT) | June 2015 Project
Publication Composing Concurrency Control Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, G. Ramalingam Programming Language Design and Implementation, PLDI 2015 | June 2015
Publication Asynchronous Programming, Analysis and Testing with State Machines Akash Lal, Pantazis Deligiannis, Alastair Donaldson, Paul Thomson, Jeroen Ketema Programming Language Design and Implementation (PLDI) | June 2015 Project Project
Publication DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs Akash Lal, Shaz Qadeer Programming Language Design and Implementation (PLDI) | June 2015 Project
Publication Efficient Synthesis of Probabilistic Programs Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy, Programming Language Design and Implementation (PLDI) | June 2015 Project
Publication Revisiting CGNet Swara and its Impact in Rural India Meghana Marathe, Jacki O'Neill, Paromita Pain, William Thies, Bill Thies May 2015
Publication Sangeet Swara: A Community-Moderated Voice Forum in Rural India Aditya Vashistha, Ed Cutrell, Gaetano Borriello, Bill Thies May 2015 Best of CHI Award
Publication User Interface Design for Low-Literate and Novice Users: Past, Present and Future Indrani Medhi Thies Foundations and Trends in Human-Computer Interaction | April 2015
Publication Iterative Cycle Detection via Delaying Explorers Ankush Desai, Shaz Qadeer, Sriram Rajamani, Sanjit Seshia, MSR-TR-2015-28 | March 2015
Publication Increasing the reach of snowball sampling: The impact of fixed versus lottery incentives Aditya Vashistha, Ed Cutrell, Bill Thies, March 2015
